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