论文部分内容阅读
故障树分析(Fault Tree Analysis,简称FTA)是可靠性分析中的一种有效方法,在可靠性研究中占有重要比重。然而,在大数据时代,各类系统功能日益丰富,而且越来越多样化,系统结构也日益复杂,传统故障树分析方法处理大型复杂系统的可靠性分析时效率极低;同时,随着故障树自身规模的增长,分析方法的计算量呈指数级爆炸增长。针对故障树分析方法计算效率低下和占用计算机资源的问题,本文对故障树模块化和二元决策图(Binary Decision Diagram,简称BDD)方法开展研究,首先对故障树进行模