一种基于局部搜索的故障树最大概率最小割集求解方法

摘要

本发明涉及一种基于局部搜索的故障树最大概率最小割集求解方法，所述方法包括：S1：对故障树进行初始逻辑转换；获取布尔表达式；S2：根据布尔表达式，对部分最大可满足性问题建模；S3：使用基于局部搜索的启发式算法对部分最大可满足性问题实例进行求解；S4：最大概率最小割集结果转化：对S3的结果进行反转对数转换，求得最终最大概率最小割集及其联合概率。本发明利用部分最大可满足性问题并基于局部搜索这一高效的启发式方法来求解故障树的最大概率最小割集，以更优异的存储空间和求解性能寻找最可能引发系统故障的最小基本事件组合。可有效提高复杂故障树最大概率最小割集的求解效率。