D01 (2000) - Ausgezeichnete Informatikdissertationen
Dorothea Wagner et al. (Hrsg.)
(in deutsch)
GI-Edition - Lecture Notes in Informatics (LNI), D-1
Bonner Köllen Verlag (2001)
ISBN 3-88579-405-5
Auflistung nach:
Auflistung D01 (2000) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum
1 - 10 von 16
Treffer pro Seite
Sortieroptionen
- TextdokumentVerteilte interaktive Medien(Ausgezeichnete Informatikdissertationen 2000, 2003) Mauve, MartinIn der vorliegenden Arbeit wird gezeigt, dass verteilte interaktive Medien eine homogene Medien-Klasse bilden. Insbesondere ermöglichen es Vertreter dieser Klasse, dass eine verteilte Benutzergruppe mit dem Medium selbst interagiert. Typische Beispiele für verteilte interaktive Medien sind Shared-Whiteboard-Systeme, Netzwerk-basierte Computerspiele und verteilte Virtual-Reality-Umgebungen. Um nachzuweisen, dass die Idee einer homogenen Medienklasse gültig ist, wird ein gemeinsames Medienmodell präsentiert. Weiterhin wird ein Anwendungsprotokoll mit dem Namen RTP/I vorgestellt, welches die Entwicklung von wiederverwendbarer Funktionalität in Form von generischen Diensten ermöglicht. Diese sind medienunabhängig und so für die gesamte Medienklasse einsetzbar. Im Rahmen der Arbeit wurden drei generische Dienste entwickelt: Konsistenzerhaltung, Sitzungsaufzeichnung und die Unterstützung von Nachzüglern. Um die Funktionsfähigkeit der einzelnen Bestandteile der Arbeit zu demonstrieren, entstand der Prototyp einer 3D-Telekooperationsanwendung, die zur Zeit von Siemens für den Einsatz in einem Call-Center-Produkt erweitert wird.
- TextdokumentHybridhypersigns - semiotische parameter elektronisch vernetzter dokumente(Ausgezeichnete Informatikdissertationen 2000, 2003) Ipsen, GuidoHypertexte sind in der Vergangenheit vor allem in ihrer Eigenschaft als vernetzte Informationssysteme analysiert worden. Weniger beachtet wurde die interne Codestruktur der Hypertexte. Diese Arbeit beschreibt die semiotischen Relationen in Hypertextskripten als hybride Systeme. Sie sind aus hypertextspezifischen Codes und medialisierten Daten zusammengesetzt und inkorporieren damit neue, hybridisierte Zeichenprozesse. Im Ergebnis entstehen vollkommen neue Aspekte der Syntax, Semantik und Pragmatik dieses Mediums, welche als das tatsächlich Neue einer Hypertextualität beschrieben werden können.
- TextdokumentEvolutionäre Optimierung dynamischer Probleme(Ausgezeichnete Informatikdissertationen 2000, 2003) Branke, JürgenViele praxisrelevante Optimierungspsrobleme sind dynamisch, d.h. sie verändern sich im Zeitverlauf. In diesen Fällen reicht es nicht mehr aus, möglichst schnell und zuverlässig ein Optimum zu finden. Es geht vielmehr darum, trotz der Dynamik des Problems fortlaufend Lösungen hoher Qualität anbieten zu können. In der hier diskutierten Arbeit [Bra00] wird gezeigt, wie Evolutionäre Algorithmen erfolgreich an eine solche Aufgabenstellung angepasst werden können.
- TextdokumentA pattern approach to interaction design(Ausgezeichnete Informatikdissertationen 2000, 2003) Borchers, JanDiese Arbeit stellt eine Methode zur Darstellung von Entwurfserfahrungen in der Gestaltung von Benutzerschnittstellen vor, die auf dem Konzept der Entwurfsmuster beruht, dieses jedoch formalisiert, erweitert und vereinheitlicht, um auch Richtlinien zur Programmentwicklung und das Wissen der Anwendungsdomäne eines Softwareprojekts in gleicher Weise zu modellieren. Nach einer Darstellung der Problematik beim Entwurf von Benutzerschnittstellen wird die Entwicklung von Entwurfmustern in Architektur, Programmiertechnik und Mensch-Maschine-Interaktion (MMI) untersucht und eine Reihe von Anforderungen an ein Entwurfsprinzip zur Lösung dieser Probleme aufgestellt. Anschließend wird der neuartige Entwurfsansatz präsentiert und anhand dreier Mustersprachen für diese Gebiete demonstriert. Die Sprachen spiegeln Erfahrungen aus einer Reihe von Projekten wider, in denen der Autor interaktive Exponate entwarf. Da das Thema der meisten Exponate musikalischer Natur war, wird dieses Anwendungsgebiet in einer Mustersprache für Bluesmusik repräsentiert. Die zentrale MMI-Mustersprache beschreibt Regeln für die Gestaltung interaktiver Exponate, während die Muster zur Programmentwicklung sich mit Lösungsvorschlägen für die Entwicklung interaktiver Musiksoftware befassen. Der Einsatz dieses musterbasierten Entwurfskonzepts wird abschließend anhand verschiedener Kriterien evaluiert und der Entwurf eines Werkzeugs zur rechnergestützten Arbeit mit Entwurfsmustern vorgestellt. Im Anhang der Arbeit findet sich unter anderem eine Darstellung einer typischen Interaktion mit WorldBeat [Bor97], einem ausgezeichneten interaktiven Musikexponat, das vom Autor entworfen wurde und in vielen Entwurfsmustern dieser Arbeit als Beispiel zitiert wird.
- TextdokumentQualitätsgesteuerte Anfragebearbeitung für Integrierte Informationssysteme(Ausgezeichnete Informatikdissertationen 2000, 2003) Naumann, FelixDie jüngste Entwicklung von zentralisierten Datenbankmanagementsystemen zu Informationssystemen, die verteilte, autonome Datenquellen integrieren, hat zu einer Verschiebung der Forschungsrichtung von der traditionellen Anfrageoptimierung zum Bereich der Anfrageplanung geführt. Anfrageplanung untersucht das Problem, Pläne zur Anfrageausführung über verteilte, heterogene, überlappende und autonome Datenquellen zu finden. Das wichtigste Unterscheidungsmerkmal der unterschiedlichen Ausführungsstrategien ist nicht mehr—wie für Datenbanksysteme—die Antwortzeit, sondern die Informationsqualität des Resultats. Die vorliegende Dissertation untersucht die Verwendung von Qualitätskriterien zur Beantwortung von Nutzeranfragen an integrierte Informationssysteme. Die Arbeit definiert Qualitätskriterien und analysiert, wie sie bewertet werden können. Der wichtigste Teil der Arbeit zeigt, wie diese qualitativen Bewertungen verwendet werden können, um die Qualität der Anfrageresultate zu erhöhen und um die Effizienz von Anfrageplanungsalgorithmen erheblich zu steigern.
- TextdokumentTheoretische Analyse evolutionärer Algorithmen unter dem Aspekt der Optimierung in diskreten Suchräumen(Ausgezeichnete Informatikdissertationen 2000, 2003) Jansen, ThomasEvolutionäre Algorithmen (EA) sind allgemeine, randomisierte Suchverfahren, die unter anderem zur Optimierung eingesetzt werden können. Ein hier verfolgter Ansatz, der zu einem besseren Verständnis führen soll, ist die theoretische Analyse. Dabei werden vor allem einfache EA auf konkreten, typischen Zielfunktionen bezüglich ihrer Effizienz untersucht. Die Analyse beginnt nach einer Diskussion der Grenzen und Möglichkeiten evolutionärer Algorithmen mit dem vielleicht einfachsten EA. Wir sprechen wesentliche Ergebnisse für den so genannten (1+1) EA an und erklären, wie man davon ausgehend das weite Feld evolutionärer Algorithmen erschließen kann mittels Analyse von Variationen des (1+1) EA. Ein Höhepunkt ist die Analyse eines speziellen EA mit Crossover, für den man an einem Beispiel nachweisen kann, dass er mutations-basierte Algorithmen bei weitem schlägt.
- TextdokumentFrontmatter(Ausgezeichnete Informatikdissertationen 2000, 2003)
- TextdokumentUnterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken(Ausgezeichnete Informatikdissertationen 2000, 2003) Molitor, RalfIm Rahmen einer Kooperation zwischen dem Lehrstuhl für Prozesstechnik und dem Lehr- und Forschungsgebiet Theoretische Informatik an der RWTH Aachen wurde nachgewiesen, dass sich Beschreibungslogiken aufgrund ihrer hohen Ausdrucksstärke und mächtigen Inferenzalgorithmen sehr gut für die strukturierte Darstellung und Speicherung anwendungsspezifischen Wissens eignen. Die standardmäßig von Beschreibungslogik-Systemen bereitgestellten Inferenzdienste reichen jedoch für eine umfassende Unterstützung der Erstellung und Wartung der Wissensbasis nicht aus. In dieser Arbeit wurden daher die Nicht-Standardinferenzen Least Common Subsumer, Most Specific Concept und Rewriting untersucht, die im Zusammenspiel die Definition neuer Konzepte und damit die Erweiterung und Pflege der Wissensbasis unterstützen. Die Resultate zur Existenz, Berechenbarkeit und Komplexität sowie die Entwicklung vollständiger Algorithmen zur Lösung dieser Inferenzprobleme konzentrieren sich dabei auf bereits erfolgreich in der Anwendung eingesetzte Beschreibungslogiken.
- TextdokumentIdentifikation eines vereinigten Modells für Ventilationsmechanik und Gasaustausch bei maschineller Beatmung(Ausgezeichnete Informatikdissertationen 2000, 2003) Winkler, TiloDie Identifikation von Ventilationsmechanik und Gasaustausch mit einem vereinigten Modell liefert für die beiden wichtigsten Klassen von Modellen zur Beschreibung physiologischer und pathologischer Eigenschaften der Lungen erstmals konsistente patientenspezifische Parameter. Dies ist sowohl für die medizinische Grundlagenforschung als auch für die Weiterentwicklung computergestützter Systeme zur Einstellung der Beatmung von Bedeutung. Die erkenntnistheoretischen Aspekte sind darüber hinaus für die Modellierung und Identifikation generell von Bedeutung. Die Identifikation des multiplen Modells basiert auf drei Schritten: 1) Ventilationsmechanik: Identifikation von Modellen mit diskreter oder kontinuierlicher Zeit, unter Nutzung von Methoden zur Identifikation dynamischer Systeme, 2) anatomischer Totraum: die neuentwickelte Methode beruht auf einer Transformation des Kapnogramms, 3) Perfusionsverteilung: die Simulation des Gasaustauschs mit dem vereinigten Modell ermöglicht die iterative Bestimmung dieser Parameter.
- TextdokumentIntegration externer Daten aus dem Internet in Planungs- und Kontrollsysteme-Konzeption und Entwicklung eines Redaktions-Leitstands(Ausgezeichnete Informatikdissertationen 2000, 2003) Meier, MarcoInterne und externe Führungsinformationen zu kombinieren, gewinnt für die Entscheidungsunterstützung zunehmend an Bedeutung. Gegenwärtig lassen sich externe Informationen schnell über das Internet beschaffen. Da deren Qualität und Quantität schwanken, sind sie für eine systematische Integration redaktionell aufzubereiten. Um das Problem der Informationsüberflutung nicht weiter zu verschärfen, bedarf es eines Werkzeugs mit dem sich externe Daten leichter recherchieren und filtern lassen. Im Rahmen des Forschungsprojekts MINT (Management-Informationen aus dem Internet) wurde ein so genannter Redaktions-Leitstand konzipiert und prototypisch implementiert. Die Ergebnisse werden derzeit vom Kooperationspartner SAP AG im Rahmen der Initiative „SAP Strategic Enterprise Management (SEM)“ zum Produkt entwickelt.