exponenta event banner

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

Проверить, что сигнал попадает в диапазон амплитуд, изменяющихся от временного шага к временному шагу

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

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

  • Check Dynamic Range block

Описание

Блок проверки динамического диапазона проверяет, что сигнал попадает в диапазон значений на каждом временном шаге, и выполняет утверждение после сравнения. Ширина диапазона может изменяться от временного шага к временному шагу. Порт u является проверенным входным сигналом. Минимальные и максимальные порты являются нижней и верхней границами диапазона соответственно. Если u находится в диапазоне от max до min, утверждение будет true (1) и блок ничего не делает. Если нет, блок останавливает моделирование и по умолчанию возвращает сообщение об ошибке.

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

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

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

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

Порты

Вход

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

Сигнал, указывающий верхнюю границу диапазона.

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

Сигнал, указывающий нижнюю границу диапазона.

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

Сигнал проверяется по диапазону, заданному максимальным и минимальным портами.

Типы данных: 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.

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

Параметры

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

Удаление этого параметра отключает блок и приводит к тому, что модель ведет себя так, как если бы блок не существовал. Чтобы включить или отключить все блоки проверки, независимо от настройки этой опции, перейдите в окно Параметры конфигурации, щелкните Диагностика > Валидность данных, разверните раздел Дополнительные параметры и установите блок Проверка модели, позволяющий 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