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 =
2Time steps for delay (optional) =
1Time 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.
