10.3969/j.issn.1000-3428.2008.14.025
基于OBDD的SMC中PRE(E)操作的改进算法
提出一种基于排序二值判定图(OBDD)的符号模型检测中PRE(操作的改进算法.该算法处理PRE(步骤3(嵌套布尔存在量化)的方法是一次遍历"删除"所有被量化变量的节点,产生表示布尔函数与嵌套存在量化结果等价的不确定排序二值判定图,把不确定排序二值判定图转换成OBDD.实验表明,该算法能有效缩短计算时间,减少中间节点所需空间.
排序二值判定图、符号模型检测、PRE(操作、深度优先搜索
34
TP311(计算技术、计算机技术)
2008-09-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
69-71,74