Exponenta Banner
exponenta event banner

Утверждение

Проверьте, равен ли сигнал нулю

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

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

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

  • Assertion block

Описание

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

Порты

Вход

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

Входной сигнал на проверку утверждения.

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

Параметры

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

Удаление этого параметра отключает блок и приводит к тому, что модель ведет себя так, как если бы блок не существовал. Чтобы включить или отключить все блоки проверки, независимо от настройки этой опции, перейдите в окно Параметры конфигурации, щелкните Диагностика > Валидность данных, разверните раздел Дополнительные параметры и установите блок Проверка модели, позволяющий Enable all или Disable all.

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

Параметр: enabled
Текст: символьный вектор
Значения: 'on' | 'off'
По умолчанию: 'on'

Укажите выражение MATLAB ® для вычисления при сбое утверждения. Поскольку выражение вычисляется в рабочей области MATLAB, определите все переменные, используемые в выражении в этой рабочей области.

Зависимости

Чтобы включить этот параметр, выберите параметр Включить утверждение.

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

Параметр: callback
Текст: символьный вектор
Значения: выражение MATLAB
По умолчанию: ''

Выберите этот параметр, чтобы остановить моделирование при сбое проверки. Снимите этот параметр, чтобы вывести предупреждение и продолжить моделирование.

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

Параметр: stopWhenAssertionFail
Текст: символьный вектор
Значения: 'on' | 'off'
По умолчанию: 'on'

Укажите время выборки в качестве значения, отличного от -1. Дополнительные сведения см. в разделе Указание времени образца.

Зависимости

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

Программное использование

Параметр блока: SampleTime
Текст: символьный вектор
Значения: скаляр или вектор
По умолчанию: '-1'

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

Temperature Control System Communicating with Messages

Система контроля температуры, взаимодействующая с сообщениями

Использовать обмен сообщениями в распределенной системе, где контроллер управляет множеством входящих сообщений от разных отправителей итеративным способом и посылает сообщения для передачи команд различным приемникам. В примере используется модель системы управления температурами в двух разных помещениях с отдельными термостатами. Алгоритмическое моделирование компонентов в основном следует примеру Stateflow Model Bang-Bang Temperature Control System (Stateflow), в то время как связь между компонентами моделируется с использованием сообщений Simulink ® и блоков SimEvents ®. Ссылочные модели Controller и Thermometer, окрашенные в синий цвет, являются программными компонентами, которые должны генерировать автономный код, в то время как другие компоненты моделируют среду.

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

Типы данных

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

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

no

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

yes

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

no

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

no

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

.

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

.

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

См. также

| | |

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

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

Поддержка