Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912446442> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2912446442 endingPage "87" @default.
- W2912446442 startingPage "78" @default.
- W2912446442 abstract "In this article, we propose a new method for fault tree analysis, called model synthesis, which comes in addition to traditional assessment techniques. It consists in rewriting the fault tree under study, or the set of minimal cutsets extracted from this fault tree, so to make some relevant information emerge. Our implementation of model synthesis relies on encoding Boolean formulas by means of zero-suppressed Boolean expression diagrams. Rewriting heuristics are efficiently implemented by means of local operations on these diagrams. A key feature of zero-suppressed Boolean expression diagrams is that they make it possible to perform partial normalization of Boolean formulas, avoiding in this way the exponential blow-up of calculation resources most of the other methods suffer from. We show how to take advantage of the architecture of the systems under study to guide rewriting heuristics. We illustrate the principles of model synthesis and of its implementation by means of examples." @default.
- W2912446442 created "2019-02-21" @default.
- W2912446442 creator A5003818590 @default.
- W2912446442 creator A5086184010 @default.
- W2912446442 date "2019-06-01" @default.
- W2912446442 modified "2023-10-17" @default.
- W2912446442 title "Model synthesis using boolean expression diagrams" @default.
- W2912446442 cites W1975335740 @default.
- W2912446442 cites W1987534624 @default.
- W2912446442 cites W2000164931 @default.
- W2912446442 cites W2031845440 @default.
- W2912446442 cites W2048972217 @default.
- W2912446442 cites W2103311653 @default.
- W2912446442 cites W2133672420 @default.
- W2912446442 cites W2135453964 @default.
- W2912446442 cites W2151793720 @default.
- W2912446442 cites W2158963168 @default.
- W2912446442 cites W2566029687 @default.
- W2912446442 cites W4252439377 @default.
- W2912446442 cites W4378744510 @default.
- W2912446442 doi "https://doi.org/10.1016/j.ress.2019.02.019" @default.
- W2912446442 hasPublicationYear "2019" @default.
- W2912446442 type Work @default.
- W2912446442 sameAs 2912446442 @default.
- W2912446442 citedByCount "2" @default.
- W2912446442 countsByYear W29124464422021 @default.
- W2912446442 countsByYear W29124464422022 @default.
- W2912446442 crossrefType "journal-article" @default.
- W2912446442 hasAuthorship W2912446442A5003818590 @default.
- W2912446442 hasAuthorship W2912446442A5086184010 @default.
- W2912446442 hasConcept C111919701 @default.
- W2912446442 hasConcept C113174947 @default.
- W2912446442 hasConcept C11413529 @default.
- W2912446442 hasConcept C127705205 @default.
- W2912446442 hasConcept C134306372 @default.
- W2912446442 hasConcept C136886441 @default.
- W2912446442 hasConcept C144024400 @default.
- W2912446442 hasConcept C154690210 @default.
- W2912446442 hasConcept C158465420 @default.
- W2912446442 hasConcept C177264268 @default.
- W2912446442 hasConcept C187455244 @default.
- W2912446442 hasConcept C19165224 @default.
- W2912446442 hasConcept C199360897 @default.
- W2912446442 hasConcept C33923547 @default.
- W2912446442 hasConcept C41008148 @default.
- W2912446442 hasConcept C80444323 @default.
- W2912446442 hasConcept C90559484 @default.
- W2912446442 hasConceptScore W2912446442C111919701 @default.
- W2912446442 hasConceptScore W2912446442C113174947 @default.
- W2912446442 hasConceptScore W2912446442C11413529 @default.
- W2912446442 hasConceptScore W2912446442C127705205 @default.
- W2912446442 hasConceptScore W2912446442C134306372 @default.
- W2912446442 hasConceptScore W2912446442C136886441 @default.
- W2912446442 hasConceptScore W2912446442C144024400 @default.
- W2912446442 hasConceptScore W2912446442C154690210 @default.
- W2912446442 hasConceptScore W2912446442C158465420 @default.
- W2912446442 hasConceptScore W2912446442C177264268 @default.
- W2912446442 hasConceptScore W2912446442C187455244 @default.
- W2912446442 hasConceptScore W2912446442C19165224 @default.
- W2912446442 hasConceptScore W2912446442C199360897 @default.
- W2912446442 hasConceptScore W2912446442C33923547 @default.
- W2912446442 hasConceptScore W2912446442C41008148 @default.
- W2912446442 hasConceptScore W2912446442C80444323 @default.
- W2912446442 hasConceptScore W2912446442C90559484 @default.
- W2912446442 hasLocation W29124464421 @default.
- W2912446442 hasOpenAccess W2912446442 @default.
- W2912446442 hasPrimaryLocation W29124464421 @default.
- W2912446442 hasRelatedWork W1501986906 @default.
- W2912446442 hasRelatedWork W1509641293 @default.
- W2912446442 hasRelatedWork W1533470797 @default.
- W2912446442 hasRelatedWork W1604603744 @default.
- W2912446442 hasRelatedWork W1979913153 @default.
- W2912446442 hasRelatedWork W2087546621 @default.
- W2912446442 hasRelatedWork W2088747311 @default.
- W2912446442 hasRelatedWork W2884576438 @default.
- W2912446442 hasRelatedWork W4213196283 @default.
- W2912446442 hasRelatedWork W4235696388 @default.
- W2912446442 hasVolume "186" @default.
- W2912446442 isParatext "false" @default.
- W2912446442 isRetracted "false" @default.
- W2912446442 magId "2912446442" @default.
- W2912446442 workType "article" @default.