Exponenta Banner
exponenta event banner

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

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

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

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

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

  • Check Static Lower Bound block

Описание

Блок Check Static Lower 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

Параметры

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

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

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

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

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

Check Signal Lower Bound with Check Static Lower Bound Block

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

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

Открыть модель
Use Model Verification Block to Check for Out-of-Bounds Signal

Использовать блок проверки модели для проверки сигнала вне границ

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

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

Типы данных

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

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

no

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

yes

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

no

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

no

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

.

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

.

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

См. также

| | |

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

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

Поддержка