Проверяйте, что сигналы модели опорного сигнала во время симуляции
Оптимизация проекта Simulink/верификация модели
Оптимизация проекта Simulink/Ограничения сигнала
Проверяйте, что сигнал остается в пределах допуска границ опорного сигнала во время симуляции.
Если сигнал удовлетворяет всем границам, блок ничего не делает.
Если сигнал не удовлетворяет границам, в MATLAB появляется предупреждающее сообщение® командное окно. Можно также задать, что блок:
Вычислите выражение MATLAB.
Остановите симуляцию и верните сообщение об ошибке.
Во время симуляции блок может также вернуть логический сигнал утверждения.
Если сигнал удовлетворяет всем границам, сигнал утверждения равен true (1).
Если сигнал не удовлетворяет границе, сигнал утверждения является ложным (0).
Можно добавить Check Against Reference блоки к нескольким сигналам, чтобы проверить, что они отслеживают опорные сигналы. Можно также построить график опорного сигнала на временном графике, чтобы графически проверить отслеживание сигнала.
Этот блок и другие блоки в библиотеке Верификации модели проверяют, что сигнал остается в пределах заданных границ характеристики временной области. Когда модель не нарушает никаких ограничений, можно отключить блок, очистив опцию assertion. Если вы изменяете модель, можно повторно включить проверку типа «assertion», чтобы убедиться, что ваши изменения не заставляют модель нарушать границу.
Если сигнал не удовлетворяет границам, можно оптимизировать параметры модели, чтобы удовлетворить границам. Если у вас есть Simulink® Программное обеспечение Control Design™, можно добавить границы частотного диапазона, такие как величина Боде, и оптимизировать ответ модели, чтобы удовлетворить как требования временной области, так и требования частотного диапазона.
Блок может использоваться во всех режимах симуляции для контроля сигналов, но только в Normal или Accelerator режим симуляции для оптимизации отклика.
Show Plot - Открытие окна графикаbuttonИспользуйте график, чтобы просмотреть следующее.
Характеристики системы и сигналы, вычисленные во время симуляции - Нажмите эту кнопку, прежде чем моделировать модель, чтобы просмотреть характеристики системы или сигнал.
Можно отобразить дополнительные характеристики, такие как время максимальной чувствительности, щелкнув правой кнопкой мыши график и выбрав Characteristics.
Границы - можно задать границы на вкладке Bounds или щелчком правой кнопкой мыши на графике и выбором Bounds > New Bound.
Можно изменить границы путем перетаскивания связанного сегмента или щелчка правой кнопкой мыши по графику и выбора Bounds > Edit Bound. Прежде чем моделировать модель, нажмите Update Block, чтобы обновить связанное значение в параметрах блоков.
Типичные задачи, которые вы выполняете в окне вывода на график, включают:
Для открытия диалогового окна Параметров блоков щелкните
или выберите Edit.
Найдите блок, которому соответствует окно вывода на график, нажав
или выбрав View > Highlight Simulink Block. Это действие делает окно модели активным и подсвечивает блок.
Симуляция модели щелчком мыши. 
Это действие также линеаризирует фрагмент модели между заданным входом линеаризации и выходом.
Добавление легенды на график характеристики линейной системы щелчком мыши.
Show plot on block open - Дважды кликните блок, чтобы открыть графикoff (по умолчанию) | onОткройте окно plot вместо параметров блоков, когда вы дважды кликнете блок в модели Simulink.
Используйте этот параметр, если вы предпочитаете открывать и выполнять задачи, такие как добавление или изменение границ, в окне plot вместо параметров блоков. Если вы хотите получить доступ к параметрам блоков из окна графика, выберите Edit или нажмите.
Для получения дополнительной информации о графике смотрите параметр Show plot.
Параметр:
LaunchViewOnOpen |
| Тип: Вектор символов |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Response Optimization - Оптимизатор открытого откликаbuttonОткройте Response Optimizer, чтобы оптимизировать реакцию модели проекта чтобы соответствовать требованиям, заданным на вкладке Bounds.
Include reference signal tracking in assertion - Проверить, что сигнал отслеживает уставкуon (по умолчанию) | offПроверяйте, что входной сигнал в блок отслеживает опорные сигналы, указанные в Amplitudes и Times во время симуляции. Программное обеспечение отображает предупреждение, если сигнал не отслеживает опорного сигнала.
Когда вы отключаете этот параметр, программное обеспечение перестает проверять, чтобы входной сигнал отслеживал ссылку во время симуляции.
Чтобы просмотреть только опорный сигнал на графике, отключите Enable assertion.
Это опорный сигнал появляется на временном графике, если вы выбираете Show plot, как показано на рисунке.
Чтобы использовать этот параметр, выберите Enable assertion в параметрах блоков. Когда Enable assertion отключена, программа не использует опорного сигнала для проверки типа «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, выполняются во время симуляции. Ошибка проверки типа «assertion», если граница не удовлетворена. Предупреждение, сообщающее о отказе утверждения, появляется в подсказку MATLAB.
Если установка прекращается, можно опционально задать, что блок:
Выполните выражение MATLAB, указанное в Simulation callback when assertion fails (optional).
Остановите симуляцию и верните сообщение об ошибке, выбрав Stop simulation when assertion fails.
Этот параметр не влияет, если вы не задаете никаких границ.
Когда вы отключаете этот параметр, блок больше не проверяет, чтобы входной сигнал удовлетворял заданным границам. Значок блока также обновляется, чтобы указать, что установка отключена.
В модели Simulink, в Параметрах конфигурации, параметр Model Verification block enabling позволяет включать или отключать все блоки верификации модели в модели, независимо от настройки этой опции в блоке.
Параметр:
enabled |
| Тип: Вектор символов |
Значение:
'on' | 'off' |
По умолчанию:
'on' |
Simulation callback when assertion fails (optional) - Выражение, которое вычисляется, когда утверждение не удается'' (по умолчанию) | выражение MATLABВыражение MATLAB, выполняемое в случае непрохождения проверки типа «assertion».
Поскольку выражение оценивается в рабочем пространстве 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Выводит логический сигнал, который на каждом временном шаге:
True (1) если утверждение успешно, то есть входной сигнал удовлетворяет всем границам
Ложный (0) если утверждение прекращается, то есть входной сигнал нарушает ограничение
Тип данных выходного сигнала по умолчанию двойной. Чтобы задать тип выходных данных как Boolean для всех блоков, которые генерируют логические сигналы в вашей модели Simulink, выберите Реализуйте логические сигналы как Логические данные в Параметрах конфигурации.
Выбор этого параметра добавляет к блоку выхода порт, который можно соединить с любым блоком в модели.
Используйте этот параметр для разработки сложной логики утверждения. Для получения примера смотрите Проверьте модель используя Simulink Control Design и Блоки верификации Simulink (Simulink Control Design).
Параметр:
export |
| Тип: Вектор символов |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
