Exponenta Banner
exponenta event banner

Проверка статической верхней границы

Проверьте, что сигнал меньше (или при необходимости равен) статической верхней границы

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

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

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

  • Check Static Upper Bound block

Описание

Блок Check Static Upper Bound проверяет, меньше ли входной сигнал (или, при необходимости, равен) указанной нижней границы на каждом временном шаге, и выполняет утверждение после сравнения. Параметр Верхняя граница определяет верхнюю границу. Если входной сигнал меньше верхней границы, утверждение 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'

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

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

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

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

Check Signal Upper Bound with Check Static Upper Bound Block

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

Эта модель использует блок «Проверить статическую верхнюю границу» для определения верхней границы входного синусоидального сигнала.

Открыть модель
View Model Verification Blocks in Verification Manager

Просмотр блоков проверки модели в диспетчере проверки

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

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

Типы данных

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

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

no

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

yes

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

no

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

no

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

.

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

.

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

См. также

| | |

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

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

Поддержка