Diplomarbeitsthemen

In den Forschungsbereichen des Lehrstuhls sind sowohl theoretisch- mathematisch orientierte als auch praktische Diplomarbeiten zu vergeben. Das Angebot richtet sich an Studierende der Wirtschaftsinformatik, Mathematik, Wirtschaftsmathematik und Physik. Interessierte anderer Studiengänge sollten die Zulässigkeit einer Diplomarbeit im Fach Informatik erst bei ihrem Prüfungsamt in Erfahrung bringen. Eigene Vorschläge sind willkommen.

Forschungsbereich SAT

Der Forschungsbereich SAT beschäftigt sich mit der Erfüllbarkeit (=SATisfiability) großer boolescher Formeln. Neben der Bearbeitung von theoretischen Aspekten besteht die Möglichkeit, die am Lehrstuhl entwickelte SAT-Solver-Software praktisch einzusetzen.

• Bearbeitung von theoretischen Aspekten
• Weiterentwicklung des bestehenden SAT-Solvers
• Anwendung des bestehenden SAT-Solvers

Forschungsbereich ÖPNV-Fahrplanung und Simulation

Das Projekt CATS ("Computer Aided Traffic Scheduling") beschäftigt sich mit der Optimierung und Simulation von Stadtbahnfahrplänen im öffentlichen Personennahverkehr. Den Verkehrsplanern werden Werkzeugen an die Hand gegeben, mit denen optimale Fahrpläne erstellt und vorhandene Fahrpläne vor dem Feldeinsatz getestet und bewertet werden können. In diesem Umfeld sind eine Reihe von praxisnahen Themen zu vergeben.

• Anwendung eines konstruktiven Verfahrens zur Fahrplanoptimierung unter Berücksichtigung verkehrsplanerischer Vorgaben
• Erstellung einer visuellen Data-Mining-Software zur automatischen Analyse und Auswertung von Stadtbahn-Fahrplänen
• Entwicklung eines Simulationsmoduls für Busnetze (ab Mai 2008)
• Simulation und Optimierung des Stadtbahnnetzes einer mittelgroßen Stadt unter Anwendung der bestehenden CATS-Software

Die Diplomarbeiten im Bereich ÖPNV-Fahrplanung und Simulation werden betreut durch Oliver Ullrich.

Forschungskooperation SAVANNA und Simulation

In Kooperation mit der Arbeitsgruppe "Weidemanagement und Nachhaltigkeit" des Instituts für Botanik erstellen wir praxisnah Werkzeuge für Feldforscher (Ethnologen, Geographen, Ökologen), die verschiedene Volksgemeinschaften in Namibia erforschen. Mit Multiagentensimulationen sollen dazu verschiedene Aspekte des lokalen Lebens nachgebildet werden. Folgende Themen werden z.Zt. angeboten:

• Entwurf und Entwicklung eines agentenbasierten Simulationssystems zur Nachbildung des Weidemanagements in der namibi­schen Savanne

Die Diplomarbeiten im Bereich SAVANNA werden betreut durch Oliver Ullrich.

Forschungsbereiche von Bert Randerath

• Forschungsnahe strukturelle und algorithmische Fragestellung aus dem Bereich der Graphentheorie und deren natürliche Übergänge zum Bereich der Aussagenlogik (s.o. Forschungsbereich SAT) sind Gegenstand möglicher Diplomarbeits- und Staatsexamensthemen.

In vielen Anwendungen spielt die Darstellung komplexer Strukturen und deren Beziehungen zueinander eine wichtige Rolle. Um diese Informationen zu modellieren, und um dann mathematische und informatische Methoden anwenden zu können, wird die abstrakte Datenstruktur des Graphen benutzt. Graphen sind in der Mathematik und Informatik ein weitverbreitetes Werkzeug um verschiedenartigste Daten und Strukturen intuitiv darzustellen. Das eigenständige Gebiet der Graphentheorie, welches gleichermassen in der Kombinatorik und der Informatik beheimatet ist, behandelt klassische Probleme, e.g. das Problem eine Landkarte mit vier Farben einzufärben und aktuelle Fragestellungen, z.B. das Frequenzvergabeproblem aus dem Bereich des Mobilfunks.

Weitere Themenbereiche

Neben den beiden Hauptforschungsfeldern gibt es am Lehrstuhl eine lange Tradition der Beschäftigung mit parallelem Rechnen und den dabei auftretenden Problemfeldern (z.B. Load Balancing). Aktuell sind folgende Themen zu vergeben:

• Entwurf und Implementierung eines Profilers zur Untersuchung des Laufzeitverhaltens von parallelen Anwendungen

• Zur Zeit keine Themen zu vergeben