Entwicklung korrekter Systeme
Fortgeschr.-Praktikum Graphlayoutalgorithmen
Auf dieser Seite
Einleitung
Das Fortgeschrittenenpraktikum "Graphlayoutalgorithmen" beschäftigt sich mit den Inhalten des Forschungsgebiets "Graph Drawing". "Graph Drawing" hat eine Vielzahl von Anwendungsgebieten, die nicht nur auf die Informatik beschränkt sind. In der Soziologie werden z.B. Layout-Algorithmen genutzt, um soziale Strukturen durch Visualisierung zu analysieren. Ein weiteres Anwendungsgebiet ist die Kartographie, wo Techniken des "Graph Drawings" zur Erstellung abstrahierter Karten und Pläne, wie z.B. U-Bahn-Pläne, eingesetzt werden.In der Abteilung Semantik sollen Layout-Algorithmen für Graphen eingesetzt werden, um die Handhabbarkeit von graphischen Spezifikations- und Programmiersprachen, wie z.B. SDL, zu erhöhen. Zum einen geht es darum, ansehnliche graphische Repräsentationen aus textuellen Spezifikationen zu erstellen, und zum anderen soll der/die Benutzende bei der Erstellung seiner graphischen Spezifikation unterstützt werden.
Methoden für "Graph Drawing" basieren häufig auf physikalischen Modellen und den dafür bekannten Algorithmen. Ein Beispiel hierfür ist der "spring embedding"-Algorithmus, in dem Knoten als Ringe und Kanten als Federn zwischen den Ringen interpretiert werden. Das Ziel ist es dann, ein energetisches Gleichgewicht zu berechnen.
In dem Fortgeschrittenenpraktikum sollen zu Beginn verschiedene Layout-Algorithmen aus der Literatur, ggf. mit Hilfe bereits existierender Tools, untersucht werden. In einer zweiten Phase sollen ausgewählte Algorithmen in C++ implementiert werden. Es besteht das Ziel, diese Implementierungen in ein in der Abteilung entwickeltes Werkzeug für graphische Spezifikationen zu integrieren.
Voraussetzungen
Vorraussetzung ist ein abgeschlossenes Grundstudium.
Beginn
Das erste Treffen findet in der ersten Vorlesungswoche am Donnerstag den 21.10.1999 um 16:15 Uhr im Raum A3 2-214 statt.
Anspechpartner
Bei Fragen wenden Sie sich bitte an Josef Tapken, Raum: A3 2-213, Telefon: (0441) 798-2362, email: tapken@informatik.uni-oldenburg.de .
Anmeldung
Interessenten für das Praktikum können sich bis zum Beginn des WS 99/00 am Brett der Theorie (A3 2. Stock) in die Anmeldeliste eintragen oder die folgende Online-Anmeldung nutzen.