Informatik Schriftenreihe
Forschungsergebnisse zur Informatik
ISSN 1435-6260 | 74 lieferbare Titel | 18 eBooks

Peter Luksch
Hamburg 1994, Band 15
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…
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…
CADConstraintsInformatik
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…
InformatikSemantics
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…
Entartete EckeEntartungsgraphInformatikLineare OptimierungN-BaumNachbarschaftsproblem
Manfred Precht
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…
Informatik
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…
InformatikKommunikationPfadanalyse
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…
AIArtificial IntelligenceInformatikKIKünstliche IntelligenzVerarbeitung
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…
ImplementierungInformatikManufacturing Automation Protocol
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…
DatenanalyseInformatikInformationsverarbeitungKontexteffektWahrnehmungspsychologie
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…
AlgorithmenAnalogieInformatikKlassifikationPrädikatenlogik