基于逻辑确定性的BDD变量排序方法

• 作者: 叶华平 崔谱龙 闫华
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 逻辑确定性 二维决策图 变量排序
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 算法与分析
• 页码范围: 1939-1942,2010
• 页数: 5页
• 分类号: TP301
• 字数: 3118字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2018.10.001

摘要

基于二维决策图(Binary Decision Diagram,BDD)的战时油料保障可靠性分析,其中一个关键是对变量进行排序,所选择的变量排序对BDD的规模有重要影响.由于阶段之间的相关性,单一阶段任务BDD变量排序方法很难直接应用于多阶段任务.考虑多阶段任务结构和特性的基础上,分析总结现有方法中影响变量排序的因素,提出了基于逻辑确定性的BDD排序方法.通过与传统的排序方法比较,改进的方法可以生成更理想的BDD结构.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	崔谱龙		2	1	1.0	1.0
2	叶华平		1	0	0.0	0.0
3	闫华		7	4	1.0	1.0