Проверка дискретного градиента

Проверить, что абсолютное значение разности между последовательными выборками дискретного сигнала меньше заданного

Библиотека:
Проверка Simulink/модели
Кодер HDL/верификация модели

Описание

Блок проверки дискретного градиента проверяет каждый элемент сигнала и определяет, меньше ли абсолютное значение разности между последовательными значениями элемента, чем заданное значение. Затем блок выполняет утверждение после сравнения. Можно указать значение градиента (1 по умолчанию) путем настройки параметра «Максимальный градиент». Если разность входных сигналов меньше абсолютного значения максимального градиента, то утверждается, что true (1) и блок ничего не делает. Если нет, блок останавливает моделирование и по умолчанию возвращает сообщение об ошибке.

Примечание

Для выполнения моделирования для блока «Проверка дискретного градиента» требуется дискретный решатель с фиксированным шагом. Если выбран другой решатель, выводится сообщение об ошибке.

Порты

Вход

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

`Port_1` - Входной сигнал проверен по градиенту
скаляр | вектор | матрица

Входной сигнал блок проверяет, не меньше ли разность каждого элемента между последовательными выборками абсолютного значения параметра Максимальный градиент.

Продукция

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

`Port_1` - Выходной сигнал подтверждения
скаляр

Выходной сигнал, который является 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

Параметры

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

`Maximum gradient` - Максимальное значение допустимых разниц
`1` (по умолчанию) | скаляр

Укажите значение допустимого градиента входного сигнала.

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

Параметр: gradient

Текст: символьный вектор

Значения: вещественный скаляр

По умолчанию: '1'

`Enable assertion` - Включить или отключить проверку
`on` (по умолчанию) | `off`

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

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

Параметр: enabled

Текст: символьный вектор

Значения: 'on' | 'off'

По умолчанию: 'on'

`Simulation callback when assertion fails (optional)` - Выражение, вычисляемое при сбое утверждения
`''` (по умолчанию) | выражение MATLAB

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

Зависимости

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

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

Параметр: callback

Текст: символьный вектор

Значения: выражение MATLAB

По умолчанию: ''

`Stop simulation when assertion fails` - Следует ли останавливать моделирование при сбое проверки
`on` (по умолчанию) | `off`

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

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

Параметр: stopWhenAssertionFail

Текст: символьный вектор

Значения: 'on' | 'off'

По умолчанию: 'on'

`Output assertion signal` - Создать выходной сигнал
`off` (по умолчанию) | `on`

Выберите этот параметр для активизации выходного порта.

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

Параметр: export

Текст: символьный вектор

Значения: 'on' | 'off'

По умолчанию: 'off'

`Select icon type` - Выберите тип значка
`graphic` (по умолчанию) | `text`

Укажите стиль значка блока. graphic отображает графическое представление условия утверждения на значке. text отображает математическое выражение, представляющее условие утверждения.

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

Параметр: icon

Текст: символьный вектор

Значения: 'graphic' | 'text'

По умолчанию: 'graphic'

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

Check Signal Slope with Check Discrete Gradient Block

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

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

Открыть модель

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

Типы данных	`double` \| `fixed point` \| `integer` \| `single`
Прямой проход	`no`
Многомерные сигналы	`yes`
Сигналы переменного размера	`no`
Обнаружение пересечения нулей	`no`

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

Создание кода C/C + +
Создайте код C и C++ с помощью Simulink ® Coder™

Сведения о том, как созданный Simulink ® Coder™ код обрабатывает блоки проверки модели, см. в разделе Настройка модели для отладки (Simulink Coder).

Не рекомендуется для производственного кода.

Создание кода HDL
Создание кода Verilog и VHDL для проектов FPGA и ASIC с использованием Coder™ HDL.

HDL Coder™ предоставляет дополнительные опции конфигурации, которые влияют на реализацию HDL и синтезированную логику.

Архитектура HDL

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

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

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

См. также

Проверка динамического зазора | Проверить динамический диапазон

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

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

Проверка дискретного градиента

Описание

Порты

Вход

`Port_1` - Входной сигнал проверен по градиенту
скаляр | вектор | матрица

Продукция

`Port_1` - Выходной сигнал подтверждения
скаляр

Зависимости

Параметры

`Maximum gradient` - Максимальное значение допустимых разниц
`1` (по умолчанию) | скаляр

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

`Enable assertion` - Включить или отключить проверку
`on` (по умолчанию) | `off`

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

`Simulation callback when assertion fails (optional)` - Выражение, вычисляемое при сбое утверждения
`''` (по умолчанию) | выражение MATLAB

Зависимости

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

`Stop simulation when assertion fails` - Следует ли останавливать моделирование при сбое проверки
`on` (по умолчанию) | `off`

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

`Output assertion signal` - Создать выходной сигнал
`off` (по умолчанию) | `on`

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

`Select icon type` - Выберите тип значка
`graphic` (по умолчанию) | `text`

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

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

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

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

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

Создание кода C/C + +
Создайте код C и C++ с помощью Simulink ® Coder™

Создание кода HDL
Создание кода Verilog и VHDL для проектов FPGA и ASIC с использованием Coder™ HDL.

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

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

См. также

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

Поддержка

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

Проверка дискретного градиента

Описание

Порты

Вход

Port_1 - Входной сигнал проверен по градиенту скаляр | вектор | матрица

Продукция

Port_1 - Выходной сигнал подтверждения скаляр

Зависимости

Параметры

Maximum gradient - Максимальное значение допустимых разниц 1 (по умолчанию) | скаляр

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

Enable assertion - Включить или отключить проверку on (по умолчанию) | off

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

Simulation callback when assertion fails (optional) - Выражение, вычисляемое при сбое утверждения '' (по умолчанию) | выражение MATLAB

Зависимости

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

Stop simulation when assertion fails - Следует ли останавливать моделирование при сбое проверки on (по умолчанию) | off

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

Output assertion signal - Создать выходной сигнал off (по умолчанию) | on

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

Select icon type - Выберите тип значка graphic (по умолчанию) | text

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

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

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

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

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

Создание кода C/C + + Создайте код C и C++ с помощью Simulink ® Coder™

Создание кода HDL Создание кода Verilog и VHDL для проектов FPGA и ASIC с использованием Coder™ HDL.

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

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

См. также

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

Поддержка

`Port_1` - Входной сигнал проверен по градиенту
скаляр | вектор | матрица

`Port_1` - Выходной сигнал подтверждения
скаляр

`Maximum gradient` - Максимальное значение допустимых разниц
`1` (по умолчанию) | скаляр

`Enable assertion` - Включить или отключить проверку
`on` (по умолчанию) | `off`

`Simulation callback when assertion fails (optional)` - Выражение, вычисляемое при сбое утверждения
`''` (по умолчанию) | выражение MATLAB

`Stop simulation when assertion fails` - Следует ли останавливать моделирование при сбое проверки
`on` (по умолчанию) | `off`

`Output assertion signal` - Создать выходной сигнал
`off` (по умолчанию) | `on`

`Select icon type` - Выберите тип значка
`graphic` (по умолчанию) | `text`

Создание кода C/C + +
Создайте код C и C++ с помощью Simulink ® Coder™

Создание кода HDL
Создание кода Verilog и VHDL для проектов FPGA и ASIC с использованием Coder™ HDL.

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

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