递归程序变换的一种新模式一CZ变换

本文讨论?递归程序模式 f(x)≡IF b(x)THEN h/(x)ELSE F(g(x),f(k(x))的等价变换问题。首次提出CZ变换,它跟熟知的Cooper变换和反演变换一起可将相当多的此类模式转化为等价的尾递归模式,通过6个实例说明这三种变换各自的特点。     

递归函数的非递归模拟

讨论递归的内部实现原理，就递归函数如何转换为非递归函数，给出一组转换规则。利用该组规则将图的深度优先搜索(DFS)和n阶勒让德多项式的递归算法转换成了等价的非递归算法。     

从求解格点问题看递归算法及其与迭代循环算法的比较

递归是比迭代循环更有力的算法。一方面,每个循环算法均可找到一个等价的递归算法;另一方面,一些循环算法不能求解的问题常可用递归算法求解。格点问题便是这类问题中具有代表性的一个。 本文通过对格点问题构造有效算法来讨论:一,如何根据一个问题所固有的结构关系去选择适当的算法;二,递归算法在计算机内的实现方式及对递归程序的跟踪;三,递归算法与循环算法的比较。     

模为2的余新河问题与哥德巴赫猜想

通过对模为 2 的余新河问题的研究,一方面给出了正奇素数的一个递归算法, 另一方面给出了余新河问题成立的几个等价条件,从而得出结论,完善孙子定理是解决哥德巴赫猜想的一个先决条件.     

螺旋坐标系统：多维滤波向一维滤波的转化

把一根线绕到圆柱体上就形成了一条螺旋线,利用螺旋坐标系统可以把笛卡尔坐标空间中的多维滤波和递归滤波转化一维空间中来处理。相应地多维递归滤波的稳定性问题可以在一维空间中进行刻画,本文证明了二维滤波和一维螺旋滤波的等价性,并且给出了一维螺旋滤波和递归滤波的算法,实际的算例说明了算法的可靠性和有效性。     

递归算法及其在计算机上的实现

本文系统论述能够用递归算法解决的问题应具备的条件、递归子程序结构、递归子程序调用过程与参数传递。最后讨论递归算法与其他算法的比较及它的应用。     

由先序序列和结点的左孩子情况构造严格二叉树的高效算法

提出一种新的由一棵严格二叉树的先序序列和结点的左孩子情况构造该严格二叉树的非递归算法.通过实例给出了新算法的执行过程,同时说明,与已有的等价递归算法相比,新算法的时间复杂性更低,而最差情况空间复杂性相同.     

基于局部线段模式特征的城市道路视觉检测

局部二值模式(Local Binary Pattern,LBP)特征对于局部纹理信息的提取非常精细,但对于发散的远端信息则会遗漏部分关键特征而造成检测精度降低。针对这一问题,文中提出了局部线段模式(Local Line Pattern,LLP)特征算法。首先构建城市道路数据库并将道路图像进行分块处理,然后用LLP算子提取直方图来描述局部纹理结构,并将其串联得到特征向量,最后结合BP神经网络实现城市道路可行驶路面检测。实验结果表明,LLP特征算法在检测精度上优于现今主流的各类改进型LBP算法。LLP结合"等价模式"LBP算法的实验结果显著优于"等价模式"LBP算法,在城市道路数据库中检测精度较"等价模式"LBP算法提高了4. 3%。     

广义非凸变分不等式系统的松弛迭代算法

考虑定义在Hlibert空间中一致临近正则集上的广义非凸变分不等式系统问题(SGNCVIP)。建立了问题(SGNCVIP)和不动点问题之间的等价性。利用这种等价性提出了求解问题(SGNCVIP)的松弛迭代算法,进而在适当温和的条件下证明了该算法是收敛的。本文给出的结果改进并推广了相关文献中的结论。     

堆栈在递归调用中的应用

本文以汉诺塔问题为例描述堆栈在递归的结构设计中的应用,表明堆栈是使得递归算法成为有效算法的重要基础.为减少递归过程(函数)空间的占用,本文还讨论实现递归调用时工作栈的存贮结构.     

基于递归的程序设计浅析

递归是一种算法设计的策略,是程序设计和描述算法的一种有力工具,在程序设计中被广泛采用,尤其在数值计算、数据结构、人工智能、算法设计与分析及其他领域应用广泛。通过分析递归程序设计的数学模型归纳法讨论了递归程序设计的一般思想与方法、步骤及需要解决的关键核心问题。最后,通过几个可以采用递归实现的经典算法,详细阐述了通过分析问题,找到递归实现的两个基本核心问题,即递归表达式和递归终止的条件,并以此来编写递归调用的函数。     

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

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

非线性互补问题的光滑逼近法

基于非线性互补问题(NCP(F))的等价变形,构造非线性互补问题的一个光滑逼近函数,把非线性互补问题等价变形为非线性方程组问题加以求解,建立了求解非线性互补问题的一个光滑逼近算法,并在一定条件下证明该算法的全局收敛性.     

割纸算法及其实现

割纸算法是一种求最优的算法,本算法的实现的关键技术是"递归",编写"递归算法时,是将原问题转换成一个或多个子问题,并找出停止条件．在本算法中,终极所有的切割方法,记下最优的结果．     

递归程序设计教学方法的研究

递归程序设计基于分治法和全息的思想方法,将大规模系统中的复杂问题转化为小规模系统问题进行求解(如Hanio塔问题)。递归算法是一种自然且合乎逻辑的解决问题的方式,但其执行效率通常比较差。因此,在求解某些问题时,常采用递归算法来分析问题,用非递归算法来求解问题;递归程序设计在算法设计中具有重要的理论意义和实用价值,但其在C语言、数据结构、程序设计教学上是难点,主要是思想方法的不同。介绍了在教学中通过一组例题从简单到复杂的程序实例,引导学生由浅入深地掌握递归程序及搜索的编写技巧,取得较好的效果。     

割纸算法及其实现

割纸算法是一种求最优的算法，本算法的实现的关键技术是“递归”，编写“递归算法时,是将原问题转换成一个或多个子问题，并找出停止条件，在本算法中，终极所有的切割方法，记下最优的结果。     

基于编码辅助和过采样的成对载波多址信号盲分离算法

针对对称通信模式下成对载波多址(PCMA)信号的非协作盲分离和解调问题,提出了一种基于编码辅助与过采样相结合的信号盲分离算法.针对两路正交相移键控(QPSK)信号叠加的情况,推导了过采样条件下的信道参数估计表达式,利用加权递归最小二乘法提高信道参数估计的收敛速度,利用编码辅助降低计算复杂度和误码率,以改进已有的逐幸存路径(PSP)算法,并提高低信噪比条件下的信号分离性能.仿真结果表明,与无编码辅助和过采样的信号盲分离算法相比,所提出的基于编码辅助和过采样的算法可使误码率降至20dB.     

基于投影位置的序列模式挖掘算法

针对PrefixSpan算法在产生频繁序列模式(特别是挖掘密数据集和长序列模式)时会产生大量的投影数据库,使得算法性能下降的问题,提出一种基于投影位置的序列模式挖掘(PSPM)算法.该算法利用Apriori性质舍弃对非频繁项存储,节省了存储空间和扫描不可能出现序列的挖掘时间;在递归挖掘过程中,利用投影位置表直接定位投影序列位置进行挖掘局部频繁项,避免了构造投影数据库,从而提高执行效率.实验结果表明:与PrefixSpan(with pseudo-pro)算法相比,PSPM具有更好的执行效率和可伸缩性.     

简单动态递归神经网络在非线性系统辨识中的应用

提出了用一种结构非常简单的动态递归神经网络(SRNN)辨识非线性系统的方法。该方法研究了在递归层不加权的网络简单拓扑结构,推导出SRNN的预报误差(RPE)学习算法,并对算法进行了补充和改进。仿真实验结果表明,这种网络需要调整的权系值少,且改进后的学习算法简单、辨识速度快、模型精度高,解决了一般动态递归网络因网络拓扑结构复杂造成的训练算法复杂、收敛速度慢的问题,可以实时应用。     

一种传感器网络中频繁移动模式挖掘算法

针对传感器网络中包括目标位置和时间的二维属性频繁移动模式挖掘问题,建立了一种新的树状结构OMP-tree,OMP-tree可以压缩存储大量的原始移动模式.同时提出了一种条件搜索算法,使用该算法可以大大减少满足条件的前缀模式数量.基于OMP-tree和条件搜索算法,设计了一种新的挖掘目标的频繁移动模式算法OMP-mine.该算法基于模式增长思想,直接递归地从条件模式基中得到频繁的前缀模式,然后连接后缀,达到模式增长的目的.仿真结果表明,OMP-mine算法可以有效挖掘出传感器网络中具有二维属性的频繁移动模式,并较好地降低了算法的时间和空间复杂度.