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