-
题名基于线性时间算法的故障树模块扩展分解方法
被引量：4
- 1
-
-
作者
宋俊花
魏欧
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2019年第1期226-231,共6页
-
基金
国家自然科学基金项目(61170043)
国家重点基础研究发展计划-973计划(2014CB744904)资助
-
文摘
故障树分析被广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析中。然而,像核电站等大型工业所使用的大型故障树的分析需要耗费大量的计算资源,导致分析效率低下,时间消耗过多。为了解决此问题,对现有的线性时间算法进行改进,提出新的故障树简化规则和模块扩展分解算法。首先提出等效事件的概念,扩展线性时间算法所分解的模块数;在考虑时间复杂度和资源利用率的基础上,提出一套新的简化规则,以合理地去除故障树中的冗余信息。实验证明,提出的分解方法能有效地优化故障树分析,进一步减少大型故障树分析的计算时间和内存消耗。
-
关键词
故障树分解
模块扩展
等效事件
简化
-
Keywords
Fault decomposition
Module expansion
Equivalent events
Simplification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
