Высокоуровневое проектирование встраиваемых систем. Платунов А.Е - 57 стр.

UptoLike

)
(max
,
1
jji
nj
i
γ
τω
=
=
, (1.16)
что в матричном виде можно записать как
γτω
=
, (1.17)
где введенная операция
определяется выражением (1.16) и называется
операцией параллельной интерпретации. Применение такой операции к
характеристикам ФБ при моделировании подразумевает “аппаратную
реализацию данного ФБ.
В дальнейшем в тех местах выражений, где нет разницы между
введенными операциями, будет использоваться символ
”. Подстановка того
или иного знака операции зависит от способа реализации ФБ.
Из представленных рассуждений и выражений (1.15) и (1.17) вытекает, что
γτω
=
. (1.18)
Видно, что формула (1.18) может быть использована для получения
значений минимальных интервалов генерации выходных событий при
известных значениях минимальных интервалов следования входных событий.
При анализе временных характеристик и матриц времен генерации
выходных событий очень полезными являются операции сравнения. Интересует
сравнение характеристик как сигналов, так и самих характеристических матриц
ФБ. Для проведения такого рода сравнений определим некоторые операции.
Пусть ω и γ векторы-столбцы размером n элементов. Для таких столбцов
определим операции сравнения <,>,=,
,
следующим образом
ii
ni
γωγω
]...1[
,
где * обозначает любую из перечисленных операций сравнения.
Аналогичным образом определим операции сравнения для матриц. Пусть τ
A
и τ
B
матрицы размером n столбцов m строк, ω вектор-столбец размером n. Тогда, по
определению для некоторой реализации
)()(
ωτωτωττ
BABA
.
Можно доказать утверждение о том, что никакой ФБ не может уменьшить
временной масштаб входных событий.
Теорема 1.1. “О не уменьшении временного масштаба ФБ”. Для
выражения (1.18) можно доказать, что
)(max)(max
1n1i
i
mi
i
γω
==
и
.
Аналогичным образом получаем
56