完美模型的充要条件及其结构分析

纯Ｄａｔａｌｏｇ的唯一模型定理在Ｄａｔａｌｏｇ－Ｎｏｔ程序中不成立，因此，在Ｄａｔａｌｏｇ－Ｎｏｔ程序的所有Ｈｅｒｂｒａｎｄ模型中，必须有一种模型的选择标准来确定程序的语义．完美模型关系是一种合理的选择标准．然而，由于完美模型的复杂性阻止了它的发展．本文分析了完美模型，通过有向图，给出了有完美模型的充要条件，并且给出构造算法及其正确性证明．本文得到的结果是：对任一自反有向图Ｇ，都能构造一个Ｄａｔａｌｏｇ－Ｎｏｔ程序Ｐ。

计算机网络的路由算法

本文首先介绍OSI网络层及其路由的基本概念及功能;然后着重介绍路由选择Dijkstra算法,并讨论在TCP/IP网络环境(如Internet)下的路由协议OSPF(最短开通道优先(Internet的路由选择协议));最后对OSI路由协议相关概念及目前发展情况作了简单介绍.

逻辑语言Setlog的证明论和过程性语义

本文对目前在处理复杂对象上的３种有代表性的逻辑语言进行了详细的综合分析，对比了它们在语法，语义及应用上的优优点。在此基础上提出了一种清晰，严谨和可实现的、能处理复杂对象的逻辑语言Ｓｅｔｌｏｇ。本文给出了Ｓｅｔｌｏｇ语言的严谨法形式，并讨论了模型论和证明论。