递归算法在C语言程序设计中的实现

本文根据递归算法的定义,对其在C语言程序设计中的应用进行了阐述,通过对递归的内部实现过程的描述,对递归的使用进行评价,说明递归在程序设计中具有一定的使用空间.     

数据结构下的程序递归算法设计及应用

在数据结构基础上使用程序递归算法设计是目前进行软件开发应用最广泛的方法.使用递归算法进行程序编写可以减少很多操作细节,从而简化程序编写,而且递归算法结构简单且清晰,易读性比较强,最大的优势递归算法正确率高、验证比较方便.对递归程序算法的应用进行了分析,并探讨了递归算法的实现策略.     

使用递推解决递归问题的研究与应用

使用递推技术实现递归问题的算法,不仅可以节省存储空间,而且可以极大地提高算法的执行效率.在对递归问题进行研究的基础上,给出了使用递推技术将递归问题的递归算法转换成非递归算法的具体方法,并通过具体实例加以了说明.     

归纳定义与递归算法

归纳定义是定义某些概念时常用到的一种定义方法，但是，什么叫做“归纳定义”并没有严格的说法，本文从代数系统的观点出发，对归纳定义进行了严格的数学定义。递归算法是编程时经常使用的一种算法设计方法，其思想就是算法本身调用自己。本文对归纳定义与递归算法之间的联系进行了深入的讨论和研究，结论是：利用归纳定义所定义的概念一定可以利用递归算法进行判定；反之，由递归算法可以判定的概念一定能够进行归纳定义。     

浅谈递归算法在程序设计中的运用

递归在计算机科学和数学中都是一个重要的问题求解工具,许多复杂问题的求解都可以用递归算法去解决,适当的使用递归算法可以简化复杂问题。该文通过具体的实例,讨论了递归算法的实现,并对递归算法进行了进一步的探讨。     

浅谈递归算法在程序设计中的运用

递归在计算机科学和数学中都是一个重要的问题求解工具,许多复杂问题的求解都可以用递归算法去解决,适当的使用递归算法可以简化复杂问题。该文通过具体的实例,讨论了递归算法的实现,并对递归算法进行了进一步的探讨。     

形式化开发Hanoi塔问题非递归算法

使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化地正确性证明。本文直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。     

递归程序的计算规划分析与研究

在程序设计中，为了处理重复性的计算，最常用的办法是采用递归计算。理论上讲，对递归程序的处理有不同的计算规则。本文从理论上及实践上对递归程序的计算过程进行了详细的探讨，在对多种程序设计语言中关于递归程序的计算过程进行分析基础之上，对递归程序计算规则进行了总结。     

一种形式化开发非递归算法的方法*

提出了一种简单、统一的形式化开发非递归算法的方法.该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述.对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨.     

递归算法的非递归实现

递归以其算法简单清晰、可读性强及易实现而具有很好的理论，但在实际应用时，递归过程用到的大量数据不管有用无用都需要保存，而当递归层次多到一定程度，将耗尽系统内存资源，因此很少在真正的实际应用中使用，实用性较差。如果可以设计出一种既保持递归算法简单、清晰、易实现的优点，双能避免递归算法极耗内存缺陷的新型递归算法，将是一件十分有意义的事情。     

Extended recursion-based formalization of virus mutation

Computer viruses are programs that can replicate themselves by infecting other programs in a system. Bonfante, Kaczmarek and Marion have recently proposed a classification of viruses which relies on the recursion theory and its recursion theorems. We propose an extension of their formalism to consider in a more practical way the mutation of viruses. In particular, we are interested in modelling any depth of mutation, not just the first two levels. We show that this formalism still relies on recursion theorems, whatever the depth of mutation, even in the case of infinite depth. We also extend furthermore this formalism to model the viability of viral replication, which ensures that an infected program still can propagate the virus. An application of the proposed formalism to the class of combined viruses (multi-part viruses) is studied. Finally, given that metamorphic viruses can be modelled by grammars operating on grammars, we study a recursion-based approach of formal grammars and show that the recursion theorems of the recursion theory can be ported to the formal grammars theory.     

用面向对象技术消除递归

程序设计中递归的运用可以使编程效率提高,但对时间要求及严的软件而言,递归带来的问题也很多,在网络几何画板软件开发中提出了一种运用面向对象技术消除递归的方法,使得软件代码大幅度缩短,结构清晰,软件的运行速度提高,瓶颈问题得以解决,论证了消除递归的重要性及面向对象技术在系统建模中的强大优势。     

一个上下文无关文法的构造定理及其在推断中的应用

递归概念可以在句子中重复派生、循环出现。对这样的句子推断时,若为递归概念的每一个派生部分引进一个递归概念来描述,将推断出多个与之有相似的产生式结构的递归概念,同时也构造出一个新文法。本文先给出新文法的形式化构造方法,证明了新文法与原文法的等价性。在文章的后部,通过实例,介绍该定理在简化复杂文法推断中的应用。     

工作团队视角看递归

递归是程序设计中一种重要的思想方法。递归算法代码量小、求解思路清晰,解决复杂问题的方案优雅而简洁,但递归算法难以掌握。结合实例以工作团队的视角进行递归算法设计,提出首先保证正确设计递归算法然后再分析递归执行过程的教学思路,在教学实践中取得良好效果。     

工作团队视角看递归

递归是程序设计中一种重要的思想方法。递归算法代码量小、求解思路清晰,解决复杂问题的方案优雅而简洁,但递归算法难以掌握。结合实例以工作团队的视角进行递归算法设计,提出首先保证正确设计递归算法然后再分析递归执行过程的教学思路,在教学实践中取得良好效果。     

Numerical determination of the critical point in the 3-D Ising model in Wilson's formalism

We present an application of Wilson's recursion formula to determine the critical point in the 3-dimensional Ising model with ferromagnetic short-range interactions. With the aid of an iterative procedure suitable for computer calculations, we confirm the existence of a fixed point Q¹ (s) in Wilson's recursion relation, and we discuss the asymptotic behaviour of Q¹ (s).     

THE METHOD OF CAUSAL RECURSION IN MATHEMATICAL DYNAMICS: THE INTERRUPTIONS OF FEIGENBAUM BIFURCATIONS OF VERHULSTIAN ECOSYSTEMS AND OTHER APPLICATIONS

The method of causal recursion (Section 1) is first illustrated by applications to population dynamics. As a first example the ecosystems derivable from the Verhulst axioms are analysed (Section 2). It is shown that when the total biomass becomes large enough, the system always perishes because of an interruption of the Feigenbaum scheme of bifurcations (Section 2.3). As another example of application the problem of the correct causal recursion of predator-prey ecology and the t to t + 1 map of the Hirsch-Smale model are discussed (Section 3). In Section 4 an exhaustive systemalics of causal recursions and the respective ( continuous or discontinuous) dynamical systems on an Euclidean space is given.