This short note contains random thoughts about a factorization theorem for closure/interior operators on a powerset which is reminiscent to the notion of resolution for a monad/comonad. The question originated from formal topology but is interesting in itself. The result holds constructively (even if it classically has several variations); but usually not predicatively (in the sense that the in...

The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on calculation of strongest postconditions of program components. The method provides a powerful means for detecting and removing by transformation various forms of redundancy and inconsistency in programs. The feasibility ...

Abs t rac t -The phys ica l s ize of inductors in resonant converters was examined i n terms o f inductor t o transformer s i z e rat io . F o l l o w i n g the general d i scuss ion o f the i s s u e , the inductor s i z e i n ser i e s resonant DC-DC converter i s examined i n deta i l . It i s shown that the inductor t o transformer s i z e rat io i s a funct ion of the peak v o l t a g e o ...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xv EXECUTIVES UMMARY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . , . . . . xvii . l.INTRODUCTION .. .:. .................................. l-l 1.1 BACKGROUND .................................... l-l 1.2 MARKETTRENDS ..................................... l-2 1.3 STUDYAPPROACH ..........................

Transformer fault diagnosis is an interesting subject for plant operators due to its criticality in power systems. There are several international standards available to interpret power transformer faults based on dissolved gas analysis. In certain cases these standards are not able to provide correct diagnosis. There are several soft computing techniques available for modelling transformer fau...

Assessment of power transformer conditions has become increasingly important in recent years. As an asset that represents one of the largest investments in a utility’s system, detection of incipient faults in power transformers is crucial. Dissolved gas-in-oil analysis (DGA) is a successful technique to detect these potential faults and it provides wealth of diagnostic information. This project...

A relational model for non-deterministic programs is presented. Several predicate transformers are introduced and it is shown that one of them satisfies all the healthiness criteria indicated by Dijkstra for a useful total correctness predicate transformer. An axiomatic relational definition of the language of guarded commands is proposed. From it the predicate transformers associated to each c...

In this paper, a differential protection schemes using fuzzy inference system (FIS) for power transformer protection is presented. First we review the concept of differential protection, and illustrate the magnetizing inrush current as they belong to the causes of the protection maloperation. Then relay logic and the algorithm that uses Discreet Fourier transformer for extraction of fundamental...

We define fuzzy constraint networks and prove a theorem about their relationship to fuzzy logic. Then we introduce Khayyam, a fuzzy constraint-based programming language in which any sentence in the first-order fuzzy predicate calculus is a well-formed constraint statement. Finally, using Khayyam to address an equipment selection application, we illustrate the expressive power of fuzzy constrai...