核安全2024，Vol.23Issue(5)：48-56,9.
一种故障树预处理和最小割集的嵌套求解方法
A Method for Fault Tree Preprocessing and Minimum Cut-Set Nesting
李旭 1张仁斌 1樊玉琦1
作者信息
- 1. 合肥工业大学计算机与信息学院 合肥 230601
- 折叠
摘要
Abstract
Fault Tree Analyze(FTA)is a system security analysis method,and solving the Minimum Cut Set(MCS)of the fault tree is an important part of FTA.The method mainly includes the algorithm based on Boolean algebra and the algorithm based on Binary Decision Diagram(BDD).When using ordinary computer to analyze large-scale fault trees,the existing method has the problems of insufficient working memory and too long calculation time.In order to solve the above problems,a Boolean algebraic fault tree Pretreat and Nested Minimum Cut-Set Algorithm(PNMCS)is proposed for a domestic large pressurized water reactor risk model.The algorithm consists of three modules:fault tree simplification,fault tree pruning and minimum cut set nesting.The application of this algorithm to the risk model of a large pressurized water reactor in China and several practical application risk models shows that the algorithm can solve the problems of insufficient working memory and too long calculation time while obtaining correct results.关键词
故障树分析/割集法/组合爆炸/布尔代数/二元决策图Key words
fault tree analysis/cut set method/combination explosion/boolean algebra/binary decision diagrams分类
信息技术与安全科学引用本文复制引用
李旭,张仁斌,樊玉琦..一种故障树预处理和最小割集的嵌套求解方法[J].核安全,2024,23(5):48-56,9.
