Wissenschaftliche Literatur Informationswissenschaft

Martin Härtig

Objektorientierte Integration von autonomen Datenhaltungssystemen

Studien zur Datenbankforschung

In vielen Einsatzbereichen der Informatik müssen Anwendungen heute Daten aus mehreren eigenständigen Datenbasen bearbeiten und verknüpfen. Da hierbei meist verschiedenste Datenhaltungssysteme - von Dateisystemen über konventionelle bis hin zu fortgeschrittenen objektorientierten Datenbanksystemen - im Spiel sind, wird die Realisierung solcher Anwendungen zu einer aufwendigen und mühsamen Arbeit, die fundierte Kenntnisse über alle beteiligten Systeme erfordert. Eine…

Marcus Deininger

Quantitative Erfassung der Software und ihres Entstehungsprozesses

Forschungsergebnisse der Programmentwicklung

Auch 25 Jahre nach „Erfindung" des Software Engineerings sind die damit verbundenen Ziele noch nicht annähernd erfüllt. Die besonderen Eigenschaften des Produkts Software verhindern die erwartete einfache „Übertragung ingenieurmäßiger Prinzipien auf die Software-Entwicklung. Mehr als jedes andere industrielle Produkt entzieht sich Software (und ihr Entwicklungsprozess) unserer Wahrnehmung und Kontrolle. Dieser fehlende Einblick ist eine der Ursachen der Software-Krise.…

Manfred Precht

Multiple Hypothesentests

Ein Überblick für die Praxis und die Anwendung in Statistikprogrammpaketen

Forschungsergebnisse zur Informatik

Multiple Hypothesentests zum Vergleich mehrerer Mittelwerte gehören zu den statistischen Verfahren, die in der Praxis am häufigsten verwendet werden. Allerdings werden diese Tests häufig falsch angewendet. Der Anwender ist sich meistens nicht im klaren, ob der betreffende Test multiples Niveau einhält oder nicht. So wird am liebsten der multiple LSD-Test angewendet, weil dieser die meisten signifikanten Differenzen herausbringt. Die Ergebnisse der Einzelvergleiche beim…

Ferdinand Geue

Eckenabsuchende Verfahren und Entartung

Theorie, Algorithmen und Vergleichstests

Forschungsergebnisse zur Informatik

Entartung ist ein Phänomen, das die Effizienz und Konvergenz pivotisierender Verfahren maßgeblich beeinflussen kann. Das bekannteste Beispiel hierfür stellt das Zykeln des Simplexverfahrens dar, zu dessen Verhinderung eine Reihe von Zusatzregeln entwickelt wurden. Störungsregeln bzw. numerisch äquivalente lexikographische Pivotauswahlregeln können dabei als geläufigste prinzipielle Strategien zum Erhalt einer eindeutigen Pivotauswahl betrachtet werden. Sie bilden auch…

Michael Dahr

Petri Net Semantics of Logic Programs and Deductive Databases

Forschungsergebnisse zur Informatik

Joining ideas from database theory and logic programming leads to the theory of deductive databases. In addition to the data stored in a database (extensional facts), a deductive database stores rule based knowledge concerning parts of the real world which are modeled by the system. A deductive database management system (DDBMS) consists of two parts: 1) An arbitrary database management system and 2) a deduction mechanism that uses extensional as well as intensional facts…

Peter Luksch

Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher

Forschungsergebnisse zur Informatik

Ziel dieser Arbeit ist es, einen objektiven Vergleich unterschiedlicher Ansätze zur Parallelisierung ereignisgetriebener Simulationsverfahren zu ermöglichen. In der Vergangenheit sind eine Reihe von Parallelisierungsansätzen für die ereignisgetriebene Simulation vorgeschlagen, auf verschiedene Simulationsprobleme angewandt und auf unterschiedlichen Mehrprozessorsystemen implementiert worden. Die Studien kommen aufgrund der unterschiedlichen Rahmenbedingungen zu sehr…

Wilhelm Hasselbring

Prototyping Parallel Algorithms in a Set-Oriented Language

Forschungsergebnisse der Programmentwicklung

In diesem Buch wird der Entwurf und die Implementation eines Ansatzes zum Prototyping paralleler Algorithmen in der mengenorientierten Sprache ProSet präsentiert. Für eine Prototyping-Sprache ist es notwendig, zum Prototyping paralleler Algorithmen einfache, aber mächtige Konstrukte zur dynamischen Prozesskreation und zur Koordination paralleler Prozesse zur Verfügung zustellen.

Parallele Programmierung ist konzeptionell schwieriger durchzuführen und zu…

Abd E. Elnakhal

Lokale Rechnernetze für die industrielle Automation

Forschungsergebnisse zur Informatik

Das Buch befasst sich mit verkürzten Kommunikationsarchitekturen mit ISO-Protokollen auf der Basis von MAP-Netzen (Manufacturing Automation Protocol). Das Werk ist aus Forschungsarbeiten des Autors hervorgegangen, deren Schwerpunkt auf die Implementierungen solcher Architekturen ausgerichtet war. Erst dadurch war es möglich, die durch theoretische Analysen gewonnenen Erkenntnisse messtechnisch an einem realen System zu verifizieren. [...]

Shirin Bakthari

Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien

Forschungsergebnisse zur Informatik

Shirin Bakthari setzt sich zum Ziel, eine Symbiose herzustellen zwischen zwei Forschungsrichtungen: der parakonsistenten Logik einerseits und der Künstlichen Intelligenz andererseits, indem bei der Entwicklung von Problemlösungsverfahren, die einen methodischen Umgang mit Inkonsistenz aufweisen, nicht–klassische Logiken zur Anwendung gelangen. Das hier vorgestellte Problemlösungsverfahren zeichnet sich gegenüber den bisherigen Verfahren im Paradigma der Künstlichen…

Rainer Fehling

Hierarchische Petrinetze

Forschungsergebnisse zur Informatik

Ausgehend von Netzmorphismen werden “hierarchische Petrinetze” definiert, die dazu dienen, große dynamische, diskrete Systeme zu modellieren und sie in geeigneten Ausschnitten auf unterschiedlichen Abstraktionsebenen darzustellen. Dies ist nur mit Hilfe eines graphischen Struktureditors möglich, der ein hierarchisches Petrinetz verwaltet, in qualifizierter Weise seinen Aufbau und seine Manipulation erlaubt und die richtigen “Sichten” darauf anbietet. Grundlage für einen…