A BDD-based algorithm for reliability analysis of phased-mission systems
A BDD-based algorithm for reliability analysis of phased-mission systems
复制标题
DOI：
10.1109/24.765927
复制
发表时间：
1999-03
影响因子：
5.9
通讯作者：
X. Zang;Na Sun;Kishor S. Trivedi
中科院分区：
文献类型：
--
作者：
X. Zang;Na Sun;Kishor S. Trivedi
本文根据二进制决策图（BDD）提出了一种新的算法（PMS-BDD），用于分阶段误解系统（PMS）的可靠性分析。 PMS-BDD使用相位代数来处理整个阶段的依赖性，以及一个新的BDD操作来合并相位代数。由于BDD的性质，可以将阶段共同组成部分取消与BDD代相结合，而无需其他操作。并且可以通过最终BDD隐式表示不相交产品（SDP）的总和。几个示例和实验表明，在计算时间和存储空间中，PMS-BDD比基于SDP的算法更有效。这种效率允许研究一些实用的大阶段误解系统。
This paper presents a new algorithm (PMS-BDD) based on the binary decision diagram (BDD) for reliability analysis of phased-mission systems (PMS). PMS-BDD uses phase algebra to deal with the dependence across the phases, and a new BDD operation to incorporate the phase algebra. Due to the nature of the BDD, cancellation of common components among the phases can be combined with the BDD generation, without additional operations; and the sum of disjoint products (SDP) can be implicitly represented by the final BDD. Several examples and experiments show that PMS-BDD is more efficient than the algorithm based on SDP, in both computation time and storage space; this efficiency allows the study of some practical, large phased-mission systems.