Составители:
))
1
(max,max())(max,max(),
1
1
(max
),
1
(min
1
))(min,min(
,
1
0
0
,
1
0
,
1
,
0
1
,
1
0
00
j
ji
mj
i
j
ji
mj
i
j
ji
i
mj
ji
j
i
mj
ji
j
mj
i
i
i
k
t
k
t
t
k
tkk
t
t
N
t
τωτω
τ
ω
τωτω
===
==
=
==
====∆
.
Заметим, что
i
m
j
ji
mj
k
k
k
t
k
t )
1
1
1
()
1
(max
2
1
0,
1
0
⊗⋅=
=
ττ
. (1.190)
Отсюда, если наряду со столбцом k определить столбец k
-1
следующим
образом
i
i
k
k
1
1
=
−
,
то время формирования событий функциональным блоком можно
рассчитать по формуле
))(,
max())(,max(
1
0
1
0
−−
⊗⋅
•=⊗⋅=∆
ktkt
τ
γτ
τω
, (1.201)
где символ “
•
” заменяет операцию реализации ФБ. Выражение (1.202)
является основным для расчета временной передаточной матрицы.
При эволюции модели в результате проектирования понижается или
повышается уровень абстракции рассмотрения системы. Создаются ФБ,
представляющие собой композицию более мелких ФБ. В конечном итоге все ФБ
должны стать атомарными. При составлении сложных ФБ из более мелких
блоков параметры
},,
{
ωγτ
таких блоков можно рассчитать, используя
информацию о составляющих их блоках.
Рассмотрим декомпозицию ФБ C на два более мелких A и B (см. рис. 1.15).
Пусть изображенные ФБ C, A и B определяются параметрами
},,{
ωγτ
C
,
},,{
εγτ
A
и
},,{
ωετ
B
соответственно. Необходимо получить аналитический
способ расчета параметров ФБ C по известным параметрам ФБ A и B. Наряду с
параметрами γ и ω, основной интерес представляет вычисление τ
C
, так как
именно эта матрица играет основную роль при расчете временных
характеристик ФБ, в частности и модели в целом. В случае, когда ФБ состоит из
большого количества малых, получение аналитического вида матрицы τ
C
качественно упрощает процесс моделирования и верификации.
58
Страницы
- « первая
- ‹ предыдущая
- …
- 57
- 58
- 59
- 60
- 61
- …
- следующая ›
- последняя »
