Алгоритм декомпозиции формальной модели функционального блока дискретного устройства - page 7

6. Строим выходную функцию сети компонентных автоматов:
g
: A
i
Z
W,
где
A
i
= A
1
A
2
, . . . ,
A
n
, i
= 1
, n.
Используя разбиения на множестве состояний модели функцио-
нального блока, получим
g
: (
P
i
1
P
i
2
P
i
3
. . . P
in
)
Z
W.
Пусть
P
i
1
P
i
2
. . .
P
in
=
M.
Образуем множество
М
1
, в которое попадают только те векторы
из множества
М
, у которых пересечение всех компонентов не пусто.
Учитывая это, получим
g
:
M
1
Z
W
.
Значение выходной функции сети
N
совпадает со значением функ-
ции выхода декомпозируемой модели на паре (
C
q
,
z
f
)
, где
C
q
— состо-
яние, попавшее в пересечение вектора
M
q
<
M
1
.
Анализируя алгоритм декомпозиции модели функционального бло-
ка, основанный на конструктивном способе построения сети
N
, можно
заключить, что свойства компонентных автоматов и их связи между
собой зависят от выбранного множества разбиений
{
P
i
}
,
i
= 1
, n
.
Число разбиений в множестве
{
P
i
}
равно числу компонентных авто-
матов в сети
N
. Число блоков разбиений
B
i
в множестве
{
P
i
}
равно
числу внутренних состояний компонентного автомата
K
A
i
. Элемен-
ты структуры имеют меньше состояний, чем функциональный блок,
так как число блоков в разбиении
P
i
, кроме нулевого разбиения
P
i
(0)
,
меньше числа элементов в множестве
C
n
состояний исходной модели.
Разбиение
P
i
при помощи функции
F
i
однозначно определяют раз-
биения
TU
i
и
RU
i
. Разбиение
TU
i
показывает, какие элементы воздей-
ствуют на
i
-й элемент структуры, а разбиение
RU
i
определяет, какие
буквы входного алфавита
Z
не различаются
i
-м элементом. Множества
TU
i
и
RU
i
являются наибольшими разбиениями, причем, чем больше
TU
i
, тем меньше выходов других элементов связано с
K
A
i
, и чем
больше
RU
i
, тем проще зависимость
SG
i
от внешнего алфавита
Z
.
Из конструктивного способа построения сети
N
следует, что струк-
тура сети определяется неоднозначно, так как условие
(
P
i
1
P
i
2
. . . P
iR
)
<
=
TU
i
,
(3)
определяющее компонентные автоматы
K
A
i
1
,
K
A
i
2
,. . . ,
K
A
iR
, может
выполняться при различных сочетаниях разбиений из множества
{
P
i
}
,
где
i
= 1
, n
.
В работе [3] введено понятие структурной матрицы сети
N
, под
которой понимается квадратная матрица
M
n
размерности
n
, столбцам
96 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2006. № 1
1,2,3,4,5,6 8,9
Powered by FlippingBook