基于分离BDD的通用多阶段任务系统可靠性分析

陈光宇, 张小民, 唐小我

系统工程理论与实践 ›› 2013, Vol. 33 ›› Issue (5) : 1240-1246.

PDF(1101 KB)
PDF(1101 KB)
系统工程理论与实践 ›› 2013, Vol. 33 ›› Issue (5) : 1240-1246. DOI: 10.12011/1000-6788(2013)5-1240
论文

基于分离BDD的通用多阶段任务系统可靠性分析

    陈光宇1,2, 张小民2, 唐小我1
作者信息 +

Analysis of generalized phased-mission systems reliability based on separable binary decision diagram

    CHEN Guang-yu1,2, ZHANG Xiao-min2, TANG Xiao-wo1
Author information +
文章历史 +

摘要

静态的通用多阶段任务系统的不完全覆盖、跨阶段依赖性极大地增加系统可靠性分析的复杂性和难度.基于SEA思想给出两级分离的组合方法将任务和阶段的不完全覆盖分割, 通过新增的阶段代数规则和向后阶段依赖运算式处理跨阶段依赖性,并且充分利用高效的多阶段系统双值决策图,实现模型规模和运算的简化.最后,通过案例分析, 将此分离BDD方法与三值决策图和多状态双值决策图对比, 验证其精确、高效和模块化的优点.

Abstract

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)

Key words

reliability / generalized phased-mission systems (GPMS) / binary decision diagram (BDD) / imperfect coverage (IPC)

引用本文

导出引用
陈光宇 , 张小民 , 唐小我. 基于分离BDD的通用多阶段任务系统可靠性分析. 系统工程理论与实践, 2013, 33(5): 1240-1246 https://doi.org/10.12011/1000-6788(2013)5-1240
CHEN Guang-yu , ZHANG Xiao-min , TANG Xiao-wo. Analysis of generalized phased-mission systems reliability based on separable binary decision diagram. Systems Engineering - Theory & Practice, 2013, 33(5): 1240-1246 https://doi.org/10.12011/1000-6788(2013)5-1240
中图分类号: N945    TP302   

参考文献

[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)

PDF(1101 KB)

313

Accesses

0

Citation

Detail

段落导航
相关文章

/