云南高校图书馆联盟文献共享服务平台- 国际科技合作与交流专项项目(2008DFA11940)

国际科技合作与交流专项项目(2008DFA11940): 作品数：11被引量：63H指数：5; 导出分析报告; 相关作者：薛锦云石海鹤游珍王昌晶杨乐更多>>; 相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院江西农业大学更多>>; 相关期刊：《中国科学：信息科学》《计算机与现代化》《武汉大学学报（理学版）》《计算机研究与发展》更多>>; 相关主题：PAR方法PAR形式化方法形式化推导规约更多>>; 相关领域：自动化与计算机技术农业科学更多>>

-

在结果中检索

检索结果分析

结果分析中...

选择条件：

主题=形式化推导

共条记录，以下是1-2

全选清除导出

参考文献引证文献引用追踪

视图：

排序：

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

一类0-1背包问题算法程序的形式化推导被引量：3: 《武汉大学学报（理学版）》2009年第6期674-680,共7页王昌晶薛锦云; 科技部国际合作项目(2008DFA11940);国家自然科学基金资助项目(60773054);江西省教育厅青年科学基金资助项目(GJJ09461); 0-1背包问题是经典的组合优化问题与NP完全问题,具有重要的应用价值与理论意义.本文使用PAR(Partition and Recurrence)方法形式化推导了0-1背包问题的高效动态规划算法程序.通过类比分析,该问题的若干变形问题的算法也可推导得到,算法...; 关键词：形式化推导高可信组合优化 0-1背包问题

全选清除导出

共1页<1>

检索报告对象比较聚类工具使用帮助返回顶部