计算机科学 ›› 2017, Vol. 44 ›› Issue (9): 195-199.doi: 10.11896/j.issn.1002-137X.2017.09.037
张晓策,燕雪峰,周勇
ZHANG Xiao-ce, YAN Xue-feng and ZHOU Yong
摘要: 在分析基于Pandora的动态故障树时,SBDD方法未考虑各底事件间复杂的关系,造成生成的SBDD中存在无效分支,即计算的不交化割集中存在无效割集。针对该问题,提出了一种基于动态故障树的SBDD方法,可以动态删除无效节点,避免无效分支的产生。该方法主要包括两个方面:基于结构式排序方法的关系式排序方法和动态优化SBDD生成算法。关系式排序方法的基本思想是利用故障树的结构关系和底事件间的关系给底事件赋予不同的排序优先级。在底事件排序队列的基础上,使用动态优化SBDD生成算法来生成SBDD。在计算过程中,该算法动态删除无效的节点,使结果中不存在无效割集。实验结果表明,在相近的时间内,使用基于动态故障树的SBDD方法生成的SBDD规模更小,不交化割集数目更少且不存在无效割集。
[1] WALKER M D.Pandora:a logic for the qualitative analysis of temporal fault trees[D].The University of Hull,2009. [2] WALKER M,PAPADOPOULOS Y.Synthesis and analysis oftemporal fault trees with PANDORA:The time of Priority AND gates[J].Nonlinear Analysis:Hybrid Systems,2008,2(2):368-382. [3] GE D,LIN M,YANG Y,et al.Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams[J].Reliability Engineering & System Safety,2015,142:289-299. [4] RUIJTERS E,STOELINGA M.Fault tree analysis:A survey of the state-of-the-art in modeling,analysis and tools[J].Computer Science Review,2015,15-16(3):29-62. [5] FU G Z,HUANG Z H,LI H Q,et al.Fault tree analysis on kinematic accuracy of wafer stage using BDD and DFTA technique[C]∥2013 International Conference on Quality,Reliability,Risk,Maintenance,and Safety Engineering (QR2MSE).IEEE,2013:260-262. [6] GE D,LI D,CHOU Q,et al.Quantification of highly coupled dynamic fault tree using IRVPM and SBDD[J].Quality and Reliability Engineering International,2016,2(1):139-151. [7] ZHU P,HAN J,LIU L,et al.A stochastic approach for the analysis of fault trees with priority AND gates[J].IEEE Tran-sactions on Reliability,2014,63(2):480-494. [8] LIU H.On variable ordering heuristics of BDD-based fault tree analysis[D].Hangzhou:Zhejiang Normal University,2012.(in Chinese) 刘华.基于BDD故障树分析的启发式变量排序研究[D].杭州:浙江师范大学,2012. [9] SUN Y,DU S G.A Novel Ordering Method of Binary Decision Diagram [J].Journal of Systems and Management,2008(2):210-216,220.(in Chinese) 孙艳,杜素果.一种二元决策图底事件排序的新方法[J].系统管理报,2008(2):210-216,220. [10] DUAN S,ZHANG X R,LIU S K,et al.Transformation methodof fault tree based on BDD[J].Computer Engineering and Application,2009,5(21):51-54.(in Chinese) 段珊,张修如,刘树锟,等.一种故障树向BDD的转化方法[J].计算机工程与应用,2009,45(21):51-54. [11] GAO S C.Methods and Implementation of Dynamic Fault Tree Analysis[D].Changsha:National University of Defense Tech-nolog,2005.(in Chinese) 高顺川.动态故障树分析方法及其实现[D].长沙:国防科学技术大学,2005. [12] MO Y C,YANG Q S.Random generation and variable ordering of fault tree[J].Journal of Zhejiang University(Engineering Scien-ce),2011,45(9):1539-1543.(in Chinese) 莫毓昌,杨全胜.故障树随机生成及变量排序[J].浙江大学学报(工学版),2011,5(9):1539-1543. |
No related articles found! |
|