摘要:带否定子目标的ＤＡＴＡＬＯＧ（称为ＤＡＴＡＬＯＧ~）是ＤＡＴＡＬＯＧ的一种扩充．本文研究ＤＡＴＡＬＯＧ~语义的良基模型的不动点特性．首先，重新考察了稳定性变换，定义了新算子及其不动点．在此基础上，定义了振荡不动点模型论语义．然后，本文证明了振荡不动点模型和良基模型是等同的，说明前者可以看作是后者的构造性定义．

摘要:本文研究了程序设计语言的类型系统与数据模型的关系，认识到类型间关系是表示数据模型的一种方法．基于这一思想，提出了ＰＣＴ类型描述语言及基于ＰＣＴ的元数据模型，以描述多种数据模型．ＰＣＴ将Ｃ＋＋类型系统与一阶谓词演算相结合，可以形式化地描述特定数据模型所规定的多方面规范．

摘要:本文提出一种确定任意多边形凸凹顶点的算法．该算法的时间复杂性为O(n²logn)次乘法和O(n²)次比较．

摘要:在面向对象程序设计中，继承性是导致语义复杂性的因素之一．本文讨论了作为代码共享机制的继承和表示功能特殊化的子类型的共存及相互关系．采用了将行为规范视为类型的概念，即类型为命名操作的集合．并在此基础上给出了类型、类及子类型关系的形式描述．

摘要:本文通过应用限制到一个弗协调逻辑给出一种弗协调限制，弗协调限制是一种弗协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；弗协调逻辑在矛盾没有影响时等价于经典逻辑．

摘要:本文分析了研究和建立基于智能机器人装配系统的知识库的必要性，并探讨了实现途径．接着，我们提出了支持装配知识库的知识模型及其核心的体系结构，并讨论了支持该知识模型的建模工具ＥＸＰＲＥＳＳ语言．最后，给出结论.

摘要:两种客户／服务器ＤＢＭＳ实现及其效率研究冯玉才，金树东，王元珍（华中理工大学计算机科学与工程系，武汉４３００７４）摘要本文介绍在一个多用户ＤＢＭＳ基础上，实现标准客户／服务器ＤＢＭＳ和改进的客户／服务器ＤＢＭＳ的基本结构，其特点是将数据库系统的各层次软件.

摘要:人体建模是计算机人体动画中的基础问题．本文给出了以多面体组合来建立粗略人体，用多面体细分割来逼近真实人体曲面的方法，并在建模中考虑了人体的动态特性，为建立人体动画模型创造了条件．

摘要:ＭＫＬ是知识获取系统ＮＤＫＡＳ中实现的一个元知识学习算法，它在分类及抽象的基础上归纳出二叉树结构的元知识，用以有效地组织知识库中的规则．ＭＫＬ生成的元知识满足元知识的基本性质．本文给出了ＭＫＬ的算法描述，基本性质的满足性证明及算法的应用例子．