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

摘要：

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.

关键词： System risk assessment BDD Fault Tree Analysis (FTA) Variable ordering heuristics

作者: Suguo Du Yan Sun

作者单位: Antai College of Economics & Management Shanghai Jiao Tong University Shanghai, P.R.China

会议类型: 国际会议

会议名称: 第三届IEEE无线通讯、网络技术暨移动计算国际会议

会议地点: 上海

会议语种:英文

在线出版日期: 2007-09-21（万方平台首次上网日期，不代表论文的发表时间）