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...

Fuzzy Predicate Logic with Evaluated Syntax (FPL) (Novák, V.) is a well-studied and wide-used logic capable of expressing vagueness. It has a lot of applications based on robust theoretical background. It also requires an efficient formal proof theory. However the most widely applied resolution principle (Dukić, N.) brings syntactically several obstacles mainly arising from normal form transfor...

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...

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 .