Results 11 to 20 of about 1,830 (101)
Remote Sensing, 2023 The prevailing research on forecasting surface deformations within mining territories predominantly hinges on parameter-centric numerical models, which manifest constraints concerning applicability and parameter reliability. Although Multi-Temporal InSAR
Sichun Long +8 more
doaj +1 more source
Quantification of Simultaneous-AND Gates in Temporal Fault Trees [PDF]
, 2013 Fault Tree Analysis has been a cornerstone of safety-critical systems for many years. It has seen various extensions to enable it to analyse dynamic behaviours exhibited by modern systems with redundant components. However, none of these extended FTA approaches provide much support for modelling situations where events have to be "nearly simultaneous",
Ernest Edifor +2 more
openaire +2 more sources
OBTAINING TEMPORAL AND TIMED PROPERTIES OF LOGIC CONTROLLERS FROM FAULT TREE ANALYSIS [PDF]
IFAC Proceedings Volumes, 2006 One of the prerequisites for formal verification of logic controllers using model-checking is the formalization of properties to verify. The work presented in this paper proposes a method to elaborate the formal properties of a logic controller from a Fault Tree Analysis (FTA).
Santiago Barragan, Israel +2 more
openaire +2 more sources
Quantification of Temporal Fault Trees Based on Fuzzy Set Theory [PDF]
, 2014 Fault tree analysis (FTA) has been modified in different ways to make it capable of performing quantitative and qualitative safety analysis with temporal gates, thereby overcoming its limitation in capturing sequential failure behaviour. However, for many systems, it is often very difficult to have exact failure rates of components due to increased ...
Gordon, Neil +3 more
openaire +2 more sources
An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking
IEEE Access, 2018 Fault tree generation technology is a key issue for safety analysis of large complex systems. Traditional safety analysis methods usually describe the origin, propagation, or concrete behavior of the fault and do not portray the constraints between ...
Lisong Wang +4 more
doaj +1 more source
Integrated Level 1–Level 2 decommissioning probabilistic risk assessment for boiling water reactors
Nuclear Engineering and Technology, 2018 This article describes an integrated Level 1–Level 2 probabilistic risk assessment (PRA) methodology to evaluate the radiological risk during postulated accident scenarios initiated during the decommissioning phase of a typical Mark I containment boiling
Davide Mercurio +2 more
doaj +1 more source
“Accidental” Encounters with the Ottoman Armenians in Contemporary Turkey
Études Arméniennes Contemporaines, 2015 This essay discusses a set of inadvertent encounters with the late 19th and early 20th century persecution of the Ottoman Armenians in light of Rosalind Morris’ notion of “accident,” which implicates the traumatic event as not just a distant, isolated ...
Eray Çaylı
doaj +1 more source
Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks [PDF]
, 2014 Classical combinatorial fault trees can be used to assess combinations of failures but are unable to capture sequences of faults, which are important in complex dynamic systems. A number of proposed techniques extend fault tree analysis for dynamic systems.
Kabir, Sohag +2 more
openaire +2 more sources
ARATech2013 – a Web-based Tool for Risk Assessment
Chemical Engineering Transactions, 2016 The risk assessment analysis is perceived as the most important stage in preparation of the major accident prevention documentation in accordance with the Directive 96/82/EC. The risk assessment alone is a complex process and several procedures and their
Vaclav Frydrych +2 more
doaj +1 more source
SensorsAs embedded systems become increasingly complex, traditional reliability analysis methods based on text alone are no longer adequate for meeting the requirements of rapid and accurate quantitative analysis of system reliability.
Changyong Chu, Weikang Yang, Yajun Chen
doaj +1 more source