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

Check Static Lower Bound

Страница в процессе разработки.

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

Тип: SubSystem

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

/Basic/Additional/Verification/Check Static Lower Bound

Описание

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

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

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

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

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

Порты

Вход

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

Details

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

Типы данных

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

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

Нет

Параметры

Parameters

# Lower bound — значение нижней границы

Details

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

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

0.0

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

min

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

Нет

Вычисляемый

Да

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

Details

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

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

true (включено)

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

min_included

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

Нет

Вычисляемый

Да

# Enable assertion — включить или отключить проверку

Details

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

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

true (включено)

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

enabled

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

Нет

Вычисляемый

Да

# Simulation callback when assertion fails(optional) — выражение для вычисления при сбое утверждения

Details

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

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

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

callback

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

Нет

Вычисляемый

Да

# Stop simulation when assertion fails — останавливать симуляцию при сбое проверки

Details

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

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

true (включено)

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

stopWhenAssertionFails

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

Нет

Вычисляемый

Да

# Select Icon Type — стиль иконки блока
graphic | text

Details

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

Значения

graphic | text

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

graphic

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

icon

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

Нет

Вычисляемый

Да