Extender
Расширьте истинную длительность входа
Библиотека
Simulink Design Verifier
Терминология темпоральных операторов
True duration сигнала — Последовательные временные шаги, во время которых сигналом является
true
Описание
Блок Extender расширяет истинную длительность входного сигнала постоянным числом шагов (конечный дополнительный режим) или неопределенно.
Вводы и выводы блока Extender имеют булев тип.
Параметры
- Extension Period
Выберите
Finite(значение по умолчанию), чтобы задать постоянное число временных шагов для расширения. ВыберитеInfiniteзадавать неопределенное расширение.- Time steps for extension
Для конечного расширения задайте количество временных шагов для расширения истинной длительности (минимумом является
1).- External reset
Задайте, может ли внешний булев сигнал сброса сбросить расширение блока. Сигнал сброса также сбрасывает бесконечное расширение. Бесконечное расширение с внешним сбросом является неопределенным расширением, пока внешний сигнал сброса не становится
true.
Примеры
В следующем примере сделайте следующее:
Установите шаг расчета модели на
1второй.Для блока расширителя:
Установите параметр Extension Period на
Finite.Установите параметр Time steps for extension на
2
Если входной сигнал становится true в дополнительный период выход продолжает быть true и расширен после последнего входа true длительность завершена. Вы видите это в следующем осциллографе.
