Сертифицированные расширяемые добавления для неопределенных неопределённых систем
arXiv: 2610.11660v1 Аннонс Тип: перекрестное резюме: Главная проблема в неопределенных моделях с ограниченной степенью неопределенности, например при нелинейной конструкции и оценке, заключается в сертификации наборов решений. Методологии обычных решений, такие как методологии Ньютона или количественное определение неопределенности на основе выборки, либо не применимы из-за недостаточно определенного характера, либо они не дают гарантий того, что все решения были найдены, если предположить их совпадение. Мы рассматривали этот вопрос в связи с проблемой, которая возникает при нелинейном дизайне, где предписывается мишень в устойчивом состоянии и должны быть найдены параметры. Мы разработали метод трапезоидной линейности, который строго сочетает все решения и комбинирует их с вращающимся методом линейного программирования для расчета границ компонента. Мы показали, что семьи линейных программ могут итеративно совпадать с зоной первоначальных параметров. Разделение целевого состояния и области первоначальных параметров может улучшиться