论文研究用时序和逻辑规则形成动态故障树的紧缩Markov链.pdf

针对枚举底事件的所有时序状态来形成Markov链的弊端，借鉴静态故障树的最小割集(minimum cut set, MCS)思想，考虑形成紧缩的Markov链（即最简顺序割集）。其重要目的是剔除冗余的Markov链，在保证不影响系统失效分析的同时减小状态空间，最大限度地避免陷入组合爆炸的危险。其显著特点在于用时序规则和逻辑规则来描述动态逻辑门。以此为基础，用BDD（binary decision diagram）技术首先形成基于逻辑规则的动态系统的MCS,其次对每个MCS运用时序规则，组合成必要的Markov链。实际例证表明，将MCS和时序恰当地结合起来，能够有效地获取动态故障树的紧缩Mark