Deutsch

Wir betrachten verifizierte globale Optimierung. Für diese entwickeln wir ein neues adaptives serielles Verfahren.Hierzu führen wir zwei neue Stragien ein: Eine Strategie zur Box-Bearbeitung nach dem Intervall-Verfahren und eine Strategie zur Anwendung von Intervall-Verfahren auf Boxen. Die zweite Strategie berücksichtigt dabei die unterschiedlichen Verhalten der gegebenen Funktionen über verschiedenen Boxen. Wir betrachen auch die Parallelisierung des Verfahrens zur verifizierten globalen Optimierung. Dazu stellen wir ein neues Verahrens zur effizienten Nutzung von Prozessoren, Speicher und Kommunikation vor. Dieses Verfahren hat keine Auswirkungen auf die Anzahl der benötigten Prozessoren des Parallelrechners. Das neue Verfahren führt eine "send a box on demand"-Idee ein. Das wesentliche Ziel ist dabei ueberflüssigen Boxen-Transfer zwischen Prozessoren zu vermeiden. Das neue Verfahren besitzt eine zentrale Verwaltung, die die Anzahl der Kommunikationen minimiert und ein Beenden des Verfahrens vereinfacht. Dieses Kombination aus neuer Idee und zentraler Verwaltung führt zu einem sehr effizienten parallelen Verfahren. Die Effizienz ist durch numerische Ergebnisse sowie durch Vergleiche mit bereits exisitierenden Verfahren belegt.

English

In this work we consider verified global optimization. We design a new adaptive serial method for verified global optimization. Here we introduce two new strategies: a strategy for box processing after an interval method and a strategy for applying an interval method to boxes. The new strategy for applying an interval method to boxes takes into account the different behavior of the given function over different boxes. We also consider the parallelization of the method for verified global optimization. We present a new approach for the efficient use of processors, memory and communications. This method does not have any constraints on the number of processors of the parallel computer. The new method introduces a "send a box on demand" idea. The underlying goal is to minimize unnecessary transference of boxes between processors. The new method also features a centralized management, which reduces the number of communications and simplified the finalization of the method. The combination of the new idea with a centralized management results in a very efficient parallel method. The efficiency of the new method is confirmed by numerical results and by comparison with an existing method.