Informatik Schriftenreihe
Forschungsergebnisse zur Informatik

Chun Du

RelCAD: A Relational CAD System with Constraint-Based Geometric Modelling

Hamburg 1995, Band 14

Most conventional CAD systems have been proved to be Computer-Aided Drafting systems. They do not offer sufficient support for the design activity. The reason is that they cannot understand the semantic information and keep the semantic…

Michael Dahr

Petri Net Semantics of Logic Programs and Deductive Databases

Hamburg 1994, Band 13

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…

Ferdinand Geue

Eckenabsuchende Verfahren und Entartung

Theorie, Algorithmen und Vergleichstests

Hamburg 1994, Band 12

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…

Manfred Precht

Multiple Hypothesentests

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

Hamburg 1994, Band 11

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…

Bernd Heidergott

Pfadanalyse stochastischer Netzwerke

Hamburg 1996, Band 10

Viele reale Systeme wie z.B. Kommunikationsnetze, Fertigungs– oder Rechnersysteme, lassen sich durch stochastische Netzwerke beschreiben. Darunter versteht man ein System miteinander verbundener Stationen. Entlang der Verbindungen zwischen den…

Shirin Bakthari

Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien

Hamburg 1993, Band 9

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…

Abd E. Elnakhal

Lokale Rechnernetze für die industrielle Automation

Hamburg 1993, Band 8

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…

Lothar Tremmel

Untersuchungen zu optimalen Symbolen in graphischen Darstellungen

Hamburg 1992, Band 7

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…

Oscar Slotosch

Analogieschlüsse beim automatischen Beweisen

Hamburg 1992, Band 6

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…

Rainer Fehling

Hierarchische Petrinetze

Hamburg 1992, Band 5

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…