共查询到15条相似文献,搜索用时 93 毫秒
1.
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C 等可执行程序. 相似文献
2.
3.
4.
Huffman编码作为一种高效的不等长编码技术正日益广泛地在文本、图像、视频压缩及通信、密码等领域得到应用。为了更有效地利用内存空间、简化编码步骤和相关操作,首先研究了重建Huffman树所需要的信息,并提出通过对一类一维结构数组进行相关操作来获取上述信息的方法,然后利用这些信息,并依据提出的规范Huffman树的编码性质,便能直接得到Huffman编码。与传统的Huffman算法及近年来国内外文献中提出的改进算法相比,由于该方法不需要构造Huffman树,不仅使内存需求大大减少,而且编码步骤和相关操作更简洁,因而更利于程序的实现和移植。更重要的是,该算法思路为Huffman算法的研究和发展提供了新的途径。 相似文献
5.
杨晨 《数字社区&智能家居》2010,6(7):1641-1644
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理论分析和试验表明,PAR是学习算法开发的一个有效平台。 相似文献
6.
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。 相似文献
7.
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到.这为开发并验证高效率的算法开辟了一条新途径. 相似文献
8.
9.
10.
Huffman*:一个改进的Huffman数据压缩算法 总被引:7,自引:0,他引:7
介绍了一种改进的Huffman数据压缩算法。针对Huffman算法的不足,首先对编码溢出进行了改进,通过线性链表存储编码,第二个改进是采用堆排序算法,这种方法可以减少对内存读写的次数,提高系统的响应速度。论文最后采用3个JPG文件对Huffman*和经典的Huffman进行了对比分析,实验表明改进算法的耗时与经典算法相比要少的多。 相似文献
11.
针对粒子群优化(PSO)算法在优化问题过程中易陷入局部最优的问题,提出一种基于哈夫曼编码的协同粒子群优化(HC PSO)算法。采用哈夫曼编码将种群划分成2个子种群并对2个子种群进行独立优化,同时,2子种群之间协同完成搜索种群的全局最优解。采用6个标准测试函数来测试算法性能。实验结果表明,该算法可以有效地避免种群陷入局部最优,具有较好的优化性能和稳定性,收敛精度得到了显著的提高。 相似文献
12.
Hanoi塔非递归算法的形式化推导和正确性验证 总被引:1,自引:0,他引:1
关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性. 相似文献
13.
14.
陈华国 《电脑编程技巧与维护》2011,(24):38-40
算法要求将现实可行的处理事情的方法抽象化,最终用程序设计语言来描述.而不少初学者学习程序设计往往是摸不着头脑.掌握恰当的算法推导方法将有助于学习程序设计.旨在教导学生掌握循环算法推导的一般方法. 相似文献
15.
哈夫曼树是带权路径长度(WPL)最小的二叉树,通过对哈夫曼算法的研究,提出一种求取哈夫曼树带权路径长度的改进方法,简化运算,有效提高求取WPL的效率和正确性。同时利用哈夫曼算法进行数据压缩,获得明显的压缩效果。 相似文献