Установка для поведения параметра по умолчанию значения Inlined на панели Оптимизация (Optimization) диалогового окна Параметры конфигурации (Configuration Parameters) оптимизирует модели Simulink ® путем преобразования настраиваемых параметров в постоянные значения. Например, предположим, что имеется блок усиления, параметр усиления которого имеет значениеa, где a определяется в рабочем пространстве модели. Во время создания кода Simulink преобразует этот параметр Gain в постоянное значение, как определено в рабочей области.
Когда Simulink Design Verifier™ переводит модель, он преобразует все настраиваемые параметры в модели в постоянные значения, даже если для параметра Поведение по умолчанию (Default parameter behavior) задано значение Tunable.
Чтобы настроить параметры для анализа, определите значения параметров в файле конфигурации параметров и укажите этот файл на панели Параметры конфигурации (Configuration Parameters) > Проверка конструкции (Design Verifier) > Параметры (Parameters), чтобы применить эти значения параметров во время анализа. Например, для ограничения значений параметра Gain a до целых значений от 4 до 10, в файле конфигурации параметров укажите следующее:
params.a = int8([4 10]);
Анализ генерирует указанные значения и возвращает результаты для этих значений.
Дополнительные сведения о задании параметров во время анализа Simulink Design Verifier см. в разделе Определение значений ограничений для параметров.