Within Implies
Проверьте, что ответ происходит в желаемой длительности
Библиотека
Simulink Design Verifier
Терминология темпоральных операторов
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 происходит многократно, это не влияет на выход.
