Loading…
Die Dissertation befaßt sich mit der Verwendung von Modellierungssprachen zur schnellen Umsetzung praktischer Probleme in mathematische Modelle. Anhand verschiedener Beispiele wird gezeigt, daß es heute möglich ist, die auf diese Weise erzeugten gemischt-ganzzahligen Probleme mit Standard-MIP-Lösern zu lösen und so Problemstellungen zu bearbeiten, die noch vor wenigen Jahren die Implementierung spezieller Branch-and-Cut Algorithmen benötigten. Im ersten Teil der Arbeit wird die Modellierungssprache Zimpl vorgestellt. Kapitel 2 enthält eine vollständige Beschreibung der Sprache. Im nachfolgenden Kapitel werden Details der Implementierung von Zimpl, sowohl aus theoretischer als auch aus praktischer Sicht beschrieben. Dabei wird besonders auf Methoden des Software-Engineering zur Fehlerentdeckung und Vermeidung eingegangen. Im zweiten Teil werden mehrere Projekte beschrieben, bei denen die angeführte Methodik eingesetzt wurde. Kapitel 4 beschreibt drei Standortplanungsprojekte aus dem Telekommunikationsbereich. Kapitel 5 geht auf Fragestellungen bei der UMTS-Planung ein. Es werden die Problemstellungen, Modellierungen und die Lösungen erörtert, dabei wird besonders auf die Abhängigkeit der Ergebnisse von den Eingangsdaten und auf unerwartete bzw. unerwünschte Lösungen eingegangen. Abschließend wird ein bekanntes schweres kombinatorisches Problem, das Steinerbaumpackungsproblem in Graphen, aufgegriffen. Es wird eine bekannte, aber bisher nicht genutze Modellierung verwendet, die das klassische Switchbox-Verdrahtungsproblem und das Via-Minimierungsproblem vereint. Es gelingt, alle in der Literatur bekannten, sowie einige neu erzeugte, größere Probleminstanzen zu lösen.
The thesis deals with the implementation and application of out-of-the-box tools in linear and mixed integer programming. It documents the lessons learned and conclusions drawn from five years of implementing, maintaining, extending, and using several computer codes to solve real-life industrial problems. By means of several examples it is demonstrated how to apply algebraic modeling languages to rapidly devise mathematical models of real-world problems. It is shown that today's MIP solvers are capable of solving the resulting mixed integer programs, leading to an approach that delivers results very quickly. Even though, problems are tackled that not long ago required the implementation of specialized branch-and-cut algorithms. In the first part of the thesis the modeling language Zimpl is introduced. Chapter 2 contains a complete description of the language. In the subsequent chapter details of the implementation are described. Both theoretical and practical considerations are discussed. Aspects of software engineering, error prevention, and detection are addressed. In the second part several real-world projects are examined that employed the methodology and the tools developed in the first part. Chapter 4 presents three projects from the telecommunication industry dealing with facility location problems. Chapter 5 characterizes questions that arise in UMTS planning. Problems, models, and solutions are discussed. Special emphasis is put on the dependency of the precision of the input data and the results. Possible reasons for unexpected and undesirable solutions are explained. Finally, the Steiner tree packing problem in graphs, a well-known hard combinatorial problem, is revisited. A formerly known, but not yet used model is applied to combine switchbox wire routing and via minimization. All instances known from the literature are solved by this approach, as are some newly generated bigger problem instances.
