基于多值决策图的动态故障树分析方法

• 作者: 吴丹丹 王斌 莫毓昌 陈中育
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 多值决策图 动态故障树 马尔科夫 可靠性
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 2015第五届全国可信计算学术会议
• 页码范围: 70-73,92
• 页数: 5页
• 分类号: TP309
• 字数: 4854字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.10.013

摘要

针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术.为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于事件关联导致的大型动态子树,这些模块化方法的状态空间爆炸问题仍然很突出.因此介绍了一种基于多值决策图(Multiple-valued Decision Diagrams,MDD)来分析动态故障树的方法,通过多值变量编码动态门,利用单一系统MDD模型刻画各种动态和静态可靠性行为,有效地缓解了状态爆炸问题.通过一个具体的实例说明了多值决策图方法的应用和优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈中育	浙江师范大学数理与信息工程学院	44	211	7.0	13.0
2	莫毓昌	浙江师范大学数理与信息工程学院	31	87	6.0	7.0
3	王斌	浙江师范大学数理与信息工程学院	11	31	3.0	5.0
4	吴丹丹	浙江师范大学数理与信息工程学院	1	12	1.0	1.0