A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
A Reliability Test System For Educational Purposes - Probabilistic Transient Stability Studies
2001
ERJ. Engineering Research Journal
Preserved Fulltext
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 11th IEEE High Assurance Systems Engineering Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 IEEE International Conference on Robotics and Automation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Chemical Engineering Transactions
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
Energy Procedia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2018
ASEG Extended Abstracts
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2007
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2020
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2019
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 17th Euromicro Conference on Digital System Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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