A Multiple-Valued Decision Diagram Based Method for Efficient Reliability Analysis of Non-Repairable Phased-Mission Systems
暂无分享,去创建一个
[1] Huawen Liu,et al. Depth-First Event Ordering in BDD-Based Fault Tree Analysis , 2013 .
[2] Daniel P. Siewiorek,et al. Mission reliability analysis of fault-tolerant multiple-phased systems , 2008, Reliab. Eng. Syst. Saf..
[3] Huawen Liu,et al. Efficient Ordering Heuristics in Binary Decision Diagram-based Fault Tree Analysis , 2013, Qual. Reliab. Eng. Int..
[4] James Daniel. Esary,et al. Reliability analysis of phased missions. , 1975 .
[5] Olivier Coudert,et al. Fault Tree Analysis: 1020 Prime Implicants and Beyond , 1993 .
[6] Glenn Dill,et al. A new method for reliability analysis of standby systems , 2009, 2009 Annual Reliability and Maintainability Symposium.
[7] Liudong Xing,et al. Reliability Evaluation of Phased-Mission Systems With Imperfect Fault Coverage and Common-Cause Failures , 2007, IEEE Transactions on Reliability.
[8] Herbert S. Winokur,et al. Analysis of Mission-Oriented Systems , 1969 .
[9] Liudong Xing,et al. Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems , 2010, IEEE Transactions on Reliability.
[10] John D. Andrews,et al. Choosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks , 2002, IEEE Trans. Reliab..
[11] Kishor S. Trivedi,et al. A BDD-based algorithm for reliability analysis of phased-mission systems , 1999 .
[12] Liudong Xing,et al. A New Decision-Diagram-Based Method for Efficient Analysis on Multistate Systems , 2009, IEEE Transactions on Dependable and Secure Computing.
[13] Antoine Rauzy,et al. New algorithms for fault trees analysis , 1993 .
[14] Yuchang Mo. Variable Ordering to Improve BDD Analysis of Phased-Mission Systems With Multimode Failures , 2009, IEEE Transactions on Reliability.
[15] James A. Ritcey,et al. Computationally-efficient phased-mission reliability analysis for systems with variable configurations , 1992 .
[16] Rolf Drechsler,et al. Implementing a multiple-valued decision diagram package , 1998, Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138).
[17] Andrea Bondavalli,et al. Dependability modeling and evaluation of multiple-phased systems using DEEM , 2004, IEEE Transactions on Reliability.
[18] Andrea Bondavalli,et al. Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability , 2001, IEEE Trans. Computers.
[19] Yuchang Mo,et al. New Insights Into the BDD-Based Reliability Analysis of Phased-Mission Systems , 2009, IEEE Transactions on Reliability.
[20] Joanne Bechta Dugan,et al. BDD-based reliability analysis of phased-mission systems with multimode failures , 2006, IEEE Transactions on Reliability.
[21] Liudong Xing,et al. Reliability of Phased-mission Systems , 2008 .
[22] Liudong Xing,et al. Reliability Analysis of Multistate Phased-Mission Systems With Unordered and Ordered States , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[23] J. L. Bricker. A Unified Method for Analyzing Mission Reliability for Fault Tolerant Computer Systems , 1973 .
[24] Liudong Xing,et al. An overview of the phase-modular fault tree approach to phased mission system analysis , 2003 .
[25] Liudong Xing,et al. Analysis of generalized phased-mission system reliability, performance, and sensitivity , 2002, IEEE Trans. Reliab..
[26] Liudong Xing,et al. Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[27] V.V.S. Sarma,et al. Phased-Mission Analysis for Evaluating the Effectiveness of Aerospace Computing-Systems , 1981, IEEE Transactions on Reliability.
[28] Sofia Cassel,et al. Graph-Based Algorithms for Boolean Function Manipulation , 2012 .