В этом примере блок «Проверить динамическую нижнюю границу» сравнивает значение проверенного входного сигнала из блока Step в u-порте с блоком Sine Wave в min-порте. Блок Check Dynamic Lower Bound проверяет, меньше ли значение сигнала на минимальном порте, чем значение тестируемого входного сигнала. Если это так, блок утверждает true (1). Поскольку выбран параметр Output assertion signal блока Check Dynamic Lower Bound, блок выводит значение утверждения. Выполните моделирование для просмотра выходных данных модели.

В начале моделирования выводится блок «Проверить динамическую нижнюю границу» 0 поскольку значение блока синусоидальной волны больше, чем значение блока ступенчатой волны. Во время 3.14, синусоидальная волна падает ниже 0, что приводит к тому, что значение блока Step превышает синусоидальную волну. Блок «Проверить динамическую нижнюю границу» распознает это изменение и выводит 1.

Во время 5, блок Step выводит значение 0.5, которая все еще больше синусоидальной волны. Значение блока Step остается больше синусоидальной волны до достижения времени 6.81. Блок «Проверить динамическую нижнюю границу» распознает это изменение, и утверждение не выполняется. Утверждение остается на 0 до достижения времени 8.90, где синусоидальная волна идет ниже значения блока Step.