
基于分离BDD的通用多阶段任务系统可靠性分析
Analysis of generalized phased-mission systems reliability based on separable binary decision diagram
静态的通用多阶段任务系统的不完全覆盖、跨阶段依赖性极大地增加系统可靠性分析的复杂性和难度.基于SEA思想给出两级分离的组合方法将任务和阶段的不完全覆盖分割, 通过新增的阶段代数规则和向后阶段依赖运算式处理跨阶段依赖性,并且充分利用高效的多阶段系统双值决策图,实现模型规模和运算的简化.最后,通过案例分析, 将此分离BDD方法与三值决策图和多状态双值决策图对比, 验证其精确、高效和模块化的优点.
Accounting for static generalized phased-mission systems, imperfect coverage and dependencies across phases increase complexity and difficulty of system reliability analysis obviously. Based on SEA, we present a two-level separable combinatorial method which divides mission and phase imperfect coverage. And then we add some new rules of phase algebra and a new phase dependence operation to ordinary rules and operations, which deal with the dependencies across the phases. The effective PMS-BDD approach is also synthesized in our approach to decrease the model size and computational complexity. In this paper, the approach is compared with several existing approaches by a case study, such as a family of decision diagrams called TDD and MBDD, in order to illustrate its precise, efficient and modular advantages.
可靠性 / 通用多阶段任务系统(GPMS) / 双值决策图(BDD) / 不完全覆盖(IPC) {{custom_keyword}} /
reliability / generalized phased-mission systems (GPMS) / binary decision diagram (BDD) / imperfect coverage (IPC) {{custom_keyword}} /
[1] 苏永定, 刘冠军, 邱静.基于DSPN的多阶段任务系统测试性需求建模与分析[J]. 系统工程理论与实践, 2010, 30(7): 1272-1278.Su Y D, Liu G J, Qiu J. DSPN-based testability requirement modeling and analysis of phased-mission systems[J]. Systems Engineering — Theory & Practice, 2010, 30(7): 1272-1278.
[2] 陈光宇,黄锡滋,张小民,等. 不完全覆盖的多阶段任务系统可靠性综合分析[J]. 系统工程学报, 2007, 22(5): 539-545.Chen G Y, Huang X Z, Zhang X M, et al. Synthetic methods for reliability analysis of phased-mission system with imperfect coverage[J]. Journal of Systems Engineering, 2007, 22(5): 539-545.
[3] Reed S, Andrews J D, Dunnett S J. Improved efficiency in the analysis of phased mission systems with multiple failure mode components[J]. IEEE Transactions on Reliability, 2011, 60(1): 70-79.
[4] Remenyte-Prescott R, Andrews J D, Chung P W H. An efficient phased mission reliability analysis for autonomous vehicles[J]. Reliability Engineering and System Safety, 2010, 95(3): 226-235.
[5] Zang X Y, Sun H R, Trivedi K S. A BDD-based algorithm for reliability analysis of phased-mission systems[J]. IEEE Transactions on Reliability, 1999, R-48(1): 50-59.
[6] Xing L, Dugan J B. Analysis of generalized phased-mission systems reliability, performance and sensitivity[J]. IEEE Transactions on Reliability, 2002, 51: 199-211.
[7] Amari S, Dugan J B, Misra R. A separable method for incorporating imperfect coverage into combinatorial models[J]. IEEE Transactions on Reliability, 1999, 48(3): 267-274.
[8] Xing L, Dugan J B. Generalized imperfect coverage phased-mission analysis[C]// 2002 Proceedings Annual Reliability and Maintainability Symposium, 2002: 112-119.
[9] Xing L, Dugan J B. A separable ternary decision diagram based analysis of generalized phased-mission reliability[J]. IEEE Transactions on Reliability, 2004, 53: 174-184.
[10] Remenyte-Prescott R, Andrews J D. An efficient real-time method of analysis for non-coherent fault trees[J]. Quality and Reliability Engineering International, 2009, 25: 129-150.
[11] Esary J D, Ziehms H. Reliability analysis of phased missions[C]// Proc Conf Reliability and Fault Tree Analysis, Philadephia, USA: SIAM, 1975: 213-236.
[12] 陈光宇,黄锡滋,唐小我. 不完全覆盖的多阶段任务系统可靠性集成分析[J]. 系统工程理论与实践, 2006, 26(4): 1-8.Chen G Y, Huang X Z, Tang X W. Integrated analysis of phased-mission system reliability with imperfect coverage[J]. Systems Engineering — Theory & Practice, 2006, 26(4): 1-8.
[13] Tang Z H, Dugan J B. Bdd-based reliability analysis of phased-mission systems with multimode failure[J]. IEEE Transactions on Reliability, 2006, 55(2): 350-360.
国防科技基础研究基金;国家自然科学基金(71172095);科技部创新方法工作专项(2011IM020100)
/
〈 |
|
〉 |