本文已被:浏览 1342次 下载 2139次
Received:April 03, 2018 Revised:April 24, 2018
Received:April 03, 2018 Revised:April 24, 2018
中文摘要: 动态故障树分析对于复杂系统来说是一种重要的可靠性分析技术,但是二叉决策图等传统模块化方法存在严重的状态空间爆炸问题.本文系统介绍了边值决策图的动态故障树分析方法,其中边值多值决策图相对于其它现有的决策图具有更紧凑的表示函数,通过状态数的缩减,缩短了计算时间,有效缓解状态空间爆炸问题.实例证明了边值多值决策图在多状态系统和多功能系统中使用的方法和优势.
Abstract:Dynamic fault tree analysis is an important reliability analysis technique for complex systems. However, there are serious state space explosion problems in traditional modular methods such as binary decision diagrams. This paper systematically introduces a dynamic fault tree analysis method of edge-value decision diagram, in which the Edge-Value Multiple-valued Decision Diagram(EVMDD) has a more compact representation function than other existing decision diagrams. By reducing the number of states, the computation time is shortened and the state space explosion problem can be effectively alleviated. The example demonstrates the method and advantage of EVMDD for multi-state systems and multi-functional systems.
keywords: Edge-Value Multiple-valued Decision Diagram (EVMDD) multiple-valued decision diagrams fault tree analysis
文章编号: 中图分类号: 文献标志码:
基金项目:北京市自然科学基金(4152048)
引用文本:
李莉,刘翠杰,王政,任逸飞.动态故障树的边值多值决策图分析.计算机系统应用,2018,27(12):123-128
LI Li,LIU Cui-Jie,WANG Zheng,REN Yi-Fei.Analysis of Edge-Value Multiple-Valued Decision Diagrams of Dynamic Fault Tree.COMPUTER SYSTEMS APPLICATIONS,2018,27(12):123-128
李莉,刘翠杰,王政,任逸飞.动态故障树的边值多值决策图分析.计算机系统应用,2018,27(12):123-128
LI Li,LIU Cui-Jie,WANG Zheng,REN Yi-Fei.Analysis of Edge-Value Multiple-Valued Decision Diagrams of Dynamic Fault Tree.COMPUTER SYSTEMS APPLICATIONS,2018,27(12):123-128