Interaktive Dialogsysteme

Das Thema der vorliegenden Arbeit kann mit den folgenden drei Hauptfragen zusammengefasst werden: (1) was ist Dialog, (2) welche charakteristische Merkmale hat der Dialog und (3) was ist notwendig, um Dialog erfolgreich mit Hilfe von Maschinen (Computersystemen) zu simulieren. Die Arbeit wurde in der Hoffnung geschrieben, dass sie als Basis und Ausgangspunkt für weitere Forschungen in den bezeichneten wissenschaftlichen Gebieten benutzt werden kann, wie auch in der Hoffnung, dadurch die Aufmerksamkeit von Sprachwissenschaftlerinnen und Germanistinnen auf Forschungsperspektiven und Herausforderungen in diesem Gebiet zu lenken. Dabei wird auch gezeigt, wie weit die theoretischen Grundlagen, die sich auf zwischenmenschliche Dialogformen beziehen, in interaktiven Dialogsystemen implementiert werden können; welche zusätzliche Mittel notwendig sind, um solche Systeme menschenähnlicher in der Dialogkommunikation zu machen. Die Frage nach interaktiven Dialogsystemen wird vor allem aus pragmatischen Gründen gestellt, denn mit der Entwicklung der Computertechnologie werden auch die Einsatzmöglichkeiten für Computer immer mehr. Das führt dazu, dass viel mehr Menschen, vor allem Nicht-Experten, am Computer arbeiten. Die Kommunikation mit dem Computer läuft allerdings, mit Ausnahme der Erfindung und Einführung der Maus in den 1960er/1970er, bis heute noch vor allem über die Konsole (Tastatur/Monitor). Die menschliche Dialogfähigkeit zeichnet sich durch die Fähigkeit aus, typische Organisationsprinzipien des Dialogs zu erkennen und anzuwenden. Die Prinzipien betreffen einerseits die kognitiven Fähigkeiten des Menschen, andererseits unterschiedliche formale Aspekte. Ein Dialogsystem sollte also diese menschliche Dialogfähigkeit in unterschiedlichen kommunikativen Situationen nachahmen können. Eben aus diesem Grund steht einerseits der Dialog als Kommunikationsmittel im Zentrum der vorliegenden Diplomarbeit, andererseits aber die Frage, wie ein gesprochener Dialog mit einem Computersystem und in welchem Ausmaß möglich wäre

Durchführung von Digitalisierungsprojekten in Bibliotheken

Der vorliegende Artikel entstand auf Grundlage einer Diplomarbeit, in der ein Konzept fur ein Digitalisierungsprojekt im Ibero-Amerikanischen Institut ent- wickelt wurde. Das Institut plant die Digitalisierung einiger Sammlungen latein- amerikanischer Volksliteratur und Grafik. Auch wenn die Entwicklung momentan noch im Fluss ist, sollen im nachfolgenden Artikel fur Digitalisierungsprojekte wichtige Aspekte wie Vorgange, Techniken und Standards vorgestellt werden, allerdings unter Ausklammerung der umfassenden Themenkomplexe Metadaten und Presentation der fertigen Ergebnisse im Internet

Das Computerprogramm als Erfahrungsgegenstand

Was ist eigentlich ein Computerprogramm? Technikphilosophische Überlegungen deuten darauf hin, dass unter diesen Begriff sehr unterschiedliche Gegenstände fallen können. Bisherige ontologische Analysen zergliedern aus diesem Grund den Begriff, um beispielsweise zwischen der Semantik eines Programms und greifbaren technischen Artefakten zu unterscheiden. Derartige Analysen bieten eine große Klarheit und Präzision bei der Begriffsverwendung, da die Unterscheidungen der zuvor zergliederten Begriffsanteile in den Vordergrund treten. Gleichzeitig führt dieses Vorgehen jedoch dazu, dass die Zusammenhänge, Verbindungen und wechselseitigen Beeinflussungen der einzelnen Bedeutungen, welche im "Programm"-Begriff gebündelt sind verdeckt werden können. Um diesem Nachteil zu begegnen, wird in dieser Arbeit ein mehrdimensionaler Programmbegriff entwickelt, der eine Unterscheidung zwischen verschiedenen Bedeutungsebenen des Programmbegriffs vornimmt, gleichzeitig aber deren Zusammenhang herausarbeitet. Dafür werden der Begriffsbestimmung epistemologische Überlegungen vorangestellt, die der Frage nachgehen, wie Computerprogramme überhaupt von Menschen wahrgenommen werden können, wie Programme Gegenstände menschlicher Erfahrung werden. Ausgehend von Immanuel Kants Transzendentalphilosophie und Edmund Husserls Grundlegung der Phänomenologie wird ein Zugang zu dieser Erfahrung von Computerprogrammen entwickelt. Dabei wird herausgearbeitet, dass die Programme auf vier voneinander unterscheidbare Arten als Gegenstand konstituiert werden. Die daraus resultierenden Bedeutungsebenen des vorgestellten Programmbegriffs sind jeweils Programme als räumlich-zeitliche, syntaktische, semantische und eingebettete Gegenstände. Der Zusammenhang zwischen diesen Begriffsdimensionen zeigt sich dabei als Eigenschaft der Wahrnehmung von Programmen: Je nachdem, als was ein Programm konstituiert wird, können die jeweils anderen Begriffbedeutungen von "Programm" appräsentiert, also mitgegeben, sein. Dieser Zusammenhang ist in hohem Maße gesellschaftlich und technisch bedingt. Um diese Bedingtheit zu untersuchen wird dies anschließend als Assoziation im Sinne von Bruno Latours Akteur-Netzwerk-Theorie untersucht. Der hier entwickelte Programmbegriff eignet sich, um die Bedeutung von Computerprogrammen im Rahmen technikphilosophischer und techniksoziologischer Forschung zu analysieren. Die Anwendbarkeit des mehrdimensionalen Programmbegriffs zur Analyse menschlicher Bezüge zur Computertechnologie wird in der vorliegenden Arbeit an drei Fallbeispielen im Umfeld der Softwareentwicklung aufgezeigt. Im Mittelpunkt dieser Überlegungen stehen die wechselseitigen Verhältnisse von Mensch, Technik und Gesellschaft zueinander. Abschließend zeigt ein Ausblick weitere Bereiche, in denen mithilfe des entwickelten Begriffs aussichtsreiche Untersuchungen durchgeführt werden können

Modellierung und Verifikation von verteilten/parallelen Informationssystemen

Petri nets are used in many fields as modelling technique. The different usage areas and modelling objectives require different classes of Petri nets. Powerful high level Petri nets and especially coloured Petri nets are well suited for describing behavior of distributed information systems in order to verify and analyse them. Extended coloured Petri nets with structured marks are presented in this work. An example is used in order to demonstrate the analysis and verification steps. This example algorithm is modeled with extended coloured Petri nets (HCPN-ST). It is transformed into coloured Petri nets, in order to simulate, analyse and verify the method with existing software tools. The model is simulated and analysed with PENECA Chromos tool, although it cannot verify all properties, but it allows to interoperate with INA tool. The remainder of the analysis and verification is done in the INA tool. The above mentioned steps are extended and integrated into the complete analysis process and the verification methodology. Finally, the need and motivation for the extension of dynamic approaches modelling for the analysis of distributed information system is elaborated to accomplish the goal of the work. We succeed to validate, that the extended formal method is an effective method to model and analyse distributed information systems.Petrinetze werden in vielen Bereichen als Modellierungstechnik verwendet. Die verschiedenen Einsatzgebiete und Modellierungsziele erfordern mittel unterschiedliche Typen von Petrinetzen. Die höheren Petrinetze eignen sich gut zur Formalisierung des Verhaltens verteilter Informationssysteme zum Zweck der Verifikation und Analyse. Eine Klasse erweiterter gefärbte Petrinetze (HCPN-ST) mit strukturierten Marken wird in dieser Arbeit vorgestellt und am Beispiel erläutert. An diesem konkreten Modell wird die Analyse und Verifikation demonstriert. Das Beispiel-Algorithmenmodell wird in ein CPN transformiert. Der Algorithmus der Transformation wird vorgestellt. Diese Transformation wird durchgeführt, um die erweiterte Methode mit Software -Tools zu analysieren und verifizieren. Mit Peneca Chromos wird das Modell editiert und simuliert und einige Eigenschaften werden analysiert. Die weitere Analyse und Verifikation erfolgt mit dem Tool INA. Es folgt die Erweiterung und Integration in den gesamten Analyseprozess und die Verifikationsmethodik. Abschließend wird die Notwendigkeit und Motivation zur Erweiterung von dynamischen Modellierungsansätzen für die Analyse von verteilten Informationssystemen behandelt und damit die Zielstellung der Arbeit erreicht

Lern- und Arbeitsaufgaben für die Kreislauf- und Abfallwirtschaft: eine nachhaltige Facharbeiterausbildung im Arbeitsprozess: Handbuch für Ausbilder und Lehrer: European RecyOccupation Profile Project - Implementierung des europäischen Kernberufsprofils ECO-Recycler in Österreich

Das vorliegende Handbuch präsentiert konkrete Beispiele von fachspezifischen Lern- und Arbeitsaufgaben für die Kreislauf- und Abfallwirtschaft, die im Rahmen des EU-Leornardo-Projektes "RecyOccupation" entwickelt worden sind. Ziel dieses Projektes ist es, das europäische Kernberufsprofil ECO-Recycler in ausgewählten Ländern (Deutschland, Griechenland, Großbritannien, Litauen, Slowenien, Spanien, Österreich) zu implementieren bzw. die dafür notwendigen Voraussetzungen zu schaffen. Das in einem Vorläuferprojekt entwickelte europäische Kernberufsbild ist konzipiert worden, um das Qualifizierungsdefizit auf der (Fach-)ArbeiterInnenebene der Kreislauf- und Abfallwirtschaft längerfristig zu schließen. Durch nationale Projektteams wird dieses Berufsprofil in die länderspezifischen Berufsausbildungspläne transformiert und an die dementsprechenden Ausbildungsniveaus und Qualifikationsanforderungen angepasst

Description, Analysis and Evaluation of a Novel Architecture Concept for Fault-Tolerant Control Systems

Die Frage, wie sicherheitskritische Steuerungen fehlertolerant gestaltet werden können, kann als grundsätzlich beantwortet angesehen werden (Echtle, 1990). Teils seit Jahrzehnten existieren Verfahren zur Fehlererkennung, Wiederholung misslungener Rechenoperationen oder paralleler Programmausführung auf mehreren Rechnern. Auf ein Gesamtsystem, wie z. B. ein Automobil bezogen, wurde jedoch bislang meist jedes einzelne Teilsystem (Lenkanlage, Bremsen etc.) isoliert betrachtet, was im Ergebnis zu massiver, aus Fehlertoleranzsicht aber entbehrlicher, struktureller Redundanz führte. Aus dieser Überlegung heraus entstand das Konzept der "Entfernten Redundanz", welches es erlaubt, im Gesamtsystem vorhandene Ressourcen unabhängig vom Ort ihres Vorhandenseins nutzbar zu machen. Als Folge können Hardwarekomponenten durch auf einem fremden Teilsystem ausgeführte Software ersetzt werden, was im Hinblick auf die für das Gesamtsystem entstehenden Kosten ein wesentliches Einsparpotenzial darstellt. Aber auch in Bezug auf ein einzelnes Teilsystem ermöglicht es der Einsatz Entfernter Redundanz, aufwändige (und darüber hinaus fehleranfällige) Verkabelungsstrukturen in beträchtlichem Umfang zu reduzieren. Die durch Entfernte Redundanz entstehende Systemarchitektur ist dabei nahezu frei skalierbar und nicht etwa auf einen bestimmten Fehlertoleranzgrad eingeschränkt. Realisierbar sind dementsprechend neben den beiden in der Praxis häufigsten Anforderungen − Ausfallsicherheit und Einfehlertoleranz − beliebige n-von-m-Systeme.The general problem of designing safety-critical control systems in a fault-tolerant manner may be regarded as largely solved (Echtle, 1990). Methods allowing for fault detection, forward/backward error recovery or fault masking using redundant computers partly exist since decades. As to a complete system, e. g. an automobile, usually each subsystem (steering system, brakes etc.) has, however, been treated and analyzed separately so far, leading to massive, but, from a fault tolerance point of view, superfluous, structural redundancy. Against this background, the concept of "remote redundancy" has been developed in order to enable the use of computing resources regardless of the location of their presence. As a consequence, formerly necessary hardware components may be replaced by a piece of software running on a different node, leading to a substantial savings potential for the production of the overall system. Even with regard to a single subsystem, remote redundancy allows to reduce complex and error-prone wiring structures to a considerable degree. The system architecture resulting from the appliance of remote redundancy is highly scalable and not at all restricted to a certain degree of fault tolerance. In addition to the most common requirements of single-fault tolerance and fail-safe behavior, any n-out-of-m-system is feasible