Составители:
• Функции переходов, отображающей состояния и входные сигналы в
состояния.
Традиционные конечные автоматы удобны для моделирования
последовательного поведения, но практически неприменимы при
моделировании параллельных вычислений или памяти. Собственно
привлекательность конечных автоматов так высока, что многие авторы
предлагают различные способы практического решения описанных проблем,
чтобы расширить область применимости конечных автоматов при
проектировании ВсС.
На самом деле конечные автоматы могут быть эффективно использованы
при описании функциональности вычислительных компонент в различных
MoC. Многие языки предоставляют встроенные синтаксические и
семантические средства описания конечных автоматов. Для тех языков, в
которых этих средства отсутствуют, различные авторы предлагают формальные
методики реализации конечных автоматов доступными средствами языка.
1.1.4.4 Модель дискретных событий (Discrete-Event)
Неотъемлемой частью MoC дискретных событий является время.
Происходящие в системе события снабжаются глобально упорядоченными
временными метками, обозначающими момент времени, когда событие
произошло. При моделировании таких систем обычно используются очереди
событий, элементы которых отсортированы по возрастанию временной метки.
Разработка аппаратных цифровых схем производится в такой модели. Многие
языки описания аппаратуры базируются на модели дискретных событий.
Модель дискретных событий эффективна для больших систем, в которых
активность в каждый конкретный момент времени проявляется в
локализованных участках системы.
Множество значений обозначим V, множество атрибутов обозначим T и
рассмотрим подмножество их прямого произведения s, которое является
сигналом из формулы (1.1).
Для множества атрибутов T должно быть определено отношение “порядка”
и введена метрика пространства, для определения “расстояния” между
атрибутами. Для каждого сигнала s определяется функция дискретизации
VT
VT →×∂ ),(
, (1.2)
min
)tdist(t, и
,),
(),
( −
′
≤
′
∈
′
⇔=
∂ tt
svtvt
s
, (1.3)
определяющая значение сигнала
s
к моменту времени
Tt ∈
. Для краткости
функцию дискретизации можно записать
t
s
ts =∂ ),(
.
Для множеств I и O определяем функцию дискретизации:
∏
∂≡∂
i
TsTI
i
),
(),(
18
Страницы
- « первая
- ‹ предыдущая
- …
- 17
- 18
- 19
- 20
- 21
- …
- следующая ›
- последняя »
