基于逻辑确定性的BDD变量排序方法
崔谱龙
叶华平
闫华
1.陆军勤务学院 重庆 4000002.陆军勤务学院 重庆 4000003.陆军勤务学院 重庆 400000
摘要：基于二维决策图(Binary Decision Diagram,BDD)的战时油料保障可靠性分析,其中一个关键是对变量进行排序,所选择的变量排序对BDD的规模有重要影响.由于阶段之间的相关性,单一阶段任务BDD变量排序方法很难直接应用于多阶段任务.考虑多阶段任务结构和特性的基础上,分析总结现有方法中影响变量排序的因素,提出了基于逻辑确定性的BDD排序方法.通过与传统的排序方法比较,改进的方法可以生成更理想的BDD结构.
关键词：逻辑确定性二维决策图变量排序
分类号：TP301(计算技术、计算机技术)
资助基金：国家自然科学基金项目(711401172)
论文发表日期：2018-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 1939-1942,2010 )
英文信息