Huffman算法程序的形式化推导

王昌晶; 罗海梅; 左正康; 薛锦云

首页> 中文期刊>计算机工程 >Huffman算法程序的形式化推导

Huffman算法程序的形式化推导

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

使用PAR方法形式化推导了解决最优编码问题的Huffman算法.推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法.该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行.

著录项

来源
《计算机工程》|2010年第5期|49-51|共3页
作者
王昌晶; 罗海梅; 左正康; 薛锦云;
展开▼
作者单位

江西师范大学高性能计算技术重点实验室,南昌,330022;

中国科学院软件研究所,北京,100190;

中国科学院研究生院,北京,100190;

江西师范大学物理与通讯电子学院,南昌,330022;

江西师范大学高性能计算技术重点实验室,南昌,330022;

中国科学院软件研究所,北京,100190;

中国科学院研究生院,北京,100190;

江西师范大学高性能计算技术重点实验室,南昌,330022;

中国科学院软件研究所,北京,100190;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
PAR方法; 形式化推导; 最优编码; Huffman算法;

相似文献

中文文献
外文文献
专利

1. 若干算法程序的形式化推导与生成技术研究 [J] . 胡启敏 ,薛锦云 . 计算机研究与发展 . 2008,第0z1期
2. 形式化PAR方法及其算法程序规约精化机理 [J] . 苏昭 . 江西科技学院学报 . 2014,第003期
3. 基于Isabelle定理证明器算法程序的形式化验证 [J] . 游珍 ,薛锦云 . 计算机工程与科学 . 2009,第010期
4. 循环算法程序的推导及其应用 [J] . 陈华国 . 电脑编程技巧与维护 . 2011,第024期
5. 复杂算法程序的规范证明和形式推导 [J] . 薛锦云 . 江西师范大学学报：自然科学版 . 1992,第003期
6. 若干算法程序的形式化推导与生成技术研究 [C] . 胡启敏 ,薛锦云 . 2007全国理论计算机科学学术年会 . 2007
7. 三类组合数学问题算法形式化推导策略的研究 [A] . 熊小超 . 2019

Huffman算法程序的形式化推导

摘要

著录项

相似文献

相关主题

期刊订阅