Strukturbasierte Verfahren für hochdimensionale Optimierung
Structure driven methods for large-scale optimization
Wissenschaftsdisziplinen
Mathematik (100%)
Keywords
-
Optimization,
Mathematical Software,
High-Dimensional Problems,
Solving Systems Of Equations,
Industrial Applications,
Constraints
Das Ziel dieses Projektes ist es, neue globale Optimierungsverfahren zur Lösung in der Praxis auftretender hochdimensionaler Probleme aus der chemischen Industrie zu entwickeln. Um die speziellen Herausforderungen der hochdimensionalen Probleme zu Überwinden, werden wir Verfahren ausarbeiten, die die Struktur der Probleme besonders ausnutzen, wie Konsistenztechniken, Split-Strategien und Dekompositionsmethoden. Der neu erforschte strukturgesteuerte Algorithmus wird in das GloptLab-Framework integriert und ausführlich getestet werden. GloptLab ist eine Plattform für rigorose globale Optimierung, die dem neuesten Stand der Technik entspricht und in den Jahren 2007 bis 2010 an der Universität Wien entwickelt wurde. Sogar professionelle Simulationssoftware ist inhärent nicht in der Lage, alle Lösungen eines vorgegebenen mathematischen Modells zu finden. Es ist jedoch unabdingbar für viele Anwendungen in der chemischen Industrie, alle mathematischen Lösungen zu finden, um passendes Equipment zu entwickeln, zu simulieren, zu kontrollieren und zu steuern. Branch-and-Prune-Verfahren garantieren das Auffinden aller Lösungen. Diese Garantie führt jedoch zu steigendem Aufwand. Bei Branch-and- Prune-Methoden steigt üblicherweise der Rechenaufwand drastisch an, wenn sich die Anzahl der Variablen erhöht. Eine große Anzahl an Anwendungsproblemen ist hochdimensional mit hunderten oder tausenden Variablen. In der letzten Zeit hat einer der Co-Antragsteller einen neuen strukturgesteuerten Algorithmus zur Lösung hochdimensionaler chemischer Industrieprobleme publiziert. Auf Basis dieser numerischen Ergebnisse und anderer publizierter Ergebnisse sind wir überzeugt, dass viele hochdimensionale Probleme aus der chemischen Industrie in eine Klasse durchaus lösbarer Probleme fallen. Diese vorläufigen Resultate werden zunächst vervollständigt und dann verallgemeinert werden. Eine Klasse lösbarer Probleme zu identifizieren wird ein wesentliches Resultat sein. Die praktische Bedeutung ist evident. Wir kombinieren das Wissen angewandter Mathematiker mit der Expertise von chemischen Ingenieuren, um die Effizienz unserer Algorithmen zu steigern. Wir planen, zwei vielversprechende und bereits existierende Lösungsalgorithmen zu kombinieren, der erste geschrieben aus der Perspektive des chemischen Ingenieurs (ASOL), der zweite aus der mathematischen Forschung (GloptLab). Das schlägt eine Brücke zwischen Theorie und Anwendung. Nachdem globale Optimierung ein sehr aktives Forschungsgebiet ist (angetrieben durch das weite Spektrum an Anwendungen), werden viele Forscher von den neu entwickelten Verfahren profitieren.
Die meisten industriellen Prozesse sind hochgradig nichtlinear. Daher ergibt sich in der täglichen Ingenieurspraxis oft das Problem, Systeme nichtlinearer Gleichungen zu lösen und die Parameter in diesen Systemen zu optimieren. Die Aufgabe, alle Lösungen zu finden, zu beweisen, dass es nur eine Lösung gibt, oder zu zeigen, dass wirklich die beste Lösung gefunden wurde, erfordert typischerweise eine komplizierte Fallstudie. Oft versagt eine solche Studie sogar, weit die Lösungssoftware nicht erkennt, dass noch nicht alle Lösungen gefunden wurde, oder wegen Konvergenz zu einer suboptimalen Lösung. Ziel dieses Forschungsprojekts war es, die Effizienz von Methoden, die alle Lösungen (oder die beste) finden sollen, zu verbessern, so dass sie bisher global nicht handhabbare Probleme in vernünftiger Zeit lösen können. Die Zielanwendung war die Berechnung von multiplen stationären Zuständen in Destillationskolonnen, wo alle Lösungen zu finden ein wichtiger Teil des Designzyklus ist. (Dies ist von praktisch großer Wichtigkeit, da in einer typischen Chemiefabrik 4080% der Investitionen für Destillierausrüstung verwendet wird.) Diese Probleme sind stark strukturiert; die Nutzung dieser Struktur, um die benötigte Verbesserung in den Lösungsverfahren zu erzielen, war das erklärte Hauptziel des Projekts. Wir entwickelten eine effiziente Methode, um alle Lösungen großer Gleichungssysteme zu finden, die die stationären Zustände in hochgradig schwierigen Destillationsproblemen beschreiben. Unsere neue Methode ist die erste, die die Schwachstellen der seit etwa 1930 bekannten stufenweise Methode behebt, ohne das stufenweise Prinzip zu verlassen. Die Verbesserung beruht auf einer neuen strukturellen Analyse der Gleichungen und der Nutzung dieser Struktur mittels einer Folge von lokalen Variablentransformationen. Wir verbesserten auch unsere globale Optimierungssoftware GloptLab, so dass es strukturierte globale Optimierungsprobleme effizienter löst. GloptLab benutzt das branch-and-prune (verzweige-und-verkleinere) Prinzip, um das globale Minimum eines globalen Optimierungsproblems durch sukzessives Verkleinern des Bereichs, in dem die beste Lösung liegen kann, zu bestimmen. Effiziente neue Verkleinerungsverfahren, die strukturelle Information nutzen können, wurden entwickelt und implementiert. Sie sind in der Nähe der besten Lösung, wo traditionelle Techniken Schwierigkeiten haben, besonders effizient. Eine innovative, auf der projektiven Geometrie beruhende Methode wird benutzt, um Probleme mit einem unbeschränkten Suchbereich bearbeiten zu können, die bisher gar nicht handhabbar waren.
- Universität Wien - 100%
Research Output
- 53 Zitationen
- 13 Publikationen
-
2016
Titel A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations DOI 10.1007/s11075-016-0249-x Typ Journal Article Autor Baharev A Journal Numerical Algorithms Seiten 163-189 Link Publikation -
2012
Titel Chemical Process Modeling in Modelica. Typ Conference Proceeding Abstract Autor Baharev A Konferenz Proc. 9th International Modelica Conference, Sept. 3-5, 2012, Munich, Germany. -
2012
Titel DynGenPar – A Dynamic Generalized Parser for Common Mathematical Language DOI 10.1007/978-3-642-31374-5_26 Typ Book Chapter Autor Kofler K Verlag Springer Nature Seiten 386-401 -
2014
Titel Constraint aggregation for rigorous global optimization DOI 10.1007/s10107-014-0851-4 Typ Journal Article Autor Domes F Journal Mathematical Programming Seiten 375-401 -
2014
Titel Exclusion regions for optimization problems DOI 10.1007/s10898-013-0137-z Typ Journal Article Autor Schichl H Journal Journal of Global Optimization Seiten 569-595 -
2014
Titel Rigorous verification of feasibility DOI 10.1007/s10898-014-0158-2 Typ Journal Article Autor Domes F Journal Journal of Global Optimization Seiten 255-278 -
2015
Titel Linear and parabolic relaxations for quadratic constraints DOI 10.1007/s10898-015-0381-5 Typ Journal Article Autor Domes F Journal Journal of Global Optimization Seiten 457-486 -
2013
Titel The optimization test environment DOI 10.1007/s11081-013-9234-6 Typ Journal Article Autor Domes F Journal Optimization and Engineering Seiten 443-468 -
2013
Titel On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables DOI 10.1007/978-3-642-38171-3_15 Typ Book Chapter Autor Schichl H Verlag Springer Nature Seiten 216-233 -
2013
Titel A globally convergent method for finding all steady-state solutions of distillation columns DOI 10.1002/aic.14305 Typ Journal Article Autor Baharev A Journal AIChE Journal Seiten 410-414 Link Publikation -
0
Titel Computing approximations of implicitly defined manifolds and application to distillation. Typ Other Autor Baharev A -
0
Titel Steady-state chemical process models -- a structural point of view. Typ Other Autor Baherev A -
0
Titel LMBOPT -- A limited memory method for bound-constrained optimization. Typ Other Autor Azmi B