###
计算机系统应用:2018,27(12):123-128
本文二维码信息
码上扫一扫!
动态故障树的边值多值决策图分析
李莉, 刘翠杰, 王政, 任逸飞
(北京电子科技学院 电子信息工程系, 北京 100070)
Analysis of Edge-Value Multiple-Valued Decision Diagrams of Dynamic Fault Tree
LI Li, LIU Cui-Jie, WANG Zheng, REN Yi-Fei
(Department of Electronic and Information Engineering, Beijing Electronics Science and Technology Institute, Beijing 100070, China)
摘要
图/表
参考文献
相似文献
本文已被:浏览 20次   下载 14
投稿时间:2018-04-03    修订日期:2018-04-24
中文摘要: 动态故障树分析对于复杂系统来说是一种重要的可靠性分析技术,但是二叉决策图等传统模块化方法存在严重的状态空间爆炸问题.本文系统介绍了边值决策图的动态故障树分析方法,其中边值多值决策图相对于其它现有的决策图具有更紧凑的表示函数,通过状态数的缩减,缩短了计算时间,有效缓解状态空间爆炸问题.实例证明了边值多值决策图在多状态系统和多功能系统中使用的方法和优势.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:北京市自然科学基金(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

用微信扫一扫

用微信扫一扫