This paper is, basically, a reflection on modeling, starting by asking what happens when the meaning of a predicate P is interpreted by the membership function of a fuzzy set that, labeled P , is designed with the information available to the designer on the use of the predicate in the corresponding universe of discourse. In it, the modification of the meaning that P can suffer by its identific...

Mathematical fuzzy logic (or fuzzy logic in a narrow sense) is a many-valued symbolic logic with a comparative notion of truth. The present state of development of t-norm based fuzzy propositional and predicate logic will be surveyed and some recent results will be described (on witnessed models and others).

The real life problems deal with imperfectly specified knowledge and some degree of imprecision, uncertainty or inconsistency is embedded in the problem specification. The well-founded theory of fuzzy sets is a special way to model the uncertainty. The rules in a fuzzy model contain a set of propositions, each of which restricts a fuzzy variable to a single fuzzy value by means of the predicate...

We present a shallow embedding in PVS of a predicate transformer semantics of an imperative language suitable for reasoning about recursive procedures with parameters and local variables. We use the PVS dependent type mechanism for implementing program variables of different types. We use an uninterpreted state space and define the program variables behavior by means of certain tree functions t...

We apply Dijkstra's semantics for programming languages to formalization of reasoning about action and change. The basic idea is to view actions as formula transformers, i.e. functions from formulae into formulae. The major advantage of our proposal is that it is very simple and more effective than most of other approaches. Yet, it deals with a broad class of actions, including those with rando...

this paper presents the application of the fuzzy-neuro method toinvestigate transformer inrush current. recently, the frequency environment ofpower systems has been made more complicated and the magnitude of the secondharmonic in inrush current has been decreased because of the improvement of caststeel. therefore, traditional approaches will likely mal-operate in the case ofmagnetizing inrush w...

The referenced article is about semantic models of quantum computation. In common with other approaches to programming language semantics [Win93], the general idea is to interpret a type A as a space JAK of observations about A. One interprets a computation x : A ` t : B, that produces a term t of type B but depends on a term x of type A, as a predicate transformer JBK→ JAK which maps a predica...

This paper presents an approach to the fuzzification of complete lattices. This kind of fuzzification is a functor from the category of complete lattices to the category of completeL-ordered sets. It not only can be considered as an algebraic representation of the Lowen functor ωL, but also can characterize the stratification of L-topological spaces and the underlying set of Hutton unit interval.

Power transformers being the major apparatus in a power system, thus the assessment of transformer operating condition and lifespan have obtained crucial significance in latest years. Dissolved gas analysis (DGA) is a sensitive and reliable technique for the detection of incipient fault condition within oil-immersed transformers, which provides the basis of diagnostic evaluation of equipment he...