中文摘要：

针对冗余可修系统这一类广泛配置于各种关键应用中的高可靠系统,定义简单的冗余可修系统可靠性描述模型———冗余可修门.该模型能够有效地集成于动态故障树分析工具中,用以刻画冗余可修系统的可靠性行为,基于离散事件仿真方法给出通用的冗余可修门可靠性模拟方法.基于随机过程理论,证明了共享维修系统状态演变对应的随机过程是马尔科夫再生过程,推导了有效的可靠性分析公式.基于系统的同构性和负指数分布的无记忆性,证明了独立维修系统的失效转移性质,结合马尔科夫再生过程理论推导了有效的可靠性分析公式.通过实例说明了给出的冗余可修系统可靠性分析方法的具体应用.

英文摘要：

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.