论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2000年出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
31. 一类并发实时系统的自动验证刊名： 软件学报发表期刊： 2000年2期页码:摘要： 一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,...
-
刊名： 软件学报发表期刊： 2000年2期页码:摘要： 扩充的面向图结构的分布式程序设计模型(extended graph-oriented model,简称ExGOM)提供了一个支持动态配置的系统框架.系统的动态配置包括系统运行时的伸缩、运行时...
-
刊名： 软件学报发表期刊： 2000年2期页码:摘要： 该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对...
-
刊名： 软件学报发表期刊： 2000年2期页码:摘要： 为了提高网络的可靠性以及当今高速通信网络的管理水平,提出了一种用于网络管理的性能及可信度分析模型.该模型能够实时地计算和预测网络的各个性能参数(例如,带宽、吞吐量和延时等)的可靠性(perf...
-
35. k-着色问题及其均场退火求解算法刊名： 软件学报发表期刊： 2000年2期页码:摘要： 均场退火方法既可以看作是一种新的神经网络计算模型,又可视为是对模拟退火的重大改进.该文把具有相邻约束的多层通孔最小化问题转换为更具广泛意义的k-着色问题,并提出了k-着色问题的均场退火求解算...
-
刊名： 软件学报发表期刊： 2000年2期页码:摘要： 求解最佳的Manhattan型Steiner树问题(minimum rectilinear Steiner tree,简记为MRST问题)是在VLSI布线、网络通信中所遇到的组合优化问题,同...
-
37. 空间查询和路径搜索的集成处理策略刊名： 软件学报发表期刊： 2000年2期页码:摘要： 在数据库研究中,路径搜索和空间查询处理被认为是两个互不相关的领域,然而在处理具有空间约束的路径查询时,需要数据库系统提供路径计算和空间查询处理两方面的功能.为了处理路径计算中的空间约束,考虑...
-
38. 基于三音子模型的语料自动选择算法刊名： 软件学报发表期刊： 2000年2期页码:摘要： 在语音识别中,如何经济地挑选语音训练语料,使其覆盖尽可能多的语音现象是一个非常重要的问题.传统的语音训练语料采用手工挑选后再进行检验和补充的方法,此方法难以保证所选语料语音现象的覆盖率.该文...
-
39. 文本规划中焦点移动控制算法的研究刊名： 软件学报发表期刊： 2000年2期页码:摘要： 该文完善了全局焦点和局部焦点的移动规则,使规则适合更广泛的应用领域.所提出的新算法以Mckeown的焦点算法为基础,将原来的栈式控制结构改进成树型控制结构,可以同时控制全局焦点和局部焦点的移...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 指针是一种重要的数据类型,使用指针能使程序更加有效和优美.可是指针却以不易驾御而闻名,至今在时序逻辑语言中未见到对它的形式化工作.XYZ/E既是一个时序逻辑系统也是一个程序设计语言,它能表示...
-
41. 扩充析取逻辑程序的争论语义刊名： 软件学报发表期刊： 2000年3期页码:摘要： 该文探讨争论推理在扩充逻辑程序中的实现及其关系问题.基于"相干原理",建立了扩充逻辑程序的争论推理框架,多种争论推理形式都可以嵌入其中.特别是提出了一种谨慎语义Acc.同时又定义了良基语义的...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 活性与安全性是网系统重要的行为性质.对于位置/变迁网系统的一些子类,人们已为之导出许多有意义的结果.该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质.文章先给出...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 自动文摘研究作为自然语言处理研究的一个重要且实用的分支,目前逐渐成为Internet信息检索等应用领域的重要研究课题之一.该文提出的基于语料库的文摘试图将传统的基地语言学分析的文摘方法和基于...
-
44. Agent研究现状与发展趋势刊名： 软件学报发表期刊： 2000年3期页码:摘要： 对有关Agent理论和实践两方面的研究现状、关键技术和发展趋势进行了综述和讨论,试图勾画出目前Agent研究的脉络、重点及其发展趋向.主要内容包括:(1)智能Agent的特性、表示和推理;(...
-
45. 用弯曲体纹理构造发型刊名： 软件学报发表期刊： 2000年3期页码:摘要： 毛发的造型和绘制技术是当今计算机图形学中的一个突出难题.因为头发形状精细、数量庞大,传统的造型和绘制技术很难达到令人满意的效果.针对人的头发,提出并在数学上表示出了弯曲体纹理.接着参照理发师...
-
46. 进化式信息过滤方法研究刊名： 软件学报发表期刊： 2000年3期页码:摘要： 进化式信息过滤方法从多个角度描述用户的信息需求,通过类似自然选择的过程,达到系统整体过滤性能的优化.同时还从面向对象程序设计语言的设计思想中获得启发,引入了继承、类树的概念,增加了过滤系统的...
-
47. 数据流分析中的区域覆盖技术刊名： 软件学报发表期刊： 2000年3期页码:摘要： 用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域,并在数据流分析过程中,利用Ω区域、...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： HCR(highest cumulative reward)是多agent系统中的一种规范生成机制,但在该机制下,系统的规范不能随条件的变化而变化.文章建立了规范的定义,分析了规范的稳定性,...
-
49. 电子商务安全协议的逻辑验证刊名： 软件学报发表期刊： 2000年3期页码:摘要： 作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 树木的结构和物理性质的复杂性使得人们很难对其进行动态模拟.该文提出一个深度优先的数值积分遍历算法,把树作为一个整体考虑,求得整棵树协调一致的位移,较好地表现了树的整体动感.此算法作为一个整体...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 该文提出了基于多Agent的面向任务集成的自组织结构IRASO(intelligent robotic architecture with self-organization).该系统利用事...
-
52. 基于特征曲线的自动人面识别研究刊名： 软件学报发表期刊： 2000年3期页码:摘要： 提出了一种基于特征曲线的快速人面识别方法.该方法首先对不同姿态和大小的人面进行定位和归一化,然后在归一化后的人面图像上建立多种特征曲线.作为对人面特征的描述,最后利用傅里叶描绘子对特征曲线进...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 最大熵原则是图像处理中阈值选择的最常用方法之一.很多研究者针对最大熵原则作了各种研究,但一般都回避了用最大熵原则进行多阈值选择时运算量太大的问题.该文提出了解决这一问题的条件迭代ICM(it...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 该文研究了基于Shared-Nothing结构的几种常用并行连接算法,分析了影响查询响应时间的各种因素.在此基础上,以多种硬件成分作为参数建立一个代价分析模型.使用该模型计算并行Hash算法...
-
55. 分布式Ada语言系统的实现刊名： 软件学报发表期刊： 2000年3期页码:摘要： 基于Ada 95参考手册附录E"分布式系统"中的思想,提出了实现分布式Ada语言系统的一些概念和设计思想,并给出了实现分区通信子系统的具体方案.在此基础上,通过一些前置处理,并利用已实现的分...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 基于拟物拟人思想的Solar算法是一个求解SAT问题的快速算法.实验和理论分析表明,Solar算法具有易并行化的特性.将Solar算法并行化可大幅度地提高求解SAT问题的效率.
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 寄存器结构及其分配是软件流水算法的关键之一.为支持多重循环的软件流水,该文提出一种新颖的寄存器结构:半共享跳跃式流水寄存器堆.它可以有效地解决多重循环软件流水下的特殊问题,即:同层次和跨层次...
-
58. 用XYZ/E形式化体系结构风格刊名： 软件学报发表期刊： 2000年3期页码:摘要： 该文用时序逻辑语言XYZ/E刻画了若干种常见的体系结构风格.在刻画风格之前,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系,然后通过对特定组件和连接方式的组合产生了完整的体系结构...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 模拟退火和多种群并行遗传进化是两种较好的改进遗传算法性能的方法.将这两种思想有机地结合起来,提出了一种基于模拟退火机制的多种群并行遗传算法.仿真结果表明,该算法不仅能增强算法的全局收敛性,还...
-
刊名： 软件学报发表期刊： 2000年3期页码:摘要： 群体间通信问题是群决策支持系统(group decision support system,简称GDSS)研究中所要考虑的一个重要问题.目前,实现群体间通信主要采用通用的群件产品,但这类产品...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1000-9825 | CN | 11-2560/TP |
| 邮编 | 100190 | 电子邮箱 | jos@iscas.ac.cn |
| 电话 | 010-62562563 | 网址 | www.jos.org.cn |
| 地址 | 北京8718信箱 |
软件学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 文摘杂志(俄) |
| 5. | 科学文摘(英) |
| 6. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 百种中国杰出学术刊物 |
软件学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
