故障树结构调整的多值决策图变量排序方法

doi:10.3969/j.issn.1001-2400.2017.06.004

西安电子科技大学学报

故障树结构调整的多值决策图变量排序方法

方敏1;周书粤1;陈永梅1;王红春1,2;邱征3;张振冬1;肖晨光1

(1. 西安电子科技大学计算机学院，陕西西安 710071；
2. 清华大学天津高端装备研究院，天津 300300；
3. 西安航空计算技术研究所，陕西西安 710068)

收稿日期:2016-11-15 出版日期:2017-12-20 发布日期:2018-01-18
作者简介:方敏(1965-)，女，教授，博士，E-mail: mfang@mail.xidian.edu.cn
基金资助:
国家自然科学基金资助项目(61472305)；西安市科学研究计划资助项目(2017073CG/RC036(XDKD003))；航空科学基金资助项目(20151981009)

Variable sorting based on fault tree structure adjustment for multi-valued decision diagrams

FANG Min1;ZHOU Shuyue1;CHEN Yongmei1;WANG Hongchun1,2;QIU Zheng3;ZHANG Zhendong1;XIAO Chenguang1

(1. School of Computer Science and Technology, Xidian Univ., Xi'an 710071, China;
2. Tianjin Research Institute for Advance Equipment, Tsinghua Univ., Tianjin 300300, China;
3. AVIC Computing Technique Research Institute, Xi'an 710068, China)

Received:2016-11-15 Online:2017-12-20 Published:2018-01-18

摘要/Abstract

摘要：

由于动态故障树在分析系统可靠性时不具有故障计算能力，故需要借助多值决策图等方法建模分析．在将动态故障树转换成多值决策图的过程中，需要对基本事件的变量进行排序．变量的排序直接影响着生成的多值决策图的规模以及寻找割序的遍历代价．利用动态故障树的重复事件、动态逻辑门以及事件位置对变量排序的不同影响，提出一种故障树结构调整改进方法．在此基础上，依据同一层的基本事件重要度相同的原则，提出了改进的多值决策图动态事件排序方法及变量序列生成算法．实例分析的结果表明，改进的动态变量排序方法相比同类方法可以缩小多值决策图的规模，降低了可靠性计算的空间和时间复杂度．

关键词: 故障树分析, 多值决策图, 可靠性分析

Abstract:

The dynamic fault tree does not have the ability of fault calculation when analyzing the reliability of the system, so it needs to be modeled and analyzed by means of multi-valued decision diagrams and so on. The dynamic fault tree is translated into a multi-valued decision diagram according to the ordering of variables of basic events which affects the size of the generated multi-valued decision diagram and the cost of traversal to get cut sequences. An adjustment method of the dynamic fault tree structure is proposed based on the importance degree of repeated events, dynamic gates and the locations of events of the dynamic fault tree. By taking the fact that the basic events at the same level are equally important into account, an improved dynamic variable ordering method and ordering generation algorithm for the multi-valued decision diagram are presented in this paper. The result analysis of an example shows that the improved dynamic variable ordering method can reduce the size of the multi-valued decision diagram and space and time complexity of the reliability calculation compared to the similar methods.

Key words: fault tree analysis, multi-valued decision diagram, reliability analysis

方敏;周书粤;陈永梅;王红春;邱征;张振冬;肖晨光. 故障树结构调整的多值决策图变量排序方法[J]. 西安电子科技大学学报, 2017, 44(6): 20-25+36.

FANG Min;ZHOU Shuyue;CHEN Yongmei;WANG Hongchun;QIU Zheng;ZHANG Zhendong;XIAO Chenguang. Variable sorting based on fault tree structure adjustment for multi-valued decision diagrams[J]. Journal of Xidian University, 2017, 44(6): 20-25+36.

参考文献

［1］ BOUDALI H, CROUZEN P, STOELINGA M. A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis［J］. IEEE Transactions on Dependable and Secure Computing, 2010, 7(2): 128-143.
［2］ RAMEZANI Z, LATIF-SHABGAHI G R, KHAJEIE P, et al. Hierarchical Steady-state Availability Evaluation of Dynamic Fault Trees through Equal Markov Model［C］//Proceedings of the 2016 24th Iranian Conference on Electrical Engineering. Piscataway: IEEE, 2016: 1848-1854.
［3］ ZHANG P, CHAN K W. Reliability Evaluation of Phasor Measurement Unit Using Monte Carlo Dynamic Fault Tree Method［J］. IEEE Transactions on Smart Grid, 2012, 3(3): 1235-1243.
［4］ MO Y C. New Insights into the Binary Decision Diagram-based Reliability Analysis of Phased-mission Systems［J］. IEEE Transactions on Reliability, 2009, 58(4): 667-678.
［5］ MURTHY C, MISHRA A, GHOSH D, et al. Reliability Analysis of Phasor Measurement Unit Using Hidden Markov Model［J］. IEEE Systems Journal, 2014, 8(4): 1293-1301.
［6］ DRECHSLE R. Evaluation of Static Variable Ordering Heuristics for MDD Construction［C］//Proceedings of the International Symposium on Multiple-valued Logic. Piscataway: IEEE, 2002: 254-260.
［7］ MO Y C. A Multiple-valued Decision-diagram-based Approach to Solve Dynamic Fault Trees［J］. IEEE Transactions on Reliability, 2014, 63(1): 81-93.
［8］ LIN Y H, LI Y F, ZIO E. A Reliability Assessment Framework for Systems with Degradation Dependency by Combining Binary Decision Diagrams and Monte Carlo Simulation［J］. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016, 46(11): 1556-1564.
［9］ LE M, WEIDENDORFER J, WALTER M. A Novel Variable Ordering Heuristic for BDD-based K-terminal Reliability［C］//Proceedings of the International Conference on Dependable Systems and Networks. Piscataway: IEEE, 2014: 527-537.
［10］ YEVKIN O. An Improved Modular Approach for Dynamic Fault Tree Analysis［C］//Proceedings of the Annual Reliability and Maintainability Symposium. Piscataway: IEEE, 2011: 5754437.
［11］ HARDY G, LUCET C, LIMNIOS N. K-terminal Network Reliability Measures with Binary Decision Diagrams［J］. IEEE Transactions on Reliability, 2007, 56(3): 506-515.

[1]	赵宽;陈建军;曹鸿钧;云永琥. 随机参数旋转柔性梁运动功能可靠性分析[J]. J4, 2013, 40(5): 141-147.
[2]	马洪波;陈建军;崔明涛;高伟;刘伟. 随机参数桁架结构的有限元与可靠性分析[J]. J4, 2003, 30(1): 103-107.
[3]	陈建军;陈勇;高伟. 平面四杆机构运动精度可靠性分析与数字仿真[J]. J4, 2001, 28(6): 759-764.
[4]	赵天绪;郝跃;周涤非. d-叉树k-FT结构的可靠性分析及冗余单元的分配[J]. J4, 1999, 26(2): 0-0.

故障树结构调整的多值决策图变量排序方法

Variable sorting based on fault tree structure adjustment for multi-valued decision diagrams

PDF (PC)

赞

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

Metrics

本文评价

推荐阅读 10