Exponenta Banner
exponenta event banner

Проверить динамическую верхнюю границу

Проверьте, что один сигнал всегда больше другого

развернуть все на странице
  • Библиотека:

  • Проверка Simulink/модели

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

  • Check Dynamic Upper Bound block

Описание

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

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

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

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

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

Порты

Вход

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

Сигнал, задающий нижнюю границу диапазона, в котором блок проверяет амплитуду входного сигнала u. Тип и измерение данных сигнала должны совпадать с 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

Продукция

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

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

Параметры

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

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

Примеры модели

Check Signal Upper Bound with Check Dynamic Upper Bound Block

Проверка верхней границы сигнала с помощью динамического блока верхней границы

Эта модель соединяет синусоидальную волну в качестве динамического опорного сигнала и шаговый сигнал в качестве тестового сигнала, подключенного к блоку проверки динамического верхнего предела.

Открыть модель

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

Типы данных

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

Прямой проход

no

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

yes

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

no

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

no

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

.

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

.

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

См. также

|

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

Документация Simulink

Поддержка