An ordering scheme of the basic events based on zero-suppressed binary decision diagrams for the large-scale fault tree analysis
Run Yuan · Chinese Journal of Nuclear Science and Engineering · 2007
How to improve the analysis efficiency of the large-scale fault trees attracts lots of attention of the research community.An efficient method called Zero-suppressed Binary Decision Diagram was presented for the large-scale fault tree analysis nowadays.In this paper the influence of the basic events ordering on the scale of ZBDD structure is evaluated.An ordering scheme for the ordering of the basic events in ZBDD,which utilizes the characters of ZBDD structure and the conversion from the fault tree to ZBDD,is also proposed based on the recent progress of the BDD ordering scheme research.The application of this ordering scheme for many practical fault trees demonstrates that it is efficient.