Смешанное моделирование дискретных устройств с использованием автоматической декомпозиции макромодели функционального блока в модели элементов - page 3

Смешанное моделирование дискретных устройств …
3
— выходной алфавит сети
N
°
, включающий выходные алфавиты
компонентных автоматов
KA
i
°
.
Подставив (3 и 4) в (5), получим:
(
) (
)
1 2
1 2
1 2
:
n
n
n
g C C C Z Z Z W W W
⋅ ⋅
⋅ ⋅
→ ⋅
⋅ ⋅
o
o o
o
o o
o
o
o
o
K
K
K
.
(6)
Объединим (сгруппируем) вместе
i
-е члены выражения (3.39),
тогда выходная функция сети
N
°
примет вид:
(
) (
)
(
)
1 1
1 2 2
2
:
n n
n
g C Z W C Z W C Z W
→ ⋅
→ ⋅ ⋅
o
o o
o
o o
o
o o
o
K
.
(7)
Введя обозначения
1 1 1
1
/
,
g C Z W
o
o o
o
2 2 2
2
/
, ,
g C Z W
o
o o
o
K
/
n n n
n
g C Z W
o
o o
o
, получим зависимость выходной функции
g
°
сети
N
°
от выходных функций компонентных автоматов
KA
i
°
:
1 2
=
n
g g g g
⋅ ⋅ ⋅
o
o o
o
K
.
(8)
Таким образом, компонентный автомат определим следующим
образом:
(
)
= , ,
, δ ,
i
i
i
i
i
i
KA Z C W g
o
o o o o o
.
(9)
Учитывая соотношения (3)–(5), можно ввести последовательност-
ную детерминированную функцию
h
°
компонентного автомата
KA
i
°
:
(
)
:
, ,
i
i
i
i
h C g
δ
o
o o o
,
(10)
т. е. функция
h
i
°
, приписанная автомату
KA
i
°
, отображает функцию
перехода
KA
i
°
δ
i
°
, множество состояний
KA
i
°
C
i
°
и функцию вы-
хода
KA
i
°
g
i
°
.
Следовательно, функционирование компонентного автомата
KA
i
°
можно описать следующим образом: в последовательные моменты
времени
t
на входы
= 1,
v r
o
автомата
KA
i
°
поступают входные буквы
1 2
,
, ,
Z Z
Z
i
i
i
r
e e
e
o
o
o
K
, при этом
KA
i
°
находится в одном из внутренних со-
стояний, кодируемых элементами из
h
i
°
; с выходов автомата
KA
i
°
( = 1,
u n
o
) снимаются выходные буквы
1 2
,
, ,
W W W
i
i
i
n
e e
e
o
o
o
K
.
Иначе:
(
) (
)
(
)
(
)
(
)
( ) (
)
{
}
(
)
(
)
( )
( )
(
)
(
) (
)
(
) (
)
(
)
(
)
(
)
1 2
= 1,
,
0 = , ,
= &
&
= 1,
,
= .
Z i
i
i
i
i
i
i
i
i
Wi
i
i
v v r sttm Z KA t
t t
t
t t
e
h ОП Z h ОП W z v w u
u u n sttm W KA t
e
∀ ≥
× →
↔ ↔ →
→ ∀
o
o
o
o
o
o
o
o
o
o
o
o
o
o
o
o
o
o
K
(11)
1,2 4,5,6,7
Powered by FlippingBook