摘要：本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案 。

摘要：关于递归程序变换的注记蔡经球（厦门大学计算机科学系，厦门３６１００５）程序变换技术是自动程序设计和程序设计方法学中的重要研究课题之一。一般而言，递归算法的设计由于符合人的思维习惯（把“复杂情形”逐次归结为“较简单”情形），且结构清晰，因而易理解、易验...

摘要：本文讨论用Ｍａｔｈｅｍ ａｔｉｃａ 的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍ ａｔｉｃａ 程序包将非尾递归的程序变换成为相应的尾递归形式，然后利用Ｍａｔｈｅｍ ａｔｉｃａ３．０ 提供的ＭａｔｈＬｉｎｋ 机制，在ＶＢ５．０

摘要：本文对递归变换之“函数嵌入法”进行剖析，揭示它与抽象的“输入／出模式”之间的内在联系。

摘要：讨论专家系统中不确定推理之平行组合算法的设计问题，提出这些算法应满足的约束条件，对现有的一些平行算法作了分析与比较，指出文中的算法４更为合理．

摘要：本文针对一类多步递归模式,设计了相应的等价尾递归(迭代)模式,并结合计算机代数语言REDUCE,把所得到的迭代模式应用于特殊函数(如勒让德多项式等)的公式推导中,从而大大提高了计算机公式推导的效率。

摘要：本文概述基于使用模糊逻辑和模糊推理的模糊专家系统的一般结构,并举出一个应用例子,最后给出一个实用模糊中医专家系统的设计思想。

摘要：我们在Turbo-Prolog系统上加上一个外壳,构成一个Fuzzy Prolog系统XDFPS(I)。用户使用该系统就可在Turbo Prolog上处理模糊信息。本文首先叙述XDFTS(I)的设计思想,而后介绍系统的具体实现以及使用方法,并附上系统的部分程序清单以及系统应用的例子。

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

摘要：有相当多一类有关表处理的算法可用递归程序简洁地描述.本文讨论当递归程序中出现并行递归调用时,如何消除并行递归并转化为等价的尾递归程序,而尾递归程序可直接转化为相应的迭代程序,从而大大提高程序的时空运行效率。本文提出的方法已在我们研制的递归程序变换实验系统 XDPTS中得到应用。