论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2000年第8期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要：
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 在运行时刻,由于某些函数参数的取值会造成一些函数被重复调用,这在编译时刻是无法被传统的优化器发现的.针对这种情况,提出一种运行时刻的优化方法.它通过调用依赖图来消除被重复调用的函数.
-
4. 面向本体的需求分析刊名： 软件学报发表期刊： 2000年8期页码:摘要： 提出了一种新的需求分析方法--面向本体的需求分析OORA(ontology-oriented requ irements analysis).该方法的主要特点是,用本体作为对象关联的手段,以...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 随着移动Agent技术的快速发展以及构件软件的广泛应用,对一种新型的基于移动agent技术的构件软件框架的需求日益增长.通过对传统的构件软件框架的不足的分析,提出了一种新的构件软件框架.与传...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 提出一种基于时序逻辑语言XYZ/E的可视化体系结构描述语言XYZ/ADL(XYZ/architecture description language).它采用组件、连接件及交互端等设计单元,...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 给出了上下文无关文法(context-free grammar,简称CFG)产生式集的一种划分方法,可将产生式分为两类.使用一类产生式进行推导时,推导过程将无限进行下去;使用另一类进行推导时...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要：
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间的依赖关系作约定,即定义事件...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构不支持精化演算,这限制了COOZ的应用能力,使COOZ难以作为完整的方法应...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 连接件是软件体系结构描述中的重要概念.该文在连接件中引入引擎机制,使其在与相关组件连接的过程中成为运行活动的触发元素,而且在目标系统实现中转化为可见的组成部分,这种连接件称作主动连接件.文章...
-
12. 一个面向分布式程序的测试系统框架刊名： 软件学报发表期刊： 2000年8期页码:摘要： 提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现...
-
13. Mogent系统的通信机制刊名： 软件学报发表期刊： 2000年8期页码:摘要： 移动agent技术是新型软件构件框架的基础技术之一,而通信机制是其重要的组成部分.该文结合移动agent系统Mogent(mobile agent)平台的研制,在分析了agent的移动特性对...
-
14. 基于重写技术的程序开发与验证刊名： 软件学报发表期刊： 2000年8期页码:摘要： 完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法和技术.验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式,从而进一步保证程序开发过程的正确性.验证...
-
15. 基于程序窗口推理的精化演算刊名： 软件学报发表期刊： 2000年8期页码:摘要： 由于数据精化需要针对更大的程序块, 所以,它比一般的算法精化更加复杂.在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容.该文介绍了相关的基本概念.在精化演算的基础上,构...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 软件体系结构的使用是提高软件质量、减少软件开销和促进软件生产率提高的最有效方法之一.该文提出一种基于面向对象框架和角色模型的软件体系结构规约方法,该方法把体系结构基本元素作为首要的规约对象....
-
17. 基于虚拟机的并行体绘制刊名： 软件学报发表期刊： 2000年8期页码:摘要： 介绍了一种基于并行虚拟机结构的体绘制算法.该算法以切片为单位来划分和组织体数据,既降低了通信代价,也保证了各子任务的数据局部性.在任务分配时,维护并使用性能指数数据库,自适应式地确定各个子任...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 分析传统BP算法存在的缺点,并针对这些缺点提出一种改进的BP学习算法.证明该算法在一定条件下是超线性收敛的,并且该算法能够克服传统BP算法的某些弊端,算法的计算复杂度与简单BP算法是同阶的....
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 机群系统静态任务调度是NP-完全问题,通常的算法是通过一些启发式算法得到多项式次优解.该文提出的图解-子图重构算法实现了对分布在有向无环图(directed acyclic graph, 简...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 研究了在集成服务用于用户子网和区分服务结构用于主干网时,为保证服务质量而进行服务映射的问题.基于已有的分类方法,建立了应用类与集成服务(integrated service,简称 IS)类、...
-
21. 基于遗传算法的二叉树画树算法刊名： 软件学报发表期刊： 2000年8期页码:摘要： 用遗传算法设计了一种通用二叉树画树算法框架.在该框架下,可以根据应用的不同,通过设计反映美观标准的不同目标函数来得到不同的画树算法,而且容易添加或减少美观标准以适应不同用户的需要.与以前的算...
-
刊名： 软件学报发表期刊： 2000年8期页码:摘要： 现有的"信念-愿望-意向(BDI)"Agent系统将它的3个主要心智状态(信念、愿望、意向) 作为数据结构而不是模态算子来使用,导致信念-愿望-意向Agent的研究在理论和实践之间存在较大的...
-
23. 用于口型识别的实时唇定位方法刊名： 软件学报发表期刊： 2000年8期页码:摘要： 在许多应用于有噪声环境下的语音识别系统中,唇读技术能有效地降低噪声的影响,通过视觉通道来补充仅取决于听觉通道的信息量,从而提高语音识别系统的识别率.该文提出了一种有效和稳健的唇定位跟踪方法,...
-
24. 部分密钥托管的监听体制刊名： 软件学报发表期刊： 2000年8期页码:摘要： 在(部分)密钥托管中,监听阶段是一龉丶锥?因此,如何安全而有效地实施监听是一个重要的问题.按照以前的监听方案,用户被监听后,他的整个私钥就暴露了.这对于诚实守法的用户来说是不公平的.该文提...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
