.png){kind=icon}
返回
Solving dynamic flowgraph methodology models using binary decision diagrams
.png){kind=icon}
PRE
AI
DOI：10.1016/j.ress.2012.11.009.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Dynamic flowgraph methodology (DFM) is a computationally challenging approach to the reliability analysis of dynamic systems with feedback loops. To improve the computational efficiency of DFM modelling, we propose a new approach, based on binary decision diagrams (BDDs), to solving DFM models. The objective of DFM analysis is to identify the root causes of a postulated top event. The result is a set of prime implicants that represent system faults resulting from diverse combinations of software logic errors, hardware failures, human errors and adverse environmental conditions. Two approaches to solving prime implicants have been implemented in software called YADRAT. The first approach is based on meta-products, and the second on zero-suppressed BDDs (ZBDD). Both approaches have been used previously in fault tree analysis. In this work, the ideas of prime implicant computations are adapted to a dynamic reliability analysis approach combined with multi-valued logic. The computational efforts required for the two approaches are compared by analysing three example systems. The results of the comparison show that BDDs are applicable in DFM computation and that in particular the ZBDD-based approach can solve moderately sized DFM models in a reasonable time. (C) 2012 Elsevier Ltd. All rights reserved.
Keyword:
Binary decision diagram
Dynamic flowgraph methodology
Dynamic reliability analysis
Multi-valued logic
Prime implicant
期刊
R
IF:
11
论文数:
9.0K
被引数:
4.2W
机构
暂无机构信息
引用论文
.png){kind=icon}
BDD-based reliability analysis of phased-mission systems with multimode failures基于BDD的具有多模式故障的分阶段任务系统的可靠性分析
PREAI
分享收藏分享收藏STRUCTURAL ASPECTS OF IRON COORDINATION COMPOUNDS: I. MONOMERIC DERIVATIVES铁配位化合物的结构方面: I.单体衍生物
PREAI
分享收藏Validation of the Acoustic Voice Quality Index, Version 03.01, to the Brazilian Portuguese Language
PREAI
分享收藏
分享收藏Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability
PREAI
分享收藏
查看更多内容