连接PROLOG与DBMS系统的专用、并行通信技术

在结合PROLOG 和DBMS 技术的研究领域中,一个关键的问题是效率,而解决这个问题的基本关键之一是每次PROLOG 与DBMS 系统间通信的代价。我们提出的专用、并行通信技术大大地降低了每次通信的开销,使这一问题基本获得解决。我们提出的这一技术还为实现PROLOG 与多个、多种和分布式数据库连接奠定了基础。

可演绎系统的研究

本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究内容及其原因进行了讨论。

基于C／S模式的信息网络系统的设计与实理

本文对客户／服务器（Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ）的基本概念、原理进行了一定程度的叙述，并结合具体实践及如何使用这种新的技术中的问题作了概括。对基于Ｃ／Ｓ模式的广域信息网的建立提出了一个简单而实用的方案。

CT图象特征的Fuzzy识别方法

Ｆｕｚｙ（模糊）模式识别是模式识别的一个新分支。本文以Ｆｕｚｙ集理论及模式识别理论为基础，根据专家提供并用语言变量描述的ＣＴ征象，通过对数字化图象进行边检、分割和特征提取，识别出了小肺癌分叶、毛刺、空泡、星芒、瘤体密度均匀性等特征并描述了识别结果。

CT图像特征Fuzzy识别法(二)

Ｆｕｚｚｙ（模糊）模式识别是模式识别的一个新分支。文章以Ｆｕｚｚｙ集理论及模式识别理论为基础，根据专家提供的并用语言变量描述的ＣＴ征象，通过对数字化图象进行边检、分割和特征提取，识别出了小肺癌分叶、毛刺、空泡、星芒、瘤体密度均匀性等特征并描述了识别结果。

平面二阶偏微分方程组的边值问题

本文讨论偏微分方程组(1)的边值问题的提法,证明条件(D)是保证在任何有限域上边值问题(1),(2)的古典解唯一的充要条件.当条件(D)成立时,证明了广义解的存在唯一性,并举出古典解存在的一些例子.