FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W80953181> ?p ?o ?g. }

• W80953181 endingPage "44" @default.
• W80953181 startingPage "30" @default.
• W80953181 abstract "It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-free transport of hazardous materials. The main idea behind this reliability analysis is to model the given pipeline system as a Reliability Block Diagram (RBD) of segments such that the reliability of an individual pipeline segment can be represented by a random variable. Traditionally, computer simulation is used to perform this reliability analysis but it provides approximate results and requires an enormous amount of CPU time for attaining reasonable estimates. Due to its approximate nature, simulation is not very suitable for analyzing safety-critical systems like oil and gas pipelines, where even minor analysis flaws may result in catastrophic consequences. As an accurate alternative, we propose to use a higher-order-logic theorem prover (HOL) for the reliability analysis of pipelines. As a first step towards this idea, this paper provides a higher-order-logic formalization of reliability and the series RBD using the HOL theorem prover. For illustration, we present the formal analysis of a simple pipeline that can be modeled as a series RBD of segments with exponentially distributed failure times." @default.
• W80953181 created "2016-06-24" @default.
• W80953181 creator A5007159598 @default.
• W80953181 creator A5021407528 @default.
• W80953181 creator A5066768973 @default.
• W80953181 creator A5075945595 @default.
• W80953181 date "2014-01-01" @default.
• W80953181 modified "2023-10-01" @default.
• W80953181 title "Towards the Formal Reliability Analysis of Oil and Gas Pipelines" @default.
• W80953181 cites W1519298802 @default.
• W80953181 cites W1554618854 @default.
• W80953181 cites W1566986515 @default.
• W80953181 cites W166580360 @default.
• W80953181 cites W1800133347 @default.
• W80953181 cites W1814275833 @default.
• W80953181 cites W1863642815 @default.
• W80953181 cites W1864574667 @default.
• W80953181 cites W1943070836 @default.
• W80953181 cites W1969392070 @default.
• W80953181 cites W1996404651 @default.
• W80953181 cites W2007291179 @default.
• W80953181 cites W2031766132 @default.
• W80953181 cites W2055988354 @default.
• W80953181 cites W2058949335 @default.
• W80953181 cites W2115026027 @default.
• W80953181 cites W2117444225 @default.
• W80953181 cites W2126208892 @default.
• W80953181 cites W2166822586 @default.
• W80953181 cites W41565640 @default.
• W80953181 cites W4206027559 @default.
• W80953181 doi "https://doi.org/10.1007/978-3-319-08434-3_4" @default.
• W80953181 hasPublicationYear "2014" @default.
• W80953181 type Work @default.
• W80953181 sameAs 80953181 @default.
• W80953181 citedByCount "21" @default.
• W80953181 countsByYear W809531812015 @default.
• W80953181 countsByYear W809531812016 @default.
• W80953181 countsByYear W809531812017 @default.
• W80953181 countsByYear W809531812018 @default.
• W80953181 countsByYear W809531812019 @default.
• W80953181 countsByYear W809531812020 @default.
• W80953181 countsByYear W809531812023 @default.
• W80953181 crossrefType "book-chapter" @default.
• W80953181 hasAuthorship W80953181A5007159598 @default.
• W80953181 hasAuthorship W80953181A5021407528 @default.
• W80953181 hasAuthorship W80953181A5066768973 @default.
• W80953181 hasAuthorship W80953181A5075945595 @default.
• W80953181 hasBestOaLocation W809531812 @default.
• W80953181 hasConcept C107094494 @default.
• W80953181 hasConcept C11413529 @default.
• W80953181 hasConcept C121332964 @default.
• W80953181 hasConcept C127413603 @default.
• W80953181 hasConcept C163164238 @default.
• W80953181 hasConcept C163258240 @default.
• W80953181 hasConcept C17435882 @default.
• W80953181 hasConcept C175309249 @default.
• W80953181 hasConcept C18074226 @default.
• W80953181 hasConcept C199360897 @default.
• W80953181 hasConcept C200601418 @default.
• W80953181 hasConcept C201729545 @default.
• W80953181 hasConcept C206880738 @default.
• W80953181 hasConcept C41008148 @default.
• W80953181 hasConcept C43214815 @default.
• W80953181 hasConcept C43521106 @default.
• W80953181 hasConcept C62520636 @default.
• W80953181 hasConcept C87717796 @default.
• W80953181 hasConceptScore W80953181C107094494 @default.
• W80953181 hasConceptScore W80953181C11413529 @default.
• W80953181 hasConceptScore W80953181C121332964 @default.
• W80953181 hasConceptScore W80953181C127413603 @default.
• W80953181 hasConceptScore W80953181C163164238 @default.
• W80953181 hasConceptScore W80953181C163258240 @default.
• W80953181 hasConceptScore W80953181C17435882 @default.
• W80953181 hasConceptScore W80953181C175309249 @default.
• W80953181 hasConceptScore W80953181C18074226 @default.
• W80953181 hasConceptScore W80953181C199360897 @default.
• W80953181 hasConceptScore W80953181C200601418 @default.
• W80953181 hasConceptScore W80953181C201729545 @default.
• W80953181 hasConceptScore W80953181C206880738 @default.
• W80953181 hasConceptScore W80953181C41008148 @default.
• W80953181 hasConceptScore W80953181C43214815 @default.
• W80953181 hasConceptScore W80953181C43521106 @default.
• W80953181 hasConceptScore W80953181C62520636 @default.
• W80953181 hasConceptScore W80953181C87717796 @default.
• W80953181 hasLocation W809531811 @default.
• W80953181 hasLocation W809531812 @default.
• W80953181 hasLocation W809531813 @default.
• W80953181 hasOpenAccess W80953181 @default.
• W80953181 hasPrimaryLocation W809531811 @default.
• W80953181 hasRelatedWork W1967732930 @default.
• W80953181 hasRelatedWork W1990124150 @default.
• W80953181 hasRelatedWork W208206822 @default.
• W80953181 hasRelatedWork W2394094657 @default.
• W80953181 hasRelatedWork W2586159183 @default.
• W80953181 hasRelatedWork W2809205509 @default.
• W80953181 hasRelatedWork W4310605270 @default.
• W80953181 hasRelatedWork W4319002070 @default.
• W80953181 hasRelatedWork W4362495923 @default.

• next