基于优先队列的最小生成树算法

本文提出一个获取连通网络是小生成树的算法。该算法采用一个优先队列组织各顶点集合，每次根据边的权值对队列头集合进行增长。由于对每个顶点的相关联边进行了按权值分级排序的预处理，算法获取具有。个预示e条边的无向连通网络的最小生成树的期望时间是O（e*loglogn）。

一种将常量进行变量化的方法

常量的变量化是机器学习领域内广泛应用的技术．本文给出一种将常量进行变量化的方法，重点介绍这种方法的基本思想以及具体实现中的几个重要谓词。

Prolog中的结构化程序设计思想

本文介绍Ｐｒｏｌｏｇ中的结构化程序设计思想，并给出３种基本结构的实现方法。

某新型车载机柜设计

本文介绍某新型机柜的结构设计 ,着重介绍了外部艺术造型、结构上的通风散热、减震抗振等方面的设计。

10Mbps共享以太网升级方案

本文讨论了快速型以太网和交换或以太网的介质使用规则及网络直径限制,设计了几种在不同应用环境下的10Mbps共享以太网升级方案。

Prolog正向推理机中否定谓词的处理

根据X能否和某一规则的规则头相匹配,将not(X)分为两类并分别进行处理:一类是X不能和任意一条规则的规则头相匹配,此时如果现有事实不能证明X为真,则将not(X)做为一项事实处理;另一类是X能和某一规则的规则头相匹配,此时X的真假不能确定.为了处理这类情况,我们提出了假事实推理法,从而有效地处理了Prolog正向推理机中的否定谓词.

一种用于逆向推理的Prolog元级解释器

本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。

Prolog模糊推理机

本文采用基于模糊集会论的推理策略，为TurboProlog设计了一个模糊推理机外壳，使其能够在保持原有系统功能的基础上处理模糊信息。

Prolog正向推理机

本文介绍作者设计的一种Prolog 正向推理机,文中着重讨论其推理策略及其具体实现中的几个重要谓词,量后指出该推理机的优缺点和今后的研究方向.

Prolog模糊推理机

本文采用基于模糊集合论的推理策略，为ＴｕｒｂｏＰｒｏｌｏｇ设计了一个模糊推理机外壳，使其能够在保持原有系统功能的基础上处理模糊信息。

用Turbo Prolog实现语义网络知识表示结构的一种方法

本文给出用ＴｕｒｂｏＰｒｏｌｏｇ实现语义网络知识表示结构的一种方法，并讨论了该方法的优缺点。

不精确推理支撑环境IRSE的设计与实现

本文设计的不精确推理支撑环境ＩＲＳＥ（ＩｎｅｘａｃｔＲｅａｓｏｎｉｎｇＳｕｐｐｏｒｔＥｎ－ｖｉｒｏｍｅｎｔ）提供了一种有效的不精确知识表示机制，并使ＴｕｒｂｏＰｒｏｌｏｇ系统能够在保持原有功能不受影响的情况下以ＭＹＣＩＮ中的推理方式进行推理。