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