Informatik Schriftenreihe
Forschungsergebnisse zur Informatik

Thomas Fritsch

Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen

Hamburg 1996, Band 20

Thema des Buches ist die Anwendung neuronaler Netze auf Planungsprobleme mobiler Kommunikationssysteme. Deren Planung ist dadurch gekennzeichnet, daß aufgrund von Erfahrungswerten und Expertenwissen bislang nur Speziallösungen für…

Jürgen Schwille

Dokumenten- und Prozeßmodelle für die Software-Verwaltung

Hamburg 1995, Band 19

In einem Software-Projekt entsteht eine riesige Zahl verschiedenartiger Informationen. Festgehalten werden diese Informationen in Dokumenten. Solche Dokumente zu verwalten, ist Aufgabe der Software-Verwaltung. Die Software-Verwaltung muss die…

Ruggero Costantini

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Hamburg 1995, Band 18

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der…

Uwe Langer

Ein Konzept zur entwurfsbegleitenden Leistungsanalyse von Rechensystemen

Hamburg 1995, Band 17

Kurze Innovationszyklen und die ständig wachsende Komplexität von Rechensystemen erfordern eine möglichst frühzeitige Aufdeckung von Entwurffehlern und Leistungs-Engpässen. Daher sind entwurfsbegleitende quantitative Leistungsanalysen meist zu…

Peter Luksch

Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher

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…

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…