期刊封面
月刊  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

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

  •     目录   << 1991年 003 期 >>
1. PETRI网工具-GPNT的设计与实现 (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1991年 003期    作者:郝克刚    作者单位:西北大学计算机科学系
PETRI网是描述和分析含有并行成分的系统动态特征的重要模型.随着PETRI网理论研究的不断深入和在各实际领域的广泛应用,作为支持PETRI网本身的设计与分析的计算机辅助工具的研究就显得十分重要.GP
2. 死锁的PETRI NETS模型 (被引次数:2) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1991年 003期    作者:吴启明    作者单位:云南软件中心
该文给出了操作系统(OS)的一种基于Petri网的形式化模型,由此把死锁问题转化为线性代数问题.我们得到了OS中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正常工作的最优化方法.特别是对
3. 一种源程序到流程图的转换方法及实现 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1991年 003期    作者:毋国庆    作者单位:武汉大学软件工程研究所
把源程序转换为流程图是软件工程的研究课题之一.该文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统.此外,该文也讨论了这种转换中所面临的几
4. 手写印刷体汉字识别方法2-D EAG (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1991年 003期    作者:赵明    作者单位:中国科学院软件研究所
该文介绍手写印刷体汉字识别方法2-D EAG.主要的工作为:提出了二维扩展属性文法模式识别方法,可实现自底向上归约和自顶向下推导双向信息传递和控制;提出了一种直接利用二维信息进行识别的方式,可避免特征
5. 采用推理方法提高多面体BOOLEAN运算的可靠性 (被引次数:8) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1991年 003期    作者:李新友    作者单位:清华大学计算机系
提高实体Boolean运算的可靠性是几何造型中最基本也是最迫切的工作.通过对国内外几何造型系统在实体Boolean运算可靠性方面的测试,我们发现,实体Boolean运算不可靠是一个普遍现象,运算失败的
6. 缺言推理系统GKD-DIS 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1991年 003期    作者:杨莉    作者单位:长沙国防科技大学计算机系
如何使知识库具有自动推理和维护的功能,已成为知识库能够达到有效和实用所面临的一个关键问题.该文首先提出了一种基于缺言推理的知识库自动推理和维护的方法,然后介绍了根据此方法,我们在VAX-11/780上
7. ω-NTB文法及其秩的若干性质 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1991年 003期    作者:郭清泉    作者单位:山东大学计算机科学系
该文引入了ω-HTB文法及其秩的概念,证明了ω-HTB语言和ω超线性语言是同一语言类,给出了ω-NTB文法秩的若干重要性质.
8. 不等长记录的公式索引分组字典排序 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1991年 003期    作者:徐绪松    作者单位:武汉大学
该文提出了一种公式索引分组字典排序法,其期望时间复杂性为O(n).该算法基本上不象传统的排序方法那样进行元素间的比较,主要是用数学公式计算,直接得到排序结果.
9. 分布式数据库管理系统POREL的进程通信系统CS (被引次数:1) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  1991年 003期    作者:徐泽同    作者单位:中国科学院数学研究所
该文介绍了作者于1987年元月在维也纳技术大学应用信息研究所,用VAX/750机及UNIX操作系统实现的分布式数据库管理系统POREL的进程通讯系统CS.