摘要

Accounting for static generalized phased-mission systems, imperfect coverage and dependencies across phases increase complexity and difficulty of system reliability analysis obviously. Based on SEA, we present a two-level separable combinatorial method which divides mission and phase imperfect coverage. And then we add some new rules of phase algebra and a new phase dependence operation to ordinary rules and operations, which deal with the dependencies across the phases. The effective PMS-BDD approach is also synthesized in our approach to decrease the model size and computational complexity. In this paper, the approach is compared with several existing approaches by a case study, such as a family of decision diagrams called TDD and MBDD, in order to illustrate its precise, efficient and modular advantages.

全文