Составители:
то есть обычное умножение матрицы
Τ
на вектор
Γ
. Если разнотипные (то
есть по разным синхронным входам) инструкции интерпретируются ФБ
параллельно (например, при аппаратной реализации), то
Γ⊗Τ
=
Ω
, (1.37)
где
⊗
представляет собой операцию, результат которой есть вектор с
элементами
j
ij
M
j
i
γ
τ
ω
..1
max
=
=
.
Математический аппарат ОСМВ также позволяет вычислить временные
характеристики модели (композиции функциональных блоков), однако способ
их вычисления требует, чтобы зависимость между атрибутами
Γ
и
Ω
всех ФБ в
модели выражалась уравнениями (1.36) либо (1.37), использует нетривиальные
преобразования матриц
Τ
функциональных блоков и не дает ответа при
наличии обратной связи в модели.
Операции по нетривиальному (в зависимости от топологии конкретной
модели и параллельной или последовательной интерпретации инструкций
отдельными ФБ) объединению матриц
Τ
могут оказаться сложными в
реализации и требовать больших затрат памяти при автоматизированном
проектировании в рамках ОСМВ. Способ требует хранения в памяти «плоских»
(то есть без учета иерархии) матриц
Τ
всех ФБ и получение одной,
учитывающей матрицы каждого атомарного ФБ, матрицы
Τ
для всей
проектируемой системы. В то же время современные ВсС могут выражаться
тысячами и десятками тысяч примитивных элементов платформы (АФБ). Это
означает, что применение такого способа расчета временных характеристик
может затруднить в ряде случаев практическое использование ОСМВ для
проектирования ВсС.
Частично упорядоченное множество атрибутов ФБ
Атрибут синхронного входа (
j
γ
) или выхода (
i
ω
) представляет собой
минимальный интервал времени между событиями в сигнале (на заданном
входе или выходе ФБ). Если в качестве модели времени использовать
множество
}{∞∪=
+
RT
неотрицательных действительных чисел плюс
бесконечность (что является довольно простой и интуитивно понятной моделью
времени), то, очевидно, любое значение этих атрибутов будет являться
элементом этого множества (отрезок времени).
Обозначим
j
β
некоторый атрибут (синхронного входа или выхода), равный
минимальному интервалу между событиями в сигнале,
T
j
∈
β
. Между двумя
значениями
1j
β
и
2j
β
можно установить отношение такое, что
1j
β
122 jjj
βββ
≤⇔
, (1.38)
то есть оно инвертирует обычное отношение чисел
≤
.
73
Страницы
- « первая
- ‹ предыдущая
- …
- 72
- 73
- 74
- 75
- 76
- …
- следующая ›
- последняя »
