摘要
为了克服二元决策图方法分析故障树所存在的不足,提出了基于二元决策图的模块方法分析系统可靠性。采用线性时间算法将故障树分解成相互独立的子故障树,然后用二元决策图方法对子故障树进行分析,递归综合相互独立子故障树的求解结果,得出整个系统的可靠性。基于二元决策图的模块分析方法克服了故障树分析与二元决策图方法存在的不足,适用于大型、复杂系统的可靠性分析。
In order to overcome the deficiencies of Binary Decision Diagram,the modular method,based on Binary Decision Diagrams,is introduced to analyze system reliability.Fault trees are divided into independent subtrees using a very efficient linear time algorithm,then Binary Decision Diagram is applied to each subtree for reliability analysis.The solutions of various independent subtrees are integrated to obtain system reliability.The modular method,based on based on Binary Decision Diagrams,can overcome main deficiencies of fault tree analysis and Binary Decision Diagram,and is useful for assessing the reliability of large and complex systems.
出处
《华东交通大学学报》
2010年第5期53-57,共5页
Journal of East China Jiaotong University
关键词
二元决策图
模块
可靠性分析
故障树
binary decision diagram
modular
reliability analysis
fault tree