模糊逻辑组合的灰度模型

首先对复合模糊命题的几种真值计算方法作了介绍，分析各种方法的优缺点，接着为了处理日益增多的模糊逻辑组合算子给用户带来不便的问题，提出模糊逻辑的灰度概念，给出一个处理逻辑组合的灰度模型。它能将具有不同灰度的模糊逻辑统一起来．     

用计算机求常微分方程解析解的若干研究

mμMATH-83是目前在微型机上流行甚广的一种计算机代数系统,它能处理初等数学与高等数学中的一系列符号求解问题。 该系统具有相当广泛的求解常微分方程通解之能力,但是它并未提供根据方程的初始条件自动确定通解中之常数的功能。为此,我们在剖析该系统之常微分方程模块的基础上,用mμSIMP语言编制了实现这个功能的程序,使系统可以方便地求解常微分方程的初值问题。     

扩展的Cooper变换

提出一种扩展的Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例。     

递归算法的若干等价变换

用递归算法描述某些问题(特别是非数值问题)的解法十分简洁,但其计算机实现常需耗费较多的存贮空间和计算时间。为提高速归算法的时空效率,常对递归算法施行某种等价变换,即对满足一定条件(称为可用性条件)的输入模式给出一个等价的输出模式。     

递归程序变换的一种新模式一CZ变换

本文讨论?递归程序模式 f(x)≡IF b(x)THEN h/(x)ELSE F(g(x),f(k(x))的等价变换问题。首次提出CZ变换,它跟熟知的Cooper变换和反演变换一起可将相当多的此类模式转化为等价的尾递归模式,通过6个实例说明这三种变换各自的特点。     

一种新的基于区间估计的不确定推理模型

建立了一种新的基于区间估计的不确定推理模型，它继承了ＳＬＰ的模型和ＭＹＣＩＮ的模型的优点，即既能很好地区分证据的出现是导致对假设的信任或是怀疑，又能表示“不知道”的信息。并且，还能与点估计的ＭＹＣＩＮ模型兼容。最后给出了一个兼容点估计和区间估计的例子，说明了本文所建立模型的能力．     

关于Cooper变换的研究

本文对著名的Cooper变换作了较深入的研究,讨论了一阶和二阶Cooper变换(A型和B型),阐述了高阶Cooper变换,最后对递归程序等价变换的有关问题作了评述。     

在区间[0,1]上的不精确推理模型

在区间［０，１］上的不精确推理模型蔡经球（计算机科学系）不精确推理技术是专家系统研究中一个十分活跃的课题。Ｓｃｈｏｒｔｌｉｆｆｅ等在著名的ＭＹＣＩＮ系统中提出了确定因子法￣［１］，它对后来不精确推理模型的研究起了很大的促进作用．ＭＹＣＩＮ系统的确定因...     

递归程序变换实验系统XDPTS

文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。