Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023086051> ?p ?o ?g. }
- W2023086051 abstract "Abstract 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." @default.
- W2023086051 created "2016-06-24" @default.
- W2023086051 creator A5057160886 @default.
- W2023086051 date "2013-03-01" @default.
- W2023086051 modified "2023-09-26" @default.
- W2023086051 title "Solving dynamic flowgraph methodology models using binary decision diagrams" @default.
- W2023086051 cites W129659059 @default.
- W2023086051 cites W1494035541 @default.
- W2023086051 cites W1503170978 @default.
- W2023086051 cites W1543835543 @default.
- W2023086051 cites W1596186423 @default.
- W2023086051 cites W1605242707 @default.
- W2023086051 cites W1679534293 @default.
- W2023086051 cites W1862398452 @default.
- W2023086051 cites W1975335740 @default.
- W2023086051 cites W1981665800 @default.
- W2023086051 cites W1983711511 @default.
- W2023086051 cites W1994368477 @default.
- W2023086051 cites W2000164931 @default.
- W2023086051 cites W2010477071 @default.
- W2023086051 cites W2015303779 @default.
- W2023086051 cites W2021260441 @default.
- W2023086051 cites W2030224590 @default.
- W2023086051 cites W203529317 @default.
- W2023086051 cites W2042920165 @default.
- W2023086051 cites W2044436476 @default.
- W2023086051 cites W2054026622 @default.
- W2023086051 cites W2058203505 @default.
- W2023086051 cites W2061438988 @default.
- W2023086051 cites W2062806367 @default.
- W2023086051 cites W2066261856 @default.
- W2023086051 cites W2079762762 @default.
- W2023086051 cites W2080267935 @default.
- W2023086051 cites W2096395465 @default.
- W2023086051 cites W2097869978 @default.
- W2023086051 cites W2113033572 @default.
- W2023086051 cites W2113315940 @default.
- W2023086051 cites W2113918114 @default.
- W2023086051 cites W2115105639 @default.
- W2023086051 cites W2122589586 @default.
- W2023086051 cites W2135453964 @default.
- W2023086051 cites W2152373297 @default.
- W2023086051 cites W2158963168 @default.
- W2023086051 cites W2159080219 @default.
- W2023086051 cites W2161163536 @default.
- W2023086051 cites W2166145987 @default.
- W2023086051 cites W2168479209 @default.
- W2023086051 cites W2588027785 @default.
- W2023086051 cites W2913459036 @default.
- W2023086051 cites W3165744266 @default.
- W2023086051 cites W610693180 @default.
- W2023086051 doi "https://doi.org/10.1016/j.ress.2012.11.009" @default.
- W2023086051 hasPublicationYear "2013" @default.
- W2023086051 type Work @default.
- W2023086051 sameAs 2023086051 @default.
- W2023086051 citedByCount "18" @default.
- W2023086051 countsByYear W20230860512013 @default.
- W2023086051 countsByYear W20230860512014 @default.
- W2023086051 countsByYear W20230860512015 @default.
- W2023086051 countsByYear W20230860512016 @default.
- W2023086051 countsByYear W20230860512017 @default.
- W2023086051 countsByYear W20230860512018 @default.
- W2023086051 countsByYear W20230860512019 @default.
- W2023086051 countsByYear W20230860512020 @default.
- W2023086051 crossrefType "journal-article" @default.
- W2023086051 hasAuthorship W2023086051A5057160886 @default.
- W2023086051 hasConcept C102487863 @default.
- W2023086051 hasConcept C107094494 @default.
- W2023086051 hasConcept C11413529 @default.
- W2023086051 hasConcept C114614502 @default.
- W2023086051 hasConcept C121332964 @default.
- W2023086051 hasConcept C127413603 @default.
- W2023086051 hasConcept C158465420 @default.
- W2023086051 hasConcept C163258240 @default.
- W2023086051 hasConcept C177264268 @default.
- W2023086051 hasConcept C184992742 @default.
- W2023086051 hasConcept C187455244 @default.
- W2023086051 hasConcept C199360897 @default.
- W2023086051 hasConcept C200601418 @default.
- W2023086051 hasConcept C2777904410 @default.
- W2023086051 hasConcept C3309909 @default.
- W2023086051 hasConcept C33923547 @default.
- W2023086051 hasConcept C41008148 @default.
- W2023086051 hasConcept C43214815 @default.
- W2023086051 hasConcept C45374587 @default.
- W2023086051 hasConcept C62064638 @default.
- W2023086051 hasConcept C62520636 @default.
- W2023086051 hasConcept C78519656 @default.
- W2023086051 hasConcept C80444323 @default.
- W2023086051 hasConceptScore W2023086051C102487863 @default.
- W2023086051 hasConceptScore W2023086051C107094494 @default.
- W2023086051 hasConceptScore W2023086051C11413529 @default.
- W2023086051 hasConceptScore W2023086051C114614502 @default.
- W2023086051 hasConceptScore W2023086051C121332964 @default.
- W2023086051 hasConceptScore W2023086051C127413603 @default.
- W2023086051 hasConceptScore W2023086051C158465420 @default.
- W2023086051 hasConceptScore W2023086051C163258240 @default.
- W2023086051 hasConceptScore W2023086051C177264268 @default.
- W2023086051 hasConceptScore W2023086051C184992742 @default.
- W2023086051 hasConceptScore W2023086051C187455244 @default.