Научная статья на тему 'Отыскание распределения вероятностей состояний нечетких марковских систем'

Отыскание распределения вероятностей состояний нечетких марковских систем Текст научной статьи по специальности «Математика»

CC BY
35
8
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МАРКОВСКАЯ И ПОЛУМАРКОВСКАЯ СИСТЕМЫ / КОМПЛЕКСНЫЙ КРИТЕРИЙ / ОТКЛОНЕНИЕ РЕШЕНИЯ ОТ МОДАЛЬНОГО / МЕРА КОМПАКТНОСТИ РЕШЕНИЯ

Аннотация научной статьи по математике, автор научной работы — Raskin L., Sira O., Katkova T.

Решена задача отыскания стационарных распределений вероятностей состояний для марковских систем в условиях неопределенности. Предполагается, что параметры анализируемых систем заданы нечетко. В задаче анализа полумарковской системы оценка компонентов стационарного распределения вероятностей состояний системы получена путем минимизации комплексного критерия. Критерий учитывает меру отклонения искомого распределения от модального, а также уровень компактности функции принадлежности нечеткого результата решения

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Finding the probability distribution of states in the fuzzy markov systems

A problem on finding the stationary distributions of probabilities of states for the Markov systems under conditions of uncertainty is solved. It is assumed that parameters of the analyzed Markov and semi-Markov systems (matrix of transition intensities, analytical description of distribution functions of the durations of being in states of the system before exiting, as well as a matrix of transition probabilities) are not clearly assigned. In order to describe the fuzziness, we employ the Gaussian membership functions, as well as functions of the type. The appropriate procedure of systems analysis is based on the developed technology for solving the systems of linear algebraic equations with fuzzy coefficients. In the problem on analysis of a semi-Markov system, the estimation of components of the stationary distribution of probabilities of states of the system is obtained by the minimization of a complex criterion. The criterion considers the measure of deviation of the desired distribution from the modal one, as well as the level of compactness of membership functions of the fuzzy result of solution. In this case, we apply the rule introduced for the calculation of expected value of fuzzy numbers. The criterion proposed is modified through the introduction of weight coefficients, which consider possible differences in the levels of requirements to different components of the criterion.

Текст научной работы на тему «Отыскание распределения вероятностей состояний нечетких марковских систем»

Розв'язана задача видшукання стащонарних розподШв ймовiрностей статв для марковських систем в умовах невизначеностi. Передбачаеться, що параметри аналiзованих систем задан нечт-ко. У задачi аналiзу натвмарковських системи оцтка комnонентiв стационарного розподЫу ймо-вiрностей статв системи отримана шляхом м^-мiзацii комплексного критерю. Критерш враховуе мiру видхилення шуканого розподЫу вiд модального, а також рiвень компактностi функцп прина-лежностi нечткого результату ршення

Ключовi слова: марковська i натвмарков-ська системи, комплексний критерш, видхилен-ня ршення вид модального, мiра компактностi ршення

Решена задача отыскания стационарных распределений вероятностей состояний для марковских систем в условиях неопределенности. Предполагается, что параметры анализируемых систем заданы нечетко. В задаче анализа полумарковской системы оценка компонентов стационарного распределения вероятностей состояний системы получена путем минимизации комплексного критерия. Критерий учитывает меру отклонения искомого распределения от модального, а также уровень компактности функции принадлежности нечеткого результата решения

Ключевые слова: марковская и полумарковская системы, комплексный критерий, отклонение решения от модального, мера компактности решения

-□ □-

UDC 519.2

|DOI: 10.15587/1729-4061.2017.97144]

FINDING THE PROBABILITY DISTRIBUTION OF STATES IN THE FUZZY MARKOV SYSTEMS

L. Raskin

Doctor of Technical Sciences, Professor, Head of Department* O. Sira

Doctor of Technical Sciences, Professor* Е-mail: [email protected] T. Katkova PhD, Assistant Professor Department of Information Systems and Technologies Berdyansk University of Management and Business Svobody str., 117 a, Berdyansk, Ukraine, 71118 Е-mail: [email protected] *Department of Computer Monitoring and Logistics National Technical University «Kharkiv Polytechnic Institute» Kyrpychova str., 2, Kharkiv, Ukraine, 61002

1. Introduction

Traditional problems on describing the behavior and estimation of effectiveness of multiparametric systems are solved on the assumption that basic parameters of the system in the process of its functioning do not change [1-4]. For example, in the analysis of service systems, assumptions are used on that the intensity of incoming flow of requests, as well as the number of system's channels and their productivity, are set and fixed. In this case, under conditions of correctly described incoming flow of requests, it is possible to obtain a closed description of the mathematical model, which defines the process the system functions. In particular, especially simple correlations occur if we consider that the incoming flow of requests is of Poisson kind and service duration is distributed exponentially. At the same time, when solving many practical problems, it is necessary to consider the circumstance that parameters of the analyzed system are not necessarily constants but they may vary stochastically. The models that emerge in this case are beyond the framework of classical theory and thus require studying. It is clear that it is hardly expedient to pose the appropriate problems of systems analysis in the most general statement in view of its insufficient meaningfulness. Given this, we shall confine ourselves to examining the Markov systems.

2. Literature review and problem statement

A traditional procedure for the analysis of Markov systems consists of the following. Infinitesimal matrix A = (^) of transition intensities is assigned. A vector-function is introduced:

P(t) = (pi(t),p2(t),...,pn(t)),

whose components define the laws of variation over time of probabilities of the system being on a set of possible states. Then behavior of the system, as is known, is described by the Kolmogorov system of differential equations [1, 2]:

d£dT) =IW) - pk(t)!^, k = 1,2, ...,n, (1)

dt jeEi JeEk

where Xjk is the intensity of transition from the J-th state into the k-th one; pj(t) is the probability that in moment t, the system will be in state J; E+ is the set of states, from which a transition is possible into state k in one step; Ek is the set of states, into which a transition is possible from state k in one step.

A system of linear differential equations (1) at the assigned initial conditions (for example, P(0) = (1 0 ... 0) is

©

solved by known methods [3]. If, in this case, there is interest not in a transient process, but in a stationary distribution of probabilities of states of the system, then

dPk(t) dt

= 0, k = 1,2,...,n,

and system (1) reduces to the system of linear algebraic equations [4, 5]:

IVjPk I j 0, k = 1,2,...,n.

jeEk jeEk

(2)

This system is solved together with the normalization condition:

I Pj = 1

(3)

j=i

m(^ij)=exP

vX0)

, i = 1,2,...,n, j = 1,2,...,n. (4)

final probabilities of states of the system whose components are calculated by formula

V^^, i = 1,2,...,n,

i I^T

ieE

(5)

where Pj is the component of stationary distribution of probabilities of the states of EMC that determines probability of the i-th state, i eE;T| is the mean duration of SMP being in state i before exiting this state, i e E.

In this case, stationary distribution p = (p1 p2 .... Pm) of the EMC states is found by using the matrix of transition probabilities P as a result of solving a system of equations:

and defines the desired distribution of probabilities of states.

The problem, naturally, becomes more complicated if the elements of infinitesimal matrix A = (X^) of the intensities of transitions cannot be evaluated precisely. We shall consider that in a typical situation with a small sample of initial data, the statistical material available is insufficient for obtaining the adequate theoretically probabilistic description of the processes the system functions. However, these data make it possible to obtain the description in the terms of the theory of fuzzy sets with required quality. Principles of the theory of fuzzy sets are presented in [6-9]. [10-12] examined the methods for systems analysis and decision making under conditions of fuzzy initial data. Let us assume that the elements of matrix of the intensities of transitions are the fuzzy numbers with known membership functions. Assume that in order to assign these fuzzy numbers, we used a Gaussian form of representation, that is:

p= pP,

supplemented by the normalization condition:

Ip i = 1

(6)

(7)

and the mean duration of being in Ej before exiting it is determined by relationship:

Ti= I j(1 -Fj(t))dt, ieE.

(8)

jeEj«

In this case, the system of linear algebraic equations (2) will contain the indistinctly described parameters and, given this, traditional methods of its solution are not applicable.

We shall note that difficulties in the analysis of real systems are not limited by the impossibility of precise determining the parameters of Markov system. The problems are of a more general character. Contemporary understanding of the processes of functioning of complex systems testifies to the insufficient adequacy of their Markov descriptions, widely and traditionally employed. The nonexponentiality of the processes of systems being in their possible states they predetermines the expediency of applying in the problems of analysis and synthesis of real systems a more flexible mathematical apparatus - the theory of semi-Markov processes (SMP). Technologies of solving such problems under conditions of SMP are well developed and efficient [13-15].

Assume that the system is assigned by a set of states E = {E1,E2,...,En} and a set of its possible transitions from some states to others. We shall determine SMP in this system by the matrix of conditional distribution functions F(t) = (Fj (t)), i,j eE, durations of being in each state before exiting it and by matrix P = (Pj) of transition probabilities of the embedded Markov chain (EMC). Then, as is known, the asymptotic behavior of SMP is described by a vector of

However, in practice, the situations frequently occur when, for objective reasons, analytical descriptions of basic elements in the Markov and semi-Markov models cannot be obtained precisely. In this case, the least demanding is the representation of these elements of SMP by the means of theory of fuzzy sets.

We shall in this case consider that the analytical descriptions of conditional distribution functions Fj(t) of the duration of being in each of the states before exiting contain a fuzzy parameter 0. Then, determined by the distribution Fj (t,6) for a fixed t, the value of the probability of the fact that random duration of being in Ej before passing into Ej will be less than t, becomes a fuzzy number. The membership function of this number is determined by the membership function of fuzzy parameter 0. Analysis of the system by traditional methods in this case is impossible.

Conducted analysis of the known approaches to solving the problems on complex systems analysis allows us to draw the following conclusions. These approaches actually employ the assumption that parameters of the systems are known and determined. This is not the case in real situations, and the level of uncertainty depends considerably on the volume of available statistical material. In this case, in the most frequently occurring situations with a small sample of initial data, the most adequate models are not theoretically-probabilistic, but fuzzy models. This circumstance renders relevance to a problem on developing the mathematical tools to solve the problems of systems theory taking into account the uncertainty in the values of their parameters. Solving this problem is particularly important for the Markov systems whose formal models are maximally parametrized. The range of topics in the publications on this subject is very wide. They examine problems on making fuzzy decisions in the Markov systems [16], the problems of fuzzy control in such systems [17], etc. In all cases, correctness of the result is defined by the level of substantiation of the adopted technology for calculating the

stationary probability distributions for the fuzzy Markov systems. This task is of theoretical interest.

Let us state the problem on developing the procedure for systems analysis whose behavior is described by the Markov or semi-Markov process with indistinctly defined parameters.

Zi = £ a1jxj- ai-n +1

i=i

...................................... (11)

Zn = £ anjxj-an,n + 1. j=1

3. The aim and tasks of the study

The aim of present study is to develop axiomatics and a mathematical toolbox for the theory of fuzzy sets in order to solve problems on the analysis of Markov systems.

To achieve the set aim, the following tasks were formulated:

- development of a procedure for calculating the stationary distribution of probabilities of states of the Markov system with a fuzzy matrix of intensities of transitions;

- calculation of statistical characteristics of the semi-Markov system whose parameters are assigned indistinctly;

- development of a procedure for calculating the stationary distribution of probabilities of states of the semi-Markov system, whose parameters are assigned indistinctly.

Let us solve now a generated (9), (10) clear system of linear algebraic equations by using modal values a(0) of fuzzy numbers a-, i = 1,2,...,n, j = 1,2,...,n +1:

ij !!!!.} 7 7 7

' a(0)x -a(0) aij xj ai,n+1

i = 1,2,...,n.

j=i

Introduce:

A(0) = (a(j0) ), X = {xj},

An0+14<0L), i = 1,2,...n, j = 1,2,...n.

(12)

In this case, system of equations (12) in the matrix form is as follows:

A(

(0)

X - Ai0+i = 0.

4. Analysis of Markov and semi-Markov systems with parameters that are not clearly assigned

Let us examine a problem on finding the final distribution of probabilities of states of the Markov system whose behavior is determined by a fuzzy matrix of the intensities of transitions A = (Xjj). In connection with this, let us supplement the model of this system, introduced above (2), (3), by relationships (4) that assign the membership functions of fuzzy intensities of transitions. Thus, there appears a system of linear algebraic equations whose parameters are not clearly assigned.

Let us explore the technology of solving such systems in a general form.

Assume that it is necessary to solve system n of linear algebraic equations with n unknowns:

,+ ... + ainxn - aijn+i = 0,

"a2nxn - a2,n+1 = 0

(9)

"annxn - an,n +1 =

We shall consider parameters of system (9) to be the Gaussian fuzzy numbers with membership functions. The choice of this form of the membership function is predetermined by the ease of fulfilling the operations over fuzzy numbers of this type [12].

Introduce

m(aij) = exP

- a(0) )2 j ai I

2o2

, i = 1,2,...,n, j = 1,2,...,n +1. (10)

Now we shall point that relationships (9) and (10) assign the fuzzy system of linear algebraic equations. Introduce a set of fuzzy numbers

Then we shall define a clear solution of problem (9), (10) the set X = {xj}, j = 1,2,...,n, which minimizes the sum of indicators of compactness of figures, constrained by membership functions m(Zj) of fuzzy numbers Z1,Z2,...,Zn, and being least deviated from X(0). The sense of this criterion is clear. Its application ensures obtaining the set of clear numbers x1,x2,...,xn, for which membership functions of numbers Z1,Z2,...,Zn, are the least blurred and have modal values that are maximally close to zero. Presented constructive idea of solving the system of linear algebraic equations was for the first time formulated in [18]. A fundamental deficiency in the approach, which realizes this idea in [18], is in the fact that obtained solution will not necessarily satisfy constraints on variables. The deficiency indicated is eliminated here.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

We shall write required relationships, which provide for obtaining the solution of problem (9), (10), in the above sense. In accordance with (10), let us determine the membership functions of fuzzy numbers Z1,Z2,...,Zn, assigned by (11). In this case:

m(zi) = m £aijxj-ai,n

U=1

= exp

£ a(0)xj- ai, >1

(0) n+1

j=1

j=1

a(0)x -a(0) aij xj ai,n+1

£ j2+°2,n

(zi - mi)2 = exP i--

, o2=£o2x2+a2,n

j=1

2o2

i = 1,2,...,n.

If X(0) ={X(0)} is the solution of a system of equations (12), parameters of which correspond to the modal values of membership functions (10), then as a measure of deviation of the desired solution of problem X from modal solution X(0), we use:

^21x1 a22x2

an1x1 + an2x2

J. = X jj ).

j=1

As an indicator of compactness of the membership function m(Zj), we accept the values of squares of variations o2 of fuzzy numbers Zi, i = 1,2,...,n. In this case, a generalizing characteristic of the measure of compactness of solution X can be calculated by formula:

J2 = X X j = X № a2] x2 = X a2x2. i=i j=i j=I V i=i y j=i

(13)

J(x) = J. + J2 = X a2x2 + X (Xj-x(0) )2, j=i j=i

on the set of solutions of equation:

X xj = 1 j 0, j = 1,2,..,n.

j=1

(14)

(15)

We shall obtain a solution of the problem by the method of Lagrange indeterminate coefficients. A Lagrange function takes the form:

*(x)=X +X(xj-x(0))2-x Xxj-1

j=1

j=1

j=1

Next

dJ(x)

dx;

^V^X (xj-x<0))-X = 0, j = 1>2,...,n.

j=1

Hence

2xj(a2 + 1)=X+2x(°>

X + 2x(0)_ X 1

(0)

j~2(a2 +1)" 2 a2 +1 a2 + f j = 1,2,...,n. (16)

By substituting (16) into (15), find X/2. We obtain:

X 1

x(0) X j=1.

£ j 2 £a2 +1 £a2 +1 Then

X-2 "

1

(0)

1 -X j . X a2 +1

(17)

a2+1

xj = a2 +

(0)

1 -X j . X a2 +1

(0)

a2 +1

1=1 a2+1

a2 +1

(0)

(0)

1 -y^j

1 X a2 +1

1=1 a2+1

Relationship (13) took into account that the system of linear algebraic equations (12) contains (n-1) linearly independent equations.

Thus, the problem is reduced to finding the set X that minimizes complex criterion:

It is easy to see that for two possible extreme situations with uncertainty (Oj = 0 or Oj = J = 1,2,...,n), formula (18) yields natural results:

1

limx. = x(0), limx.= —, J = 1,2,...,n.

o J J J n

Let us pass to the problem on analysis of a fuzzy semi-Markov system. We begin from the uncertainty in the description of functions of distribution of duration of the system being in any specific state before passing to another state.

Assume, for example, that durations of the system being in Ej before passing on to E. are distributed exponentially, that is:

Fj(t) = 1 - e-V, t > 0, (i,j)eE,

in this case, parameters ^ are the fuzzy numbers with membership functions:

mx (X ij) =

f1,x, I0,X.

(19)

In this case, the fuzzy value of conditional mean value of duration Tij being in Ei before passing on to Ej is equal to:

Tj=J(1 - F (t)) dt = J e-X'jtdt = f

(20)

Find the membership function of fuzzy number j= =1, 2,..., n-1 In accordance with the principle of generalization [6], a membership function of the result of executing the operation z = f (x) over fuzzy number x with the membership function mx (x) takes the form mx (f-1 (z)). Then we receive:

m(Ts)=mx

Hence

m(Tj )=

/ \ 1

T V ij y

1, T e[a,, bJ,

ij 1

0,T 4aij,bJ.

1,V 1 1 _ Vas_

j [ Va«_

(21)

By substituting (17) in (16), we shall obtain a relationship for calculating the desired distribution xj, J = 1,2,...,n, of probabilities of states of the system. In this case:

In fuzzy mathematics, the concept of "mathematical expectation" is lacking, instead of which there is the concept of

"expected value". Calculation of the expected value of fuzzy

/ / \ / \ / \ \

number x with carrier (p(0),p, ,...,% ) and membership function m(x) is carried out by formula:

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

1

m(x)=-

J xm(x)dx

_c_

d

Jm(x)dx

(22)

Let us perform the required actions for calculating the conditional expected value of indistinctly assigned duration Tj of being in Ei under condition of transition to Ej. We obtain:

«i,+Pi,

Dj=j -r,)=P,(1 +r,) =

J Tjm(Tj)dTj =

Then, with regard to (22), we receive:

/ \ 2 / \

1 1 1

2 a:: bj

V ij/ ^ ij/

(23)

(24)

1

v j j

jbj 2a«bij.

(25)

Now, using natural analog (7), we compute the unconditional expected value of the duration of being in Ej before passing on into any other state:

Ti =I jj=I

jeE,.iii

jej 2aijbij

(26)

membership function m(Pj). A problem arises when finding the stationary distribution of probabilities of states of the embedded Markov chain due to the need of solving the system of linear algebraic equations (6), (7), whose parameters are not clearly assigned.

Let us write a system of equations (6), (7) in the scalar form:

P1 (P11 -1)+P2P21 +... + PnPn1 =0,

p1p12 + p2 (P22 -1) +... + PnPn2 = 0,

......................................................................................................................(27)

p1p1,n -1 + P2P2,n-1 + ... + Pn-1 (Pn-1,n-1 -1)+ PnPn,n-1 = 0

P1 + P2 +... + Pn-1 + Pn =1.

A general scheme of solving this system of equations corresponds to the procedure, described in the solution of system (9).

Let us solve a system of equations (27) by assigning the values of coefficients Pij, equal to their modal values P(|0), i = 1,2,..,n, j = 1,2,..n-1. Let p(0) = (p10),p20),...,p^) be a solution of this system.

Introduce the set of numbers the way we did before:

Z1 =P1 (P11 -1)+P2P21 +... + PnРn1, Z2 =P1P12 +P2 (P22-1) + ... + PnPn2,

(28)

It is clear that the simplicity of relationship (26) is wholly and entirely predetermined by the simplicity of assigning the membership function with a fuzzy parameter of conditional function of distribution of the duration of being in each of the states of the system. Considerable difficulties in the solution of this problem appear if the distribution functions of durations of being in the states of a semi-Markov system are not exponential. In this case, real situation is as follows: there is some set of observations of the random duration of being in each of the states before exiting. Results of the observations are represented by fuzzy numbers with the assigned membership functions. In this case, a preliminary step is necessary - the restoration of unknown densities of distribution of the random values of the observed magnitudes, for example, by the maximum likelihood method. This scheme leads to a fuzzy problem of mathematical programming with the possible methods of solution examined in [19]. Still more complex is the situation when the descriptions of these functions are constrained by the values of two statistical characteristics - mathematical expectation and dispersion in the corresponding random magnitudes. In this case, it is expedient to solve the problem under the assumption about the worst distribution density, obtained by solving the problem on the continuous linear programming [20, 21]. Finally, this problem becomes most difficult if the indeterminate parameters of distribution functions of the durations of being in the states of the system are described in the terms of inaccurate mathematics [22]. A possible approach to overcoming the problems occurring here is the use of fuzzy models of inaccurate parameters of the problem [23].

Let us return to the task of analysis of a semi-Markov system. Let us examine the procedure to account for possible fuzziness in the description of elements of matrix of transition probabilities P = {Pj}, assigned by the corresponding

Zn-1 = P1P1,n-1 + P2P2,n -1 + ... + PnPn,n-1.

By applying the rules of fulfilling the operations over fuzzy numbers [6-9], taking into account the assigned membership functions for transition probabilities (Pj), let us find membership functions m(Z1),m(Z2),..,m(Zn-1) of the fuzzy numbers (28). The modal values of these fuzzy numbers depend on the set (p1, p2,..., Pn) and are equal to:

Z<0) = P1 (p1°1)-1)+P2P<0)+... + PnP(n°1),

Z20) = P1P(20) + P2(P2(2)-1) + ... + p„p(°2) ,

(29)

z(0) = P p(0) + P p(°) + + P p(°)

Zn-1 = P1P1,n-1 + P2P2,n -1 + ... + PnPn,n-1.

3(°)

It is obvious that compactness and configuration of the membership functions m(Z1),m(Z2),..,m(Zn-1) are also defined by the set (p1,p2,...,Pn). Now it is possible to pose the problem on finding the clear solution of a fuzzy system of equations (27). As earlier, natural requirements are demanded of this solution. First, the desired set:

p = (p*, p2,..., Pn),

must minimally differ from set (p(0), p(20),..., p<0)), that is, modal values Z(0),z20),...,Z^0- must be maximally close to zero. Second, it is desirable that the uncertainty bodies, assigned by the membership functions

m(z 1, p* ), m(z 2, p* ),.., m(z „_,, p* )

be maximally compact (the least blurred).

Let fuzzy numbers (Pj) be assigned by membership functions (L-R) - of the type [6, 7], more general than relationships (10), that is:

b

m(P.)=

p(0)- p. ij ij

R

P- P.'

ij ij

i(0)

Pil

P.. < P(0) ij ij

,P..>P(0), ij ij

(30)

where a..,P.. are the left and right fuzziness coefficients.

If we select L and R functions as Gaussian, then (30) takes the form:

m(Pj)=

exp

exp

P(0)- P ij ij

2a--

p.- p.'. ij ij

(0)

2PU

p < P(0) ' ij — ij '

,p..>p.(0). ' i^ il •

(31)

i = 1,2,..,n-1.

j=i

As an indicator of compactness of the uncertainty body, assigned by the obtained membership function, we may use an area under the appropriate curve, that is:

S. = J m(Z.)dZ. = J exp

- \2 Z ' -Z i )

dZ

J exp

- \2 Z ' -Z i )

1

"2 P.

dZi №'+ ^).

Then the complex optimality criterion of set p = (p*, p2,..., pn )

Let us note that relationship (31) can be recorded in a takes the form: more compact form:

ms(pj)=exp

p.- pi

ij ij

(0)

2D--

"(1 + rijSign (Pj- pj

J («' ) =

(32) ^ Ji-jS faF (p* ) + PF (P*)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

V 2 i=i V

+ ,p -p(0))(p* -p(0)

(34)

L

Unknown parameters D^ and r^j are easily determined through the assigned values a^ and Pj Write (32) as follows:

m(Pj)=

exp

P(0)- P. ij ij

2-DiL

1 - r

,p.. < pi

' ij ij

.(0)

exp

p.- pi. ij ij

(0)

Then

2^ 1 + r

D-,

,P >P

' ij ' ij

(0).

—= a, —— = P, hence:

1 -r ij 1+r. Pij,

1+r =0ï r = 0-.

1 - r P.' ij a .I +PM '

Dj=a.j(1 -r,) = P,(1+r,) =

2a,P, aij+pj.

exp

exp

(

1 (Z. -

to aij

1 (Z. - Zi )

, Z. < Z.,

,Z. > Z.,

2 Pil

Zi=SpjP<;) + pi (Pi(0)-1), a ' = jp2aij,

Thus, the problem on finding the stationary distribution of probabilities of the EMC states is reduced to the following problem on mathematical programming: to find the set p* = (p1,p2,...,pi), which minimizes (34) and satisfies constraints:

(33)

jp* = 1, p* >0.

(35)

Now, with regard to (28) and (31), we shall write the membership functions of fuzzy numbers:

j=1

Let this set is found. Then by using it, with regard to (5), (8), it is possible to compute the vector of final probabilities of the SMP states. If necessary, complex criterion (34) can be modified through the introduction of weight coefficients, which consider possible differences in the levels of requirements to different components of the criterion.

Finally, we note that as an alternative criterion of compactness of uncertainty bodies for the membership functions m (Zj), i = 1,2,..,n -1, one may select the summary length of carriers of sets g, corresponding to them, of the level, which is equal to:

R = Xr,(y), Ri (y) = {z,: m(z, )>y}.

i=1

However, this does not facilitate the task in any way, since, as it is easy to demonstrate, analytical expression for computing

R = IR (y)

i=1 i

repeats the expression for

s=&

i=1

with the weight coefficient that depends on g.

We considered the problem on finding the stationary probability distribution for the Markov systems whose parameters are assigned indistinctly. A procedure for obtaining

the result is based on a special technology for solving the system of linear algebraic equations with fuzzy parameters. Solution of this problem is achieved in two stages. At the first stage, we obtained a modal solution of the system for modal values of its fuzzy parameters. At the second stage, the complex criterion is minimized, which considers a distance between the desired and modal solutions and the level of compactness in membership function of the desired solution.

5. Conclusions

1. We developed a procedure for calculating the stationary distribution of probabilities of states in the Markov sys-

tem whose intensities of transitions are not clearly assigned. The procedure is based on the proposed technology for solving the systems of linear algebraic equations with fuzzy coefficients.

2. We described the procedure of calculating the statistical characteristics of stationary distribution of probabilities of states in the semi-Markov system, in which parameters of the laws of distribution of durations of being in states, as well as transition probabilities, are not clearly assigned.

3. A procedure for the calculation of stationary distribution of probabilities of states in a fuzzy semi-Markov system is developed. In this case, we solve an optimization problem on the minimization of complex criterion, which considers deviations in the desired solution from the modal one and the level of compactness of membership function of this solution.

References

1. Bertalanfy, L. Obshchaia teoryia system [Text] / L. Bertalanfy. - Moscow: Prohress, 1969. - 82 p.

2. Mesarovych, M.Obshchaia teoryia system: matematycheskye osnovy [Text] / M. Mesarovych, Ya. Takakhara. - Moscow: MYR, 1978. - 283 p.

3. Volkova, V. N. Teoryia system [Text] / V. N. Volkova. - Moscow: Vysshaia shkola, 2006. - 511 p.

4. Raskin, L. G. Analyz slozhnykh system i elementy teoryy upravlenyia [Text] / L. G. Raskin. - Moscow: Sov. radyo, 1976. - 344 p.

5. Raskin, L. G. Matematycheskye metody yssledovanyia operatsyi y analyza slozhnykh system vooruzhenyia PVO [Text] / L. G. Raskin. - Kharkiv: VYRTA, 1988. - 177 p.

6. Zadeh, L. A. Fuzzy sets [Text] / L. A. Zadeh // Information and Control. - 1965. - Vol. 8, Issue 3. - P. 338-353. doi: 10.1016/ s0019-9958(65)90241-x

7. Kofman, A. Vvedenye v teoryiu nechetkykh mnozhestv [Text] / A. Kofman. - Moscow: Radyo y sviaz, 1982. - 486 p.

8. Nehoitse, K. Prymenenye teoryy system k problemam upravlenyia [Text] / K. Hero^e. - Moscow: MYR, 1981. - 219 p.

9. Orlovskyi, S. A. Problemy pryniatyia reshenyi pry nechetkoi ynformatsyy [Text] / S. A. Orlovskyi. - Moscow: Nauka, 1981. - 264 p.

10. Zaichenko, Yu. P. Yssledovanye operatsyi. Nechetkaia optymyzatsyia [Text] / Yu. P. Zaichenko. - Kyiv: Vyshcha shkola, 1991. - 191 p.

11. Kaufman, A. Introduction to Fuzzy Arithmetic: Theory and Applications [Text] / A. Kaufman, M. Gupta. - New York, 1985. - 351 p.

12. Raskin, L. G. Nechetkaia matematyka [Text] / L. G. Raskin, O. V. Sira. - Kharkiv: Parus, 2008. - 352 p.

13. Tykhonov, V. Y. Markovskye protsessy [Text] / V. Y. Tykhonov, M. A. Myronov. - Moscow: Sov. Radyo, 1977. - 483 p.

14. Koroliuk, V. S. Polumarkovskye protsessy i ih prylozhenyia [Text] / V. S. Koroliuk, A. F. Turbyn. - Kyiv: Naukova dumka, 1976. - 182 p.

15. Koks, D. R. Teoryia vosstanovlenyia [Text] / D. R. Koks, V. D. Smyt. - Moscow: Sov. radyo, 1967. - 299 p.

16. Fakoor, M. Humanoid robot path planning with fuzzy Markov decision processes [Text] / M. Fakoor, A. Kosari, M. Jafarzadeh // Journal of Applied Research and Technology. - 2016. - Vol. 14, Issue 5. - P. 300-310. doi: 10.1016/j.jart.2016.06.006

17. Cheng, J. Finite-time H fuzzy control of nonlinear Markovian jump delayed systems with partly uncertain transition descriptions [Text] / J. Cheng, J. H. Park, Y. Liu, Z. Liu, L. Tang // Fuzzy Sets and Systems. - 2017. - Vol. 314. - P. 99-115. doi: 10.1016/ j.fss.2016.06.007

18. Sira, O. V. A New Approach for Resolving Equations with Fuzzy Parameters [Text] / O. V. Sira, K. H. Al-Shqeerat // European Journal of Scientific Research. - 2009. - Vol. 38, Issue 4. - P. 619-625.

19. Raskin, L. Method of solving fuzzy problems of mathematical programming [Text] / L. Raskin, O. Sira // Eastern-European Journal of Enterprise Technologies. - 2016. - Vol. 5, Issue 4 (83). - P. 23-28. doi: 10.15587/1729-4061.2016.81292

20. Raskin, L. G. Prykladnoe kontynualnoe lyneinoe prohrammyrovanye [Text] / L. G. Raskin, Y. O. Kyrychenko, O. V. Sira. - Kharkiv, 2013. - 293 p.

21. Kostenko, Yu. T. Prohnozyrovanye tekhnycheskoho sostoianyia system upravlenyia [Text] / Yu. T. Kostenko, L. G. Raskin. -Kharkiv: Osnova, 1996. - 303 p.

22. Pawlak, Z. Rough sets [Text] / Z. Pawlak // International Journal of Computer & Information Sciences. - 1982. - Vol. 11, Issue 5. - P. 341-356. doi: 10.1007/bf01001956

23. Raskin, L. Fuzzy models of rough mathematics [Text] / L. Raskin, O. Sira // Eastern-European Journal of Enterprise Technologies. - 2016. - Vol. 6, Issue 4 (84). - P. 53-60. doi: 10.15587/1729-4061.2016.86739

i Надоели баннеры? Вы всегда можете отключить рекламу.