Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384405969> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4384405969 endingPage "15" @default.
- W4384405969 startingPage "12" @default.
- W4384405969 abstract "Since their introduction in form of a canonical representation of logical functions, the Binary Decision Diagrams (BDDs) gained a wide acceptance in numerous industrial applications. This paper summarizes the properties of BDD representation of Minimal Cut Sets (MCS) of Fault Tree (FT) models most typically encountered in nuclear energetics. Cut sets from MCS are defined as paths from the top BDD node to terminal nodes in the BDD, on which a quantitative and qualitative FT analysis (FTA) is performed. The core of the FTA on the BDDs is performed with help of two fundamental algorithms, one for conditional probability evaluation and another for the selection of cut sets. The accuracy of conditional probability evaluation represents an essential feature for an unbiased quantitative analysis, such as the top event probability or the determination of event importance measures. The cut set selection algorithm is shown in a generic version introducing logical predicates for its selection criteria. As it is known, the efficiency of depicted algorithms depends only on the number of BDD nodes used for the FT representation. In order to appraise the compactness of the BDD representation of FT models, their characteristics have herein been evaluated on several real-life models from the Nuclear Power Plant Krško. The extraordinariness of the compactness of the BDD representation reflects in its ability to implement advanced dynamic analysis (i.e. what-if) of FT models. The efficiency of such an approach is recognized by commercial vendors upgrading their FT Tools to new versions by implementing BDD based algorithms." @default.
- W4384405969 created "2023-07-16" @default.
- W4384405969 creator A5025477231 @default.
- W4384405969 creator A5071531946 @default.
- W4384405969 date "2023-07-10" @default.
- W4384405969 modified "2023-10-15" @default.
- W4384405969 title "On Minimal Cut Sets Representation with Binary Decision Diagrams" @default.
- W4384405969 doi "https://doi.org/10.37798/2022714420" @default.
- W4384405969 hasPublicationYear "2023" @default.
- W4384405969 type Work @default.
- W4384405969 citedByCount "0" @default.
- W4384405969 crossrefType "journal-article" @default.
- W4384405969 hasAuthorship W4384405969A5025477231 @default.
- W4384405969 hasAuthorship W4384405969A5071531946 @default.
- W4384405969 hasBestOaLocation W43844059691 @default.
- W4384405969 hasConcept C107094494 @default.
- W4384405969 hasConcept C11413529 @default.
- W4384405969 hasConcept C121332964 @default.
- W4384405969 hasConcept C127413603 @default.
- W4384405969 hasConcept C177264268 @default.
- W4384405969 hasConcept C17744445 @default.
- W4384405969 hasConcept C199360897 @default.
- W4384405969 hasConcept C199539241 @default.
- W4384405969 hasConcept C200601418 @default.
- W4384405969 hasConcept C2776359362 @default.
- W4384405969 hasConcept C2779662365 @default.
- W4384405969 hasConcept C3309909 @default.
- W4384405969 hasConcept C33923547 @default.
- W4384405969 hasConcept C41008148 @default.
- W4384405969 hasConcept C48372109 @default.
- W4384405969 hasConcept C62520636 @default.
- W4384405969 hasConcept C62611344 @default.
- W4384405969 hasConcept C66938386 @default.
- W4384405969 hasConcept C80444323 @default.
- W4384405969 hasConcept C94375191 @default.
- W4384405969 hasConcept C94625758 @default.
- W4384405969 hasConceptScore W4384405969C107094494 @default.
- W4384405969 hasConceptScore W4384405969C11413529 @default.
- W4384405969 hasConceptScore W4384405969C121332964 @default.
- W4384405969 hasConceptScore W4384405969C127413603 @default.
- W4384405969 hasConceptScore W4384405969C177264268 @default.
- W4384405969 hasConceptScore W4384405969C17744445 @default.
- W4384405969 hasConceptScore W4384405969C199360897 @default.
- W4384405969 hasConceptScore W4384405969C199539241 @default.
- W4384405969 hasConceptScore W4384405969C200601418 @default.
- W4384405969 hasConceptScore W4384405969C2776359362 @default.
- W4384405969 hasConceptScore W4384405969C2779662365 @default.
- W4384405969 hasConceptScore W4384405969C3309909 @default.
- W4384405969 hasConceptScore W4384405969C33923547 @default.
- W4384405969 hasConceptScore W4384405969C41008148 @default.
- W4384405969 hasConceptScore W4384405969C48372109 @default.
- W4384405969 hasConceptScore W4384405969C62520636 @default.
- W4384405969 hasConceptScore W4384405969C62611344 @default.
- W4384405969 hasConceptScore W4384405969C66938386 @default.
- W4384405969 hasConceptScore W4384405969C80444323 @default.
- W4384405969 hasConceptScore W4384405969C94375191 @default.
- W4384405969 hasConceptScore W4384405969C94625758 @default.
- W4384405969 hasIssue "4" @default.
- W4384405969 hasLocation W43844059691 @default.
- W4384405969 hasLocation W43844059692 @default.
- W4384405969 hasOpenAccess W4384405969 @default.
- W4384405969 hasPrimaryLocation W43844059691 @default.
- W4384405969 hasRelatedWork W1550288578 @default.
- W4384405969 hasRelatedWork W179661928 @default.
- W4384405969 hasRelatedWork W1998883497 @default.
- W4384405969 hasRelatedWork W2010102135 @default.
- W4384405969 hasRelatedWork W2026039762 @default.
- W4384405969 hasRelatedWork W2068266569 @default.
- W4384405969 hasRelatedWork W2076227564 @default.
- W4384405969 hasRelatedWork W2166829200 @default.
- W4384405969 hasRelatedWork W2307932686 @default.
- W4384405969 hasRelatedWork W2314056705 @default.
- W4384405969 hasVolume "71" @default.
- W4384405969 isParatext "false" @default.
- W4384405969 isRetracted "false" @default.
- W4384405969 workType "article" @default.