关于横向程序变换的若干研究 被引量：11

1

作者 蔡经球 《软件学报》 EI CSCD 北大核心 1990年第4期1-13,共13页

本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换... 本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换途径、实例推广途径和过程化途径,其中尤以程序变换途径得到研究工作者更多的关注。程序变换大体上可分为横向变换和 纵向变换两大类,所谓横向变换是指在相似的抽象级上将一个语言成分转化为另一个与之等价但效率更高的语言成分。 横向程序变换的研究可追溯到1966年Cooper首次提出的Cooper变换,而英国爱丁堡大学的Burstall和Darlington的研究以及他们所研制的ZAP系统是目前这方面最有代表性的工作。 本文对横向程序变换作了较深入的探讨,其中有相当多一部分递归程序等价变换模式是笔者及其同事们近几年来陆续提出的。 我们将采用函数式递归程序模型作为讨论的基础(参阅[12]之第七章),并把递归程序变换模式分成若干类型加以阐述,限于篇幅,我们只简要叙述各类变换的输入模式、输出模式、可用性条件和应用示例,有关变换的正确性证明(采用结构归纳法)将不在此列出(感兴趣的读者可参阅有关文献)。 展开更多

关键词 横向程序变换 程序变换 软件自动化

在线阅读 下载PDF 职称材料

可移植的汉语人—机接口系统的研究与实现

2

作者 许志端 李堂秋 蔡经球 《中文信息学报》 CSCD 1990年第4期35-42,共8页

可移植汉语人—机接口是我国AI界当前研究的热点之一。本文通过分析汉语的特点,对在微机上建造中小型应用系统的可移植汉语人—机接口,提出了一种切实可行的实现方法,文中还介绍了应用这一方法实现的实验系统TCHCIS的具体结构。

关键词 人-机接口 汉语 人工智能 移植

在线阅读 下载PDF 职称材料

模糊专家系统的结构与设计 被引量：7

3

作者 蔡经球 郭红 《小型微型计算机系统》 CSCD 北大核心 1989年第2期7-11,共5页

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

关键词 模糊专家系统 模糊逻辑 专家系统

在线阅读 下载PDF 职称材料

基于可能区间集的模糊推理系统 被引量：2

4

作者 蔡经球 郭红 《小型微型计算机系统》 CSCD 北大核心 1992年第4期45-50,共6页

由于用“点估计”不能完整地描述信息的不确定性,提议使用RUSPINI的基于可能区间集的模糊推理方法,即用区间值描述信息的不确定性.本文首先定义可能区间集合以及集合上的与、或、非运算;然后指出基于可能区间集的模糊推理系统的知识表... 由于用“点估计”不能完整地描述信息的不确定性,提议使用RUSPINI的基于可能区间集的模糊推理方法,即用区间值描述信息的不确定性.本文首先定义可能区间集合以及集合上的与、或、非运算;然后指出基于可能区间集的模糊推理系统的知识表示及推理算法;最后介绍我们在Turbo—Prolog系统基础上,增加一个外壳形成的基于可能区间集的模糊推理系统. 展开更多

关键词 区间集 模糊推理 专家系统

在线阅读 下载PDF 职称材料

递归程序变换实验系统XDPTS 被引量：1

5

作者 蔡经球 郭艺勋 许志端 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1990年第4期379-383,共5页

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

关键词 递归程序设计 程序变换 XDPTS

在线阅读 下载PDF 职称材料

递归程序变换及其实验

6

作者 蔡经球 郭艺勋 许志端 《计算机科学》 CSCD 北大核心 1990年第3期60-65,共6页

递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。

关键词 软件自动化 递归程序变换 程序变换

在线阅读 下载PDF 职称材料

一种新的基于广义规则的加权不精确推理模型

7

作者 蔡经球 罗旭东 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1991年第5期462-465,共4页

提出一种新的基于广义规则的加权不精确推理模型,这个模型克服早期专家系统(MYCIN、PROSPECTOR)不精确推理模型的某些缺点,模型既考虑推理规则本身的权重,还考虑规则前提中各项的权重,并给出了相应的算法。

关键词 知识工程 专家系统 不精确推理

在线阅读 下载PDF 职称材料

一种在Turbo-Prolog系统上实现的Fuzzy-Prolog系统

8

作者 蔡经球 郭红 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1989年第3期250-254,共5页

本文首先叙述模糊推理的抽象结构;而后介绍XDFPS(Ⅰ)系统,它是在Turbo-Prolog系统上实现的Fuzzy-Prolog系统;最后给出系统应用的示例。

关键词 模糊逻辑 Fuzzy-Prolog 专家系统

在线阅读 下载PDF 职称材料

用大规模并行网络模型同时解决中文分词和语法分析

9

作者 李堂秋 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1990年第2期139-143,共5页

提出用大规模并行网络的自然语言处理模型(即 MPNP 模型)处理中文的方法,它将中文的分词和语法分析合为一体加以统一的解决。以便实现多层次知识的综合。这种新的形式化方法吸收了当前连结主义模型的并行的优点,即用主动的节点—带局部... 提出用大规模并行网络的自然语言处理模型(即 MPNP 模型)处理中文的方法,它将中文的分词和语法分析合为一体加以统一的解决。以便实现多层次知识的综合。这种新的形式化方法吸收了当前连结主义模型的并行的优点,即用主动的节点—带局部记忆区和过程的节点和它们之间的连结关系显式地表达知识,用节点间的信息传送实现信息的并行处理。同时又保持了在较高层次模拟智能行为的特点。由于它的特殊的控制方法,它能够将自下而上的分析和信息传送与自上而下的期望扩散模型有机地结合起来。通过从左至右的扫描,并行地生成所有可能的分析,这一并行方法为新一代计算机的自然语言处理提供了一个有用模型。本文中从实现的角度较详细地阐述了这种处理方法的基本原理、结构和控制,以及中文分析系统的建造方法。 展开更多

关键词 大规模 并行网络 词 切分 语法分析

在线阅读 下载PDF 职称材料

关于并行递归程序变换的探讨

10

作者 蔡经球 张克均 《小型微型计算机系统》 CSCD 北大核心 1992年第3期23-26,共4页

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

关键词 程序变换 递归程序 程序设计

在线阅读 下载PDF 职称材料

“盛国荣教授的电脑诊疗冠心病系统”软件的研制 被引量：1

11

作者 蔡经球 倪文丹 郭红 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1990年第6期704-705,共2页

为了总结推广盛国荣教授诊治冠心病的独特经验,在他的亲自指导卞,由厦门市思明区人民医院、厦门市医药研究所和厦门大学人工智能与计算机研究所组成联合研制组,经过一年多的努力,利用人工智能方法模拟盛老的中医辨证论治思想,研制了“... 为了总结推广盛国荣教授诊治冠心病的独特经验,在他的亲自指导卞,由厦门市思明区人民医院、厦门市医药研究所和厦门大学人工智能与计算机研究所组成联合研制组,经过一年多的努力,利用人工智能方法模拟盛老的中医辨证论治思想,研制了“盛国荣教授的电脑诊疗冠心病系统”,现已投入临床应用并获得较满意的诊疗效果。现将该系统的软件结构和特点报道如下: 展开更多

关键词 冠心病 诊断 软件 计算机

全文增补中