Detector

Обнаружьте истинную длительность на входе и создайте выход истинная длительность на основе выходного типа

Библиотека

Simulink Design Verifier

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

  • True duration сигнала — Последовательные временные шаги, во время которых сигнал верен

  • Length истинной длительности сигнала — количество временных шагов, которые составляют истинную длительность

  • Фаза Input detection — фаза, которая завершена на итоговом временном шаге ожидаемой длины входа истинная длительность

  • Фаза Output construction — фаза, когда блок создает истинную длительность при выходе на основе выходного типа блока

  • Delay duration — Количество временных шагов задержки после входного обнаружения, после которого выходной сигнал верен

Описание

Вводы и выводы блока Detector имеют булев тип.

На входном обнаружении блок Detector создает выходной сигнал на основе одного из двух выходных типов, которые вы задаете:

  • Delayed Fixed Duration— После того, как входное обнаружение завершено и после того, как дополнительная задержка, выходной сигнал станет true для постоянного числа временных шагов. Истинная длительность выхода независима от входа.

  • Synchronized— В итоговом временном шаге входного обнаружения выход становится true и остается true пока входной сигнал продолжает быть true. Истинная длительность выхода варьируется и синхронизируется с истинной длительностью входа.

Параметры

External reset

Задайте, может ли блок быть сброшен к запуску входного обнаружения внешним булевым сигналом сброса.

Output type

Выберите Delayed Fixed Duration (значение по умолчанию), чтобы задать фиксированную истинную продолжительность длительности для выхода после дополнительной задержки. Выберите Synchronized синхронизировать выход истинная длительность с тем из входа.

Time steps for input detection

Продолжительность истинной длительности для входного обнаружения (минимумом является 1).

Time steps for delay (optional)

Для Delayed Fixed Duration, опционально задайте продолжительность длительности задержки, после которой выход становится верным.

Time steps for output duration

Для Delayed Fixed Duration, задайте продолжительность выхода истинная длительность (минимумом является 1).

Примеры

В следующих примерах используйте шаг расчета 1 второй.

Задержанная фиксированная длительность

В этом примере, с набором Output type к Delayed Fixed Duration, входная фаза обнаружения не продолжается во время конструкции выходного сигнала. Следующие параметры блоков для блока Detector установлены можно следующим образом:

  • Time steps for input detection = 2

  • Time steps for delay (optional) = 1

  • Time steps for output duration = 2

Определите объем 1, показывает сценарий где второй true длительность не обнаруживается, потому что часть true временные шаги происходят во время выходной конструкции.

Однако второй true длительность в Осциллографе 2 обнаруживается потому что остающийся true длительность после выходной конструкции удовлетворяет количеству шагов, требуемых для входного обнаружения.

Синхронизируемый

В этом примере, с набором Output type к Synchronized и набор Time steps for input detection к 2, выход становится true в последнем шаге входного обнаружения. Выход продолжает быть верным, пока входным сигналом является true.

Определите объем 1, показывает, что выход становится верным на шаге второго раза, который является итоговым временным шагом входной фазы обнаружения. Когда номер временных шагов для входного обнаружения определяется к 1, выход идентичен входу, как вы видите в Осциллографе 2.

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

Extender, Within Implies

Введенный в R2011a