论文部分内容阅读
针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题，在形式化的系统可靠性建模中引入可修复因子，提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中，利用马尔可夫模型和顶事件发生概率逼近算法，有效避免动态故障树分析过程中的状态组合爆炸问题，提高安全苛求系统可靠性分析的可行性和实践效率。