作者：吴剑 徐中伟 喻钢 李弋强动态故障树安全苛求系统可靠性分析马尔科夫模型模块化
摘要：针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题，在形式化的系统可靠性建模中引入可修复因子，提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中，利用马尔可夫模型和顶事件发生概率逼近算法，有效避免动态故障树分析过程中的状态组合爆炸问题，提高安全苛求系统可靠性分析的可行性和实践效率。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机工程》（CN：31-1289/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机工程》特点：以最快的速度、科学求实的精神，精选刊登代表计算机行业前沿科研、技术、工程方面的高、精、尖优秀论文。
部级期刊
人气 229914 评论 65
人气 213893 评论 35
省级期刊
人气 212576 评论 71
北大期刊、统计源期刊
人气 192795 评论 73
