Программное обеспечение Simulink® Control Design™ обеспечивает блоки верификации модели, чтобы контролировать время - и характеристики частотного диапазона линейной системы, вычисленной из нелинейной модели Simulink в процессе моделирования.
Используйте эти блоки для:
Проверьте, что характеристики линейной системы любой нелинейной модели Simulink, включая следующее, остаются в заданных границах в процессе моделирования:
Непрерывный - или модели дискретного времени
Многоскоростные модели
Модели с задержками, представленное использование точная задержка или приближение Padé
Дискретизированные линейные модели вычисляются из моделей непрерывного времени
Модели непрерывного времени вычисляются из моделей дискретного времени
Передискретизируемые модели дискретного времени
Линейная система может быть Одно Входом Одно Выходом (SISO) или Мультивходом мультивыходом (MIMO).
Просмотрите заданные границы и связанные нарушения на линейных графиках для анализа.
Эти блоки - то же самое как Линейные блоки Графиков для анализа за исключением различных настроек по умолчанию связанных параметров.
Сохраните вычисленную линейную систему в рабочую область MATLAB®.
Блоки верификации утверждают, когда характеристика линейной системы не удовлетворяет заданному, связанному, т.е. сбои утверждения. Предупреждающее сообщение, сообщая об отказе утверждения, появляется в посдказке MATLAB. Когда утверждение перестало работать, вы можете:
Остановите симуляцию и подчеркните тот блок.
Выполните выражение MATLAB.
Можно использовать эти блоки с блоками верификации модели Simulink, чтобы спроектировать сложную логику для утверждения. Для примера смотрите, Проверяют Модель Используя Simulink Control Design и Блоки Верификации Simulink.
Можно использовать инструмент Verification Manager в Signal Builder, чтобы создать тесты симуляции для модели. Для примера смотрите Характеристики Частотного диапазона Проверки Самолета.
Эти блоки не поддерживают генерацию кода и могут только использоваться в Normal режим симуляции.