Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094013552> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2094013552 endingPage "314" @default.
- W2094013552 startingPage "302" @default.
- W2094013552 abstract "The dynamic flowgraph methodology is a promising way to find the prime implicants of a top event for a dynamic system possibly containing digital subsystems. This article demonstrates how to express dynamic flowgraph methodology models as logic programs, and top events as queries to those programs, in a natural and comprehensible way. Computation of the logic program lists the prime implicants of a top event in the system. We also present and implement an algorithm for computing the probability of the top event from its prime implicants. Together, computation of prime implicants and calculation of top event probability from these constitute a complete way of finding a system’s failure probability. Logic programs, implemented in this article in the leading logic programming language Prolog, enable rapid prototyping of dynamic flowgraph methodology models. The logic programming framework introduced here could also be utilized in teaching dynamic flowgraph methodology in risk analysis courses." @default.
- W2094013552 created "2016-06-24" @default.
- W2094013552 creator A5062060819 @default.
- W2094013552 date "2013-04-26" @default.
- W2094013552 modified "2023-09-27" @default.
- W2094013552 title "Implementing dynamic flowgraph methodology models with logic programs" @default.
- W2094013552 cites W1837948635 @default.
- W2094013552 cites W1975525997 @default.
- W2094013552 cites W2015303779 @default.
- W2094013552 cites W2028402388 @default.
- W2094013552 cites W2058203505 @default.
- W2094013552 cites W2096395465 @default.
- W2094013552 cites W2142044962 @default.
- W2094013552 cites W2911601159 @default.
- W2094013552 cites W4211245895 @default.
- W2094013552 cites W4244238592 @default.
- W2094013552 doi "https://doi.org/10.1177/1748006x13484425" @default.
- W2094013552 hasPublicationYear "2013" @default.
- W2094013552 type Work @default.
- W2094013552 sameAs 2094013552 @default.
- W2094013552 citedByCount "1" @default.
- W2094013552 countsByYear W20940135522016 @default.
- W2094013552 crossrefType "journal-article" @default.
- W2094013552 hasAuthorship W2094013552A5062060819 @default.
- W2094013552 hasConcept C102487863 @default.
- W2094013552 hasConcept C11413529 @default.
- W2094013552 hasConcept C121332964 @default.
- W2094013552 hasConcept C128838566 @default.
- W2094013552 hasConcept C158465420 @default.
- W2094013552 hasConcept C187455244 @default.
- W2094013552 hasConcept C199360897 @default.
- W2094013552 hasConcept C2779662365 @default.
- W2094013552 hasConcept C41008148 @default.
- W2094013552 hasConcept C45374587 @default.
- W2094013552 hasConcept C62520636 @default.
- W2094013552 hasConcept C80444323 @default.
- W2094013552 hasConcept C81721847 @default.
- W2094013552 hasConceptScore W2094013552C102487863 @default.
- W2094013552 hasConceptScore W2094013552C11413529 @default.
- W2094013552 hasConceptScore W2094013552C121332964 @default.
- W2094013552 hasConceptScore W2094013552C128838566 @default.
- W2094013552 hasConceptScore W2094013552C158465420 @default.
- W2094013552 hasConceptScore W2094013552C187455244 @default.
- W2094013552 hasConceptScore W2094013552C199360897 @default.
- W2094013552 hasConceptScore W2094013552C2779662365 @default.
- W2094013552 hasConceptScore W2094013552C41008148 @default.
- W2094013552 hasConceptScore W2094013552C45374587 @default.
- W2094013552 hasConceptScore W2094013552C62520636 @default.
- W2094013552 hasConceptScore W2094013552C80444323 @default.
- W2094013552 hasConceptScore W2094013552C81721847 @default.
- W2094013552 hasIssue "3" @default.
- W2094013552 hasLocation W20940135521 @default.
- W2094013552 hasOpenAccess W2094013552 @default.
- W2094013552 hasPrimaryLocation W20940135521 @default.
- W2094013552 hasRelatedWork W1481700938 @default.
- W2094013552 hasRelatedWork W1485791179 @default.
- W2094013552 hasRelatedWork W1548535723 @default.
- W2094013552 hasRelatedWork W1569472630 @default.
- W2094013552 hasRelatedWork W1850723825 @default.
- W2094013552 hasRelatedWork W1996683955 @default.
- W2094013552 hasRelatedWork W1999702466 @default.
- W2094013552 hasRelatedWork W2233242659 @default.
- W2094013552 hasRelatedWork W2953307851 @default.
- W2094013552 hasRelatedWork W4319165641 @default.
- W2094013552 hasVolume "227" @default.
- W2094013552 isParatext "false" @default.
- W2094013552 isRetracted "false" @default.
- W2094013552 magId "2094013552" @default.
- W2094013552 workType "article" @default.