Comparison of Progressive Variable Ordering Methods with Fixed Ordering Heuristics for Binary Decision Diagrams

被引：0

作者：

Du, Suguo ^{[1
]}

Sun, Yan ^{[1
]}

机构：

[1] Shanghai Jiao Tong Univ, Antai Coll Econ & Management, Shanghai 200030, Peoples R China

来源：

2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15 | 2007年

关键词：

System risk assessment; BDD; Fault Tree Analysis (FTA); Variable ordering heuristics;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Binary Decision Diagram (BDD) is an efficient algorithm applied in many domains. When used in the area of system risk assessment, the BDD technology can improve both qualitative and quantitative analysis of system failures by solving large fault trees. However, the size of a BDD depends critically on the decision variable ordering. This paper compared the new progressive ordering method with existing fixed ordering heuristics. The simulation results show a superior performance when using the progressive ordering method.

引用

页码：4581 / 4584

页数：4

共 50 条

[1] Comparison of two new approaches to variable ordering for binary decision diagrams
Bartlett, LM
Andrews, JD
QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2001, 17 (03) : 151 - 158
[2] FINDING THE OPTIMAL VARIABLE ORDERING FOR BINARY DECISION DIAGRAMS
FRIEDMAN, SJ
SUPOWIT, KJ
IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (05) : 710 - 713
[3] Genetic algorithms for the variable ordering problem of binary decision diagrams
Lenders, W
Baier, C
FOUNDATIONS OF GENETIC ALGORITHMS, 2005, 3469 : 1 - 20
[4] VARIABLE ORDERING OF BINARY DECISION DIAGRAMS FOR MULTILEVEL LOGIC MINIMIZATION
FUJITA, M
MATSUNAGA, Y
FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 1993, 29 (02): : 137 - 145
[5] VARIABLE ORDERING ALGORITHMS FOR ORDERED BINARY DECISION DIAGRAMS AND THEIR EVALUATION
FUJITA, M
FUJISAWA, H
MATSUNAGA, Y
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1993, 12 (01) : 6 - 12
[6] MINIMUM-WIDTH METHOD OF VARIABLE ORDERING FOR BINARY DECISION DIAGRAMS
MINATO, S
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (03) : 392 - 399
[7] Variable ordering for decision diagrams: A portfolio approach
Anthony Karahalios
Willem-Jan van Hoeve
Constraints, 2022, 27 : 116 - 133
[8] Variable ordering for decision diagrams: A portfolio approach
Karahalios, Anthony
van Hoeve, Willem-Jan
CONSTRAINTS, 2022, 27 (1-2) : 116 - 133
[9] A VARIABLE ORDERING HEURISTIC BASED ON ZERO-SUPPRESSED BINARY DECISION DIAGRAMS
Li Ya-zhou
Wang Jin
Hu Li-qin
Wu Yi-can
PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING 2010, VOL 3, 2011, : 691 - 695
[10] Variable ordering for ordered binary decision diagrams by a divide-and-conquer approach
Yeh, FM
Kuo, SY
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1997, 144 (05): : 261 - 266

← 1 2 3 4 5 →