期刊文献+

基于Markov链互模拟的航天器发射任务可靠度模型 被引量:6

Mission reliability model of spacecraft launch based on bisimulation of continuous-time Markov processes
原文传递
导出
摘要 状态空间复杂、多过程并发执行和子过程反复迭代的特点,使航天器发射工程实施全过程的任务可靠性评估难以量化.通过构建多个并发执行的时间连续的Markov链对航天器发射工程状态转移约束关系进行描述,采用互模拟时间等价关系简化航天器发射工程实施过程的状态空间,利用连续时间Markov链的概率转移特性进行建模与分析,得到了全系统、全过程的航天器发射任务可靠度模型.数值验证表明该模型可用于航天器发射任务工期推演、可靠度评估以及薄弱环节分析. Characteristics of complex state space, multi-process concurrent execution and sub-processes iterative make mission reliability assessment for the whole process of spacecraft launch engineering im- plementation is difficult to quantify. Multiple concurrently executing continuous time Markov chain is constructed to describe state transition constraint relations of spacecraft launch engineering. The state space of the whole process of spacecraft launch engineering implementation is simplified by bisimulation equivalence relation. The model of mission reliability for spacecraft launch engineering is builded by con- tinuous time Markov chain transfer probability characteristics. In this paper, the example applied results shows that the model is a feasible for decision-making demonstration of spacecraft launch project, evalua- tion of mission reliability and analysis of weak link.
出处 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2012年第10期2323-2331,共9页 Systems Engineering-Theory & Practice
基金 国家自然科学基金(70971131 71071156)
关键词 航天器发射 互模拟 MARKOV链 任务可靠度 状态转移概率 spacecraft launch bisimulation Markov chains mission reliability the state transition prob-abilities
  • 相关文献

参考文献18

  • 1Xing L. Reliability evaluation of phased-mission systems with imperfect fault coverage and common-cause fail- ures[J]. IEEE Transactions on Reliability, 2007, 56(1): 58-68.
  • 2Xing L. Reliability analysis of phased-mission systems with combinatorial phase requirements[C]. Proceeding of 2001 Annual reliability and Maintainability Symposium, 2001: 344-351.
  • 3Tang Z H, Dugan J B. BDD-based reliability analysis of phased-mission systems with multimode failures[J]. IEEE Transactions on Reliability, 2006, 55(2): 350-360.
  • 4I Zang X Y, Wang D Z, Sun H R, et al. A BDD-based algorithm for analysis of multistate systems with multistate components[J]. IEEE Transactions on Computers, 2003, 52(12): 1608-1618.
  • 5Tang Z H, Xu H, Dugan J B. Reliability Analysis of Phased Mission Systems with Common Cause Failure[C]// Proceeding of 2005 Annual Reliability and Maintainability Symposium, New York, USA: [EEE Press, 2005: 313-318.
  • 6Kim K, Park K S. Phased-mission system reliability under Markov environment[J]. IEEE Transactions on Reli- ability, 1994, 43(2): 301 309.
  • 7Alam M, Song MI Hester S L, et al. Reliability analysis of phased-mission systems: A practical approach[C]// Proceeding of the Annual Reliability & Maintainability Symposium, New York, USA: IEEE Press, 2006:551 558.
  • 8Murphy K E, Carter C M, Malerich A W. Reliability analysis of phased-mission system: A correct approach [C]// Proceeding of the Annual Reliability & Maintainability Symposium, New York, USA: IEEE Press, 2007: 7-12.
  • 9Mura I, Bondavalli A. Hierarchical modeling and evaluation of phased-mission systems[J]. IEEE Transactions on Reliability, 1999, 48(4): 360-368.
  • 10Mo Y C, Siewiorek D, Yang X Z. Mission reliability analysis of fault-tolerant multiple-phased systems[J]. Relia- bility Engineering and System Safety, 2008, 93(7): 1036-1046.

二级参考文献7

  • 1M Alam and U M Al- Saggaf. Quantitative reliability evaluation of repairable phased - mission system using Markov approach [ J ]. IEEE Trans. Reliability, Dec. 1986, R-35:498-503.
  • 2M K Smotherman, K Zemoudch. A non - homogeneous Markov model for phased - mission reliability analysis [ J ]. IEEE Trans. Reliability, Dec. 1989, 38 : 585 -590.
  • 3J B Dugan. Automated analysis of phased -mission reliability[J]. IEEE Trans, Reliability, Apr. 1991, 40.
  • 4A Somani, J Ritcey and S Au. Computationally Efficient Phased - Mission Reliability Analysis for Systems with Variable Configuration [J]. IEEE Trans. On Rel., Dec. 1992, R-42:504-509.
  • 5A K Somani and K Trivedi. Phased - mission system analysis using Boolean algebraic methods [ C ]. in Proc. ACM Sigmetrics Conf. Measurement and Modeling of Computer Syst. , 1994. 98 - 107.
  • 6J B Dugan. Analysis of hybrid voting algorithm for replicated file system [ J ], Information and Software Technology, April 1991.
  • 7刘嘉馄,王公恕.应用随机过程(第二版)[M].北京:科学技术出版社,2003.90-129.

共引文献8

同被引文献75

引证文献6

二级引证文献22

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部