Exponenta Banner

Assertion

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

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

  • Simulink/Верификация модели

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

  • Assertion block

Описание

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

Порты

Вход

расширить все

Входной сигнал для проверки типа «assertion».

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

Параметры

расширить все

Очистка этого параметра отключает блок и заставляет модель вести себя так, как если бы блок не существовал. Чтобы включить или отключить все блоки верификации, независимо от настройки этой опции, перейдите в окно Параметры Конфигурации, нажмите 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 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

.

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

См. также

| | |

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

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

Поддержка