Выберите, как обработать значения настраиваемого параметра во время анализа. Обработайте значения или как константы или как область значений значений.
Категория параметров конфигурации модели: Polyspace
Значение по умолчанию: Use calibration data
Use calibration dataАнализ принимает постоянные значения для настраиваемых параметров. Используйте это значение, чтобы запустить контекстный анализ. Эта опция может сократить количество оранжевых результатов.
Use specified minimum and maximum valuesАнализ принимает область значений значений для переменных настраиваемого параметра. Задайте максимальные и минимальные значения в модели. Используйте эту опцию, чтобы запустить устойчивый анализ, который включает значения вне ожидаемого значения параметров.
Используйте pslinkoptions свойство ParamRangeMode.
pslinkoptions функция позволяет вам создавать Polyspace®, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать set_param (Simulink) функция, чтобы сопоставить это свойство с моделью. Используйте параметр PSParamRangeMode с тем же значением что касается pslinkoptions свойство ParamRangeMode. См. pslinkoptions Свойства.
pslinkoptions | Свойства pslinkoptions