И.В. Рудаков
,
А.В. Шляева
2
Смешанное моделирование структур является составной частью
метода иерархического моделирования сложных дискретных структур.
При этом осуществляется анализ схемы устройства с использованием
моделей, описывающих функционирование сложных дискретных
структур с разной степенью детализации: одна часть описывается на
уровне макромоделей функциональных блоков, а другая — на
уровне элементов сложной структуры с целью уточнения парамет-
ров элементов.
Необходимым условием реализации смешанного моделирования
с использованием алгоритма декомпозиции макромодели блока явля-
ется обеспечение информационной согласованности подсистем мак-
ромоделирования и моделирования на уровне элементов, что дости-
гается при помощи базы данных подсистемы анализа и контроля
функционирования сложных дискретных структур.
В результате декомпозиции функционирование сети автоматов
N
°
представляется функционированием множества компонентных авто-
матов
KA
°
. Согласно утверждению [2], функционирование сети
N
°
эквивалентно функционированию макромодели
Ŝ
. Необходимо дока-
зать, что функционирование компонентного автомата
KA
i
°
∈
N
°
экви-
валентно таковому элемента сложной структуры
F
i
∈
Ŝ
.
Для доказательства этого утверждения необходимо определить
функционирование компонентного автомата
KA
i
°
. По определению
[2], компонентным автоматом называется полуавтомат, имеющий
следующие составляющие:
(
)
= , , δ
i
i
i
i
KA C Z
o
o o o
,
(1)
где
C
i
°
,
Z
i
°
,
δ
i
°
— множество состояний, входной алфавит и функция
переходов компонентного автомата соответственно.
Доопределим компонентный автомат следующим образом. Выше
отмечалось, что выходная функция сети
g
o
реализует отображение
:
,
N N N
g C Z W
⋅
→
o o
o
o
(2)
где
C
N
°
— множество состояний всех компонентных автоматов
KA
i
°
∈
N
°
, = 1,
i
n
,
n
— количество
KA
i
°
;
1 2
=
N
n
C C C C
⋅
⋅ ⋅
o
o o
o
K
;
(3)
1 2
=
N
n
Z Z Z Z
⋅
⋅ ⋅
o
o o
o
K
(4)
— входной алфавит сети
N
°
, включающий входные алфавиты
компонентных автоматов
KA
i
°
;
1 2
=
N
n
W W W W
⋅
⋅ ⋅
o
o
o
o
K
(5)
