期刊封面
月刊  1990
期刊信息
主管单位:中国科学院
主编:李明树
ISSN:1000-9825
CN:11-2560/TP
地址:北京8718信箱
邮政编码:100190
电话:010-62562563
Email:jos@iscas.a...

软件学报

分享到:
Journal of Software
mometason vitiligo mometason 300 mometason 900

《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.

  •     目录   << 1997年 001 期 >>
1. 在动态开放环境中的一种跳步实时搜索算法 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:罗翊    作者单位:清华大学计算机系
该文在分析动态开放环境特性的基础上,提出了适应这些特性的搜索算法所应具有的性质,给出了一种适应动态环境的搜索算法??跳步算法.通过初步实验,对算法性能进行了分析与说明,表明算法具有较好的运行效率
2. 知识库维护过程中检查其协调性的有效方法 (被引次数:2) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:沈宁川    作者单位:北京航空航天大学计算机系
该文首先描述了知识库维护过程中的协调性问题,然后给出了扩充逻辑程序设计的框架,在此框架下,每个逻辑程序等价于一个知识库.为了检查知识库的协调性,该文为知识库中的推理规则构造了正支持集和负支持集,并给出
3. LOGP模型上的最优播送与求和算法的实现 (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:寿标    作者单位:中国科学技术大学计算机系
与以往的各种并行计算模型相比,LOGP模型更真实、更全面地反映了大规模并行计算机MPC(MASSIVELYPARALELCOMPUTERS)的特征.鉴于目前见到的LOGP模型上的算法都仅局限于给出设计
4. 基于活跃变量分析的流图语言的部分求值器 (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:陆卫东    作者单位:吉林大学计算机科学系
该文描述了流图语言的自应用型静态部分求值器,它由活跃变量分析、抽象分析、标记和例化4部分组成.在活跃变量分析基础上再作抽象分析,比以往的抽象分析获得的抽象解释更精确,也更利于产生较高质量的剩余程序.转
5. 并行文件系统中DISKCACHE一致性协议的正确性证明 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:武北虹    作者单位:东南大学计算机科学与工程系
该文叙述了两类并行文件系统中DISKCACHE一致性的维护方法,并基于RELEASE一致性模型,给出了其正确性证明
6. 传统程序设计语言的面向对象扩充的若干技术 (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:李宣东    作者单位:南京大学计算机科学与技术系
该文论述用转换方式实现传统程序设计语言的面向对象扩充,给出了一组关键技术以解决由子类型多态和动态定连所引出的问题,其基本思想是将类和对象类型分开处理,从而避免转换过程中的重复工作.这些技术具有适用性强
7. 基于比较的一种定性仿真方法 (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:顾宇红    作者单位:清华大学计算机系
基于比较的定性仿真是研究当动力学系统模型内部受到参数扰动或初始状态有所变化后,其定性行为如何变化,并给出因果解释.该文在WELD,NEITZKE和NEUANN的研究基础上,提出了一种基于比较的定性仿真
8. 实时数据及时态知识的表示 (被引次数:7) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:郭宏飞    作者单位:东北大学计算机系
在实时专家系统中引入时间概念后,涉及时间的知识的表示成为值得注意的问题,该文在分析一些典型事例的基础上,着重探讨以下3个问题,如时间数据的有效表示;知识中时间特征的表示;推理中知识的时间一致性检验等
9. NURBS三参数实体造型及在模具CAD/CAM中的应用 (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:孙善忠    作者单位:上海交通大学塑性成形工程系国家模具CAD工程研究中心
在大量CAD/CAM应用类问题中,不但需要描述实体的外形,也要求表达实体的内部信息.针对这个要求,该文提出了NURBS三参数实体造型方法和形体构筑技术.该文将此方法应用于模具CAD/CAM系统中,如有
10. 计算机局域网络技术进展 (被引次数:5) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1997年 001期    作者:李腊元    作者单位:武汉交通科技大学
该文主要论述了计算机局域网络的进展.文中阐述了计算机局域网络的发展,论述了局域网络的定义、分类及基本技术,最后讨论了局域网络的应用,并提出了局域网络的主要研究方向及课题