Results 31 to 40 of about 144,674 (291)
Quantification of temporal fault trees based on fuzzy set theory [PDF]
© Springer International Publishing Switzerland 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 ...
E. Edifor +14 more
core +1 more source
A synthesis of logic and bio-inspired techniques in the design of dependable systems [PDF]
Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting ...
Azevedo, Luis +7 more
core +1 more source
In order to make safety risk assessment more accurately and more reasonably for high-speed railway station in China, this paper analyzes risk factors of fault tree and transfers the fault tree of risk accident into fuzzy petri net and then builds the FPN-
Qi Zhang +4 more
doaj +1 more source
Compositional synthesis of temporal fault trees from state machines [PDF]
Dependability analysis of a dynamic system which is embedded with several complex interrelated components raises two main problems. First, it is difficult to represent in a single coherent and complete picture how the system and its constituent parts ...
Mahmud, Nidhal +2 more
core +2 more sources
Fault Diagnosis of Roadheader Based on Dynamic Fault Tree
The roadheader faults are highly concerned by machinery factories. Facing the variety of the roadheader faults, the complex relationships between fault sources, as well as the difficulties of fault diagnosis, this paper proposed a method to set up the dynamic fault tree of roadheader.
Tongzhou Yin +5 more
openaire +2 more sources
Loss of power supply from the diesel generator system (DGS) after loss of offsite power (LOOP) will pose great threat to the safety of GEN-II pressurized water reactors (PWR). Therefore, it is very desirable to evaluate the DGS’s reliability.
Dingqing Guo +4 more
doaj +1 more source
SAFEST: The Static and Dynamic Fault Tree Analysis Tool
Contains fulltext : 297193.pdf (Publisher’s version ) (Open Access)
Volk, M. +5 more
openaire +3 more sources
Near Optimal Parallel Algorithms for Dynamic DFS in Undirected Graphs
Depth first search (DFS) tree is a fundamental data structure for solving graph problems. The classical algorithm [SiComp74] for building a DFS tree requires $O(m+n)$ time for a given graph $G$ having $n$ vertices and $m$ edges. Recently, Baswana et al. [
Khan, Shahbaz
core +1 more source
A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees [PDF]
In this paper we design and prove correct a fully dynamic distributed algorithm for maintaining an approximate Steiner tree that connects via a minimum-weight spanning tree a subset of nodes of a network (referred as Steiner members or Steiner group ...
A.M. Kermarrec +11 more
core +7 more sources
Study on Transformer Fault Diagnosis Based on Dynamic Fault Tree [PDF]
In this paper, according to theoretical diagnosis of fault tree, the author builds a diagnosis model based on dynamic fault tree and illustrates the model’s construction method and diagnosis logic in detail. According to case analysis, compared with conventional fault tree diagnosis, the above-mentioned method is advanced in fault-tolerant ability ...
openaire +1 more source

