论文部分内容阅读
递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。
递归程序变换及其实验
【摘 要】
：
递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。
【机 构】
：
厦门大学人工智能与计算机研究所,厦门大学人工智能与计算机研究所厦门大学经济学院计统系,厦门大学经济学院工商管理教育中心
【出 处】
：
计算机科学
【发表日期】
：
1990年3期
【基金项目】
：
国家自然科学基金
其他文献
<正> 一、系统的分类大规模集成电路的迅速进步使分布式计算机环境得以建立和发展,为人工智能(AI)问题提供了更有效的求解工具,分布式人工智能(DAI)作为一个新的研究方向,应
通常的专家系统技术强调表面知识,一旦被诊断的问题超出了表面知识的范围,系统功能就显著下降,这样专家系统的能力受到了一定限制。本文以IDM-EL(诊断机械设备系统)为例,强调
本文介绍一个军事上的专家系统——战役决心评估军事专家系统,它用于对指挥员的作战决心进行综合评判,旨在辅助战役训练裁决,提高训练效果.
鉴于目前蓬勃兴起的神经网络型计算机的研究,本文从神经元的几种基本模型和网络的结构形态上综述了人工神经网络的基本结构,分析了它的两个基本功能——模式变换和求解最优化
<正> 一、引言人工智能对软件工程产生了哪些影响、起了什么作用或将在哪些方面产生影响和起作用?这个问题在计算机界引起了广泛的兴趣与关注,并取得了许多研究成果。这些成
本文提出一个用于软件维护环境的集成生存期模型,它有助于维护人员修改现有的软件系统,为工具自动化提供了基础。该模型用来表示软件系统开发和维护信息,主要表示软件生存期
计算机应用是计算机科学技术发展的动力和目的。在当前诸多计算机应用领域中,最有代表性的是基于知识的系统(KBS)、计算机集成制造系统(CIMS)、办公信息系统(OIS)和实时控制