1995, 6(5):257-264.
摘要:带否定子目标的DATALOG(称为DATALOG~)是DATALOG的一种扩充.本文研究DATALOG~语义的良基模型的不动点特性.首先,重新考察了稳定性变换,定义了新算子及其不动点.在此基础上,定义了振荡不动点模型论语义.然后,本文证明了振荡不动点模型和良基模型是等同的,说明前者可以看作是后者的构造性定义.
1995, 6(5):265-275.
摘要:本文研究了程序设计语言的类型系统与数据模型的关系,认识到类型间关系是表示数据模型的一种方法.基于这一思想,提出了PCT类型描述语言及基于PCT的元数据模型,以描述多种数据模型.PCT将C++类型系统与一阶谓词演算相结合,可以形式化地描述特定数据模型所规定的多方面规范.
1995, 6(5):276-279.
摘要:本文提出一种确定任意多边形凸凹顶点的算法.该算法的时间复杂性为O(n2logn)次乘法和O(n2)次比较.
1995, 6(5):290-295.
摘要:本文通过应用限制到一个弗协调逻辑给出一种弗协调限制,弗协调限制是一种弗协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;弗协调逻辑在矛盾没有影响时等价于经典逻辑.
1995, 6(5):296-304.
摘要:本文分析了研究和建立基于智能机器人装配系统的知识库的必要性,并探讨了实现途径.接着,我们提出了支持装配知识库的知识模型及其核心的体系结构,并讨论了支持该知识模型的建模工具EXPRESS语言.最后,给出结论.
1995, 6(5):305-310.
摘要:两种客户/服务器DBMS实现及其效率研究冯玉才,金树东,王元珍(华中理工大学计算机科学与工程系,武汉430074)摘要本文介绍在一个多用户DBMS基础上,实现标准客户/服务器DBMS和改进的客户/服务器DBMS的基本结构,其特点是将数据库系统的各层次软件.
1995, 6(5):311-315.
摘要:人体建模是计算机人体动画中的基础问题.本文给出了以多面体组合来建立粗略人体,用多面体细分割来逼近真实人体曲面的方法,并在建模中考虑了人体的动态特性,为建立人体动画模型创造了条件.
1995, 6(5):316-320.
摘要:MKL是知识获取系统NDKAS中实现的一个元知识学习算法,它在分类及抽象的基础上归纳出二叉树结构的元知识,用以有效地组织知识库中的规则.MKL生成的元知识满足元知识的基本性质.本文给出了MKL的算法描述,基本性质的满足性证明及算法的应用例子.