基于二维决策图分析单调关联系统的“标签”性质

"标签"理论最初作为一个有用的工具来分析部件寿命是独立同分布的单调关联系统。萨马涅戈和纳瓦罗等人通过得到划分事件的概率和对事件概率求置换的方法,定义系统部件寿命是独立同分布时的"概率标签"和"结构标签"。而对于部件不是独立同分布时,提出二维决策图法来分析"标签"性质。结合二维决策图的可视化以及部件的状态概率进一步地得到部件不是独立同分布情形下的"标签"定义。

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

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