Использование дизъюнктивных множеств при моделировании. . .
элементы равны 0;
— матрица размерности
×
, у которой
элемент, стоящий на пересечении -й строки и -го столбца, равен 1,
а остальные элементы равны 0.
При
x
∈
X
P
(1)
=
(2)
= 0
,
(3)
= 0
.
Используя первый флаг произвольного состояния
x
, можно из
множества состояний системы
X
выделить те состояния, в которых
возможен непосредственный переход процесса из текущего состоя-
ния
x
. Обозначим это множество состояний символом
X
F
. Основы-
ваясь на правилах, каждому из состояний этого множества присвоим
порядковый номер. Учитывая, что общее число таких состояний
m
=
∑︁
=1
(︃ ∑︁
=1
(︁
(1)
+
(2)
)︁ )︃
+
∑︁
=1
(︃ ∑︁
=1
(︁
(3)
)︁ )︃
,
присвоим состояниям множества
X
F
следующие порядковые
номера:
1
,
2
, . . . ,
m
.
Определение
. Пусть процесс находится в одном из состояний си-
стемы
x
=
(︂ (︁
( )
)︁
,
(︁
( )
)︁
,
(︁
( )
)︁ )︂
.
Вторым флагом состояния системы
x
будем называть упорядо-
ченную последовательность матриц
D
=
(︂ (︁
d
(1)
)︁
,
(︁
d
(2)
)︁
,
(︁
d
(3)
)︁ )︂
,
где при
>
1
d
(1)
=
⎧⎪⎨ ⎪⎩
1
,
если
(︂ (︁
( )
)︁
+
,
(︁
( )
)︁
,
(︁
( )
)︁ )︂
∈
g
+1
;
0
,
если
(︁(︁
( )
)︁
+
,
(︁
( )
)︁
,
(︁
( )
)︁)︁
/
∈
g
+1
,
d
(2)
=
⎧⎪⎪⎨ ⎪⎪⎩
1
,
если
(︂ (︁
( )
)︁
,
(︁
( )
)︁
+
,
(︁
( )
)︁ )︂
∈
g
+1
;
0
,
если
(︂ (︁
( )
)︁
,
(︁
( )
)︁
+
,
(︁
( )
)︁ )︂
/
∈
g
+1
,
d
(3)
=
⎧⎪⎪⎨ ⎪⎪⎩
1
,
если
(︂ (︁
( )
)︁
,
(︁
( )
)︁
,
(︁
( )
)︁
+
)︂
∈
g
+1
;
0
,
если
(︂ (︁
( )
)︁
,
(︁
( )
)︁
,
(︁
( )
)︁
+
)︂
/
∈
g
+1
,
при
= 1
d
(1)
=
d
(2)
= 0;
d
(3)
= 0
.
5
