江西省教育厅青年科学基金(GJJ09461)

作品数：3被引量：6H指数：1
导出分析报告
相关作者：王昌晶薛锦云罗海梅左正康更多>>
相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院更多>>
相关期刊：《计算机研究与发展》《计算机工程》《武汉大学学报（理学版）》更多>>
相关主题：形式化推导0-1背包高可信组合优化TS更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于扩展逻辑变换系统_μTS证明循环优化正确性被引量：2
《计算机研究与发展》2012年第9期1863-1873,共11页王昌晶 
江西省教育厅青年科学基金项目(GJJ09461)
循环优化对于提高Cache性能、发掘程序的并行性以及减少执行循环的开销都有着重要的作用,证明带循环优化功能的现代编译器的正确性已成为可信编译的一个挑战性的问题.形式化证明一个羽翼丰满的优化编译器本质上是不可行的,可以使用替代...
关键词：循环优化 可信编译 扩展逻辑变换系统 循环变换 辅助证明算法 
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>
检索报告 对象比较 聚类工具 使用帮助 返回顶部