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

• 作者: 罗炜麟 魏欧 黄鸣宇
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 故障树分析 安全性分析 最小割集 可满足性问题
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 725-733
• 页数: 9页
• 分类号: TP311.5
• 字数: 9048字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2017.04.016

摘要

故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析.求解故障树的最小割集是故障树分析的关键步骤.目前,对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解,其主要缺点在于算法在时间和空间上的消耗严重依赖良好的变量顺序.为了减少存储资源并加快求解速度,提出了一种基于可满足性问题的故障树最小割集求解算法.首先,将求解故障树最小割集问题转化为求解布尔可满足性问题.然后,利用可满足性问题求解器,通过迭代分析求得最小可满足解集合,即为对应故障树的最小割集.实验表明,本文算法求得的最小割集准确、有效并且在空间和时间上的消耗均要优于传统的基于二元决策图的故障树最小割集求解算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0
2	黄鸣宇	南京航空航天大学计算机科学与技术学院	9	37	4.0	5.0
3	罗炜麟	南京航空航天大学计算机科学与技术学院	2	8	1.0	2.0