基于故障樹(shù)最小割集求解算法
大?。?/span>0.55 MB 人氣： 2017-11-21 需要積分：0
推薦 + 挑錯(cuò) + 收藏(0) + 用戶(hù)評(píng)論（0）
標(biāo)簽：故障樹(shù)(8182)
故障樹(shù)分析廣泛應(yīng)用于核工業(yè)、航空航天和交通控制等安全攸關(guān)領(lǐng)域的安全性分析。求解故障樹(shù)的最小割集是故障樹(shù)分析的關(guān)鍵步驟。目前，對(duì)于大規(guī)模故障樹(shù)的最小割集的求解方法主要是將故障樹(shù)轉(zhuǎn)化為二元決策圖之后求解，其主要缺點(diǎn)在于算法在時(shí)間和空間上的消耗嚴(yán)重依賴(lài)良好的變量順序。為了減少存儲(chǔ)資源并加快求解速度，提出了一種基于可滿足性問(wèn)題的故障樹(shù)最小割集求解算法。首先，將求解故障樹(shù)最小割集問(wèn)題轉(zhuǎn)化為求解布爾可滿足性問(wèn)題。然后，利用可滿足性問(wèn)題求解器，通過(guò)迭代分析求得最小可滿足解集合，即為對(duì)應(yīng)故障樹(shù)的最小割集。實(shí)驗(yàn)表明，本文算法求得的最小割集準(zhǔn)確、有效并且在空間和時(shí)間上的消耗均要優(yōu)于傳統(tǒng)的基于二元決策圖的故障樹(shù)最小割集求解算法。
非常好我支持^.^
(0) 0%
不好我反對(duì)
(0) 0%