Note of on Recursive Program TransFormation

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

A DESIGNING METHOD FOR PATTERNS of-RECURSIVE PROGRAM TRANSFORMATION

本文提出递归程序变换模式的一般设计方法,并以具体示例说明之。此外,还对递归程序变换的有关问题作了讨论。In this paper, a gerenal designing method For the patterns of recursive program transFormation is presented, and some related examples are given.In -ddition, some problems on the recursive program transFormation are also discussed

新一代智能语言VISUALPROLOG

VISuAlPrOlOg是新一代的智能语言；它既具有传统PrOlOg的推理能力，又具备友好的图形用户界面，它的应用已不仅仅局限于人工智能的研究范围；它将作为新一代计算机语言；和其他流行的编程语言一争高下，成为实际应用的选择。基于止匕本文将介绍VISuAlPrOlOg的特点和如何用它开发实际应用

RESEARCH ON MATHLINK: THE MECHANISM of COMMUNICATION IN MATHEMATICA SYSTEM

使用MATHlInk通讯机制可以扩展MATHEMATICA系统的功能。本文介绍了MATHlInk通讯的基本方式和方法，设计、实现了一个用VISuAlbASIC编写的“同MATHEMATICA内核通讯”的ACTIVEX控件并给出一个使用该控件的例子。To use MathLink can expand the capability of Mathematica system.Here introduced the methods of using MathLink and designed an ActiveX control to communicate with Mathematica kernel

关于BMI模型中规则可分解性的研究

对于我们在文[1]中所建立的基于区间估计的bMI模型及MyCIn确定性因子模型,本文说明了:1)规则是不可分解的;2)顺序组合运算对平行组合运算不满足分配律,因而使用时要谨慎小心

The Research and Development of Agriculture Multi-media Expert Consultative System

在开发龙眼裁培技术多媒体专家咨询系统和花椰菜裁培技术多媒体专家咨询系统的基础之上 ,分析了多媒体农业专家咨询系统的知识特点 ,并以花椰菜裁培技术多媒体专家咨询系统为例 ,提出了基于农业的多媒体专家咨询系统的若干见解 .Based on the development of longan cultivate technique and cauliflower cultivate technique multi-media expert consultative system, this paper analyzes the knowledge characteristics of both systems, and proposes several ideas about multi-media agriculture expert consultative system

Analysis and Comparison on Parallel Composite Algorithms for ES Uncertain Reasoning

讨论专家系统中不确定推理之平行组合算法的设计问题，提出这些算法应满足的约束条件，对现有的一些平行算法作了分析与比较，指出文中的算法4更为合理.In this paper ,some restraint conditions on parallel composite algorithms for ES uncertain reasoning are proposed, and some exising parallel composite algorithms are analyzed and compared.Alglorithm 4 in this paper is pointed out to be more reasonable

VARIOUS COMPUTING SCHEMES AND IT'S COMPARISONS FOR A CLASS OF RECURSIVE ALGORITHM

本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案 ,对它们的运行效率做了比较In this paper,various computing schemes for a class of recursive algorithm is dicussed,using the ‘recursive relation’,the‘multistep recursive transformation’,the ‘function embedding method’and so on.The operating efficiency on above computing schemes is comparsed.南京大学计算机软件新技术国家重点实验室基

Research on Functional Embedding Method of Program TransFormation

本文对递归变换之“函数嵌入法”进行剖析，揭示它与抽象的“输入/出模式”之间的内在联系。In this paper, the " Functional embedding method" of program transFormation is discussed and analysed.the inner relation between the method and abstract of "input / output pattern" is indicate

Gray Model of the Fuzzy Logic

首先对复合模糊命题的几种真值计算方法作了介绍,分析各种方法的优缺点,接着为了处理日益增多的模糊逻辑组合算子给用户带来不便的问题,提出模糊逻辑的灰度概念,给出一个处理逻辑组合的灰度模型,它能将具有不同灰度的模糊逻辑统一起来.In this paper,the authers will talk about the fuzzy logical models at first, point out the shortcomings of the models,and then want to deal with the perturbation of fuzzy reasoning. Since fuzzy logic in the narrow sense is exactly continuousvalued logic, we put forward the concept of gray in fuzzy logic, give a gray model which can put different fuzzy logic together