exponenta event banner

Проверить статический диапазон

Проверить попадание сигнала в фиксированный диапазон амплитуд

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

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

  • Check Static Range block

Описание

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

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

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

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

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

Порты

Вход

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

Входной сигнал проверяется по диапазону, заданному параметрами Верхняя граница и Нижняя граница.

Типы данных: 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) как логические данные (Boolean data), то тип выходных данных будет Boolean. В противном случае типом данных сигнала является double.

Зависимости

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

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

Параметры

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

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

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

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

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

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

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