Выберите, ограничить ли переменные в блоках 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