46,992 Hits in 3.8 sec

A Reliability Test System For Educational Purposes - Probabilistic Transient Stability Studies

S.M. Al-Dhalaan
2001 ERJ. Engineering Research Journal  
The probabilistic nature of the transient stability problem and the need to include in the analysis the probabilities associated with the initiating factors such as the type, location and clearance of  ...  The probabilistic transient stability methodology and the resulting indices presented in this paper provide a basic understanding of probabilistic assessment of transient stability and can easily be included  ...  Faults near generator buses are the most severe faults in the system. The location of the fault is probabilistic, and can be represented by the probability distribution of fault occurrence.  ... 
doi:10.21608/erjm.2001.71052 fatcat:2hq3btjuujczjo5fcpqmb5l3z4

Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays [chapter]

Osman Hasan, Naeem Abbasi, Sofiène Tahar
2009 Lecture Notes in Computer Science  
To ensure accurate analysis and thus more reliable SoC designs, we propose, in this paper, a probabilistic theorem proving approach in the domain of reconfigurable memory array analysis.  ...  Traditionally, computer simulation techniques are used to perform probabilistic analysis of reconfigurable memory arrays but they provide inaccurate results.  ...  Our approach for the probabilistic analysis of stuck-at faults in memory reconfigurable arrays is quite general and can be extended and easily adapted to conduct precise probabilistic analysis of other  ... 
doi:10.1007/978-3-642-00255-7_19 fatcat:zec6prh7jff2bcw6ul35mkqsaq

Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems

Jonas Elmqvist, Simin Nadjm-Tehrani
2008 2008 11th IEEE High Assurance Systems Engineering Symposium  
This is done with the help of the probabilistic model checker PRISM.  ...  In this paper, we extend our earlier work on formal qualitative analysis with a quantitative analysis of fault tolerance. Our analysis is based on design models of the system under construction.  ...  The second author was partially supported by University of Luxembourg.  ... 
doi:10.1109/hase.2008.59 dblp:conf/hase/ElmqvistN08 fatcat:3gk2chdwl5hlloqjwuocsuyue4

Efficient Inference on Generalized Fault Diagrams [article]

Ross D. Shachter, Leonard Bertrand
2013 arXiv   pre-print
The generalized fault diagram, a data structure for failure analysis based on the influence diagram, is defined.  ...  Unlike the fault tree, this structure allows for dependence among the basic events and replicated logical elements. A heuristic procedure is developed for efficient processing of these structures.  ...  It can be performed for any logical operator with singly-connected probabilistic predecessors. Computing involves replacing a logical operator with a probabilistic node in the fault diagram.  ... 
arXiv:1304.2758v1 fatcat:4hv44j5aejd7po2jaq7lfvvqci

A probabilistic approach for measuring the fault tolerance of robotic manipulators

Hamid Abdi, Anthony A. Maciejewski, Saeid Nahavandi
2013 2013 IEEE International Conference on Robotics and Automation  
This paper extends the use of local fault tolerance measures by using them to compute a global measure using a probabilistic analysis.  ...  Specifically, we compute cumulative density functions (CDF) that can be used to specify a desired fault tolerance threshold for completion of a task within a specified workspace region.  ...  PROBABILISTIC MODEL FOR FAULT TOLERANTINDICESThe probabilistic model for the fault tolerance indices can be obtained by a Monte Carlo analysis of fault tolerance indices.  ... 
doi:10.1109/icra.2013.6630843 dblp:conf/icra/AbdiMN13 fatcat:subh5lrjgjddlnkodtmjsiohne

Probabilistic Fault Tree Analysis of Refinery Plant Components subject to Earthquake Scenarios

C. Vianello, M.A. Zanini, C. Pellegrino, G. Maschio
2016 Chemical Engineering Transactions  
For these reasons, this work presents a probabilistic framework to be applied in the fault tree analysis (FTA) to estimate the occurrence probabilities of small, medium and large release from an atmospheric  ...  The classical quantitative risk analysis (QRA) in fact allows to evaluate a mean frequency value of a potential release as a function of the fault tree diagram without taking into account uncertainties  ...  This work proposed a method to extend probabilistic approaches also to the classic QRA analysis with the aim to formalize a probabilistic fault tree analysis to be perfomed when seismic risk has to be  ... 
doi:10.3303/cet1653017 doaj:a8897dfb156f41c78dbd06eaf6ff9685 fatcat:ygo3vbaxcfaqni2e4rucxj3dfu

A Simplified, Semi-analytical Method to Handle Uncertainty in Long-term Containment in Geologic CO2 Storage Sites

Semere Solomon, Todd Allyn Flach, Michael Carpenter, Ståle Selmer-Olsen
2009 Energy Procedia  
One of the major containment failures is due to opening of new or existing fractures or faults, or ingress through the cap rock barrier.  ...  Carbon dioxide capture and storage (CCS) can contribute to stabilizing atmospheric content of carbon dioxide (CO 2 ) provided that it can deliver long-term storage containment.  ...  All these problems can be modelled in the framework of the method of reliability analysis.  ... 
doi:10.1016/j.egypro.2009.02.017 fatcat:hknaclinovf4jff5jjheyqrrgi

Oil-immersed Power Transformer Internal Fault Diagnosis Research Based on Probabilistic Neural Network

Shenghao Yu, Dongming Zhao, Wei Chen, Hui Hou
2016 Procedia Computer Science  
Nowadays, three-ratio method of dissolved gas analysis (DGA) is the most effective and convenient method in transformer fault diagnosis.  ...  Oil-immersed transformer internal faults are predicted in this paper by using probabilistic neural network algorithm, which brings its ability of processing non-linear problem into full play.  ...  Simulation and analysis of Power transformer fault diagnosis based on PNN Dissolved gas analysis (DGA) is one of the most effective and important methods in oil-immersed power transformer fault diagnosis  ... 
doi:10.1016/j.procs.2016.04.276 fatcat:3bgfvnxbknbcpmrakcvbj3wyze

Comparing Shale Gouge Ratio and Juxtaposition Analysis Using Stochastic Trap Analysis: Examples from Gippsland, Taranaki, Otway and Southern North Sea Basins

Titus Murray, Dave Richards, Bill Power, Tony Johnson, Greg Christie
2018 ASEG Extended Abstracts  
Exploration fault seal analysis of prospects is often focused on generating a probability of success.  ...  A process of model validation will be presented in which observed free water levels are compared with the results of single "best" technical versus probabilistic models for both juxtaposition and SGR.  ...  Exploration fault seal analysis of prospects is often focused on generating a probability of success.  ... 
doi:10.1071/aseg2018abt7_3a fatcat:woiacfdfivbnje3eritwd6kjxa

Probabilistic Model-Checking Support for FMEA

Lars Grunske, Robert Colvin, Kirsten Winter
2007 Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)  
In this paper we propose a method for FMEA which makes use of probabilistic fault injection and probabilistic model checking.  ...  Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system.  ...  Although these approaches operate in a different dependability domain, the probabilistic models developed for the different analyses can potentially be shared with the safety analysis approach of this  ... 
doi:10.1109/qest.2007.18 dblp:conf/qest/GrunskeCW07 fatcat:m74ddvvnn5gkfkvk7cvcatycoy

Reliability analysis of static and dynamic fault-tolerant systems subject to probabilistic common-cause failures

L Xing, P Boddu, Y Sun, W Wang
2009 Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability  
In this paper, we consider the effects of probabilistic NFS in the reliability analysis of fault-tolerant systems.  ...  A Markov approach combined with the Poisson decomposition law is proposed for incorporating probabilistic NFS in the reliability analysis of dynamic systems.  ...  An earlier version of this paper was presented at the 55th Annual Reliability and Maintainability Symposium [30] .  ... 
doi:10.1243/1748006xjrr260 fatcat:nbcfhlyhzna3fcbywuprj6lkjm

Simulation-based Safety Assessment of High-level Reliability Models

Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
2020 Electronic Proceedings in Theoretical Computer Science  
Instead of creating low-level analysis models, our approach builds on engineering models in safety analysis by exploiting the simulation capabilities of recent probabilistic programming and simulation  ...  Thus, it could be applied in accordance with standards and best practices for the analysis of a critical automotive system as part of an industrial collaboration, while leveraging high-level block diagrams  ...  Acknowledgment This work was partially supported by theÚNKP-19-3 New National Excellence Program of the Ministry for Innovation and Technology and the European Union, co-financed by the European Social  ... 
doi:10.4204/eptcs.316.9 fatcat:bl3ueqxle5gk5ii3rkyvbnxnxm

COMPASS 3.0 [chapter]

Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
2019 Lecture Notes in Computer Science  
New features include Timed Failure Propagation Graphs, contract-based analysis, hierarchical fault tree generation, probabilistic analysis of non-deterministic models and statistical model checking.  ...  In this paper we present COMPASS 3.0, which brings together the results of various development projects since the original inception of COMPASS.  ...  COMPASS 3.0 can generate fault trees associated with particular error states in the model.  ... 
doi:10.1007/978-3-030-17462-0_25 fatcat:whgtgnwptfa5xo7lokmhctbn6m

Probabilistic Gate Level Fault Modeling for Near and Sub-Threshold CMOS Circuits

Alexandru Amaricai, Sergiu Nimara, Oana Boncalo, Jiaoyan Chen, Emanuel Popovici
2014 2014 17th Euromicro Conference on Digital System Design  
Four types of gate level fault models, with different accuracies, are proposed.  ...  Our findings show that the proposed SFI method presents a 2X-5X simulation time overhead compared to the simulation of the gold circuit; with respect to SPICE analysis, the proposed method requires three  ...  ACKNOWLEDGMENTS This work has been supported by the Seventh Framework Program of European Union under Grant Agreement 309129, project i-RISC -"Innovative Reliable Chip Design from Low Power Unreliable  ... 
doi:10.1109/dsd.2014.92 dblp:conf/dsd/AmaricaiNBCP14 fatcat:e3qnpoi6rjcldfpwuwdnnhflou

Page 309 of SPE Reservoir Evaluation & Engineering Vol. 5, Issue 4 [page]

2002 SPE Reservoir Evaluation & Engineering  
This information is very indicative of the signifi- cant upside, beyond current bookable reserves, that can be achieved with further development.  ...  As a final analysis, one can compare the current reserves base with the overall unrisked and risked gas resource distribution to better understand the additional potential and to prioritize com- pany resources  ... 
« Previous Showing results 1 — 15 out of 46,992 results