One of the problems in fault diagnosis of transformer based on dissolved gas, is lack of matching the result of fault diagnosis of different standards with the real world. In this paper, the result of the different standards is analyzed using fuzzy and the result is compared with the empirical test. The comparison between the suggested method and existing methods indicate the capability of the ...

We consider two applications of a simulation method in a predicate transformer setting: data reenement of sequential programs and implementation (trace inclusion) of processes. We identify two important special cases of the method: forward and backward simulation, and we investigate the soundness and completeness properties of these methods.

The standard Galois connection between the relational and predicate-transformer models of sequential programming (defined in terms of weakest precondition) confers a certain similarity between them. This paper investigates the extent to which the important involution on transformers (which, for instance, interchanges demonic and angelic nondeterminism, and reduces the two kinds of simulation in...

Fuzzy Sets and Systems 161 (2010) 412-432 Elsevier www.elsevier.com/locate/fss A Categorical Semantics for Fuzzy Predicate Logic

Circus is a combination of Z and CSP; its chief distinguishing feature is the inclusion of the ideas of the refinement calculus. Our main objective is the definition of refinement methods for concurrent programs. The original semantic model for Circus is Hoare and He’s unifying theories of programming. In this paper, we present an equivalent semantics based on predicate transformers. With this ...

Circus is a combination of Z and CSP; its chief distinguishing feature is the inclusion of the ideas of the refinement calculus. Our main objective is the definition of refinement methods for concurrent programs. The original semantic model for Circus is Hoare and He’s unifying theories of programming. In this paper, we present an equivalent semantics based on predicate transformers. With this ...

【Keywords】Micro Credit (MC), social ties, information asymmetry, creditworthiness, Guatemala, 【JEL code】C25, D14, Q14 【Abstract】Who borrows Micro Credit (MC) is the information needed to improve not only MC programs but also policies of poverty alleviation. This paper analyzes the MC use determinants taking social ties into account using data in Guatemalan Living Standard Measurement Study. It ...

In this article we investigate the relationships between the classical notions of weakest precondition and weakest liberal precondition, and provide several results, namely that in general, weakest liberal precondition is neither stronger nor weaker than weakest precondition, however, given a deterministic and terminating sequential while program and a postcondition, they are equivalent. Hence,...

We study operations and equational properties of multirelations, which have been used for modelling games, protocols, computations, contact, closure and topology. The operations and properties are expressed using sets, heterogeneous relation algebras and more general algebras for multirelations. We investigate the algebraic properties of a new composition operation based on the correspondence t...

Predicate transformers that map the postcondition and all intermediate conditions of a command to a precondition are introduced They can be used to specify certain progress properties of sequential programs