Составители:
/=∞
=
,),inf(
,0,
)(
иначеD
Dесли
s
s
s
δ
где
)inf(
s
D
есть точная нижняя грань множества
s
D
. Для сигналов,
содержащих меньше двух непустых событий, значение функции равно
бесконечности. Если сигнал содержит больше одного непустого события, то
)
(
s
δ
дает минимальный интервал между ними.
Функция
)
(
s
δ
позволяет задать отличительную характеристику сигналов на
синхронных входах и выходах ФБ. Для таких сигналов
)(0 s
s
δτ
≤<
, (1.34)
где
s
τ
есть атрибут порта (
j
γ
для синхронного входа,
i
ω
для выхода). Этот
атрибут характеризует проектное ограничение на минимальный интервал
времени между интерпретируемыми на входе или генерируемыми на выходе ФБ
инструкциями (возможности платформы, требования ТЗ) и является
характеристикой ФБ.
В соответствии с вышесказанным, сигналы в объектно-событийной
системе, за исключением подаваемых на ее внешние асинхронные входы,
обладают свойством (1.34) и являются дискретно-событийными (ДС). Стоит
отметить, что свойство (1.34) является более строгим, чем определение ДС
сигнала, и не все ДС сигналы обладают этим свойством.
Асинхронный вход ФБ преобразует подаваемый на него сигнал таким
образом, что ФБ в каждый момент времени может прочитать значение
последнего непустого события в поданном сигнале. Множество непустых
событий на асинхронном входе будет
))}'(,
{( ts
tE =
, где
)dom(', stt ∈
,
'tt ≤
и не
существует
)dom('
' st ∈
такого, что
ttt
≤< '
''
и
ε
≠)'
'(ts
. Очевидно, множество E
непрерывно и минимальный интервал между событиями на асинхронном входе
равен 0.
Поведение ФБ есть функция
SP →
:
σ
, приписывающая каждому порту
(входу или выходу) ФБ наблюдаемый на нем сигнал (P есть множество портов
ФБ, S множество сигналов в системе). Сам функциональный блок есть
множество поведений.
Для любого поведения ФБ
σ
минимальный интервал между событиями на
синхронном входе
j
p
будет равен, с учетом (1.34),
))((
~
jj
p
σδγ
=
. Минимальный
интервал между генерируемыми на выходе
i
p
событиями будет
))(
(
~
ii
p
σδω
=
. Эти
значения, в отличие от
j
γ
и
i
ω
, являются характеристиками сигналов, а не
самого ФБ. Векторы
j
γ
~
~
=Γ
и
i
ω
~
~
=
Ω
характеризуют совокупность сигналов,
связанных с ФБ в конкретной системе, в отличие от векторов
j
γ
=Γ
и
i
ω
=Ω
,
представляющих собой проектные ограничения временных характеристик ФБ.
71
Страницы
- « первая
- ‹ предыдущая
- …
- 70
- 71
- 72
- 73
- 74
- …
- следующая ›
- последняя »
