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 条

[31] A new heuristics for the event ordering in binary decision diagram applied in fault tree analysis
Banov, Reni
Simic, Zdenko
Grgic, Davor
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2020, 234 (02) : 397 - 406
[32] The complexity of the optimal variable ordering problems of a shared binary decision diagram
Tani, S
Hamaguchi, K
Yajima, S
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1996, E79D (04): : 271 - 281
[33] Variable and Value Ordering Decision Matrix Hyper-heuristics: A Local Improvement Approach
Carlos Ortiz-Bayliss, Jose
Terashima-Marin, Hugo
Oezcan, Ender
Parkes, Andrew J.
Enrique Conant-Pablos, Santiago
ADVANCES IN ARTIFICIAL INTELLIGENCE, PT I, 2011, 7094 : 125 - +
[34] Constraint and Variable Ordering Heuristics for Compiling Configuration Problems
Narodytska, Nina
Walsh, Toby
20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 149 - 154
[35] On combining variable ordering heuristics for constraint satisfaction problems
Li, Hongbo
Feng, Guozhong
Yin, Minghao
JOURNAL OF HEURISTICS, 2020, 26 (04) : 453 - 474
[36] Evolving variable-ordering heuristics for constrained optimisation
Bain, S
Thornton, J
Sattar, A
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS, 2005, 3709 : 732 - 736
[37] Evaluation of static variable ordering heuristics for MDD construction
Drechsler, R
ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 254 - 260
[38] On combining variable ordering heuristics for constraint satisfaction problems
Hongbo Li
Guozhong Feng
Minghao Yin
Journal of Heuristics, 2020, 26 : 453 - 474
[39] Variable ordering on multiway decision graphs
Feng, Y
Cerny, E
2002 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL V, PROCEEDINGS, 2002, : 337 - 340
[40] Variable ordering for shared binary decision diagrams targeting node count and path length optimisation using particle swarm technique
Mitra, A.
Chattopadhyay, S.
IET COMPUTERS AND DIGITAL TECHNIQUES, 2012, 6 (06): : 353 - 361

← 1 2 3 4 5 →