Check Static Range

Проверяйте, что сигнал падает в фиксированной области значений амплитуд

  • Библиотека:
  • Simulink / Model Verification

    HDL Coder / Model Verification

  • Check Static Range block

Описание

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

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

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

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

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

Порты

Входной параметр

развернуть все

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

Типы данных: half | single | double | int8 | int16 | int32 | int64 | uint8 | uint16 | uint32 | uint64 | Boolean | fixed point | enumerated

Вывод

развернуть все

Выходной сигнал, который является true (1) если утверждение успешно выполняется, и false (0) если утверждение перестало работать. Если, в окне Configuration Parameters, в разделе Math and Data Types, под Advanced parameters, вы выбираете Implement logic signals as Boolean data, то типом выходных данных является Boolean. В противном случае типом данных сигнала является double.

Зависимости

Чтобы включить этот выходной порт, установите флажок параметра Output assertion signal.

Типы данных: double | Boolean

Параметры

развернуть все

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

Информация о командной строке

Параметр: max
Ввод: символьный вектор
Значения: scalar | vector | matrix
Значение по умолчанию: '0'

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

Информация о командной строке

Параметр: min_included
Ввод: символьный вектор
Значения: 'on' | 'off'
Значение по умолчанию: 'on'

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

Информация о командной строке

Параметр: min
Ввод: символьный вектор
Значения: scalar | vector | matrix
Значение по умолчанию: '0'

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

Информация о командной строке

Параметр: min_included
Ввод: символьный вектор
Значения: 'on' | 'off'
Значение по умолчанию: 'on'

Очистка этого параметра отключает блок и заставляет модель вести себя, как будто блок не существует. Чтобы включить или отключить все блоки верификации, независимо от установки этой опции, переходят к окну Configuration Parameters, нажимают Diagnostics > Data Validity, расширяют раздел Advanced parameters и устанавливают Model Verification block enabling на Enable all или Disable all.

Информация о командной строке

Параметр: enabled
Ввод: символьный вектор
Значения: 'on' | 'off'
Значение по умолчанию: 'on'

Задайте выражение MATLAB®, чтобы оценить, когда утверждение перестанет работать. Поскольку выражение выполнено в рабочем пространстве MATLAB, задайте все переменные, используемые в выражении в той рабочей области.

Зависимости

Чтобы включить этот параметр, выберите параметр Enable assertion.

Информация о командной строке

Параметр: callback
Ввод: символьный вектор
Значения: Выражение MATLAB
Значение по умолчанию: ''

Выберите этот параметр, чтобы остановить симуляцию, когда проверка перестанет работать. Очистите этот параметр, чтобы вывести предупреждение и продолжить симуляцию.

Информация о командной строке

Параметр: stopWhenAssertionFail
Ввод: символьный вектор
Значения: 'on' | 'off'
Значение по умолчанию: 'on'

Выберите этот параметр, чтобы включить выходной порт.

Информация о командной строке

Параметр: export
Ввод: символьный вектор
Значения: 'on' | 'off'
Значение по умолчанию: 'off'

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

Информация о командной строке

Параметр: icon
Ввод: символьный вектор
Значения: 'graphic' | 'text'
Значение по умолчанию: 'graphic'

Характеристики блока

Типы данных

Boolean | double | enumerated | fixed point | half | integer | single

Прямое сквозное соединение

no

Многомерные сигналы

yes

Сигналы переменного размера

no

Обнаружение пересечения нулем

no

Расширенные возможности

Генерация кода PLC
Сгенерируйте код Структурированного текста с помощью Simulink® PLC Coder™.

Преобразование фиксированной точки
Спроектируйте и симулируйте системы фиксированной точки с помощью Fixed-Point Designer™.

Представлено до R2006a
Для просмотра документации необходимо авторизоваться на сайте