计算机技术﹑电信技术 |
|
|
|
|
故障树随机生成及变量排序 |
莫毓昌1,2, 杨全胜2 |
1.浙江师范大学 数理信息学院,浙江 金华321004;2.东南大学 计算机科学与工程学院,江苏 南京210096 |
|
Random generation and variable ordering of fault tree |
MO Yu-chang1,2, YANG Quan-sheng2 |
1.College of Mathematics Physics and Information Engineering, Zhejiang Normal University, Jinhua 321004,China; 2. School of Computer Science and Engineering, Southeast University, Nanjing 210096,China |
[1] 孙艳, 杜素果. 一种二元决策图底事件排序的新方法.[J].系统管理学,2008, 17(2):210-216. SUN yan, DU Suguo. A novel ordering method of binary decision diagram[J]. Journal of Systems & Management,2008, 17(2):210-216. [2] BARTLETT L M. Neural network selection mechanism for BDD construction[J]. Quality and Reliability Engineering International,2004, 20(3):217-223. [3] BARTLETT L M, ANDREW J D. Selecting an ordering heuristic for the fault tree to binary decision diagram conversion process using neural networks[J]. IEEE Transactions on Reliability,2002, 51(3): 344-349. [4] BOUISSOU M, BRUYERE F, RAUZY A. BDDbased fault tree processing: A comparison of variable ordering heuristics[C]∥Proceedings of ESREL97. Lisbon, Portugal: Pergamon Press, 1997:2045-2052. [5] MO Yuchang. Variable ordering to improve BDD analysis of phasedmission systems with multimode failures[J]. IEEE Transactions on Reliability,2009, 58(1):53-57. [6] MO Yuchang. New insights into the BDDbased reliability analysis of phasedmission systems[J]. IEEE Transactions on Reliability, 2009, 58(4):667-678. [7] XING L, MESHKAT L, DONOHUE S K. Reliability analysis of hierarchical computerbased systems subject to commoncause failures[J]. Reliability Engineering and System Safety, 2007, 92(3):351-359. [8] XING L. Reliability evaluation of phasedmission systems with imperfect fault coverage and commoncause failures[J]. IEEE Transactions on Reliability,2007, 56(1):58-68. [9] SHRESTHA A,XING L. A Logarithmic binary decision diagramsbased method for multistate systems analysis[J]. IEEE Transactions on Reliability, 2008, 57(4):595-606. [10] TANG Z, DUGAN J B. BDDbased reliability analysis of phased mission systems with multimode failures[J]. IEEE Transactions on Reliability,2006, 55(2):350-360. [11] OU Y, DUGAN J B. Modular solution of dynamic multiphase systems[J]. IEEE Transactions on Reliability,2004, 53(4):499-508. [12] RAUZY A. New algorithms for fault tree analysis[J]. Reliability Engineering and System Safety, 1993, 40:203211. [13] BOLLIG B, WEGENER I. Improving the variable ordering of OBDDs is NPcomplete[J]. IEEE Transactions on Computers, 1996, 45(9):993-1002. [14] FRIEDMAN S J, SUPOWIT K J. Finding the optimal variable ordering for binary decision diagrams[J]. IEEE Transactions on Computers,1990, 39(5):710-713. |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|