期刊文献+

基于二元决策图的网络可靠性评估 被引量:8

Network reliability evaluation based on binary decision diagrams
原文传递
导出
摘要 提出一种改进二元决策图(BDD)的网络可靠性评估方法.为了解决BDD构造中有效识别同构子图的问题,将边收缩/删除法应用于BDD的图分解中,并提出了BDD的宽度优先搜索算法,通过遍历BDD图对边进行排序,为布尔函数的不交化提供了一种新的高效途径.实验结果表明,该算法具有精确性高、时间复杂度低的优点,可以避免常规最小路算法中进行不交化的大量运算,并可应用于一些大规模的网络. An improved method for evaluating the network reliability based on binary decision diagrams(BDD) is presented. To solve the structure in the effective identification of BDD subgraph isomorphism problem, the edge contraction/deletion is applied to this decomposition process of network graphs, and the width first search algorithm of BDD is proposed. By traversing BDD graph, the edges are sorted. A new and efficient way is provided for the Boolean function disjoint. The experiment results show that, the algorithm has the merit of high accuracy and low time complexity, and can avoid a large number of disjoint operations in the minimum path algorithm, which can be applied to a number of large-scale networks.
出处 《控制与决策》 EI CSCD 北大核心 2011年第1期32-36,共5页 Control and Decision
基金 国家自然科学基金项目(60974086)
关键词 二元决策图 网络可靠性 评估 binary decision diagrams network reliability evaluation
  • 相关文献

参考文献16

  • 1Ahmad S H. Simple enumeration of minimal cutsets of acyclic directed graph[J]. IEEE Trans on Reliability, 1998, 27(5): 484-487.
  • 2Locks M O. A minimizing algorithm for sum of disjoint products[J]. IEEE Trans on Reliability, 1987, 36(4): 436- 445.
  • 3Hariri S, Raghavendra C S. SYREL: A symbolic reliability algorithm based on path and cutset methods[J]. IEEE Trans on Computers, 1987, 36(10): 1224-1232.
  • 4Akers B. Binary decision diagrams[J]. IEEE Trans on Computers, 1978, 27(7): 509-516.
  • 5Bryant R E. Symbolic Boolean manipulation with ordered binary-decision diagrams[J]. ACM Computing Surveys, 1992, 24(3): 293-318.
  • 6Coudert O, Madre J C. Implicit and incremental computation of primes and essential primes of Boolean functions[C]. Proc of the 29th ACM/IEEE Design Automation Conf. IEEE Computer Society Press, 1992: 36-39.
  • 7Odeh K. New algorithms for probabilistic and logic analysis of fault trees[D]. Universit6 de Technologie de Compiegne, 1995.
  • 8Rauzy A. A new methodology to handle Boolean models with loops[J]. IEEE Trans on Reliability, 2003, 52(1): 96- 105.
  • 9Yeh F M, Lu S K, Kuo S Y. OBDD-based evaluation of k- terminal network reliability[J]. IEEE Trans on Reliability, 2002, 51(4): 443-451.
  • 10Hardy G, Lucet C, Limnios N. K-terminal network reliability measures with binary decision diagrams[J]. IEEE Trans on Reliability, 2007, 56(3): 506-5/5.

二级参考文献2

共引文献20

同被引文献66

引证文献8

二级引证文献43

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部