Ziel der vorliegenden Arbeit ist die Entwicklung eines modular aufgebauten Erfüllbarkeitstesters für verschiedene unimodale und eine polymodale Beschreibungslogik, die zur Repräsentation von agentenabhängig modelliertem terminologischen Wissen genutzt werden kann. Es werden dazu Tableaukalküle eingeführt, und deren Implementationen vorgestellt. Die Tableaukalküle bearbeiten Beschreibungslogik- und Modallogikanteile getrennt, dieser Trennung folgt dann auch der Aufbau des Testers. Zur Bearbeitung der Beschreibungslogikanteile wird das System FaCT benutzt, welches als Modul in den Erfüllbarkeitstester integriert wird. Eine notwendige Vorverarbeitungsstufe wird von einem weiteren Modul realisiert. Für die Performance des gesamten modularen Systems spielt die interne Kommunikation eine entscheidene Rolle. Deshalb ist eine optimierte Variante der Kommunikation zwischen FaCT und dem Gesamtsystem entwickelt worden. Während des Tests verschiedener Formeln eines Benchmarks konnte das hier entwickelte modulare System im Vergleich mit anderen Systemen akzeptable Leistungen erbringen.

Unter Bezugnahme auf die Eigenschaften der Systeme MBone-SDR, Microsoft Netmeeting und CuSeeMe wurde ein flexibel einsetzbares Sessionmanagementmodul entwickelt, welches speziell im Einsatz mit dem Testsystem Visitphone angewendet wurde. Es unterstützt eine dem MBONE kompatible Sessionverwaltung. Video- und Audiosessions des MBONE werden korrekt erkannt, und können zur Kommunikation verwendet werden.

Das in dieser Arbeit entwickelte selbstadaptierende Suchverfahren in leichtgewichtigen XML-Datenbanken semistrukturierter Daten berücksichtigt gegenüber anderen Konzepten in starkem Maße die Historie bereits gestellter Anfragen. Die Arbeit beginnt mit einer Einführung über leichtgewichtige XML-Datenbanken und XML. Weiterhin werden alle zum Zeitpunkt der Erstellung bekannten XML-Anfragesprachen untersucht. Der zweite Teil der Arbeit befaßt sich mit dem theoretischen Entwurf des Verfahrens. Es wurde ein Indexfile-Konzept entwickelt, das aufgrund der Protokollierung der Pfadtupel und Suchdauer bereits gestellter Anfragen eine Indexdatenbank erzeugt. Dadurch können die Suchzeiten bei wiederholten oder ähnlichen Anfragen deutlich reduziert werden. Der letzte Teil der Arbeit evaluiert das in Perl geschriebene System bezüglich seiner Performance bei unterschiedlichen leichtgewichtigen XML-Datenbanken.

Die Frage nach der Existenz viskoser Profile für Schockwellen in der isothermen Magnetohydrodynamik (IMHD) übersetzt sich in die Frage nach der Existenz heterokliner Orbits in einem fünfdimensionalen gradientenartigen System gewöhnlicher Differentialgleichungen, welches von Viskositätskoeffizienten $\delta:=(\mu,\nu,\eta)\in (0,\infty)^3=:\Delta$ abhängt. Durch elementare Betrachtungen in singulären Spezialfällen und Anwendung der geometrischen singulären Störungstheorie sowie mithilfe der Conley-Index-Theorie wird die Existenz heterokliner Orbits bewiesen, und zwar im Falle schneller und langsamer Schockwellen für alle $\delta\in\Delta$ sowie im Falle intermediärer Schockwellen für solche $\delta\in\Delta$ mit $\nu \ll \min(\mu,\eta)$ oder $\eta \ll \min(\mu,\nu)$. Außerdem wird die Existenz von Subschocks in einigen Fällen gezeigt.

Im Rahmen des 'Wortschatz Projektes' der Universität Leipzig wurden mit Hilfe von online-Zeitschriften und anderen Quellen Informationen über bekannte Persönlichkeiten gesammelt und verwaltet. Auf diesen Daten wurde ein Question Answering System aufgebaut, welches zu vorgegebenen Fragen automatisch generierte Antworten zurückliefert. Grundvoraussetzung war die Erzeugung einer neuen Datenbankstruktur und die Transformation der vorhandenen Daten in ein geeignetes Format. Namenskategorien wie Vornamen, Nachnamen, Spitznamen etc. sowie Unifizierungsmöglichkeiten für Personen mussten erkannt werden. Ebenfalls entwickelt wurde ein Verfahren zur automatischen Satzgenerierung basierend auf der Verarbeitung externer Daten und einer Grammatik vorgegebener Gestalt. Es stellte sich heraus, dass das vorgeschlagene System weitgehend sprachunabhängig arbeitet und nicht nur auf Personendaten angewendet werden kann.

Das Ziel dieser Arbeit ist die Entwicklung eines Indexierungssytems zur eindeutigen Klassifikation von Dokumenten anhand einer vorgegebenen Zahl von Klassen. Die Grundlage zum Aufbau des Klassifikationssystems bilden allgemeine Indexierungsysteme für Dokumente. Diese allgemeinen Systeme werden für die Klassifikation modifiziert, um die Verarbeitung der Dokumente zu beschleunigen und die Klassifikationsergebnisse zu präzisieren. Diese optimierten Methoden zur Indexierung sowie der kombinierte Einsatz von statistischen und regelbasierten Verfahren zur Bewertung von Dokumenten bilden die Basis des Klassifikationssystems. Zudem werden spezielle Techniken zur eindeutigen Klassifikation von Dokumenten erarbeitet, wobei besonderes Augenmerk auf die Transparenz des Klassifikationsprozesses für den Benutzer des Systems gelegt wurde. Die positiven Ergebnisse, die erste Tests des Klassifikationssystems am Beispiel von Kundenbriefen eines Versicherungsunternehmens lieferten, rechtfertigen seine Erprobung in der Praxis. Der Vorteil des Systems liegt in der großen Geschwindigkeit für die Verarbeitung von Dokumenten bei gleichzeitig hoher Genauigkeit der erzielten Ergebnisse. Die Möglichkeit zur Erweiterung der Datenbasis für das System verspricht ferner einen wachsenden Umfang von klassifizierbaren Dokumenten.

Die Arbeit zeigt Möglichkeiten für die Verwendung sogenannter aktiver Dokumente, auf Softwareagenten beruhende Strukturen, für verwaltungsorientierte Geschäftsprozesse auf. Dabei wird auf das Verständnis vom Begriffs des Softwareagenten in verschiedenen Informatikdisziplinen eingegangen. Ein Beispielsystem für die Schadenbearbeitung in Versicherungsunternehmen wird vorgestellt.

Zielstellung der vorliegenden Arbeit ist die Einsatzerprobung und Bewertung der Übertragung komprimierter Audio- Video- Ströme in IP- Netzen. Zu diesem Zwecke wurde ein Videoschnittplatz mit der Audio- Video- Kompressionshardware der Firma Optibase aufgebaut. Im speziellen wurde das Verhalten der Videokarte bei MPEG 1 und MPEG 2 Kompression untersucht. Es wurden über 160 Filme mit unterschiedlichen Parametern für Bitrate und GOP- Aufbau des codierten Videostromes aufgenommen und aus diesen über 2400 Bilder extrahiert. Diese Bilder wurden kategorisiert und einer qualitativen Beurteilung unterzogen.

Dokumentenmanagement war schon immer eine wichtige Aufgabe in verschiedenen Bereichen, insbesondere in Unternehmen und Behörden. Immer mehr Dokumente entstehen zu großen Teilen oder vollständig in elektronischer Form. Meist arbeiten mehrere Personen gemeinsam an Dokumenten. Elekronische Dokumentenmanagementsysteme müssen sich daher ganz gezielt diesen Gegebenheiten anpassen, um kooperative Arbeit zu unterstützen. Die Diplomarbeit dokumentiert die Konzeptionierung eines Dokumentenmanagementsystems für kooperative Arbeitsumgebungen. Dabei wird auf sämtliche Belange der systematischen Arbeit mit Dokumenten eingegangen, sowohl in Hinsicht auf allgemeine Anforderungen an ein Dokumentenmanagement, als auch unter Berücksichtigung der speziellen Anforderungen der kooperativen Arbeit an den Dokumenten. Basierend auf einer ausführlichen Anforderungsanalyse wird ein Dokumentenmanagementsystem entworfen, welches dem aktuellen Stand der Technik entspricht und auf Technologien wie Java und XML aufsetzt.

Es soll untersucht werden, inwieweit sich das auf dem Gebiet der weitverkehrsnetzeetablierte ATM für den Einsatz im LAN eignet.