期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

最优合并算法及证明

A Optimal Merging Algorithm and Its Provement

下载PDF

导出

摘要提出一种有条件的最佳状态合并算法，并给出证明． The present paper covers a conditional optimal status merging algorithm, and gives its provement.

作者张长海袁琦刘磊

机构地区吉林大学计算机科学系

出处《吉林大学自然科学学报》 CAS CSCD 1997年第4期29-30,共2页 Acta Scientiarum Naturalium Universitatis Jilinensis

关键词状态合并合并算法语法分析部分求值无向图 status merging,NP problem,merging algorithm

分类号 TP311.1 [自动化与计算机技术—计算机软件与理论] O157.5 [理学—基础数学]

引文网络
相关文献

参考文献1

1刘磊,郑红军,金成植.基于信息流分析的部分求值技术[J].软件学报,1995,6(8):509-513. 被引量：8

共引文献7

1李航,宋立彤,金成植.LISP语言的增量式部分求值器[J].软件学报,1996,7(8):492-498. 被引量：2
2何波玲,李玲.信息流和数据流分析在程序检测中的应用[J].长春邮电学院学报,1999,17(2):61-65. 被引量：1
3袁琦,张长海,刘磊,张宗来.动静态结合的部分求值技术[J].吉林大学自然科学学报,1999(4):31-34.
4郭德贵,王冠成,吕帅,刘磊.peC语言的部分求值器及在编译器测试中的应用[J].软件学报,2017,28(5):1221-1232. 被引量：3
5赫枫龄,刘磊,张孝志.用有向图法确定报表系统中的公式计算顺序[J].计算机工程与应用,2003,39(36):87-89. 被引量：3
6赫枫龄,刘磊,张孝志.报表系统中的公式循环依赖问题[J].计算机工程,2004,30(3):78-79. 被引量：3
7赫枫龄,刘磊,张孝志.用有向图法解决公式循环依赖问题[J].计算机工程与设计,2004,25(2):274-276. 被引量：2

1邓维,李兆鹏.形状分析符号执行引擎中的状态合并[J].计算机科学,2017,44(2):209-215.
2田海凤,闫俊英,高保凤.在理论力学教学中概念和定理的语法分析[J].高等工程教育,1996,10(3):40-42.
3徐达.排序的合并算法[J].天津商学院学报,1994,14(3):32-40.
4张明明,秦永彬.基于前序关系的非确定型有穷自动机极小化算法[J].山东大学学报（理学版）,2010,45(7):34-38. 被引量：1
5田野.物理教学应注意结合语文知识[J].青海师大民族师范学院学报,2001(1):77-77.
6赵云山,宫云战,刘莉,肖庆,杨朝红.提高路径敏感缺陷检测方法的效率及精度研究[J].计算机学报,2011,34(6):1100-1113. 被引量：9
7黄建林.非方程类型问题的方程解法[J].许昌师专学报,1999,18(5):123-125.
8肖明明,余顺争.基于文法推断的协议逆向工程[J].计算机研究与发展,2013,50(10):2044-2058. 被引量：9
9李秀格,朱红宁.求模糊相似矩阵的传递闭包的简捷算法[J].电脑知识与技术（过刊）,2014,20(9X):6161-6165. 被引量：1
10赵玉兰,车淑兰.求二元关系传递闭包的新方法[J].内蒙古大学学报（自然科学版）,2000,31(5):541-543. 被引量：3

吉林大学自然科学学报

1997年第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部