点击次数：

发表时间：2022-10-10

发表刊物：人民长江

所属单位：建设工程学部

期号：23

页面范围：64-69

ISSN号：1001-4179

摘要：Traditional binary decision diagram ( BDD) method for fault tree ( FT) analysis is dependent on variable ordering, which causes large calculation and memory. To settle this problem, the paper proposes direct generation method on the basis of fault tree pre-progressing, which can avoid the influence of variable ordering and improve the efficiency of transforming FT to corresponding BDD. In the pre-processing, the original FT is simplified and modularized using linear-time algorithm. Then the direct generation method is firstly used in every module and then used in the whole FT. Finally, the direct generation method is compared with module connection method and neighbor-event-first method. The result shows that the direct generation meth-od obtains smaller number of the BDD nodes and costs less calculation.

备注：新增回溯数据