形式推导支持的递归程序向非递归程序的转换 被引量：5

1

作者 化志章 揭安全 +1 位作者 李云清 薛锦云 《计算机工程与科学》 CSCD 2007年第10期145-147,F0003,共4页

本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,... 本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。 展开更多

关键词 算法推导 形式方法 递归程序变换 PAR方法

在线阅读 下载PDF 职称材料

以问题结构为基础的递归程序设计 被引量：6

2

作者 陈玉坤 计元 《小型微型计算机系统》 CSCD 北大核心 2001年第8期989-991,共3页

对递归程序的结构进行了较为深入的研究 ,提出了递归程序的更一般结构 ,根据此结构 ,给出了复杂的递归问题的程序设计方法 ,根据此方法 ,可方便地写出较为复杂的递归问题的递归程序 。

关键词 问题结构 程序结构 递归程序设计 数据结构

在线阅读 下载PDF 职称材料

递归程序设计的公式化方法 被引量：3

3

作者 朱玉龙 任文岚 《小型微型计算机系统》 CSCD 北大核心 2001年第11期1389-1390,共2页

如果在设计递归程序时首先写出它的递归公式 ,那么编码过程会大大简化 ,而且得到的程序具有极好的可读性 .这一思想有助于递归程序的标准化 。

关键词 公式化方法 八皇后问题 递归程序设计 编程语言

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

递归程序变换在特殊函数公式推导中的应用 被引量：4

5

作者 蔡经球 《小型微型计算机系统》 CSCD 北大核心 1993年第5期32-35,共4页

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

关键词 递归程序变换 特殊函数 公式推导

在线阅读 下载PDF 职称材料

递归程序变换成非递归程序的方法

6

作者 王世著 郭福顺 潘少静 《小型微型计算机系统》 CSCD 北大核心 1989年第6期11-18.2,共8页

本文讨论将高级语言编写的递归程序自动地变换成非递归程序的变换规则和变换算法。

关键词 递归程序 非递归程序 高级语言

在线阅读 下载PDF 职称材料

建立于谓词逻辑上的递归程序及其操作语义 被引量：1

7

作者 邵志清 《软件学报》 EI CSCD 北大核心 1991年第4期31-35,共5页

对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并且保证了其中的转... 对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并且保证了其中的转移关系是一个函数。由此我们否定了Loeckx和Sieber所宣称的“递归程序的操作语义不能建立于谓词逻辑上”的断言。 展开更多

关键词 谓词逻辑 递归程序 操作语义 微机

在线阅读 下载PDF 职称材料

递归程序变换及其实验

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

关于并行递归程序等价变换的若干研究

10

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

一般而言,要把并行递归程序转化为等价的尾递归程序(它直接对应于循环迭代程序)是十分困难的。本文指出,具有某种性质的两类(分别称为α类和β类)并行递归程序可以转化为等价的尾递归程序,从而具有较高的时空运行效率。

关键词 并行递归程序 等价变换 程序变换

在线阅读 下载PDF 职称材料

递归程序的正确性证明

11

《计算机工程与应用》 1980年第9期41-58,共18页

4.1 引言 许多程序设计语言(例如,ALGOL、PL/1、LISP)是允许程序员用来编写递归程序的;即作为其计算时调用它自身部分的程序(递归地)恰好与一个非递归程序一样可调用辅程序。这种递归程序在处理具有递归定义数据结构比如表格或树状是非... 4.1 引言 许多程序设计语言(例如,ALGOL、PL/1、LISP)是允许程序员用来编写递归程序的;即作为其计算时调用它自身部分的程序(递归地)恰好与一个非递归程序一样可调用辅程序。这种递归程序在处理具有递归定义数据结构比如表格或树状是非常有用的。这种递归程序是以一种语言比如LISP为基础的。 展开更多

关键词 归纳法 归纳断言 计算方法 递归程序

在线阅读 下载PDF 职称材料

递归Prolog程序的正确性证明 被引量：2

12

作者 刘育刚 《计算机学报》 EI CSCD 北大核心 1996年第1期64-67,共4页

本文提出了一种称为Ｐｒｏ图的图形方法，并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明．文中包括Ｐｒｏ图的基本概念及生成规则，Ｐｒｏ图上各节点的关系，Ｐｒｏ图的激活过程，并给出了关于递归程序正确性证明的公理和定理．

关键词 PROLOG语言 正确性证明 递归程序

在线阅读 下载PDF 职称材料

复杂传动轴系扭振的递归传递矩阵法 被引量：16

13

作者 陈奎孚 彭红涛 焦群英 《农业工程学报》 EI CAS CSCD 北大核心 1999年第2期42-45,共4页

现有分支轴系的传递矩阵法不仅需针对具体传递结构编制程序，而且它的剩余扭矩存在奇点。作者指出传动系的拓扑结构为树型。利用这一特点，构造了一种递归格式，只须提供描述传动系的数据，无须多次编程和调试。通过对传递过程的修正，... 现有分支轴系的传递矩阵法不仅需针对具体传递结构编制程序，而且它的剩余扭矩存在奇点。作者指出传动系的拓扑结构为树型。利用这一特点，构造了一种递归格式，只须提供描述传动系的数据，无须多次编程和调试。通过对传递过程的修正，消除了余量函数的奇点。算例结果表明所提出的算法是稳定和高效的。 展开更多

关键词 传动系统 扭转振动 固有频率 递归程序 轴系扭振

在线阅读 下载PDF 职称材料

Hanoi塔问题非递归算法的形式推导 被引量：8

14

作者 宁爱兵 黄明和 《计算机工程与科学》 CSCD 2003年第3期66-68,共3页

本文从Hanoi塔本身的简要说明出发,深刻剖析了该问题的递归解法,揭示了其本质特性,形式化地找出了圆盘的移动规律,从而推导出一种全新的、逻辑结构非常清晰的、与递归解在圆盘移动上完全等效的非递归算法,彻底解决了递归解中由于圆盘数... 本文从Hanoi塔本身的简要说明出发,深刻剖析了该问题的递归解法,揭示了其本质特性,形式化地找出了圆盘的移动规律,从而推导出一种全新的、逻辑结构非常清晰的、与递归解在圆盘移动上完全等效的非递归算法,彻底解决了递归解中由于圆盘数增加使空间用量迅速膨胀而导致的死机问题。 展开更多

关键词 递归程序设计 HANOI塔问题 非递归算法 堆栈技术

在线阅读 下载PDF 职称材料

一种直观的递归模拟方法

15

作者 王永燕 康健 《济南大学学报（自然科学版）》 CAS 2001年第3期240-242,共3页

介绍了一种直观的递归模拟方法 ,依据一系列的转换规则 ,结合三个递归程序转换成非递归程序的实例对该方法进行了探讨。

关键词 转换规则 栈 递归模拟方法 递归程序 标号 递归调用

在线阅读 下载PDF 职称材料

任意N重循环的设计方法与应用 被引量：4

16

作者 肖建华 欧阳浩 何宏 《计算机工程》 CAS CSCD 北大核心 2004年第22期81-83,共3页

提出了任意n重循环设计的一般方法,给出了设计n重循环的递归和非递归程序框架,研究如何控制循环变量的变化以使程序达到最优。最后通过子集和问题、数的全排列和n皇后问题来说明上述方法的应用。

关键词 程序设计 递归程序 n重循环设计 程序框架

在线阅读 下载PDF 职称材料

基于时间多栈下推网络的实时系统验证

17

作者 钱俊彦 甘鹏程 +2 位作者 郭云川 赵岭忠 古天龙 《计算机学报》 EI CSCD 北大核心 2016年第11期2253-2269,共17页

多栈下推网络(MPDN)是利用多个栈来描述并发递归程序线程之间交互的一种下推系统模型.为了描述基于线程之间交互的实时并发递归程序,首先将描述连续时间的时钟引入到MPDN,提出了时间多栈下推网络(TMPDN),并给出了语法及其操作语义;其次... 多栈下推网络(MPDN)是利用多个栈来描述并发递归程序线程之间交互的一种下推系统模型.为了描述基于线程之间交互的实时并发递归程序,首先将描述连续时间的时钟引入到MPDN,提出了时间多栈下推网络(TMPDN),并给出了语法及其操作语义;其次利用基于时间关键点的时钟等价优化技术,缩减等价域状态空间;然后通过静态转换方法,获得所有的可达域状态格局,将连续时间的TMPDN模型转换成离散的MPDN模型.在此基础上,基于on-the-fly技术,采用动态转换方法,仅关心栈顶域状态转换,进一步缩减转换后的状态空间.同时证明了状态q_F在TMPDN可达当且仅当其转换状态q′_F在MPDN可达,并给出了模型转换算法;最后可采用现有模型检验工具验证转换后的MPDN. 展开更多

关键词 MPDN TMPDN 并发递归程序 时钟等价 可达性

在线阅读 下载PDF 职称材料

知识库和演绎数据库的最新进展

18

作者 施伯乐 周傲英 《计算机科学》 CSCD 北大核心 1992年第3期44-47,共4页

一、引言知识库和演绎数据库是近几年数据库界研究的热门课题,其研究正方兴未艾。八十年代中期,LDL 语言和 DATALOG 语言的推出标志着一个研究热潮的到来。从1990年召开的几个国际会议可以看出,这股潮流还在持续高涨。VLDB’90(笫十六... 一、引言知识库和演绎数据库是近几年数据库界研究的热门课题,其研究正方兴未艾。八十年代中期,LDL 语言和 DATALOG 语言的推出标志着一个研究热潮的到来。从1990年召开的几个国际会议可以看出,这股潮流还在持续高涨。VLDB’90(笫十六届超大型数据库国际会议)上有三个关于演绎数据库的报告专题和一个关于知识库的报告专题。PODS’90(第九届 ACM 数据库系统原理研讨会)的十一个报告专题中竟有六个是直接与知识库和演绎数据库有关的。从会议录用的论文数来看,VLDB’90共60篇中有10篇; 展开更多

关键词 演绎数据库 数据库系统原理 知识库系统 递归查询 合取查询 查询优化 面向对象数据库 逻辑程序 递归程序 关系数据库

在线阅读 下载PDF 职称材料

行列式两种求值算法的比较

19

作者 卫洪春 《现代电子技术》 2014年第4期25-27,共3页

为了实现科技和工程技术领域中对有限元线性方程组的快速求解,首先需判断该线性方程组所对应的行列式的值是否为零。若该值不为零,则线性方程组有惟一确定的解;否则,线性方程组的解不惟一。利用行列式的基本性质、代数余子式、定理,采... 为了实现科技和工程技术领域中对有限元线性方程组的快速求解,首先需判断该线性方程组所对应的行列式的值是否为零。若该值不为零,则线性方程组有惟一确定的解;否则,线性方程组的解不惟一。利用行列式的基本性质、代数余子式、定理,采用递归程序设计方法,设计了两种算法,用以求解行列式的值;并从运算精度和运行效率上比较了这两种算法,得出了这两种算法各自的适用环境。 展开更多

关键词 递归程序设计方法 行列式算法 运行效率 线性方程

在线阅读 下载PDF 职称材料

谈《LISP语言》一书的特色

20

作者 王鑫 《中国大学教学》 1991年第3期29-30,共2页

目前,在我国各高等院校的LISP语言教学中,多使用翻译教材,并且把这门课作为人工智能程序设计课,或是一般的语言课,亦即作为一种程序设计工具来学习。而高等教育出版社出版的马希文、宋柔编《LISP语言》一书,作者主要是把这一语言用作教... 目前,在我国各高等院校的LISP语言教学中,多使用翻译教材,并且把这门课作为人工智能程序设计课,或是一般的语言课,亦即作为一种程序设计工具来学习。而高等教育出版社出版的马希文、宋柔编《LISP语言》一书,作者主要是把这一语言用作教学素材,培养学生从事计算机工作的基本能力。下面,我们从教学使用的角度谈该书的特色。根据计算机科学界的知名学者——J.M. 展开更多

关键词 语言课 教学素材 计算机科学 LISP语言 递归程序设计 翻译教材 高等教育出版社 希文 递归函数 符号处理

在线阅读 下载PDF 职称材料