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