基于故障樹最小割集求解算法
大小：0.55 MB 人氣： 2017-11-21 需要積分：0
標簽：故障樹(8182)
故障樹分析廣泛應用于核工業、航空航天和交通控制等安全攸關領域的安全性分析。求解故障樹的最小割集是故障樹分析的關鍵步驟。目前，對于大規模故障樹的最小割集的求解方法主要是將故障樹轉化為二元決策圖之后求解，其主要缺點在于算法在時間和空間上的消耗嚴重依賴良好的變量順序。為了減少存儲資源并加快求解速度，提出了一種基于可滿足性問題的故障樹最小割集求解算法。首先，將求解故障樹最小割集問題轉化為求解布爾可滿足性問題。然后，利用可滿足性問題求解器，通過迭代分析求得最小可滿足解集合，即為對應故障樹的最小割集。實驗表明，本文算法求得的最小割集準確、有效并且在空間和時間上的消耗均要優于傳統的基于二元決策圖的故障樹最小割集求解算法。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%