基于线性时间算法的故障树模块扩展分解方法

摘要

故障树分析被广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析中.然而,像核电站等大型工业所使用的大型故障树的分析需要耗费大量的计算资源,导致分析效率低下,时间消耗过多.为了解决此问题,对现有的线性时间算法进行改进,提出新的故障树简化规则和模块扩展分解算法.首先提出等效事件的概念,扩展线性时间算法所分解的模块数;在考虑时间复杂度和资源利用率的基础上,提出一套新的简化规则,以合理地去除故障树中的冗余信息.实验证明,提出的分解方法能有效地优化故障树分析,进一步减少大型故障树分析的计算时间和内存消耗.