最优编码

作品数:7被引量:27H指数:2
导出分析报告
相关领域:自动化与计算机技术电子电信更多>>
相关作者:刘振宇侯冬冬朱佳曾琦段大高更多>>
相关机构:中国科学院中国科学技术大学华为技术有限公司中国科学院大学更多>>
相关期刊:《计算机工程与设计》《信息安全与通信保密》《北京大学学报(自然科学版)》《电力系统保护与控制》更多>>
相关基金:国家自然科学基金国家教育部博士点基金中国博士后科学基金江西省教育厅青年科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程x
条 记 录,以下是1-1
视图:
排序:
Huffman算法程序的形式化推导被引量:1
《计算机工程》2010年第5期49-51,共3页王昌晶 罗海梅 左正康 薛锦云 
科技部国际合作基金资助项目(2008DFA11940);国家自然科学基金资助项目(60773054);江西省教育厅青年科学基金资助项目(GJJ09461)
使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过...
关键词:PAR方法 形式化推导 最优编码 HUFFMAN算法 
检索报告 对象比较 聚类工具 使用帮助 返回顶部