Extender

Расширьте истинную длительность входа

Библиотека

Simulink Design Verifier

  • Extender block

Терминология темпоральных операторов

  • 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 длительность завершена. Вы видите это в следующем осциллографе.

Смотрите также

Detector, Within Implies

Введенный в R2011a
Для просмотра документации необходимо авторизоваться на сайте