用時序和邏輯規則形成動態故障樹的緊縮MarkoV鏈

摘要：針對枚舉底事件的所有時序狀態來形成Markov鏈的弊端，借鑒靜態故障樹的最小割集(minimum cutset，MCS)思想，考慮形成緊縮的Markov鏈(即最簡順序割集)。其重要目的是剔除冗余的Mark0V鏈，在保證不影響系統失效分析的同時減小狀態空間，最大限度地避免陷入組合爆炸的危險。其顯著特點在于用時序規則和邏輯規則來描述動態邏輯門。以此為基礎，用BDD(binary decision dlagram)技術首先形成基于邏輯規則的動態系統的MCS，其次對每個MCS運用時序規則，組合成必要的Markov鏈。實際例證表明，將MCS和時序恰當地結合起來，能夠有效地獲取動態故障樹的緊縮Markov鏈。