Turn to turn fault is one of the major internal failures in the power transformers that if it is not quickly detected, can be extended and led to a complete transformer breakdown. So, the diagnosis and location of the turn to turn fault of the power transformer, as one of the most important equipment in the power system, is the main objective of this paper. For this purpose, a detailed model of...

The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resolutionbased reasoning is established on previous works concerning non-clausal resolution principle both theoretical and application-oriented (FPLGERDS inference engine).

Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies (identically true sentences) and satissable sentences (sentences true in at least one interpretation) as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated .

In this paper, we turn our attention to model theory of higher-order fuzzy logic (fuzzy type theory). This theory generalizes model theory of predicate logic but has some interesting specificities. We will introduce few basic concepts related to homomorphism, isomorphism, submodel, etc. and show some properties of them.

In this paper we prove strong completeness of axiomatic extensions of First Order SMTL logic adding the so-called quasi-witnessed axioms with respect to quasi-witnessed Models. In order to achieve this result, we make use of methods that are typical of Classical Predicate Logic, and have been later generalized by P. Hájek to cope with Predicate Fuzzy Logic. At the end of the paper, we obtain, a...

The internal faults of transformer can be identified by various techniques. The proposed technique is by the analysis of no-load current and harmonic contents present in it. The no-load current of transformer is non-sinusoidal for sinusoidal input voltage. And hence it contains harmonics in healthy condition of transformer. But if transformer has any internal fault then the no-load current magn...

This article presents an algorithm for modelling an Adaptive Neuro Fuzzy Inference System (ANFIS) for power transformer paper conditions in order to estimate the transformer’s expected life. The dielectric characteristics, dissolved gasses, and furfural of 108 running transformers were collected, which were divided into 76 training datasets and another 32 testing datasets. The degree of polymer...

The power transformer is one of the most critical and expensive components for the stable operation of the power system. Hence, how to obtain the health condition of transformer is of great importance for power utilities. Multi-attribute decision-making (MADM), due to its ability of solving multi-source information problems, has become a quite effective tool to evaluate the health condition of ...

Fuzzy control methods are developed for a high efficient variable speed constant frequency power generating system, with wind power generation as an example. In slip power recovery configuration, the system is composed of a doubly excited brushless reluctance machine and a reduced rating power electronic converter unit linking the stator secondary circuit with the power line. The doubly excited...

[Purpose] This study compared the effects of three exercises performed in a prone position on the selective activation of the lumbar erector spinae (LES) and lumbar multifidus (LM) muscles in healthy males to investigate the effective method for selective activation of the LM. [Subjects] Twenty-two healthy males were recruited. Surface EMG data were collected from the right LES and LM muscles d...