Wissenschaftliche LiteraturInformatik

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…

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…

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…

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…

Felix Ulmer

Entwurf von Algorithmen zur Berechnung Liovillescher Lösungen von linearen gewöhnlichen Differentialgleichungen

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

Die Computer-Algebra ist das Teilgebiet der Informatik, welches sich mit dem Entwurf, der Analyse und der Implementierung von algebraischen Algorithmen befaßt. Bei einem algebraischen Algorithmus werden im Rechner darstellbare, abstrakte mathematische Datentypen symbolisch manipuliert, um ohne Verlust an…

Martin Kramer

Ein planungsorientiertes Betriebssystemmodell

Forschungsergebnisse zur Informatik

Der kostenintensivste Teil bei früher eingesetzten Computern war die jeweils benötigte Rechenzeit. Daher wurde bei der Entwicklung von Programmsystemen jeder Art auf alles verzichtet, was nur den Rechenzeitbedarf erhöhte und nicht zur gewünschten Funktionalität beitrug. Dieser Vorgabe fiel natürlich zuerst der…

Sabine Kämper

PEGROS

Ein Konzept zur Entwicklung eines graphischen, objektorientierten Modellbildungs- und Simulationswerkzeugs auf der Basis von Petri-Netzen

Forschungsergebnisse zur Informatik

Sabine Kämper will Modellentwicklern aus unterschiedlichen Anwendungsbereichen ein methodisch fundiertes Werkzeug zur Verfügung stellen. Das Ziel ihres Buches ist es, mit PEGROS ein Modellbildungs- und Simulationswerkzeug zu entwickeln, das besonders den unerfahrenen Anwender in systematischer Weise im…

Ludger Schäfers

Temporal Modeling in Relational Database-Systems

Studien zur Datenbankforschung

Die Fähigkeit der Modellierung von Zeitaspekten der Realwelt in Datenbanken ist seit längerer Zeit bereits als eine in vielen Anwendungen wichtige Eigenschaft eines Datenmodells erkannt worden. Zu einer solchen Modellierung gehört in jedem Falle auch eine entsprechende Anfragesprache, mit der man die in einer…

Rudolf Jäger

Computer-Kommunikation für lokale Rechnernetze

Leistungsbewertung und Verbesserung der Realzeiteigenschaften bei Tokenbus-basierten LANs

Forschungsergebnisse zur Informatik

Das Buch befaßt sich mit Leistungsuntersuchungen des Mediumzugriffsverfahrens, wie es für das Manufacturing Automation Protocol (MAP) vorgeschlagen wurde.

Lokale Rechnernetze haben für die Verbindung der unterschiedlichen Komponenten, wie sie in einer Automatisierungsumgebung zu finden sind, eine besondere…

Rudolf Keller

Prototypingorientierte Systemspezifikation

Konzepte, Methoden, Werkzeuge und Konsequenzen

Forschungsergebnisse der Programmentwicklung

Die Ermittlung, Beschreibung und Analyse der Anforderungen an Softwaresysteme ist aufwendig und fehleranfällig, die Kommunikation zwischen Entwicklern und Benutzern ist oft ungenügend und häufig wird das Falsche spezifiziert. Es wird gezeigt, dass mit Prototyping ein wesentlicher Beitrag zur Lösung dieser Probleme…