-
题名优化排料算法的研究与实现
被引量：3
- 1
-
-
作者
计华
刘弘
-
机构
山东师范大学计算机系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第3期345-346,共2页
-
基金
国家自然科学基金 !(项目号 :69975 10 )
山东省自然科学基金 !(项目号 :QPP-G0 7)资助
-
文摘
本文首先介绍了优化排料算法的实现过程 .为了降低算法复杂度 ,本算法采用了启发式搜索的方法 .进而分析了算法的可行性 .在此基础上研制出了二维图形优化排料系统 .大量生产实践表明 ,本系统具有实用。
-
关键词
排料算法
优化
NP完全问题
启发式搜索
-
Keywords
Optimizing nesting
heuristic search
search depth
Algorithmic complexity
-
分类号
O22
[理学—运筹学与控制论]
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于启发式NDFS的模型检测新算法
被引量：1
- 2
-
-
作者
王曦
徐中伟
-
机构
同济大学电子与信息工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2012年第8期1740-1746,共7页
-
基金
国家科技支撑计划重大项目(2009BAG11B00
2011BAG01B03)资助
+1 种基金
国家自然科学基金项目(60674004
61075002)资助
-
文摘
以带有多个可接受条件的广义Büchi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS算法,能较快地判断出广义Büchi自动机非空性,通过理论证明和实验验证了算法的正确性和可行性.与已有算法相比,在广义Büchi自动机非空的情况下,该算法减少了系统状态空间的搜索,提高了检测效率,且能形成相应反例,为缓解形式化验证中的状态空间爆炸问题提供了有效的解决途径,为安全苛求系统的安全性保障提供了有力支撑,丰富了基于模型的软件形式化开发方法.
-
关键词
模型检测
启发式NDFS
安全性验证
on-the-fly算法
BÜCHI自动机
-
Keywords
model checking
heuristic nested depth-first searches
safety verification
on-the-fly algorithm
büchi automata
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
