UNIVERSITÄT DORTMUND Dortmund, 23.1.1995

Lehrstuhl Informatik IV

H.Beilner

Ankündigung von Lehrveranstaltungen

Im Sommersemester 1995 biete ich an:

* Spezialvorlesung (Informatik und Angewandte Informatik) bzw. "Stamm"vorlesung (Angewandte Informatik)

Simulation (4V)

Zugehörige Übungen (2Ü) werden von Frau A.Rühl betreut.

Die Untersuchung komplexer Systeme bezüglichihrer interessanten bzw. wünschenswerten Eigenschaften erfolgt häufig auf dem Wege der Erstellung diesbezüglicher "Modelle" und der nachfolgenden "Analyse" dieser Modelle. Dieses Vorgehen bietet sich insbesondere dort an, wo eine direkte Untersuchung der realen Systeme zu aufwendig, zu gefährlich, überhaupt unmöglich erscheint (letzteres z.B. im Entwurfsstadium eines Systems).

Die hier angebotene Lehrveranstaltung widmet sich der Modellierung dynamischer, auch stochastischer, ereignisorientierter Systeme (ein Systemtyp, der u.a. Transport-Systeme, Fertigungs-Systeme, Materialfluß-Systeme, Büro-Systeme, ... last not least: Rechen-Systeme einschließt) und der Analyse dieser Modelle mittels rechnergestützter Simulation.

Behandelt werden insbesondere

- Probleme, Methoden und Techniken der Modellbildung

- Programmierung von Simulationsmodellen und geeignete Programmier- und Spezifikations-Sprachen

- statistische Verfahren für die Spezifikation stochastischer Modellgrößen

- statistische Verfahren zur Auswertung von Simulationsexperimenten

- Probleme und Verfahren der Kalibrierung und Validierung von Simulationsmodellen

- Grundlagen des Experimententwurfs

Die in der Vorlesung verwendeten Folien werden als Manuskript herausgegeben.

Teile der Vorlesung werdendie Beherrschung des Stoffes der Lehrveranstaltung "Wahrscheinlichkeitsrechnung und mathematische Statistik für Informatiker" (bzw. entsprechender Veranstaltungen) voraussetzen. Für Hörer, die diese Lehrveranstaltungen nicht besucht (oder ihren Inhalt nicht mehr präsent) haben, weise ich zur erforderlichen Einarbeitung insbesondere hin auf

W. Dörfler; Mathematik für Informatiker, Bd. 2 (Methoden aus derAnalysis);

Hanser-Verlag 1978 (erste! Auflage).

oder alternativ (deutlich knapper): Dörfler/Peschek; Einführung in die Mathematik für Informatiker (Hanser, 1988)

bzw. Berendt; Mathematische Grundlagen für Informatiker Band 2 (BI, 1990).

Termine:

Vorlesung: Dienstag, 10.15 - 11.45 Uhr, GB V / SR 420

Donnerstag, 14.15 - 15.45 Uhr, GB V / SR 420

Beginn: 18.4.95

Übungen: Übungsgruppeneinteilung zuEnde des ersten Vorlesungstermins (18.4.95)

gez. H.Beilner