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 条
  • [21] The dynamics of dynamic variable ordering heuristics
    Prosser, P
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, 1998, 1520 : 17 - 23
  • [22] Variable ordering heuristics show promise
    Beck, JC
    Prosser, P
    Wallace, RJ
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS, 2004, 3258 : 711 - 715
  • [23] Good input ordering for circuit verification based on binary decision diagrams
    Saucier, G.
    Poirot, F.
    EURO ASIC, 1991,
  • [24] Ordering Heuristics for Reliability Evaluation of Multistate Systems Using Multistate Multivalued Decision Diagrams
    Yang, Yaoyao
    Tao, Junyong
    Bai, Guanghan
    Zhang, Yunan
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017,
  • [25] The variable ordering of binary decision diagram based on Genetic Algorithm
    Li, XY
    Chen, GJ
    ICEMI'99: FOURTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 1999, : 920 - 924
  • [26] Variable ordering for Taylor expansion diagrams
    Gomez-Prado, D
    Ren, Q
    Askar, S
    Ciesielski, M
    Boutillon, E
    NINTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2004, : 55 - 59
  • [27] An ordering heuristic for building binary decision diagrams from fault-trees
    Bouissou, M
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1996 PROCEEDINGS, 1996, : 208 - 214
  • [28] A Comparison of Selected Variable Ordering Methods for NFA Induction
    Jastrzab, Tomasz
    COMPUTATIONAL SCIENCE - ICCS 2019, PT V, 2019, 11540 : 741 - 748
  • [29] Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units
    Amparore, Elvio Gilberto
    Beccuti, Marco
    Donatelli, Susanna
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), 2017, 10482 : 184 - 200
  • [30] Using Hyper-heuristics for the Dynamic Variable Ordering in Binary Constraint Satisfaction Problems
    Terashima-Marin, Hugo
    Ortiz-Bayliss, Jose C.
    Ross, Peter
    Valenzuela-Rendon, Manuel
    MICAI 2008: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5317 : 407 - +
12345