Informationswissenschaft

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 […]

Dirk Hoppen

Organisation und Informationstechnologie

Studien zur Wirtschaftsinformatik

Bevor sich das Management eines Unternehmens der Herausforderung stellen kann, eine auf Information basierende Organisation aufzubauen, muß es sich Klarheit darüber verschaffen, welcher Zusammenhang zwischen Organisation (der Tätigkeit des Organisierens) und Informationstechnologie besteht. Diese Frage gewinnt immer mehr an Bedeutung, weil die Informationstechnologie, die im Zusammenhang mit der Verarbeitung und dem Austausch von Informationen eine entscheidende Rolle […]

Bernhard Wörner

Implizite Darstellung von Parallelität auf der Ebene des Programmiermodells

Forschungsergebnisse der Programmentwicklung

Das Buch hat die Beschreibung und Darstellung von Parallelität als eine der zentralen Aufgaben bei der parallelen Programmierung zum Gegenstand. Zur Zeit ist die parallele Programmierung noch geprägt durch eine komplexe und sehr fehleranfällige Programmierweise. Der parallele Ablauf wird in allen Einzelheiten durch den Programmcode vorgeschrieben. Ein Fernziel bei der parallelen Programmierung ist deshalb eine Loslösung der Parallelitätsaspekte vom eigentlichen […]

Peter E. H. Hofmann

Entwicklung objektorientierter Konzepte zur Erstellung paralleler und verteilter Systeme des rechnergestützten Schaltungsentwurfs

Forschungsergebnisse der Programmentwicklung

Der rechnergestützte Entwurf von integrierten Schaltungen muss vor allem die ständige Weiterentwicklung der Schaltkreistechnologie berücksichtigen. Durch immer feinere Strukturgrößen bei gleichzeitig zunehmender Chipfläche wurde es möglich, immer umfassendere und komplexere Schaltungen auf einem Chip zu integrieren. Bei diesem Prozess spielen die Entwurfswerkzeuge eine zentrale Rolle; ohne ihre Unterstützung wäre die Entwicklung höchstintegrierter Schaltungen nicht […]

Demetrius Paparoditis

Ein Modell für Informationssuchsysteme im medizinischen Umfeld

Forschungsergebnisse der Programmentwicklung

Medizinische Information ist eine unverzichtbare Voraussetzung ärztlicher und pflegerischer Handlungen. Allerdings ist in einer Domäne wie der Medizin, die durch eine anwachsende Zahl autonomer, dezentraler und hinsichtlich ihrer Terminologien, Interaktionsschnittstellen und inhaltlichen Orientierung hochgradig heterogener Informationsquellen gekennzeichnet ist, die Suche nach der jeweils behandlungsrelevanten medizinischen Information eine Aufgabe mit vielen Barrieren. […]

Marianne Andres

Ein Modell zur Repräsentation binokularer Information

Forschungsergebnisse der Programmentwicklung

In dieser Arbeit werden zweidimensionale Repräsentationen binokularer Informationen erzeugt und untersucht. Sie werden nach Prinzipien organisiert, die bei der frühen visuellen Informationsverarbeitung im Cortex gefunden werden. Die Erzeugung künstlicher neuronaler Karten ermöglicht einerseits den qualitativen Vergleich mit biologisch gemessenen Karten und andererseits die Untersuchung, inwieweit ihre Verwendung in technischen Systemen zur Lösung von […]

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 […]

Oscar Slotosch

Analogieschlüsse beim automatischen Beweisen

Forschungsergebnisse zur Informatik

Was macht den Menschen intelligenter als die Maschine?

Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen Analogiebegriff so zu konkretisieren, daß er von der Maschine verwendet werden kann. Die Sprachphilosophie sagt über die Bedeutung (Intension) der Analogie: […]

Lothar Tremmel

Untersuchungen zu optimalen Symbolen in graphischen Darstellungen

Forschungsergebnisse zur Informatik

Ziel der Datenanalyse ist, Struktur und Zusammenhänge in den Daten zu erkennen. Oft verwendet man dazu mathematische Algorithmen wie Faktoren– oder Diskriminanzanalyse: Eine externe Maschinerie, in die man sozusagen oben die Daten hineinschüttet und unten die fertigen Ergebnisse in Form von Gruppierungen und Strukturaussagen herausbekommt.

Lothar Tremmel geht es um einen anderen Weg: Man zeigt die Daten, wie sie sind, und überläßt es der menschlichen […]