Results 11 to 20 of about 846,547 (352)
Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking [PDF]
, 2003 This paper presents a framework for a logical characterisation of fault tolerance and its formal analysis based on partial model checking techniques.
Gnesi, S., Lenzini, G., Martinelli, F.
core +3 more sources
Interseismic strain accumulation: Spin-up, cycle invariance, and irregular rupture sequences [PDF]
, 2006 Using models of infinite length strike-slip faults in an elastic layer above linear viscoelastic regions, we investigate interseismic deformation. In the models we investigate, interseismic strain accumulation on mature faults is the result of the ...
Hager, B. H., Hetland, E. A.
core +1 more source
Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration [PDF]
, 2019 To reveal fault propagation paths is one of the most critical studies for the analysis of power system security; however, it is rather dif cult. This paper proposes a new framework for the fault propagation path modeling method of power systems based ...
Huang, Tao +6 more
core +2 more sources
Shock and Vibration, 2021 To further study the fault mechanism and fault features of rolling bearings, a two-DOF rolling bearing fault dynamic model with inner ring local defects considering the bearing radial clearance and time-varying displacement excitation is established ...
Zhang Fengling +4 more
doaj +1 more source
Energies, 2018 Rolling element bearings are of great importance in planetary gearboxes. Monitoring their operation state is the key to keep the whole machine running normally.
Hongkun Li +3 more
doaj +1 more source
Digital Twin Driven Fault Diagnosis Method for Subsea Control System
IEEE Access, 2023 Digital twin driven fault diagnosis shows good performance in fault diagnosis of subsea control systems. However, the relation between digital twin and fault diagnosis is not clear. This cannot bring substantial improvement to fault diagnosis.
Weifeng Ge +5 more
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. Bobbio +9 more
core +1 more source
电力工程技术, 2023 To solve the problem that the traditional single-ended phase selection elements are no longer suitable for AC long lines at the receiving end of the AC/DC hybrid system, a time-domain double-ended phase selection method based on model recognition is ...
MA Yifei, FAN Yanfang
doaj +1 more source
Study of Induction Motor Inter-Turn Fault Part II: Online Model-Based Fault Diagnosis Method
Energies, 2022 This paper (Part II) is a follow-up paper to our previous work on developing induction motor inter-turn fault (ITF) models (Part I). In this paper, an online ITF diagnosis method of induction motors is proposed by utilizing the negative sequence current ...
Seong-Hwan Im, Bon-Gwan Gu
doaj +1 more source
Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets [PDF]
, 2015 © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved. Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unable ...
Kabir, Sohag +2 more
core +1 more source