Проверьте, что ответ происходит в желаемой длительности
Simulink Design Verifier
True duration сигнала — Последовательные временные шаги, во время которых сигнал верен
Блок Within Implies получает в значении путем наблюдения, является ли входом Obs
true
по крайней мере для одного шага в каждой длительности true
первого входа In
. Каждый раз, когда Obs
не обнаруживается в конкретном входе истинная длительность, вывод становится false
для одного временного шага на шаге, который следует за длительностью входа true
.
Блок Within Implies имеет только один заданный пользователями параметр:
Задайте, может ли наблюдение блока за Obs
быть сброшено внешним булевым сигналом сброса.
В следующем примере считайте шаг расчета 1
вторым.
Obs
не наблюдается в первой длительности true
In
, таким образом, Out
становится false
для одного временного шага. Obs
наблюдается во второй длительности true
In
, таким образом, Out
является true
. Когда нет никакой длительности true
In
, Out
остается true
.
Если Obs
происходит многократно, он не влияет на вывод.