We study the relation between state transformers based on directed complete partial orders and predicate transformers. Concepts likèpredicate', `liveness', `safety' and`predicate transformers' are formulated in a topological setting. We treat state transformers based on the Hoare, Smyth and Plotkin power domains and consider continuous, monotonic and unrestricted functions. We relate the transf...

We study the relation between state transformers based on directed complete partial orders and predicate transformers. Concepts likèpredicate', `liveness', `safety' and`predicate transformers' are formulated in a topological setting. We treat state transformers based on the Hoare, Smyth and Plotkin powerdomains and consider continuous, monotonic and unrestricted functions. We relate the transfo...

The market interest in Variable Shunt Reactors (VSR) is steadily increasing and from a manufacturer’s perspective, tender requests for VSRs become more frequent. Although a few VSRs have been in service for several years and such application is not new, it is within the last years that utilities and network planners have become more interested in this option. With increasing market interest in ...

The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of this approach is that the operations associated to the pre-existing monad need to be lifted to the new monad. In a companion paper by Jaskelioff, the lifting problem has been addressed in the setting of system Fω. Her...

TNB has a population of nearly 74,000 distribution transformers with rated capacity from 100 kVA to 1000 kVA installed in its network. Managing life cycle activities of distribution transformers, in particular to implement maintenance and retirement programs, poses a great challenge due to its very large population. In addition, problem of high premature failure rate of distribution transformer...

In recent years increasing consensus has emerged that program transformers, e.g., partial evaluation and unfold/fold transformations, should terminate; a compiler should stop even if it performs fancy optimizations! A number of techniques to ensure termination of program transformers have been invented, but their correctness proofs are sometimes long and involved. We present a framework for pro...

In this paper we propose transformer-based solutions to several power quality problems. Elsewhere we have shown how to solve the acoustical noise emission problems. In this paper we introduce toroidal transformers with reduced inrush currents, transformers with reduced electromagnetic emissions, and other transformers useful to reduce the transfer of harmonics. With the low-inrush transformers ...