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

Check Static Upper Bound

Проверяет, что сигнал меньше (или равен) статической верхней границы.

Тип: SubSystem

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

/Basic/Additional/Verification/Check Static Upper Bound

Описание

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

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

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

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

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

Порты

Вход

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

Details

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

Типы данных

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

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

Нет

Параметры

Parameters

# Upper bound — значение верхней границы

Details

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

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

0.0

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

max

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

Нет

Вычисляемый

Да

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

Details

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

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

true (включено)

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

max_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

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

Нет

Вычисляемый

Да