带否定的DATALOG的语义的不动点特性

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

关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义

逻辑程序具有丰富的表达能力和非确定性等特点，在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例，指出了文[7]中关于否定完备化程序Comp（→，Pr）和蕴涵完备化程序Comp（→，Pr）的两个重要定理都存在一定程度的错误。然后对这两个定理进行了修改，用后继算予Tpt和Fitting算予FPr的不动点语义，分别给出了否定完备化程序（Somp（→，Pr）和蕴涵完备化程序Comp（→，Pr）的Herbrand模型的充分条件和必要条件，这将在逻辑程序的最优不动点和最小不动点的语义研究中有着重要的应用价值。     

程序计算解函数的不动点特征

本文从一般的格不动点出发,讨论了程序的计算解函数与逻辑解函数的一致性问题,并特别证明了延迟值调用计算法则的安全性.只有在程序的计算解函数与最小不动点函数保持一致的前提下,基于不功点特征公理推导的程序性质,也才是程序计算解函数的性质.文章最后给出LISP程序证明的一个例子.     

逻辑程序中的对称结构

逻辑程序设计是程序设计的重要方法之一，所谓程序语义，就是赋予程序以意义。语义研究是逻辑程序设计中的一个重要课题，衡量一个给定逻辑程序语义成功与否一般有三个标准：第一，是否与常识相吻合；第二，表达能力如何；第三，是否具有可计算性。用这三个标准衡量，几乎所有已知的逻辑程序语义都有缺点。例如封闭世界假设CWA，与常识相吻合并且计算复杂性不大，但表达能力太弱，只适用于确定的程序。虽然被加以改进，表达能力增强，但计算复杂度增大并且时常与常识相悖。又比如，SLD-归结，SLDNF-归结以及循环不动点语义只对确定的，层次的和分层的程序有效；完全化过程对于非分层的程序还可能导致矛盾。因而，从表达能力上看，这些语义都是受限的。     

并发程序执行的一种粒度分析方法

文章讨论基于交替计算模式的并发程序执行行为的可信性问题。通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析──首先提出一种粒度细化、求精方法，限制单个原子转换包含的临界事件数目；继而引入一种限制临界引用（ＬＣＲ）条件，进一步限制每一与语句相关的转换至多执行一次临界引用；对任一程序，通过转换算法将其转化为与之等价的ＬＣＲ程序，且ＬＲ程序的交替计算结果与实际的重叠执行结果是一致的。     

一种面向对象程序的过程间切片算法

程序切片是一种程序分析技术，它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序，过程间切片作为图形可达性问题时，需要扩展过程内切片所用的程序依赖图（PDG）成系统依赖图（SDG），然后利用两阶段图形可达性算法计算比较精确的切片，目前程序切片技术的研究以面向对象程序切片为主，文中讨论了一种合适面向对象程序的分层切片方法，并综合分层切片方法和两阶段图形可达性算法提出了一种简化的计算面向对象程序过程间切片的算法。     

提高分层制造精度方法的研究

本文从分层快速制造的机理出发分析了三维型面的分层制造与三坐标数控加工的原理误差与残留加工面积。为提高分层制造的精度，减少残留加工面积，提出了以三维型面截交线处的切线或从弧统方向切割方面分层板的提高分层制造精度的方法。分析计算表明，在加工时间基本相同的条件下，本文所提出的提高分层制造精度的方法可以有效地降低原理误差，减少残留加工面积，从而大大提高了分层制造零件的精度，是一种值得推广的新方法。     

提高分层制造精度方法的研究

本文从分层快速制造的机理出发分析了三维型面的分层制造与三坐标数控加工的原理误差与残留加工面积。为提高分层制造的精度，减少残留加工面积，提出了以三维型面截交线处的切线或从弧弦方向切割平面分层板的提高分层制造精度的方法。分析计算表明，在加工时间基本相同的条件下，本文所提出的提高分层制造精度的方法可以有效地降低原理误差，减少残留加工面积，从而大大提高了分层制造零件的精度，是一种值得推广的新方法。     

DATALOG程序的组及其应用

为了提高DATALOG程序自底向上计值的效率，本文提出了把DATALOG规则分成若干个组，对这些组可以给出一个拓扑序列，而对同一个组内的各个规则可以给出一个激发序列，以此来有效地控制DATALOG程序自底向上计值时对规则的调度，从而提高计算效率．这一技术可以应用于传统的各种自底向上计算方法，本文绘出了半朴质（Semi-Naove）算法和良基模型（Well-Founded）的交替不动点算法（AlternatingFixPoint）的改进．改进后的算法比原算法在时间和空间效率上都有较大的提高．     

知识库系统KBASE＋的数据模型,语言及实现

本文讨论具有面向对象特征的知识库系统ＫＢＡＳＥ＋的数据模型，语言及实现，ＫＢＡＳＥ＋的数据模型可以方便地支持对象标识，类层次，多继承等面向对象概念。描述性查询语言ＫＢＬ是扩充的ＤＡＴＡＬＯＧ。本文重构了ＫＢＬ语义理论框架，提出了解决属性继承和实例继承的方案，说明了ＫＢＬ程序可以转换成语义等价的ＤＡＴＡＬＯＧ程序。