期刊文献+

冗余可修系统的可靠性分析 被引量:4

Reliability analysis of redundant and repairable systems
下载PDF
导出
摘要 针对冗余可修系统这一类广泛配置于各种关键应用中的高可靠系统,定义简单的冗余可修系统可靠性描述模型———冗余可修门.该模型能够有效地集成于动态故障树分析工具中,用以刻画冗余可修系统的可靠性行为,基于离散事件仿真方法给出通用的冗余可修门可靠性模拟方法.基于随机过程理论,证明了共享维修系统状态演变对应的随机过程是马尔科夫再生过程,推导了有效的可靠性分析公式.基于系统的同构性和负指数分布的无记忆性,证明了独立维修系统的失效转移性质,结合马尔科夫再生过程理论推导了有效的可靠性分析公式.通过实例说明了给出的冗余可修系统可靠性分析方法的具体应用. For the redundant and repairable systems those are widely deployed in various critical applications, a symbol "redundant and repairable gate" was introduced into the dynamic fault tree model to capture redundancy property and repair behavior. A general reliability simulation program was proposed based on discrete event simulation method. Based on the stochastic process theory, it was proved that the stochastic process representing the state evolution of the share-repair redundant and repairable systems is a Markov renewal stochastic process, and new analytical formulations were derived. Based on the redundant identical components and the memory-less property of exponential distribution process, the failure- transition property was proved and new analytical formulations were derived for self-repair redundant and repairable systems. Example systems were analyzed to illustrate the use of our approaches to correctly analyze the reliabilities of redundant and repairable systems.
出处 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2013年第4期644-649,共6页 Journal of Zhejiang University:Engineering Science
基金 国家自然科学基金资助项目(61272130) 浙江省自然科学基金资助项目(Y1100689) 浙江省重中之重学科项目(ZSDZZZZXK24)
关键词 冗余系统 可修系统 可靠性分析 动态故障树 随机过程 redundant system repairable system reliability analysis dynamic fault tree stochastic process
  • 相关文献

参考文献13

  • 1MO Y C, SIEWIOREK D, YANG X Z. Mission relia-bility analysis of fault tolerant multiple phased systems[J]. Elsevier journal of Reliability Engineering and Sys-tem Safety, 2008,93(7): 1036 - 1046.
  • 2SIEWIOREK D,SWARZ R. Reliable computer systems:design and evaluation [M], 3rd ed. MA: A K Peters,1998.
  • 3TRIVEDI K. Probability and statistics with reliability,queuing, and computer science applications [M]. 2nded. Englewood Cliffs, NJ : Prentice-Hall. 2001.
  • 4MURA I,BOND A V ALLI A. Markov regenerative sto-chastic Petri nets to model and evaluate phased missionsystems dependability [J]. IEEE Transactions on Com-puters, 2001,50(12): 1337 - 1351.
  • 5CHOI H,KULKARNI V,TRTVEDI K. Markovregenerative stochastic Petri nets [ J ]. Performance.Evaluation, 1994, 20(3): 335 - 357.
  • 6DUGAN J B, VEVKATARAMAN B,GULATI R.DIFtree : a software package for the analysis of dynamicfault tree models [C]// Proceedings of the IEEE AnnualReliability and Maintainability Symposium. Philadel-phia: IEEE, 1997; 64 - 70.
  • 7SULLIVAN K J,DUGAN J B,COPPIT D. The Galile-ofault tree analysis tool [C] // Proceedings of the 29thAnnual International Symposium on Fault-tolerant Com-puting. Wisconsin: [s. n. ],1999 : 232 - 237.
  • 8BOYD M A. Dynamic fault tree models : techniques foranalysis of advanced fault tolerant computer systems[D], NC, USA: Duke University, 1991.
  • 9LAW A,KELTON D. Simulation modeling and analysis[M]. 2nd ed. New York: McGravHill, 1991 : 337 -343.
  • 10莫毓昌,杨孝宗,崔刚,刘宏伟.一般阶段任务系统的任务可靠性分析[J].软件学报,2007,18(4):1068-1076. 被引量:6

二级参考文献15

  • 1Bondavalli A,Mura I,Nelli M.Analytical modelling and evaluation of phased-mission systems for space applications.In:Paul R,Han JC,eds.Proc.of the IHASE'97.Washington:IEEE Computer Society Press,1997.85-91.
  • 2Dugan JB.Automated analysis of phased-mission reliability.IEEE Trans.on Reliability,1991,40(1):45-52.
  • 3Mura I,Bondavalli A,Zang X,Trivedi KS.Dependability modelling and evaluation of phased mission systems:A DSPN approach.In:Weinstock CB,Rushby J,eds.Proc.of the DCCA-7.San Jose:IEEE Computer Society Press,1999.319-337.
  • 4Bondavalli A,Mura I,Chiaradonna S,Filippini R,Poli S,Sandrini F.DEEM:A tool for the dependability modeling and evaluation of multiple phased systems.In:Smith TB,Blough D,Kanoun K,eds.Proc.of the FTCS-30 and DCCA-8.Washington:IEEE Computer Society Press,2000.231-236.
  • 5Bondavalli A,Chiaradonna S,Di Giandomenico F,Mura I.Dependability modeling and evaluation of multiple-phased systems using DEEM.IEEE Trans.on Reliability,2004,53(4):509-522.
  • 6Somani AK,Ritcey JA,Au SHL.Computationally-Efficent phased-mission reliability analysis for systems with variable configurations.IEEE Trans.on Reliability,1992,41(4):504-511.
  • 7Smotherman M,Zemoudeh K.A non-homogeneous Markov model for phased-mission reliability analysis.IEEE Trans.on Reliability,1989,38(5):585-590.
  • 8Kim K,Park KS.Phased-Mission system reliability under Markov environment.IEEE Trans.on Reliability,1994,43(2):301-309.
  • 9Mura I,Bondavalli A.Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability.IEEE Trans.on Computers,2001,50(12):1337-1351.
  • 10Zang X,Sun H,Trivedi KS.A BDD-based algorithm for reliability evaluation of phased mission systems.IEEE Trans.on Reliability,1999,48(1):50-60.

共引文献5

同被引文献42

引证文献4

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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