описание функционирования сети автомата входит множество времен
переходов из одного состояния в другое —
T
n
.
Пусть
P
i
=
{
B
1
, B
2
, B
3
, . . . , B
l
, . . .
}
— некоторое множество разби-
ений состояний модели функционального блока, где
B
l
— первый блок
в разбиении
P
i
.
При декомпозиции формальной модели, представленной сетью
компонентных автоматов, число состояний компонентного автомата
равно числу блоков в разбиении
P
i
. Следовательно, множество состоя-
ний можно выразить следующим образом:
C
i
=
{
B
1
, B
2
, B
3
, . . . B
l
, . . .
}
.
Поэтому множество времен перехода состояний компонентного авто-
мата
K
A
i
определяется следующим выражением:
TK
A
i
=
{
T
12
, T
13
, . . . , T
1
n
, T
23
, T
24
, . . . , T
2
n
, . . .
}
,
где
n
— количество компонентных автоматов.
4. Строим функции соединения компонентных автоматов
f
i
:
A
j
⇒
Z
i
, где A
j
=A
1
∗
A
2
∗
. . .
∗
A
n
.
Если использовать разбиения на множестве состояний модели, то
это можно переписать в виде
f
i
:
P
i
1
∗
P
i
2
∗
. . .
∗
P
iR
⇒
RU
i
.
Обозначим множество
R
-компонентных векторов (компоненты ко-
торых являются блоками, взятыми по одному из каждого разбиения
P
ij
, где
j
=
i
1
, i
2
, i
3
, . . . i
R
)
множеством
U
i
, т.е.
U
i
=
P
i
1
∗
P
i
2
∗
P
i
3
∗
. . .
∗
P
iR
.
Образуем подмножество
U
is
множества
U
i
таким образом, что в
U
is
попадают только те векторы из множества
U
i
, у которых пересечение
всех компонентов не пусто.
Учитывая это, получим
f
i
:
U
is
⇒
RU
i
.
Значение функции соединения компонентного автомата
f
i
равно
тому блоку разбиения
RU
i
, в который входит пересечение компонентов
U
s
.
5. Определяем множество входных функций следующим образом:
PS
i
:
Z
⇒
Z
i
, где
i
= 1
, n
.
Значение входной функции
PS
i
при подаче на вход компонентного
автомата
K
A
i
буквы входного алфавита
z
f
равно блоку разбиения
TU
i
, содержащему букву
z
f
. Следовательно, автомат
K
A
i
не отличает
те буквы входного алфавита
Z
, которые входят в один блок разбиения
TU
i
.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2006. № 1 95
