Efficient Ordering Heuristics in Binary Decision Diagrambased Fault Tree Analysis
点击次数：
第一作者：Mo, Yuchang
发表时间：2013-01-01
发表刊物：QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL
所属单位：数理与信息工程学院
文献类型：期刊
卷号：Vol.29
期号：No.3
页面范围：307-315
ISSN号：0748-8017
关键字：fault tree analysis;variable ordering;binary decision diagram
摘要：In binary decision diagrambased fault tree analysis, the size of binary decision diagram encoding fault trees heavily depends on the chosen ordering. Heuristics are often used to obtain good orderings. The most important heuristics are depth-first leftmos
是否译文：否