基于多值决策图的多状态线性consecutive-k-out-of-n系统的性能分析

MDD-Based Performability Analysis of Multi-state Linear Consecutive-k-out-of-n Systems

多状态线性consecutive-k-out-of-n系统(简称MLC(k,n)系统)是由n个部件按顺序串联排列在一条线上组成的.MLC(k,n)系统根据连续失效部件的数量不同,呈现不同的性能.基于多值决策图(multi-valued decision diagram,MDD),提出一种MLC(k,n)系统性能分析方法 ,对具有任意寿命分布异构部件的MLC(k,n)系统的性能进行建模和评估,重点给出了高效的MDD模型生成算法.通过分别对不可修复和可修复MLC(k,10)系统的具体实例分析,说明了MDD方法的有效性,其适用于任意寿命分布的异构不可修复部件系统.

A multi-state linear consecutive-k-out-of-n system, MLC（k, n）, consists of n components ordered in a line. Performability of an MLC（k, n） system is concerned with probability that the system performs at a performance state characterized in terms of the largest number of consecutive failed components. It abounds in real-world applica- tions such as wireless sensor networks, microwave station networks, and oil pipeline systems. This paper proposed a multi-valued decision diagram （MDD）-based approach to model and evaluate performability of an MLC （k, n） sys- tem with heterogeneous components following arbitrary lifetime distributions. The proposed approach encompasses a novel and efficient MDD model generation procedure. As demonstrated through examples, the proposed MDD approach is applicable to MLC（k, n） systems with non-identical unrepairable/repairable components and component importance analysis.