Moreover the term predicate fuzzy logic L∀ will denote the predicate calculus obtained from the propositional core fuzzy logic L by adding the “classical” quantifiers (∀ and ∃) together with the same axioms and rule of generalization used by Hàjek in his book [7] when defining BL∀. On the other hand, given a left-continuous t-norm ∗, if L∗ denotes the (propositional) fuzzy logic which is standa...

This project presents reactive power compensation in a distribution power system. DSTATCOM (distribution static compensator) is a reactive power compensator for power quality improvement in a three phase four wire distribution system. A voltage source converter (VSC) based DSTATCOM with a zig-zag transformer is used for the compensation of reactive power for voltage regulation along with load b...

We introduce a simple programming language and define its predicate transformer semantics. We motivate the choice of the constructs for the language by algebraic arguments, showing that the constructs are essentially the basic algebraic operations that are available for predicate transformers, when these are viewed as forming a complete lattice enriched category. We then show that the statement...

The determination of transformer fault categories using soft-computing based techniques has been the subject of much research in the recent past. The development of an adaptive fuzzy classifier which can effectively determine various classes or categories of series and shunt impulse faults in a wide range of power transformers is described. The system employs a self-generating module to automat...

This paper proposes an optimization model of life cycle cost (LCC) of the transformer. First, to build the model of LCC of the transformer, the whole LCC of the transformer is divided into five costs, i.e., initial cost, operating cost, maintenance cost, fault cost and disposal cost. The whole LCC is calculated. Second, according to the data of several kinds of transformers, the relationship be...

In this paper a uniform formalization in PVS of various kinds of semantics of imper ative programming language constructs is presented Based on a comprehensive de velopment of xed point theory the denotational semantics of elementary constructs of imperative programming languages are de ned as state transformers These state transformers induce corresponding predicate transformers providing a me...

Power transformers are protected by different relays that operate independently. Malfunction of each relay has a major role in reducing the reliability of the protection system. In order to mitigate the main drawbacks of the power transformer relays, an overall protection scheme is presented in this paper. This scheme proposes a novel multi criterion algorithm using decision-making based on fuz...

Dissolved gas analysis (DGA) of transformer oil is one of the most effective power transformer condition monitoring tools. There are many interpretation techniques for DGA results however all current techniques rely on personnel experience more than analytical formulation. As a result, the current techniques do not necessarily lead to the same conclusion for the same oil sample. A significant n...

Spatial Objects Models are the foundation stone of GIS. With increasing awareness and acceptance of spatial data uncertainty, how to model the fuzzy spatial objects is one of the important issues. This paper proposes a flexible fuzzy spatial objects model in practice in the eyes of design patterns. Also, as an instance, we will show how to use the model to predicate the topological relations be...