Institut für Mathematik der Universität Augsburg - am Institut für ...

Frau Mezger wählt wesentliche Artikel aus und erklärt daraus die Wirkungsweise des Kapitalmarkts. Außerdem
wird diese Theorie in den verschiedenen Artikeln unter verschiedenen Aspekten beleuchtet und kritisch hinterfragt.
So entsteht ein vielfältiges, interessantes Spektrum von Einsichten und Meinungsbildern.
Reisch Alexander: Flüsse in Netzwerken: Theorie und Anwendungen
Erstgutachter: Prof. Klein, Zweitgutachter: Prof. Hachenberger
Alexander Reisch gibt im Rahmen seiner Bachelorarbeit eine Einführung in die Flusstheorie (Algorithmus von
Ford-Fulkerson, Algorithmus von Dinic, generischer Cycle-Canceling-Algorithmus) und diskutiert mit
Transportproblemen, Zuordnungsproblemen und der periodischen Produktionsplanung einige ausgewählte
Anwendungen.
Strobel Florian: Entwicklung eines Kommissioniersystems für Strobel Fensterbau
Erstgutachter: Prof. Fleischmann, Zweitgutachter: Prof. Borgwardt
In dieser Bachelorarbeit entwickelt der Autor für seinen elterlichen Fensterbau-Betrieb in Bad Wörishofen-
Kirchdorf ein neues Kommissioniersystem für Profilhölzer. Dabei geht es um die effiziente Lagerung der gesägten
Holzlatten und um die leicht gemachte und Wegeverkürzende Abholung dieses Holzmaterials zur Hobelung,
entsprechend den jeweiligen Kundenaufträgen.
Teufelhart Markus: Automatische Normierung algebraischer Formeln
Erstgutachter: Prof. Möller, Zweitgutachter: Prof. Hachenberger
Beim interessanten Gebiet des „Automatischen Beweisens“ (engl. Automated Theorem Proving) geht es um die
automatische Herleitung von mathematischen Formeln und Resultaten. Ein zentrales Problem ist dabei, dass
semantisch gleiche Formeln typischerweise in unterschiedlicher syntaktischer Form gegeben sind, und damit erst
als gleich erkannt werden müssen.
Markus Teufelhart entwickelt und implementiert in seiner Bachelorarbeit eine automatische Normierung, die
semantisch gleiche logische Formeln in syntaktisch gleiche überführt. Dabei spielen sog. Syntaxbäume eine
entscheidende Rolle. Die Implementierung vollzieht sich im Rahmen eines am Lehrstuhl für Datenbanken und
Informationssysteme der Fakultät für Informatik entwickelten Interfaces für automatische Beweiser.
Mitbetreuung von interdisziplinären Diplomarbeiten (ausgegeben von Kollegen außerhalb des Instituts):
Eiband Andrea: Aufarbeitung von Verfahren der stochastischen Optimierung und Implementierung ausgewählter
Algorithmen unter MS Excel
Erstgutachter: Prof. Klein, Zweitgutachter: Prof. Hachenberger
In der Arbeit von Andrea Eiband werden im Rahmen einer Übersicht eine Vielzahl von stochastischen Methoden
zur Behandlung schwieriger Optimierungsprobleme vorgestellt. Der Zufall kann dabei wenigstens zweierlei Rollen
spielen. Zum einen können die Daten nur mit gewissen Unsicherheiten gegeben sein, so dass es sich von Natur
aus um ein stochastisches Problem handelt; andererseits verwendet man Zufallssimulatoren, um Heuristiken zur
Lösung von (deterministischen) Optimierungsproblemen zu steuern. Im Hauptteil der Arbeit kategorisiert Andrea
Eiband die verschiedenen Methoden der stochastischen Optimierung, wobei zwei auf Gradienten basierenden
approximativen Verfahren, sowie dem Simulated Annealing und einer Kombination zweier Vergleichsalgorithmen
besondere Beachtung geschenkt wird, weil diese im Rahmen einer Visual Basic Anwendung unter MS Excel
implementiert und getestet werden. Als Testbeispiele dienen Problemstellungen aus der Lagerhaltung bzw. aus
der Warteschlangentheorie.
Fuchs Tobias: Modellierung und Lösung integrierter Modelle im Airline Scheduling
Erstgutachter: Prof. Klein, Zweitgutachter: Prof. Hachenberger
Unter dem Begriff ”Airline Scheduling“ versteht man im allgemeinen die strategischen und operativen Planungen
bei Fluggesellschaften. Der Hauptthemenkomplex besteht im wesentlichen aus vier Teilaufgaben (sog. Phasen).
Isoliert betrachtet ist jeder Teil noch sehr komplex, aber mit heutiger Rechnerleistung jeweils gut handhabbar.
Das eigentliche Handicap besteht darin, dass der durch die Dekomposition erzielte Informationsverlust zu groß
ist, um adäquate Lösungen für das Gesamtproblem zu erhalten. Für gute Gesamtlösungen, darf man die
85