摘要：基于二维决策图（Binary Decision Diagram，BDD）的战时油料保障可靠性分析，其中一个关键是对变量进行排序，所选择的变量排序对BDD的规模有重要影响。由于阶段之间的相关性，单一阶段任务BDD变量排序方法很难直接应用于多阶段任务。考虑多阶段任务结构和特性的基础上，分析总结现有方法中影响变量排序的因素，提出了基于逻辑确定性的BDD排序方法。通过与传统的排序方法比较，改进的方法可以生成更理想的BDD结构。
分类：期刊> 自然科学与工程技术> 信息科技> 电子信息科学综合
收录：统计源期刊(中国科技论文优秀期刊) > 知网收录(中) > 维普收录(中) > 万方收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：逻辑确定性 二维决策图 变量排序
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
