Check Static Gap

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

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

    HDL Coder / Model Verification

  • Check Static Gap block

Описание

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

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

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

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

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

Порты

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

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

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

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

Вывод

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

Выходной сигнал, который является 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'

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

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

Параметр: max_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
Для просмотра документации необходимо авторизоваться на сайте