Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics using elementary extensions and introduce an strengthening of this notion, the so-called strong elementary equivalence. Using the method of diagrams developed in [5] and elementary extensions we present a counterexample t...

In this thesis, we propose a method for the visualisation of overlapping sets and of fuzzy graph clusterings based on Euler diagrams. Euler diagrams are probably the most intuitive and most used method to depict sets in which elements can be shared. Such a powerful visualisation metaphor could be an invaluable visualisation tool, but the automatic generation of Euler diagrams still presents man...

This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...

a wind farm is a collection of wind turbines built in an area to provide electricity. wind power is a renewable energy resource and an alternative to non-renewable fossil fuels. in this paper impact of wind farms in power system reliability is investigate and a new procedure for reliability assessment of wind farms in hl1 level is proposed. in proposed procedure, application of fuzzy – markov f...

in this note the notion of interval-valued fuzzy b-algebras (briefly,i-v fuzzy b-algebras), the level and strong level b-subalgebra is introduced.then we state and prove some theorems which determine the relationshipbetween these notions and b-subalgebras. the images and inverse images ofi-v fuzzy b-subalgebras are defined, and how the homomorphic images andinverse images of i-v fuzzy b-subalge...

in this paper, we deal with molaei’s generalized groups. we definethe notion of a fuzzy generalized subgroup with respect to a t-norm (ort-fuzzy generalized subgroup) and give some related properties. especially,we state and prove the representation theorem for these fuzzy generalizedsubgroups. next, using the concept of continuity of t-norms we obtain a correspondencebetween tf(g), the set of ...

the purpose of the present work is to introduce the concept of bifuzzy core of a fuzzy automaton, which induces a bifuzzy topology on the state-set of this fuzzy automaton. this is shown that this bifuzzy topology can be used to characterize the concepts such as bifuzzy family of submachines, bifuzzy separable family and bifuzzy retrievable family of a fuzzy automaton.

Consider the problem of automatically generating layouts for state diagrams (statecharts). Such diagrams appear in automation engeneering and CASE tools. Automatic layout of these diagrams leads to better understanding and saves time spend on their development. State diagram layout problem seems to have some differences from general graph layout problem. In this article adaptation of two graph ...