Exponenta Banner
exponenta event banner

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

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

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

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

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

  • Check Dynamic Lower Bound block

Описание

Блок проверки динамического нижнего предела проверяет, меньше ли опорный сигнал, мин, чем амплитуда входного сигнала, u на каждом временном шаге, и выполняет утверждение после сравнения. Если min меньше 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 Lower Bound with Check Dynamic Lower Bound Block

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

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

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

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

Типы данных

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

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

no

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

yes

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

no

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

no

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

.

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

.

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

См. также

|

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

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

Поддержка