摘要:冗余性控制是研究知识库组织、管理和维护中的一个问题．本文通过对智能型机译系统中规则知识表示方法的分析，提出了将冗余规则划分为显式冗余规则和隐式冗余规则分别予以处理的思想，给出了显式冗余规则的判别算法和部分隐式冗余规则的检测标准，并提出了控制机译系统规则库冗余性的基本原则.

摘要:本文在分析动态开放环境特性的基础上，提出了适应这些特性的搜索算法所应具有的性质，给出了一种适应动态环境的搜索算法——跳步算法．通过初步实验，对算法性能进行了分析与说明，表明算法具有较好的运行效率.

摘要:本文首先描述了知识库维护过程中的协调性问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库．为了检查知识库的协调性，本文为知识库中的推理规则构造了正支持集和负支持集，并给出了一些定义；基于这些概念和定义，提出了知识库维护过程中检查知识库协调性的一种有效方法，并证明了相关的定理；基于此方法，实现了一个算法ＣＨＩＭＥ，并给出了用ＣＨＩＭＥ分析一些知识库的实验结果．本文还提到一些相关的工作，最后给出结论.

摘要:与以往的各种并行计算模型相比，LogP模型更真实、更全面地反映了大规模并行计算机MPC(massivelyparalelcomputers)的特征．鉴于目前见到的LogP模型上的算法都仅局限于给出设计思想，本文尝试用算法语言来描述LogP模型上的完整的可移植算法．文中针对单项播送与求和这2类基本问题，实现了它们在有任意参数的LogP模型上的最优算法，并对其时间复杂度进行了分析.本文研究得到国家863高科技项目基金资助.

摘要:本文描述了流图语言的自应用型静态部分求值器，它由活跃变量分析、抽象分析、标记和例化４部分组成．在活跃变量分析基础上再作抽象分析，比以往的抽象分析获得的抽象解释更精确，也更利于产生较高质量的剩余程序．转移压缩在例化中直接进行.

摘要:本文论述用转换方式实现传统程序设计语言的面向对象扩充，给出了一组关键技术以解决由子类型多态和动态定连所引出的问题，其基本思想是将类和对象类型分开处理，从而避免转换过程中的重复工作．这些技术具有适用性强、功效高的特点，并且在ＰＡＳＣＡＬ语言的面向对象扩充ＮＤＯＯＰ和ＭＯＤＵＬＡ－２语言的面向对象扩充ＮＤＯＯＭ的实现中被采用，效果令人满意.

摘要:在实时专家系统中引入时间概念后，涉及时间的知识的表示成为值得注意的问题，本文在分析一些典型事例的基础上，着重探讨以下３个问题，如时间数据的有效表示；知识中时间特征的表示；推理中知识的时间一致性检验等.

摘要:本文叙述了两类并行文件系统中ｄｉｓｋｃａｃｈｅ一致性的维护方法，并基于ｒｅｌｅａｓｅ一致性模型，给出了其正确性证明.

摘要:基于比较的定性仿真是研究当动力学系统模型内部受到参数扰动或初始状态有所变化后，其定性行为如何变化，并给出因果解释．本文在Ｗｅｌｄ，Ｎｅｉｔｚｋｅ和Ｎｅｕａｎｎ的研究基础上，提出了一种基于比较的定性仿真方法ＣＱＳＩＭ，该方法利用观察标准来实现一致部分的比较，建立一个或多个偏差共同作用的比较仿真并分析行为的拓扑变化.

摘要:在大量ＣＡＤ／ＣＡＭ应用类问题中，不但需要描述实体的外形，也要求表达实体的内部信息．针对这个要求，本文提出了ＮＵＲＢＳ三参数实体造型方法和形体构筑技术．本文将此方法应用于模具ＣＡＤ／ＣＡＭ系统中，如有限元建模中的形体三维有限元网格生成及相应的应力分析、质量特性计算等问题.

摘要:本文主要论述了计算机局域网络的进展．文中阐述了计算机局域网络的发展，论述了局域网络的定义、分类及基本技术，最后讨论了局域网络的应用，并提出了局域网络的主要研究方向及课题.