In this paper we provide a common framework for different stratified $LM$-convergence spaces introduced recently. To this end, we slightly alter the definition of a stratified $LMN$-convergence tower space. We briefly discuss the categorical properties and show that the category of these spaces is a Cartesian closed and extensional topological category. We also study the relationship of our cat...

The setting is that of an agent who needs to find out in which sense a predicate may have been used in a set of sentences received from a source. The agent should take into account both the logical constraints of the set of sentences and relevant semantic information concerning the predicate stored in his semantic memory. I present several adaptive fuzzy hedge logics. Each of these logics check...

The temporal property`to-always' has been proposed for specifying progress properties of concurrent programs. Although thèto-always' properties are a subset of thèleads-to' properties for a given program, `to-always' has more convenient proof rules and in some cases more accurately describes the desired system behavior. In this paper, we give a predicate transformer wta, derive some of its prop...

Measures on clans of fuzzy sets are traditionally studied as certain functionals on collections of [0, 1]-valued functions. The goal of this paper is to make first steps towards establishing this part of fuzzy mathematics as a formal theory over a suitable predicate fuzzy logic. Two concepts of formal measure theory are sketched within Henkin-style ω-order fuzzy logic.

Intelligent Universal Transformer (IUT) is a power electronic base transformer introducing for Advanced Distribution Automation (ADA) in future. ADA is the state of art employing the new architecture based on both the flexible electrical network and open communication construction comprise the Future Distribution System. Fuzzy control is a method based on fuzzy logic concept emphasizes on fuzzy...

Dissolved Gas Analysis is one of the most useful method to detect incipient faults in transformer. Amongst the conventional DGA methods, IEC three ratio method is widely used. One of the disadvantages in its present form is that a significant number of DGA results inservice fall outside the existing IEC codes and cannot be diagnosed. To overcome this limitation, additional eighteen new combinat...

Dissolved Gas Analysis is an important analysis for fault diagnosis and condition monitoring of power transformer. The various technique such as conventional methods, Artificial Intelligence, Artificial Neural network, Fuzzy Expert system, Genetic algorithm etc can be used to increase the efficiency and accuracy of diagnostics system. Failures of power transformer can cause malfunction of syste...

According to intelligent complementary ideas, a new transformer fault diagnosis method is proposed based on rough set (RS) and Bayesian optimal classifier in this paper. Through RS reduction, the diagnostic decision table is simplified and fault symptoms information is compressed, and the minimal decision rules can be obtained. In light of the minimal decision rules, the complexity of Bayesian ...