【摘 要】
：
使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性，在对原问题进行分划归约为子问题时，引入一个新元素来取代原来的2个或多个元素，使
【机 构】
：
江西师范大学高性能计算技术重点实验室,中国科学院软件研究所,中国科学院研究生院,江西师范大学物理与通讯电子学院
【基金项目】
：
科技部国际合作基金资助项目(2008DFA11940);国家自然科学基金资助项目(60773054);江西省教育厅青年科学基金资助项目(GJJ09461)
论文部分内容阅读
使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性，在对原问题进行分划归约为子问题时，引入一个新元素来取代原来的2个或多个元素，使用一套接近数学语言的抽象记号表示集合、二叉树等，推导过程简洁且能生成正确的算法。该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序，并正常运行。
其他文献
佛教是伦理色彩极为浓郁的宗教，中国佛教伦理学说是一个庞大、复杂而又富有特色的思想体系。中国佛教伦理学说内涵有3个层次：一是论述以人类为重点的、包括其他动物的广大众生
随着我国城市化进程步伐的不断加快，各城市越来越重视园林景观设计，良好的园林景观设计能够有效改善城市生态环境，因此在城市建设中做好现代园林景观设计尤为重要。如何提高我国
有机物料广泛应用于土壤改良与污染修复,施用有机物料可改变土壤有机质组分,而溶解性有机质(dissolved organic matter,DOM)是土壤有机碳中最活跃的部分。土壤DOM分子量小、迁移性大,对土壤碳循环、污染物的迁移转化及生物有效性有重要作用。水稻在生长过程中,大多处于淹水条件下,DOM对土壤Cd的迁移性和有效性影响也最为活跃。本文采用盆栽试验结合室内试验与分析,探讨有机物料对土壤溶
住院病人经常会遇到一些突发情况,比如我们在输液时,针头脱落或者需要更换吊瓶,而护士又没在我们跟前,这时我们就需要一种可以及时传呼护士的工具。该系统主要以2262译码器和
目的探讨经脐单孔异位妊娠腹腔镜输卵管切除术的可行性及临床价值。方法对8例输卵管妊娠患者行经脐单孔腹腔镜输卵管切除术。结果8例手术全部成功，手术时间平均47．25±15．36
据不完全统计，5月份以来有近20家上市公司股东、董监高因违规减持被采取监管措施，控股股东及其一致行动人违规减持也不在少数，具体情形主要表现为违反承诺、先斩后奏、披露公告
日前,《广东省教育厅关于做好普通高中教育教学管理工作的指导意见》发布,《指导意见》提出,要加强对学生理想、心理、学业、生活和生涯规划等方面的指导。普通高中一年级要
运用文献资料法、逻辑分析法等研究方法,阐述了高等体育院校教学质量管理中应用ISO9000:2000的必要性,并就建立和实施高等体育院校教学质量管理体系的方法、程序以及其基本内
企业要进一步提高核心竞争能力,就必须有效发挥人力资源优势,建立健全薪酬管理制度。就当前情况来看,我国企业薪酬管理普遍存在问题,本文主要分析了这些问题存在的原因,并依
近些年来,人们进入了由新媒体构建的信息传播时代,给传统报业带来了巨大的冲击。网络信息传播的发展途径也影响到了传统报业,它使传统报业在面临转型升级发展机遇的同时,也遇