Assertion

Проверяйте, является ли сигнал нулем

  • Библиотека:
  • Simulink / Model Verification

    HDL Coder / Model Verification

  • Assertion block

Описание

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

Порты

Входной параметр

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

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

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

Параметры

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

Очистка этого параметра отключает блок и заставляет модель вести себя, как будто блок не существует. Чтобы включить или отключить все блоки верификации, независимо от установки этой опции, переходят к окну Configuration Parameters, нажимают Diagnostics > Data Validity, расширяют раздел Advanced parameters и устанавливают Model Verification block enabling на Enable all или Disable all.

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

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

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

Зависимости

Чтобы включить этот параметр, выберите параметр Enable assertion.

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

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

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

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

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

Задайте шаг расчета как значение кроме-1. Для получения дополнительной информации см. Настройку времени выборки.

Зависимости

Этот параметр не отображается, если он явным образом не установлен в значение кроме -1. Чтобы узнать больше, смотрите Блоки, для Которых Не Рекомендуется Шаг расчета.

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

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

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

Temperature Control System Communicating with Messages

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

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

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

Типы данных

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

Прямое сквозное соединение

no

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

yes

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

no

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

no

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

Генерация кода PLC
Сгенерируйте код Структурированного текста с помощью Simulink® PLC Coder™.

Преобразование фиксированной точки
Спроектируйте и симулируйте системы фиксированной точки с помощью Fixed-Point Designer™.

Представлено до R2006a
Для просмотра документации необходимо авторизоваться на сайте