Deutsch

SONIC ist ein neuer verifizierender nichtlinearer Gleichungslöser und Optimierer. Zunächst nur als Hilfsmittel für das Design von dynamischen Systemen implementiert, entwickelte sich SONIC im Laufe der Zeit zu einem effizienten Löser für (beliebige) nichtlineare Systeme. Da SONIC mit verschiedenen Intervall-Bibliotheken gekoppelt werden kann, wird eine optimierte Performance mit einem hohen Grad an Portabilität erreicht. In dieser Arbeit werden neue effiziente Methoden für die verifizierte Lösung von nichtlinearen Gleichungssystemen und eine Reihe von Weiterentwicklungen bekannter Techniken vorgestellt. Besondere Fortschritte konnten dabei auf den folgenden Gebieten gemacht werden: optimale LP-Präkonditionierer, erweitertes Newton-Verfahren, hierarchischer Ansatz mit integriertem hybriden Newton-Verfahren (plus Bewährungsprinzip) und eine neue hybride Bisektionsstrategie. Die effiziente Behandlung nicht-totaler Funktionen in SONIC ermöglicht es, dass nichtlineare Probleme aus der Prozesstechnik erstmals gelöst werden können, während etablierte Tools scheitern. Neben dem seriellen Code stehen auch effiziente parallele Versionen von SONIC für Rechner mit gemeinsamem (OpenMP) und mit verteiltem Speicher (MPI) zur Verfügung.

English

SONIC is a new rigorous nonlinear solver and constrained optimizer based on interval computations. Having been developed primarily to support the parametrically robust design of dynamic systems, SONIC can also be used to solve nonlinear problems arising in other application areas. Since its high-level solvers can be coupled with several different basic interval libraries, it can achieve optimized performance while maintaining a high degree of portability. This work focuses on presenting new efficient methods for the verified solution of nonlinear systems of equations and a set of sophisticated advancements of known techniques: optimal linear programming preconditioners, extended Newton method, hybrid Newton method with probation approach, and a hybrid subdivision scheme. The efficient handling of non-total functions in SONIC allows for solving nonlinear problems which arise in chemical process engineering, while established solvers fail in these cases. In addition to the serial code, efficient parallel versions for shared and distributed memory architectures are available.