Составители:
)(max
)(max
,,,
,
A
jk
B
ki
k
ji
jji
j
i
τττ
γτω
=
′
′
=
.
В этом случае, аналогично операции последовательной интерпретации,
можно определить τ
C
следующим образом (определив операцию параллельного
умножения матриц “
⊗
”):
γτ
ω
τ
τ
τ
ττ
τ
⊗
=
=
⊗
=
C
A
jk
B
ki
k
C
ji
AC
)
(max
,,
,
B
.
В случае разноименных операций
•
в выражении (1.213), для общего вида
матрицы τ
C
можно получить только оценки сверху и снизу, так как конкретный
результат зависит от значений временных масштабов входных событий. Перед
выводом оценок можно доказать вспомогательную теорему.
□ Теорема 1.3.
0 ]...1[ ]...1[
,
≥∈∀∈∀
ji
amjni
,
тогда
∑∑
=
=
=
=
≤
m
j
ji
ni
m
j
ji
ni
aa
1
,
..1
1
,
..1
maxmax
. (1.236)
∑∑∑∑
∑∑
=
=
===
=
=
=
=
=
+=
+=+=
m
j
ji
ni
m
j
j
m
j
ji
m
j
j
ni
m
j
ji
j
ni
m
j
ji
ni
MMMa
1
,
..1
11
,
1
..1
1
,
..1
1
,
..1
max)(max)(
maxmax
ξξξ
. (1.27)
Можно также доказать теорему об оценке матриц ФБ смешанных
реализаций для выражения (1.213).
□ Теорема 1.4. “Об оценке смешанных реализаций ФБ”.
Для любых τ
A
, τ
B
и γ верны следующие верхние и нижние оценки
смешанных реализаций:
)( где ,)(
BACCBAC
τττγτγττγτ
⊗=⊗≥×⊗≥×
, (1.28)
)( где ,)(
BACCBAC
ττ
ττγγττγτ
×=⊗≥⊗×≥×
. (1.29)
Необходимо обратить внимание на то, что вариантов объединения
“мелких” матриц значительно больше, чем изображено на рис. 1.15. Например,
для представленной на рис. 1.16 топологии необходимо применить следующую
технику получения матрицы τ
C
.
60
Страницы
- « первая
- ‹ предыдущая
- …
- 59
- 60
- 61
- 62
- 63
- …
- следующая ›
- последняя »
