Проверяйте по ссылке

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

Библиотека

Simulink Design Optimization

Описание

Проверяйте, что сигнал остается в границах допуска ссылочного сигнала во время симуляции:

  • Если все границы удовлетворены, блок ничего не делает.

  • Если связанное не удовлетворено, блок утверждает, и предупреждающее сообщение появляется в подсказке MATLAB®. Можно также указать что блок:

    • Выполните выражение MATLAB.

    • Остановите симуляцию и подчеркните тот блок.

Во время симуляции блок может также вывести логический сигнал утверждения:

  • Если все границы удовлетворены, сигнал верен (1).

  • Если связанное не удовлетворено, сигнал ложный (0).

Можно добавить Проверку По сравнению со Ссылочными блоками на нескольких сигналах проверять, что они отслеживают ссылочные сигналы.

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

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

Если сигнал не удовлетворяет границы, можно оптимизировать параметры модели, чтобы удовлетворить границы. Если у вас есть программное обеспечение Simulink® Control Design™, можно добавить границы частотного диапазона те, которые Предвещают значение и оптимизируют образцовый ответ, чтобы удовлетворить и время - и требования частотного диапазона.

Блок может использоваться во всех режимах симуляции для контроля сигнала, но только в Normal или режиме симуляции Accelerator для оптимизации ответа.

Параметры

ЗадачаПараметры

Задайте ссылочный сигнал к:

  • Утверждайте, что сигнал отслеживает ссылку

  • Оптимизируйте образцовый ответ так, чтобы сигнал отследил ссылку

Include reference signal tracking in assertion во вкладке Bounds.
Задайте опции утверждения (только, когда вы зададите ссылку на дорожку).

Во вкладке Assertion:

Открытый инструмент Response Optimization, чтобы оптимизировать образцовый ответНажмите Response Optimization
Постройте ссылочный сигналНажмите Show Plot.
Отобразите окно графика вместо диалогового окна Block Parameters при двойном клике по блоку.Show plot on block open

Включайте ссылочное отслеживание сигнала в утверждение

Проверяйте, что сигнал не отслеживает ссылочный сигнал, заданный во Времена (секунды) и Амплитуды во время симуляции.

Программное обеспечение выводит предупреждение, если сигнал не отслеживает ссылочный сигнал.

Этот параметр используется, только если Enable assertion во вкладке Assertion выбран.

Ссылочный сигнал также появляется на графике временной зависимости, если вы нажимаете Show Plot, как показано в следующей фигуре.

Если вы очищаете Enable assertion, границы не используются для утверждения, но продолжают появляться на графике.

Настройки

Значение по умолчанию: на

На

Проверяйте, что сигнал отслеживает заданный ссылочный сигнал во время симуляции.

'off'

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

Советы

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

  • Чтобы только просмотреть границы на графике, очистите Enable assertion.

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

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

Времена (секунды)

Временной вектор для ссылочного сигнала. Задайте соответствующие амплитуды в Амплитудах.

Настройки

Значение по умолчанию: linspace(0,10)

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

Параметр: ReferenceTimes
Ввод: символьный вектор
Значение: linspace(0,10) | vector of positive values of the same dimension as the amplitude vector |
Значение по умолчанию: linspace(0,10)

Амплитуды

Амплитуда ссылочного сигнала, соответствующего временному вектору, задана во Времена (секунды).

Настройки

Значение по умолчанию: 1-exp(-linspace(0,10)/2)

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

Параметр: ReferenceAmplitudes
Ввод: символьный вектор
Значение: 1-exp(-linspace(0,10)/2) | vector of integers of the same dimension as the time vector
Значение по умолчанию: 1-exp(-linspace(0,10)/2)

Абсолютный допуск

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

Во время симуляции сигнал должен остаться в верхнем и нижних пределах, соответствующих к ссылочному сигналу, данному:

y u = (1 + RelTol) y r + AbsTol

y l = (1 –RelTol) y rAbsTol

где y r является значением ссылки в определенное время, y u и y l являются верхними и более низкими границами допуска, соответствующими тому моменту времени.

Блок утверждает, нарушает ли сигнал эти пределы.

Настройки

Значение по умолчанию: eps^(1/3)

Минимум: 0

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

Параметр: AbsTolerance
Ввод: символьный вектор
Значение: eps^(1/3) | positive real scalar
Значение по умолчанию: eps^(1/3)

Относительный допуск

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

Во время симуляции сигнал должен остаться в верхнем и нижних пределах, соответствующих к ссылочному сигналу, данному:

y u = (1 + RelTol) y r + AbsTol

y l = (1 — RelTol) y rAbsTol

где y r является значением ссылки в определенное время, y u и y l являются верхними и более низкими границами допуска, соответствующими тому моменту времени.

Блок утверждает, нарушает ли сигнал эти пределы.

Настройки

Значение по умолчанию: 0.01

Минимум: 0

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

Параметр: RelTolerance
Ввод: символьный вектор
Значение: 0.01 | positive real scalar
Значение по умолчанию: 0.01

Включите утверждение

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

Если утверждение перестало работать, можно опционально указать что блок:

Этот параметр не имеет никакого эффекта, если вы не задаете границ.

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

В модели Simulink, в диалоговом окне Configuration Parameters, параметр Model Verification block enabling позволяет вам, чтобы включить или отключить все образцовые блоки верификации в модели, независимо от установки этой опции в блоке.

Настройки

Значение по умолчанию: на

На

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

'off'

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

Зависимости

Этот параметр включает:

  • Simulation callback when assertion fails (optional)

  • Stop simulation when assertion fails

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

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

Коллбэк симуляции, когда утверждение перестало работать (дополнительный)

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

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

Настройки

Значение по умолчанию: []

Выражение MATLAB.

Зависимости

Enable assertion включает этот параметр.

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

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

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

Остановите симуляцию, когда связанное, заданное во вкладке Bounds, будет нарушено во время симуляции, т.е. сбоев утверждения.

Если при запуске симуляцию от окна модели Simulink, окно Simulation Diagnostics открывается, чтобы отобразить сообщение об ошибке. Блок, где связанное нарушение происходит, подсвечен в модели.

Настройки

Значение по умолчанию: 'off'

На

Остановите симуляцию, если связанное, заданное во вкладке Bounds, нарушено.

'off'

Продолжите симуляцию, если связанное нарушено, и произведите предупреждающее сообщение в посдказке MATLAB.

Советы

  • Поскольку выбор этой опции останавливает симуляцию, как только утверждение перестало работать, об отказах утверждения, которые могут произойти позже во время симуляции, не сообщают. Если вы хотите, чтобы все отказы утверждения были сообщены, не выбирайте эту опцию.

Зависимости

Enable assertion включает этот параметр.

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

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

Выведите сигнал утверждения

Выведите булев сигнал, который, на каждом временном шаге:

  • Верный (1), если утверждение успешно выполняется, т.е. все границы, удовлетворены

  • Ложь (0), если утверждение перестало работать, т.е. связанное, нарушена.

Тип данных выходного сигнала является булевской переменной, только если, в модели Simulink, в диалоговом окне Configuration Parameters, параметр Implement logic signals as Boolean data выбран. В противном случае тип данных выходного сигнала является двойным.

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

Настройки

Дефолт:офф

На

Выведите булев сигнал указать на состояние утверждения. Добавляет порт к блоку.

'off'

Не выводите булев сигнал указать на состояние утверждения.

Советы

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

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

Покажите график на открытом блоке

Откройте окно графика вместо диалогового окна Block Parameters, когда вы дважды кликнете блок в модели Simulink.

Используйте этот параметр, если вы предпочитаете открывать и выполнять задачи, такие как добавление или изменение границ, в окне графика вместо диалогового окна Block Parameters. Если вы хотите получить доступ к параметрам блоков из окна графика, выберите Edit или нажатие кнопки.

Для получения дополнительной информации о графике смотрите Show Plot.

Настройки

Значение по умолчанию: 'off'

На

Откройте окно графика, когда вы дважды кликнете блок.

'off'

Откройте диалоговое окно Block Parameters при двойном клике по блоку.

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

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

Покажите график

Откройте окно графика.

Используйте график просмотреть:

  • Характеристики системы и сигналы вычисляются во время симуляции

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

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

  • Границы

    Можно задать границы во вкладке Bounds диалогового окна Block Parameters или щелкнуть правой кнопкой по графику и выбрать Bounds> New Bound. Для получения дополнительной информации о типах границ можно задать, видеть отдельные страницы с описанием.

    Можно изменить границы путем перетаскивания ограниченного сегмента или путем щелчка правой кнопкой по графику и выбора Bounds> Edit Bound. Прежде чем вы моделируете модель, нажмите Update Block, чтобы обновить связанное значение в параметрах блоков.

Типичные задачи, которые вы выполняете в окне графика, включают:

  • Открытие диалогового окна Block Parameters путем нажатия или выбора Edit.

  • Нахождение блока, которому окно графика соответствует путем нажатия или выбора View> Highlight Simulink Block. Это действие делает окно модели активным и подсвечивает блок.

  • Симуляция модели путем нажатия или выбора Simulation> Start. Это действие также линеаризует фрагмент модели между заданным вводом и выводом линеаризации.

  • Добавление легенды на графике характеристики линейной системы путем нажатия.

Оптимизация ответа

Откройте инструмент Response Optimization, чтобы оптимизировать образцовый ответ, чтобы соответствовать конструктивным требованиям, заданным во вкладке Bounds.

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

Представленный в R2011b

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