基于SAT的故障树求解最小割集的方法

摘要

本发明公开了一种基于SAT的故障树求解最小割集的方法，首先，将故障树的基本事件抽象成布尔变量；其次，将故障树中基本事件和顶事件的逻辑关系利用布尔表达式表示，顶事件的发生与否取决于对应的布尔表达式的真值；然后，加入对MCS的判定和分析；最后，利用SAT求解算法高效求解MCS。本发明不但在存储空间上表现优异，而且提高了故障树MCS的求解速度。