uml is known as one of the most common methods in software engineering.since this language is semi-formal, many researches and efforts have beenperformed to transform this language into formal methods including petri nets.thus, the operation of verification and validation of the qualitative and nonfunctionalparameters could be achieved with more ability. since the majority of thereal world info...

A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...

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.

in this paper, we define the concepts of a complex fuzzy subset and a complex fuzzy finite state automaton. then we extend the notion of a complex fuzzy finite state automaton and introduce the notion of a general complex fuzzy automaton. after that we define the concept of a max- min general complex fuzzy automaton and construct some equivalence relations and some congruence relations in a max...

This paper proposes a Time Delay nonlinear dynamic model of HIV-1 (Human Immunodeficiency Virus type 1), introducing the drug consumption efficiencies as the controlling input for the model. The paper also represents the fuzzy T-S representation and the corresponding Fuzzy T-S controller. The controller parameters are tuned using LMIs (Linear Matrix Inequalities). The main focus is on the stabi...

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 ...

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...