Квадратные характеристики для анализа доступности нейронных сетей

arXiv: 2605.20482v2 Аннонс Тип: заменить резюме: квадрические ограничения (КК) широко используются для характеристики нелинейности и неопределенностей, однако общие аналитические характеристики могут быть консервативными в отношении ограниченных областей. В настоящем документе разработана основа для построения проверенных квадратных характеристик скалярных отношений в двухмерной реальной плоскости. Потенциальное квадратное неравенство возникает на местном уровне благодаря решению выпуклых квадрических программ с использованием образцов из соотношений и внешних точек. Затем они проверяются на глобальном уровне с использованием свидетельств в сумме квадратов по точному полуалгебраическому описанию или, если речь идет о неполиномических отношениях, по сравнению со расслабленными полиномическими описаниями. Проверенные в результате этого ограничения определяют чрезмерное приближение скалярных отношений над рассматриваемыми областями. Эти ограничения непосредственно совместимы с существующими аналитическими системами, основанными на ОК и ориентационных комплексных квадратических ограничениях (ИК) для статических нелинейных характеристик и