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