Check Against Reference
Проверяйте, что модель сигнализирует об опорном сигнале дорожек в процессе моделирования
- Библиотека:
Simulink Design Optimization / Model Verification
Simulink Design Optimization / Ограничения Сигнала
Описание
Проверяйте, что сигнал остается в границах допуска опорного сигнала в процессе моделирования.
Если всем границам удовлетворяют, блок ничего не делает.
Если связанному не удовлетворяют, блок утверждает, и предупреждающее сообщение появляется в командном окне MATLAB®. Можно также указать что блок:
Выполните выражение MATLAB.
Остановите симуляцию и подчеркните тот блок.
В процессе моделирования блок может также возвратить логический сигнал утверждения.
Если всем границам удовлетворяют, сигнал верен (
1).Если связанному не удовлетворяют, сигнал является ложным (
0).
Можно добавить блоки Check Against Reference на нескольких сигналах проверять, что они отслеживают опорные сигналы.
Можно также построить опорный сигнал на графике временной зависимости, чтобы графически проверить отслеживание сигнала.
Этот блок и другие блоки в тесте библиотеки Model Verification, что сигнал остается в заданных границах характеристики временного интервала. Когда модель не нарушает никого связанного, можно отключить блок путем очистки опции утверждения. Если вы изменяете модель, можно повторно позволить утверждению гарантировать, что изменения не заставляют модель нарушать связанное.
Если сигнал не удовлетворяет границам, можно оптимизировать параметры модели, чтобы удовлетворить границам. Если у вас есть программное обеспечение Simulink® Control Design™, можно добавить границы частотного диапазона, такие как Предвещать величина, и оптимизировать ответ модели, чтобы удовлетворить и временному интервалу и требованиям частотного диапазона.
Блок может использоваться во всех режимах симуляции для контроля сигналов, но только в Normal или Accelerator режим симуляции для оптимизации ответа.
Порты
Входной параметр
Вывод
Параметры
Show Plot — Открытое окно графика
button
Используйте график просмотреть:
Характеристики системы и сигналы, вычисленные в процессе моделирования — Нажимают эту кнопку, прежде чем вы симулируете модель, чтобы просмотреть характеристики системы или сигнал.
Можно отобразить дополнительные характеристики, такие как время максимальной чувствительности, путем щелчка правой кнопкой по графику и выбора Characteristics.
Границы — можно задать границы на вкладке Bounds или путем щелчка правой кнопкой по графику и выбора Bounds> New Bound. Для получения дополнительной информации о типах границ можно задать, видеть отдельные страницы с описанием.
Можно изменить границы путем перетаскивания ограниченного сегмента или путем щелчка правой кнопкой по графику и выбора Bounds> Edit Bound. Прежде чем вы симулируете модель, нажмите Update Block, чтобы обновить связанное значение в параметрах блоков.
Типичные задачи, которые вы выполняете в окне графика, включают:
Открытие диалогового окна Block Parameters путем нажатия
или выбора Edit.Нахождение блока, которому окно графика соответствует путем нажатия
или выбора View> Highlight Simulink Block. Это действие делает окно модели активным и подсвечивает блок.Симуляция модели путем нажатия
. Это действие также линеаризует фрагмент модели между заданным вводом и выводом линеаризации.Добавление легенды на графике характеристики линейной системы путем нажатия
.
Show plot on block open — Дважды кликните на блоке, чтобы открыть график
off (значение по умолчанию) | on
Откройте окно графика вместо параметров блоков, когда вы дважды кликнете блок в модели Simulink.
Используйте этот параметр, если вы предпочитаете открывать и выполнять задачи, такие как добавление или изменение границ, в окне графика вместо параметров блоков. Если вы хотите получить доступ к параметрам блоков из окна графика, выберите Edit или нажатие кнопки.
Для получения дополнительной информации о графике смотрите Show plot параметр.
Программируемое использование
Параметр:
LaunchViewOnOpen |
| Ввод: символьный вектор |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Response Optimization — Открытый Response Optimizer
button
Откройте Response Optimizer, чтобы оптимизировать ответ модели, чтобы соответствовать конструктивным требованиям, заданным на вкладке Bounds.
Смотрите также
Вкладка границ
Include reference signal tracking in assertion — Проверяйте тот опорный сигнал дорожек сигнала
on (значение по умолчанию) | off
Проверяйте, что входной сигнал с блоком отслеживает опорный сигнал, заданный в Amplitudes и Times в процессе моделирования. Программное обеспечение выводит предупреждение, если сигнал не отслеживает опорный сигнал.
Когда этот параметр отключен, опорный сигнал отключен, и программное обеспечение прекращает проверять, что входной сигнал отслеживает ссылку в процессе моделирования.
Чтобы просмотреть только опорный сигнал на графике, отключите Enable assertion.
Опорный сигнал появляется на графике временной зависимости, если вы выбираете Show plot, как показано на рисунке.
Зависимости
Чтобы использовать этот параметр, выберите Enable assertion в параметрах блоков. Когда Enable assertion отключен, опорный сигнал не используется для утверждения, но продолжает появляться на графике.
Программируемое использование
Параметр:
EnableReferenceBound
|
| Ввод: символьный вектор |
Значение:
'on' | 'off' |
Значение по умолчанию:
'on' |
Times Временной вектор
linspace(0,10) (значение по умолчанию) | вектор из положительных значений | выражение MATLAB
Временной вектор для опорного сигнала в секундах в виде монотонно увеличивающегося вектора из положительных значений. Можно также задать выражение MATLAB, которое оценивает к вектору. Задайте соответствующие амплитуды с помощью параметра Amplitudes. Вектор Times должен иметь ту же размерность как вектор Amplitudes.
Программируемое использование
Параметр:
ReferenceTimes
|
| Ввод: вектор |
| Значение: вектор из положительных значений | выражение MATLAB |
Значение по умолчанию:
linspace(0,10)
|
Amplitudes — Амплитуда опорного сигнала
1-exp(-linspace(0,10)/2) (значение по умолчанию) | вектор | выражение MATLAB
Амплитуда опорного сигнала в виде действительного и конечного вектора, соответствуя временному вектору задана в Times. Можно также задать выражение MATLAB, которое оценивает к вектору. Вектор Amplitudes должен иметь ту же размерность как вектор Times (seconds).
Программируемое использование
Параметр:
ReferenceAmplitudes
|
| Ввод: вектор |
| Значение: вектор | выражение MATLAB |
Значение по умолчанию:
1-exp(-linspace(0,10)/2)
|
Absolute tolerance — Абсолютная погрешность для сигнала
eps^(1/3) (значение по умолчанию) | положительный действительный скаляр
Абсолютная погрешность раньше определяла границы, когда входной сигнал приближается к опорному сигналу в виде положительного действительного скаляра. В процессе моделирования сигнал должен остаться в верхнем и нижних пределах, соответствующих к опорному сигналу, данному
y u = (1 + RelTol) y r + AbsTol
y l = (1 – RelTol) y r – AbsTol
Здесь:
y r является значением ссылки в определенное время.
y u является связанным соответствием верхнего допуска тому моменту времени.
y l является связанным соответствием более низкого допуска тому моменту времени.
RelTol устанавливает относительную погрешность между входом и амплитудами опорного сигнала на каждом временном шаге. Чтобы установить RelTol, используйте параметр Relative tolerance.
AbsTol устанавливает абсолютную погрешность между входом и амплитудами опорного сигнала на каждом временном шаге. Чтобы установить AbsTol, используйте параметр Absolute tolerance.
Блок утверждает, нарушает ли сигнал эти пределы.
Программируемое использование
Параметр:
AbsTolerance
|
| Ввод: скаляр |
| Значение: положительный действительный скаляр |
Значение по умолчанию:
eps^(1/3)
|
Relative tolerance — Относительная погрешность для сигнала
0.01
Относительная погрешность раньше определяла границы, когда входной сигнал приближается к опорному сигналу в виде положительного действительного скаляра. В процессе моделирования сигнал должен остаться в верхнем и нижних пределах, соответствующих к опорному сигналу, данному
y u = (1 + RelTol) y r + AbsTol
y l = (1 – RelTol) y r – AbsTol
Здесь:
y r является значением ссылки в определенное время.
y u является верхним связанным допуском.
y l является более низким связанным допуском.
RelTol устанавливает относительную погрешность между входом и амплитудами опорного сигнала на каждом временном шаге. Чтобы установить RelTol, используйте параметр Relative tolerance.
AbsTol устанавливает абсолютную погрешность между входом и амплитудами опорного сигнала на каждом временном шаге. Чтобы установить AbsTol, используйте параметр Absolute tolerance.
Блок утверждает, нарушает ли сигнал эти пределы.
Программируемое использование
Параметр:
RelTolerance
|
| Ввод: скаляр |
| Значение: положительный действительный скаляр |
Значение по умолчанию:
0.01
|
Вкладка утверждения
Enable assertion — Включите или отключите проверку
on (значение по умолчанию) | off
Позвольте блоку проверять, что границам, заданным и включенным для утверждения во вкладку Bounds, удовлетворяют в процессе моделирования. Утверждение перестало работать, если связанному не удовлетворяют. Предупреждение, сообщая об отказе утверждения, появляется в подсказке MATLAB.
Если утверждение перестало работать, можно опционально указать что блок:
Выполните выражение MATLAB, заданное в Simulation callback when assertion fails (optional).
Остановите симуляцию и подчеркните тот блок путем выбора Stop simulation when assertion fails.
Этот параметр не оказывает влияния, если вы не задаете границ.
Когда этот параметр отключен, блок больше не проверяет, что заданным границам удовлетворяют. Значок блока также обновляется, чтобы указать, что утверждение отключено.
В модели Simulink, в Параметрах конфигурации, параметр Model Verification block enabling позволяет вам включить или отключить все блоки верификации модели в модели, независимо от установки этой опции в блоке.
Зависимости
Этот параметр включает:
Simulation callback when assertion fails (optional)
Stop simulation when assertion fails
Программируемое использование
Параметр:
enabled |
| Ввод: символьный вектор |
Значение:
'on' | 'off' |
Значение по умолчанию:
'on' |
Simulation callback when assertion fails (optional) — Выражение, чтобы оценить, когда утверждение перестало работать
'' (значение по умолчанию) | выражение MATLAB
Выражение MATLAB, чтобы выполниться, когда утверждение перестало работать.
Поскольку выражение выполнено в рабочем пространстве MATLAB, задайте все переменные, используемые в выражении в той рабочей области.
Зависимости
Чтобы включить этот параметр, выберите Enable assertion.
Программируемое использование
Параметр:
callback |
| Ввод: символьный вектор |
| Значение: Выражение MATLAB |
Значение по умолчанию:
'' |
Stop simulation when assertion fails — Остановите симуляцию, когда утверждение перестанет работать
off (значение по умолчанию) | on
Остановите симуляцию, когда связанное, заданное на вкладке Bounds, нарушено в процессе моделирования, то есть, когда утверждение перестало работать.
Если при запуске симуляцию от окна модели Simulink, окно Simulation Diagnostics открывается, чтобы отобразить сообщение об ошибке. Блок, где связанное нарушение происходит, подсвечен в модели.
Поскольку выбор этой опции останавливает симуляцию, как только утверждение перестало работать, об отказах утверждения, которые могут произойти позже во время симуляции, не сообщают. Если вы хотите, чтобы все отказы утверждения были сообщены, не выбирайте эту опцию.
Зависимости
Чтобы включить этот параметр, выберите Enable assertion.
Программируемое использование
Параметр:
stopWhenAssertionFail |
| Ввод: символьный вектор |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Output assertion signal — Создайте выходной сигнал
off (значение по умолчанию) | on
Выведите булев сигнал, который, на каждом временном шаге:
Верный (
1) если утверждение успешно выполняется, то есть, всем границам удовлетворяютЛожь (
0) если утверждение перестало работать, то есть, связанное нарушено.
Тип данных выходного сигнала является булевской переменной, только если, в модели Simulink, в Параметрах конфигурации, параметр Implement logic signals as Boolean data выбран. В противном случае тип данных выходного сигнала является двойным.
Выбор этого параметра добавляет выходной порт в блок, который можно соединить с любым блоком в модели.
Используйте этот параметр, чтобы спроектировать комплексную логику утверждения. Для примера смотрите, Проверяют Модель Используя Simulink Control Design и Блоки Верификации Simulink (Simulink Control Design).
Программируемое использование
Параметр:
export |
| Ввод: символьный вектор |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |