Hanoi塔问题非递归的新算法

关于Hanoi塔问题的非递归算法,已有了大量的研究[1￣4]。实验表明,当圆盘数目较少时,现有的非递归算法的执行速度比递归算法要快一些,但是随着圆盘数目的增加,现有的非递归算法的执行速度会逐渐变得比递归算法慢。论文提出了一种基于压缩编码的非递归新算法,在压缩了存储空间的同时,提高了算法的执行速度。实验结果表明,对于任意圆盘数目n,论文所实现的非递归算法的执行速度比现有的递归算法和非递归算法都有成倍的提高。     

Hanoi塔问题非递归算法的形式推导

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

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

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

Hanoi塔问题的一种非递归算法

通过对 Hanoi塔问题的研究 ,给出了 Hanoi塔问题的非递归算法的思想和流程图 ,并用不允许递归调用的 BASIC语言实现了 Hanoi塔问题的非递归算法。该算法的优点在于可一次性求得总移动次数 ,但从程序结构看其编程思路较复杂 ,难于理解 ,算法的时间复杂性和空间复杂性与递归算法无异。     

Hanoi塔问题一种非递归算法的C++实现

通过对汉诺问题的递归算法及结果的分析,创造性地借助二叉树的数据结构设计出非递归算法。给出了实现该算法的C++语言源程序。该算法并未真正在物理上生成所谓的二叉树,有别于常规对二叉树结构的使用。     

用VB编写Hanoi塔问题动态演示程序

递归技术是算法设计过程中的一个重要技术,Hanoi塔问题是一个典型的适合用递归技术求解的问题.将Hanoi塔问题的递归执行过程利用编程方法动态演示出来,有助于人们结合Hanoi塔问题加深对递归技术的理解.     

用VB编写Hanoi塔问题动态演示程序

递归技术是算法设计过程中的一个重要技术,Hanoi塔问题是一个典型的适合用递归技术求解的问题。将Hanoi塔问题的递归执行过程利用编程方法动态演示出来,有助于人们结合Hanoi塔问题加深对递归技术的理解。     

Hanoi塔非递归算法的形式化推导和正确性验证

关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性.     

八皇后问题的非递归算法设计

采用回溯法来解决八皇后问题,用一种较好的数据类型来表示解空间,给出一种逻辑结构非常清晰的非递归算法,解决了递归算法中空间效率低的问题。     

Hanoi塔递归算法的三维动画演示在OpenGL的实现

基于VC 6.0和OpenGL,描述了Hanoi塔递归算法的具体实现,并用三维动画对盘子的移动进行了模拟。     

自主开发的扩展关系模型数据库系统ERDB和GIS_DEMO

本文介绍了一个扩展关系模型数据库系统ＥＲＤＢ和在该系统之上开发的一个ＧＩＳ系统,重点讨论了ＧＩＳ中的拓扑表示和递归查询问题,并从中说明这种扩展的重要意义。     

南瓜果实生长的几何造型

引入了一个虚拟瓜果结构生长模型.通过对良种南瓜的生长观察,建立其生长时期三个阶段的数学模型,并在计算机中连续、动态地模拟这三个阶段的生长过程.该模型为虚拟农作物提供了具有实际应用价值的研究方法.     

对溴化物控制的振荡反应模型的修正

对Ｆ３（ｐｈｅｎ）＾３＋３／Ｆｅ（ｐｈｅｎ）＾２＋３离子催化下溴化物控制的振荡反应模型刊物地修正。不仅使理论计算得到的振荡曲线与实验曲线相似，而且使荡周期的计算值与实验测量值取得一致。     

一种对象关系模型层次控制算法

面向对象需求模型的研究是软件需求领域的一个热门和课题。     

一种吸引分岔知识同模型及其应用实例

本文基于非线性动力学，特别是托姆的形态发生学思想，针对视觉学习，给出了一种吸引分岔知识网模型，用于解决知识表示和获取问题．通过引入皮亚杰发生认识论中的概念，模型拥有的学习功能包括强化、同化、顺应、聚合、分裂和遗忘；这样就给出了一个学习视觉知识的完整方法．３个应用系统的结果表明，该模型及其学习方法，对于解决实际问题，是有效和适用的．     

高可用性系统结构的研究

本文讨论了高可用性系统的体系结构，分析了高可用性系统实现的软硬件结构以及要解决的主要问题和困难，得出了一个避免单点失效、保证整机容错的高可用性系统结构。     

一种三维模型数字水印算法的设计与实现

为了保护三维模型网上共享不被非法拷贝,对三维数据模型结构进行分析,提出了一种利用改变三维数据中三角面片所依据点的坐标来嵌入水印图像三维模型数据的快速简单的数字水印加密方法,最后提出了三维模型数字水印的攻击及健壮性评价标准,并以此对本算法进行了评价,给出了试验结果。     

一个导弹飞行过程控制的Petri网模型

弹道式导弹是靠预先装订的弹道数据来控制飞行的.长期实践和理论研究表明,其飞行中各变量之间的关系可用一组常微分方程组来表达,而弹道数据的解算已有一套比较成熟的数值积分法.但飞行模型只能表达导弹的随时间变化而变化的状态,无法描述系统并发和异步的工作状态.提出一种基于petri网的描述系统动态性能的理论方法.它为导弹并行控制优化和控制系统性能评估提供了有效的方法.     

CAPP系统中的零件特征模型与图样参数化研究

本文分析了CAPP系统中零件特征模型的数据结构,论述了用该模型生成工序图的原理和方法。     

HSI颜色模型在有核骨髓细胞图像分割中的应用

对经染色得到的有核骨髓细胞图像进行分割可以为白血病形态学诊断提供依据。颜色模型的选择对于彩色图像中颜色信息的充分利用、图像分割效果的好坏起着重要作用。HSI颜色模型符合人类的视觉习惯与视觉心理,有利于程序对图像颜色信息的利用,在本文中采用它作为表达有核骨髓细胞图像颜色信息的模型,根据不同系列细胞在颜色上的不同表现,分别使用H分量、S分量作为阈值条件分割细胞的核区域和浆区域。