exponenta event banner

Проверка статического зазора

Проверить наличие зазора в диапазоне амплитуд сигнала

  • Библиотека:
  • Проверка Simulink/модели

    Кодер HDL/верификация модели

  • Check Static Gap block

Описание

Блок проверки статического зазора проверяет, что входной сигнал меньше (или необязательно равен) статической нижней границы или больше (или необязательно равен) статической верхней границы на текущем шаге времени. Параметры Верхняя граница (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) как логические данные (Boolean data), то тип выходных данных будет Boolean. В противном случае типом данных сигнала является double.

Зависимости

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

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

Параметры

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

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

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

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

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

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

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

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

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

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

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

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

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

Удаление этого параметра отключает блок и приводит к тому, что модель ведет себя так, как если бы блок не существовал. Чтобы включить или отключить все блоки проверки, независимо от настройки этой опции, перейдите в окно Параметры конфигурации, щелкните Диагностика > Валидность данных, разверните раздел Дополнительные параметры и установите блок Проверка модели, позволяющий Enable all или Disable all.

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

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

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

Зависимости

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

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

Параметр: 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

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

.

Создание кода ПЛК
Создание структурированного текстового кода с помощью Coder™ Simulink ® PLC

.

Преобразование с фиксированной точкой
Проектирование и моделирование систем с фиксированной точкой с помощью Designer™ с фиксированной точкой.

Представлен до R2006a