Документация Engee

Проверка статической нижней границы

Проверяет, что сигнал превышает (или равен) статическую нижнюю границу.

Тип: SubSystem

Путь в библиотеке:

/Basic/Additional/Verification/Check Static Lower Bound

Описание

Блок Проверка статической нижней границы проверяет, больше ли входной сигнал заданной нижней границы (или, при необходимости, равен ей) на каждом временном шаге, и после сравнения выполняет утверждение. Параметр Нижняя граница определяет нижнюю границу. Если входной сигнал больше нижней границы, утверждение принимает значение true (1), и блок ничего не делает. В противном случае блок останавливает моделирование и по умолчанию возвращает сообщение об ошибке.

Входной сигнал и граница могут быть скалярами, векторами или матрицами. Входной сигнал и граница должны иметь один и тот же тип данных. Блок сравнивает значение входного сигнала с границей по-разному в зависимости от сигнала:

  • При сравнении скаляров с векторами или матрицами блок сравнивает скаляр с каждым элементом нескалярного входного сигнала или границы.

  • При сравнении векторного или матричного входного сигнала с векторной или матричной границей блок сравнивает входной сигнал с границей поэлементно.

  • Для моделей с входным сигналом и границей, которые являются векторами или матрицами, входной сигнал и граница должны иметь одинаковые размерности.

Порты

Вход

# u — входной сигнал, который проверяется на соответствие нижней границе
скаляр | вектор | матрица

Details

Входной сигнал, который проверяется на соответствие нижней границе, заданной параметром Нижняя граница.

Типы данных

Float32 | Float64 | Int8 | Int16 | Int32 | Int64 | UInt8 | UInt16 | UInt32 | UInt64 | Bool | Fixed

Поддержка комплексных чисел

Нет

Параметры

Параметры

# Нижняя граница — значение нижней границы

Details

Укажите нижнюю границу диапазона амплитуд, которые может иметь входной сигнал.

Значение по умолчанию

0.0

Имя для программного использования

min

Настраиваемый

Нет

Вычисляемый

Да

# Включительная граница — включить нижнюю границу в диапазон

Details

Установите этот флажок, чтобы диапазон допустимых входных амплитуд включал нижнюю границу.

Значение по умолчанию

true (включено)

Имя для программного использования

min_included

Настраиваемый

Нет

Вычисляемый

Да

# Включить проверку утверждения — включить или отключить проверку

Details

Если этот флажок снят, то блок отключен и модель его не учитывает.

Значение по умолчанию

true (включено)

Имя для программного использования

enabled

Настраиваемый

Нет

Вычисляемый

Да

# Обратный вызов моделирования при нарушении утверждения (необязательно) — выражение для вычисления при сбое утверждения

Details

Укажите выражение для вычисления при сбое утверждения. Поскольку выражение вычисляется в рабочей области, то определите все переменные, используемые в выражении, в этой рабочей области.

Значение по умолчанию

Имя для программного использования

callback

Настраиваемый

Нет

Вычисляемый

Да

# Останавливать моделирование при нарушении утверждения — останавливать симуляцию при сбое проверки

Details

Установите этот флажок, чтобы остановить симуляцию при сбое проверки. Снимите этот флажок, чтобы отобразить предупреждение и продолжить симуляцию.

Значение по умолчанию

true (включено)

Имя для программного использования

stopWhenAssertionFails

Настраиваемый

Нет

Вычисляемый

Да

# Выберите тип значка — стиль иконки блока
графика | текст

Details

Укажите стиль иконки блока. Если установлено значение графика, то на иконке отображается графическое представление условия утверждения. Если установлено значение текст, то на иконке отображается математическое выражение, представляющее условие утверждения.

Значения

graphic | text

Значение по умолчанию

graphic

Имя для программного использования

icon

Настраиваемый

Нет

Вычисляемый

Да