 |
[ ][ ]
|
| Informatik Abt. I | Forschung |
|
|
[][]
|
| Informatik Abt. I | Forschung |
Wir betrachten Grundaufgaben autonomer Fahrzeuge in unbekannten Umgebungen wie das Finden eines Ziels oder das Erkunden eines Raums. Wegen des Mangels an vollständiger Information sind Umwege unvermeidlich, deshalb werden sogenannte kompetitive Strategien entwickelt, deren Kosten in Relation zu den Kosten einer optimalen Lösung einen festen Faktor nicht überschreiten. Dabei wird die Güte einer Strategie je nachdem durch formalen Beweis belegt oder experimentell ermittelt.
Dieses Projekt wird seit 1995 von der Deutschen Forschungsgemeinschaft im Rahmen des DFG-Schwerpunktprogramms effiziente Algorithmen für diskrete Probleme und ihre Anwendungen gefördert. Es sind sowohl theoretische als auch praktische Diplomarbeitsthemen zu vergeben.
Für das Design elektronischer Dokumente wird ein System entwickelt, das aus einem Designeditor und einem Designcompiler besteht. Mit dem Designeditor läßt sich interaktiv das Design elektronischer Dokumente spezifizieren. Die Untersuchung der Design-Attribute beim Seitenumbruch führte zur Entwicklung eines neuen Seitenumbruchsalgorithmus.
Diese Designspezifikation, die für eine ganze Klasse von Dokumenten anwendbar ist, und das elekronische Manuskript des Autors übersetzt der Designcompiler in die Eingabe für Satzprogramme. Die Funktionalität des Systems wird formalisiert, und benutzergerechte Schnittstellen werden angeboten. Wir untersuchen die Unterstützung der Designspezifikation für Dokumentenklassen durch Lernkomponenten, die mit Beispielen arbeiten, und greifen auf Methoden der Algorithmischen Lerntheorie und des Fallbasierten Schließens zurück.
Diese Projekt findet in Kooperation mit Prof. Dr. Anne Brüggemann-Klein, TU München, und Prof. Dr. Th. Ottmann, Uni Freiburg, statt. Neben praktischen Diplomarbeitsthemen besteht die Möglichkeit, in einer Kooperation mit einem industriellen Partner mitzuwirken.
Das Voronoi-Diagramm von n Orten in der Ebene stellt eine Zerlegung der Ebene in Regionen nächster Nachbarschaft dar. Die Region eines Ortes besteht aus all denjenigen Punkten, die näher an diesem Ort liegen als an irgendeinem anderen. Solche Diagramme spielen nicht nur in der Informatik, sondern auch in vielen anderen Naturwissenschaften eine wichtige Rolle. Sie erscheinen in vielen Variationen und viele verschiedene Algorithmen wurden für ihre Berechnung entwickelt. Uns geht es darum, die Gemeinsamkeiten zu erkennen, die diese verschiedenen Variationen haben, und davon ausgehend effiziente Konstruktionsverfahren anzugeben. Außerdem arbeiten wir an interaktiven Umgebungen (Java Applets), mit denen sich Voronoi-Diagramme und andere geometrische Strukturen experimentell erproben lassen.
Dieses Projekt wurde von der Deutschen Forschungsgemeinschaft (DFG) von 1991 bis 1995 gefördert. Einzelne theoretische und zahlreiche praktische Themen für Diplomarbeiten sind noch zu vergeben.
Zwischen den Dokumenten einer bibliographischen Datenbank existieren inhaltliche Beziehungen verschiedener Art. Beispiele sind Literaturreferenzen oder von Fachleuten eingebrachte private oder öffentliche Verweise bzw. Annotationen wie etwa Dokument X ist Weiterentwicklung von Dokument Y in Bezug auf Aspekt A. Am Beispiel einer Fachbibliothek für Algorithmische Geometrie (Computational Geometry) sollen diese inhaltlichen Beziehungen aufgebaut und für Recherchen nutzbar gemacht werden. Es entsteht ein Verweisgeflecht, auf dessen Basis sich aus Nutzersicht zum Beispiel Anfragen der folgenden Art beantworten lassen:
Durch Visualisierung von Verweisgeflechten bietet sich -- zusätzlich zu klassischen Volltext- oder Katalogrecherchen und zur Hypertextnavigation -- ein weiterer intuitiver Zugang zu bibliographischen Datenbanken an. Damit lassen sich zum ersten Mal auch ganze Bestände nach vom Nutzer definierbaren Kriterien flexibel darstellen.
Ausführliche Informationen finden Sie in unserer Projektbeschreibung.
[ Geometrie Labor ]
© Universität Bonn, Informatik Abt. I - webmaster - Letzte Änderung: Wed Jul 16 14:50:28 2008