技术特征：
技术总结
本发明提供了一种基于跳跃回溯的故障树最小割集求解方法。所述基于跳跃回溯的故障树最小割集求解方法包括如下步骤：一、根据最新求解得到的最小割集，计算决策等级；二、SATMCS回溯到步骤一得到决策等级，进行布尔约束传播过程；三、SATMCS进入下一个决策等级，继续搜索割集。本发明的有益效果是：所述基于跳跃回溯的故障树最小割集求解方法可以有效利用故障树的最小割集求解空间分布聚合的特性，有效提升SATMCS求解故障树最小割集的效率。
技术研发人员：魏欧;罗炜麟;李思洁;王立松
受保护的技术使用者：南京航空航天大学
技术研发日：2018.04.09
技术公布日：2018.08.10