点击次数：

发布时间：2018-12-18

第一作者：Yuchang Mo

发表时间：2014-01-01

发表刊物：Reliability Engineering and System Safety

所属单位：数理与信息工程学院

文献类型：期刊

卷号：Vol.131

页面范围： 83-93

ISSN号：0951-8320

关键字：Network;reliability;Binary;Decision;Diagram;Edge;ordering;heuristic;Lattice;network;de;Bruijn;network

摘要：In the Binary Decision Diagram (BDD)-based network reliability analysis, heuristics have been widely used to obtain a reasonably good ordering of edge variables. Orderings generated using different heuristics can lead to dramatically different sizes of BD

是否译文：否