Within Implies

Проверьте, что ответ происходит в желаемой длительности

Библиотека

Simulink Design Verifier

  • Within Implies block

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

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

Описание

Блок Within Implies получает в значении путем наблюдения ли Obs входом является true по крайней мере для одного шага в каждом true длительность первого входа In. Каждый раз, когда Obs не обнаруживается в конкретном входе истинная длительность, выход становится false для одного временного шага на шаге, который следует за входом true длительность.

Параметры

Блок Within Implies имеет только один заданный пользователями параметр:

External reset

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

Примеры

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

Obs не наблюдается в первом true длительность In, так Out становится false для одного временного шага. Obs наблюдается во втором true длительность In, так Out true. Когда нет никакого true длительность In, Out остается true.

Если Obs происходит многократно, это не влияет на выход.

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

Detector, Extender

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