Search results for "fault"

showing 10 items of 610 documents

Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning

2011

We study the quasi conjunction and the Goodman & Nguyen inclusion relation for conditional events, in the setting of probabilistic default reasoning under coherence. We deepen two recent results given in (Gilio and Sanfilippo, 2010): the first result concerns p-entailment from a family F of conditional events to the quasi conjunction C(S) associated with each nonempty subset S of F; the second result, among other aspects, analyzes the equivalence between p-entailment from F and p-entailment from C(S), where S is some nonempty subset of F. We also characterize p-entailment by some alternative theorems. Finally, we deepen the connections between p-entailment and the Goodman & Nguyen inclusion…

Discrete mathematicsClass (set theory)goodman & nguyen inclusion relationSettore MAT/06 - Probabilita' E Statistica MatematicaSettore INF/01 - Informaticap-entailment.; quasi conjunction; goodman & nguyen inclusion relation; qand rule; coherence; probabilistic default reasoning; p-entailmentProbabilistic logicqand ruleprobabilistic default reasoningConsistency (knowledge bases)Coherence (philosophical gambling strategy)p-entailmentCoherence probabilistic default reasoning quasi conjunction Goodman & Nguyen inclusion relation QAND rule p-entailment.coherenceConjunction (grammar)Default reasoningquasi conjunctionGreatest elementAlgorithmEquivalence (measure theory)Mathematics
researchProduct

Probability Propagation in Selected Aristotelian Syllogisms

2019

This paper continues our work on a coherence-based probability semantics for Aristotelian syllogisms (Gilio, Pfeifer, and Sanfilippo, 2016; Pfeifer and Sanfilippo, 2018) by studying Figure III under coherence. We interpret the syllogistic sentence types by suitable conditional probability assessments. Since the probabilistic inference of $P|S$ from the premise set ${P|M, S|M}$ is not informative, we add $p(M|(S ee M))>0$ as a probabilistic constraint (i.e., an ``existential import assumption'') to obtain probabilistic informativeness. We show how to propagate the assigned premise probabilities to the conclusion. Thereby, we give a probabilistic meaning to all syllogisms of Figure~III. We…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica Matematica05 social sciencesProbabilistic logicSyllogismConditional probability02 engineering and technologyCoherence (statistics)Settore MAT/01 - Logica MatematicaImprecise probabilityAristotelian syllogismFigure III050105 experimental psychologyConstraint (information theory)Premise0202 electrical engineering electronic engineering information engineeringImprecise probability020201 artificial intelligence & image processing0501 psychology and cognitive sciencesConditional eventDefault reasoningCoherenceSentenceMathematics
researchProduct

Transitive Reasoning with Imprecise Probabilities

2015

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent \(\text{ p-consistent }\) sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we present the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases.

Discrete mathematicsTransitive relationSettore MAT/06 - Probabilita' E Statistica MatematicaSettore INF/01 - Informaticabusiness.industryProbabilistic logicSyllogismInferenceCoherence (philosophical gambling strategy)Settore M-FIL/02 - Logica E Filosofia Della ScienzaComputer Science::Artificial IntelligenceImprecise probabilityCoherence default imprecise probability knowledge base p-consistency p-entailment reasoning syllogism weak transitivityProbability propagationKnowledge basebusinessMathematics
researchProduct

Validation of a New Method for the Diagnosis of Rotor bar Failures via Wavelet Transformation in Industrial Induction Machines

2006

[EN] In this paper, the authors propose a method for the diagnosis of rotor bar failures in induction machines, based on the analysis of the stator current during the startup using the discrete wavelet transform (DWT). Unlike other approaches, the study of the high-order wavelet signals resulting from the decomposition is the core of the proposed method. After an introduction of the physical and mathematical bases of the method, a description of the proposed approach is given; for this purpose, a numerical model of induction machine is used in such a way that the effects of a bar breakage can clearly be shown, avoiding the influence of other phenomena not related with the fault. Afterward, …

Discrete wavelet transformEngineeringStatorCascade algorithmWavelet analysisFault (power engineering)Industrial and Manufacturing Engineeringlaw.inventionHarmonic analysisBroken rotor barssymbols.namesakeWaveletControl theorylawElectrical and Electronic EngineeringFault diagnosisbusiness.industryRotor (electric)Wavelet transformTime–frequency analysisFourier transformControl and Systems Engineeringsymbolsstartup transientINGENIERIA ELECTRICAbusinessInduction motor
researchProduct

The Use of the Wavelet Approximation Signal as a Tool for the Diagnosis of Rotor Bar Failures

2005

[EN] The aim of this paper is to present a new approach for rotor bar failure diagnosis in induction machines. The method focuses on the study of an approximation signal resulting from the wavelet decomposition of the startup stator current. The presence of the left sideband harmonic is used as evidence of the rotor failure in most diagnosis methods based on the analysis of the stator current. Thus, a detailed description of the evolution of the left sideband harmonic during the startup transient is given in this paper; for this purpose, a method for calculating the evolution of the left sideband during the startup is developed, and its results are physically explained. This paper also show…

Discrete wavelet transformEngineeringStatorWavelet analysisSignalIndustrial and Manufacturing Engineeringlaw.inventionHarmonic analysisBroken rotor barsWaveletStartup transientControl theorylawElectrical and Electronic EngineeringFault diagnosisApproximation theorySidebandbusiness.industryRotor (electric)Wavelet transformControl and Systems EngineeringHarmonicINGENIERIA ELECTRICATransient (oscillation)business
researchProduct

Fractal Dimension Logarithmic Differences Method for Low Voltage Series Arc Fault Detection

2021

Series arc faults introduce singularities in the current signal and changes over time. Fractal dimension can be used to characterize the dynamic behaviour of the current signal by providing a degree of signal chaos. This measure of irregularity exhibits changes in signal behaviour that can suitably be used as a basis for series arc fault detection. In this paper, an efficient low voltage series arc fault detection method based on the logarithmic differences of the estimate of the fractal dimension of the current signal using the multiresolution length-based method is presented. The discrete wavelet transform and the hard thresholding denoising with the universal threshold are also used. Exp…

Discrete wavelet transformFractal Dimension (FD)Multiresolution Length-based Method (MRL)Computer scienceArc-fault circuit interrupterFractal dimensionSignalFault detection and isolationElectric arcDiscrete Wavelet Transform (DWT)series arc signal analysisFractalWaveletArc Fault Detection Device (AFDD)Arc Fault Current Interrupter (AFCI)Algorithm2021 5th International Conference on Smart Grid and Smart Cities (ICSGSC)
researchProduct

HybridS: A Scheme for Secure Distributed Data Storage in WSNs

2008

In unattended wireless sensor networks (WSNs), data is stored locally or at designated nodes upon sensing, and users can access it on demand. This paradigm can improve energy efficiency by making use of the upcoming cheap and large flash memory, as well as system robustness. Nevertheless, the security and dependability of distributed storage are critical for the applicability of such WSNs. In this paper, we propose a secure and dependable data storage scheme by taking advantages of secret sharing and Reed-Solomon code, which has computational security and yet maintains optimal data size. The extensive analysis verifies our scheme can provide secure and dependable data storage in WSNs in the…

Distributed databasebusiness.industryComputer scienceDistributed computingComputer data storageDistributed data storeDependabilityCryptographybusinessWireless sensor networkByzantine fault toleranceSecret sharingComputer network2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
researchProduct

New fault detection filter design approach for continues-time switched systems

2012

This paper investigates the problem of fault detection filter design for continuous-time switched systems. The designed fault detection filter is assumed to be asynchronous with the original systems. Attention is focused on designing a fault detection filter such that the estimation error between the residual and the fault is minimized in the sense of H ∞ norm. By employing piecewise Lyapunov function and average dwell time techniques, a sufficient condition for the existence of such a filter is exploited in terms of certain linear matrix inequalities. Finally, an example is provided to illustrate the effectiveness of the proposed approach.

Dwell timeFilter designControl theoryAsynchronous communicationNorm (mathematics)Detection theoryLinear matrixResidualFault detection and isolationMathematics2012 American Control Conference (ACC)
researchProduct

2021

Abstract. Foreland fold-and-thrust belts (FTBs) record long-lived tectono-sedimentary activity, from passive margin sedimentation, flexuring, and further evolution into wedge accretion ahead of an advancing orogen. Therefore, dating fault activity is fundamental for plate movement reconstruction, resource exploration, and earthquake hazard assessment. Here, we report U–Pb ages of syn-tectonic calcite mineralizations from four thrusts and three tear faults sampled at the regional scale across the Jura fold-and-thrust belt in the northwestern Alpine foreland (eastern France). Three regional tectonic phases are recognized in the middle Eocene–Pliocene interval: (1) pre-orogenic faulting at 48.…

Décollementgeographygeography.geographical_feature_category010504 meteorology & atmospheric sciencesStratigraphyPaleontologySoil ScienceGeologyImbricationFault (geology)010502 geochemistry & geophysics01 natural sciencesPaleontologyTectonicsGeophysicsGeochemistry and PetrologyPassive marginCompression (geology)Accretion (geology)human activitiesForeland basinGeology0105 earth and related environmental sciencesEarth-Surface ProcessesSolid Earth
researchProduct

Dynamic scheduling of periodic skippable tasks in an overloaded real-time system

2008

International audience; The need for supporting dynamic real-time environments where changes in workloads may occur requires a scheduling framework that explicitly addresses overload conditions, allows the system to achieve graceful degradation and supports a mechanism capable of determining the load to be shed from the system to handle the overload. In applications ranging from video reception to air-craft control, tasks enter periodically and have response time constraints, but missing a deadline is acceptable, provided most deadlines are met. Such tasks are said to be occasionally skippable and have an assigned skip parameter. We look at the problem of uniprocessor scheduling of skippabl…

Earliest deadline first schedulingComputer scienceDistributed computingReal-time computingResponse timeFault toleranceWorkload02 engineering and technologyDynamic priority scheduling020202 computer hardware & architectureScheduling (computing)Robustness (computer science)0202 electrical engineering electronic engineering information engineering[INFO.INFO-ES]Computer Science [cs]/Embedded Systems020201 artificial intelligence & image processingReal-time operating system2008 IEEE/ACS International Conference on Computer Systems and Applications
researchProduct