Hits:

Date of Publication:2022-10-10

Journal:人民长江

Affiliation of Author(s):建设工程学部

Issue:23

Page Number:64-69

ISSN No.:1001-4179

Abstract: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.

Note:新增回溯数据