利用附加拆卸约束提高拆卸序列生成效率

为提高基于割集的拆卸序列生成算法的效率,在引进递归收缩算法生成拆卸连接图的割集之后,分析了递归收缩算法的特点,然后应用产品的附加拆卸约束精简拆卸连接图,使得拆卸连接图的有效的拆卸割集的生成更高效.最后给出了一个实例说明本文方法的有效性.     

二叉树排序非递归算法推导及形式化证明

非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变式,然后用Dijkstra-Gries标准程序证明法证明算法的正确性,最后使用PAR平台C++程序自动生成系统自动生成C++代码.实例的实验结果简化了算法程序的推导和证明过程,对递归问题非递归算法的循环不变式的探测具有一定的借鉴意义,而且对非线性数据结构算法程序的推导及形式化证明具有指导意义.     

递归法教学技巧探讨与实践

对初学者而言,递归算法的确很难理解.主要表现在程序的执行过程难理解,还有运用递归法解题难构思.在多年教学实践中,笔者总结递归解题的思想,结合各种图表及递归调用时系统利用堆栈后进先出的特点进行保护现场、恢复现场的细节清晰地描述来介绍递归程序的递推、回归的执行路线及执行过程中参数传递,最后介绍利用递归法解题的应用.     

递归算法的研究及经典算法的递归实现

递归思想是计算机科学的一个重要思想,递归方法是程序设计中的有效方法,它为程序设计者打开了一个全新的程序设计思路。采用递归思想编程,可以将一些貌似复杂的问题简单化,编写的程序更加简洁明了。本文深入分析了递归思想的特点,递归算法的优点和缺点,通过对多个经典算法的递归实现,让读者掌握递归算法程序设计的一些方法和技巧,有助于提高程序初学者的编程水平。     

图搜索问题算法推导及形式化证明

用非形式化方法解决图搜索问题规模受限,对于一些复杂问题难以保证其正确性.传统的形式化方法推导图搜索问题难以理解且不易于形式化证明,现有形式化方法对这类问题的解决方案较少,在保证可靠性和正确性方面有欠缺.该文通过对图搜索问题的深入研究,开发出一种针对解决图搜索算法的新方法.首先刻画问题的规约,利用循环不变式的递归定义技术给出了开发图搜索问题循环不变式的新策略,在此基础上得到Apla抽象算法程序,并对该算法程序进行了形式化证明,再将已验证的Apla算法程序自动生成C++可执行程序,实现了从抽象的形式规约推演出具体的面向计算机的程序代码的程序精化完整过程.以拓扑排序和广度优先遍历为例对所提方法进行实验,实验结果验证了所提方法的有效性,不仅可以推导和证明已知算法,而且对未知算法的推导也有指导性作用.     

递归程序的数学方法探讨

文章介绍了递归程序教学的方法。主要包括递归程序执行过程的分析和 递归程序设计的思想方法及递归程序的调试。     

关于递归调用方法的探讨

递归是软件设计的一种重要方法和技术.从递归调用机制出发,深入讨论递归调用的内部实现原理、递归程序的阅读、递归程序的验证与编写及递归方法存在的问题等内容.     

递归程序变换实验系统XDPTS

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

递归程序探讨

递归程序是高等院校众多计算机教材中非常重要的教学内容，笔者通过数年的教学实践，对递归程序的算法本质、适用的应用领域及其向非递归程序的转化进行了较深入的探讨，希望大家对递归有个更深刻的认识。     

递归在程序设计中的应用

本文程序代码用C语言描述。递归是计算机科学的一个重要概念,也是一项非常重要的编程技巧,递归的方法是程序设计中有效的方法,采用递归编写程序能是程序变得简洁和清晰.本文从概念出发,结合实例对递归进行阐述。     

递归程序探讨

递归程序是高等院校众多计算机教材中非常重要的教学内容 ,笔者通过数年的教学实践 ,对递归程序的算法本质、适用的应用领域及其向非递归程序的转化进行了较深入的探讨 ,希望大家对递归程序有个更深刻的认识     

新型建筑智能化平台节点拓扑匹配算法研究

针对新型建筑智能化平台中空间拓扑与节点拓扑一致性问题,提出了一种拓扑匹配算法.在拓扑匹配过程中,通过提取AutoCAD建筑平面图的B-rep信息,将其表示为以空间单元为节点的属性邻接图.建筑平面图空间拓扑被表示为大图,平台中智能节点交互形成的拓扑被表示为小图,一致性问题被转化为大图中查询同构小图问题.该算法与传统的子图同构算法相比,首先利用顶点度优化匹配顺序,其次增加顶点的邻域信息作为剪枝条件,对候选集匹配项进行筛选,最后采用非递归-回溯思想对数据节点进行验证,并在真实的数据集上验证了算法的适用性与高效性.     

二叉树后序遍历的非递归化算法讨论

尽管递归算法具有结构简炼、清晰、可读性强等优点,但递归算法在执行过程会耗费太多的时间和空间,为了追求算法的时空效率,必须将递归算法转化为非递化算法,问题才能得到有效解决,讨论了在递归算法执行过程中栈的变化和给出了改进的非递归化算法.     

递归现象在语篇中的体现

语言学研究领域的递归是指相同结构成分的重复或层层嵌套。功能句法中讨论的两类递归（线性递归和嵌入递归）同样存在于语篇结构中。语篇结构的递归具有可选性和理论上的无限性两个特点。由于这两个特点，实际语篇的结构既有一定的基本规律又富于变化。研究递归性可以把握语篇结构的基本模式和变化规律，有利于理解语篇和生成合乎规范的语篇。     

一种直观的递归模拟方法

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

节点递归算法优化雨水管网

提出节点递归算法优化雨水管网系统.根据雨水管网的图论和矩阵算法,用管网联系矩阵描述整个管网,采用节点递归优化算法,以节点为研究对象,克服了管网在交叉节点处上下衔接计算和控制点不易确定的困难,达到了费用最低的优化目标;并可直接以节点标高为约束条件,充分考虑利用原有管道或解决地下管线交叉问题.并通过实例进行了验证.     

深度优先搜索的非递归算法

深度优先法是图的遍历的一种重要的方法。改方法应用广泛,例如电网拓扑结构、DNA网络等复杂图形分析。在大型网络的分析过程中,深度优先搜索的递归算法效率地下。故本文论证了递归算法的优缺点,并用非递归算法实现了深度优先搜索。     

递归问题的一种直观执行模型

针对递归过程的直观理解问题,提出了一种形式语言。通过该形式语言,可在对递归程序宏观仅有所了解的基础上构造出直观执行模型。实例证明,此直观执行模型能有效地使复杂递归过程具体化。     

基于局部递归率分析的振动信号非平稳评价

针对土木工程结构环境振动信号非平稳程度评价的问题,提出一种新的基于递归量化分析的评价环境振动信号非平稳程度指标.首先,研究递归图中反映信号非平稳特征的模式,根据递归量化分析中已有的信号非平稳程度评价指标即递归趋势应用于土木工程结构环境振动信号时的不足,将质量损失函数理论引入递归量化分析,分析递归图中局部递归率的变化情况,并以最小局部递归率为基准,提出一个新的衡量信号非平稳程度的指标——递归损失量;然后,以几种典型的非平稳信号为例,分别计算2种非平稳评价指标并进行对比分析,讨论其差异及各自不同的适用条件;最后,将指标用于桥梁结构环境振动信号的非平稳程度评价.计算结果表明:提出的递归损失量比递归趋势更能适应环境振动信号的特点,能够对环境振动信号的非平稳程度进行更客观的评价.     

递归算法在C/C＋＋程序设计中的描述与实现

递归是函数实现的一个很重要的环节，对许多复杂的问题，递归能提供简单、自然的解法。本文在对递归的概念进行介绍的基础上，重点讨论了递归的程序设计方法，并分析了递归函数的调用和回溯过程。