故障樹分析廣泛應(yīng)用于核工業(yè)、航空航天和交通控制等安全攸關(guān)領(lǐng)域的安全性分析。求解故障樹的最小割集是故障樹分析的關(guān)鍵步驟。目前，對(duì)于大規(guī)模故障樹的最小割集的求解方法主要是將故障樹轉(zhuǎn)化為二元決策圖之后求解，其主要缺點(diǎn)在于算法在時(shí)間和空間上的消耗嚴(yán)重依賴良好的變量順序。為了減少存儲(chǔ)資源并加快求解速度，提出了一種基于可滿足性問題的故障樹最小割集求解算法。首先，將求解故障樹最小割集問題轉(zhuǎn)化為求解布爾可滿足性問題。然后，利用可滿足性問題求解器，通過迭代分析求得最小可滿足解集合，即為對(duì)應(yīng)故障樹的最小割集。實(shí)驗(yàn)表明，本文算法求得的最小割集準(zhǔn)確、有效并且在空間和時(shí)間上的消耗均要優(yōu)于傳統(tǒng)的基于二元決策圖的故障樹最小割集求解算法。