Составители:
сигналах, как о последовательностях из множества V. Также необходимо
сделать допущение, что для сигнала не может существовать двух событий с
одинаковыми атрибутами.
1.1.4.2 Сеть обработки потоков данных (Dataflow Process Network)
В сети обработки потоков данных целевая система (обычно это программа
в традиционном понимании) представляется в виде ориентированного графа,
вершины которого представляют собой вычисления, а дуги представляют собой
упорядоченные последовательности элементов данных [3, 6, 32, 61]. Граф
обычно имеет иерархичную структуру, так что вершина одного графа сама по
себе является другим ориентированным графом. Вершины могут представлять
собой также процедуры на некоторых языках программирования.
Множество значений обозначим V и рассмотрим его подмножество s,
которое является сигналом
Vs ⊂
.
Рассмотрим несколько сигналов s
1
, s
2
, s
3
, … s
n
. Пусть I – набор входных
сигналов (s
1
, s
2
, … s
k
), а O – набор выходных сигналов (s
k+1
, s
k+2
, … s
n
)
некоторого вычислителя. Функциональность такого вычислителя в модели сети
обработки потоков данных задается функцией f.
∏
=
=
k
i
i
sI
1
,
∏
+=
=
n
ki
i
sO
1
,
O
I
f →
:
.
Передача данных между вычислительными вершинами осуществляется
через буферы типа FIFO, а сами вычислительные вершины постоянно (вне
времени) осуществляют обработку входных данных, порождая наборы
выходных данных.
1.1.4.3 Взаимодействующие конечные автоматы (Communicating FSM)
Конечные автоматы всегда были привлекательной моделью для
проектирования ВсС [1, 2, 4, 19, 33, 34]. Традиционный конечный автомат
состоит из следующих элементов:
• Набора входных сигналов;
• Набора выходных сигналов;
• Конечного набора состояний с четко определенным начальным состоянием;
• Выходной функции, отображающей состояния и входные сигналы в
выходные сигналы;
17
Страницы
- « первая
- ‹ предыдущая
- …
- 16
- 17
- 18
- 19
- 20
- …
- следующая ›
- последняя »
