Die strukturierte Analyse Markovscher Modelle
Das Buch behandelt die quantitative Analyse komplexer dynamischer Systeme mittels Modellen, die sich auf Markov-Prozesse abbilden lassen. Es wird ein Konzept entwickelt, welches die hierarchische Spezifikation von komplexen Modellen und die Kombination verschiedener bekannter Modellierungsparadigmen in einem Modell erlaubt. Neue Analysetechniken werden vorgestellt, die unter Ausnutzung der Modellstruktur eine sehr effiziente Modellanalyse erm|glichen. Im Vergleich zu bekannten Analysetechniken lassen sich ...
73,00 CHF
Modellbildung, Wissensrevision und Wissensrepräsentation ...
Das Buch vermittelt eine neue Sichtweise auf das Problem des induktiven Lernens. Unter Einbeziehung von Ansätzen aus der Wissenschaftstheorie und Psychologie wird eine Konzeption entwickelt, die es maschinell lernenden Systemen ermöglicht, auch in komplexen Weltausschnitten zu lernen. Es wird dargestellt, daß eine Modellbildung in komplexen Weltausschnitten nur in mehrstufigen Prozeßen möglich ist. Innerhalb einer Lernstufe ist der Einsatz von Strategien ...
73,00 CHF
Optische Meßverfahren der Wärme- und Stoffäbertragung
Dargestellt werden sowohl die "klassischen" als auch die modernen optischen Beobachtungsmethoden, die sich bei der Behandlung von Problemen in der Wärme- und Stoffübertragung bewährt haben: Schlieren-, Schatten- und Interferenzmethoden ebenso wie holographische Interferometrie, Zweiwellenlängen-Interferometrie und optische Tomographie. Theorie, Aufbau und Auswertungsmethoden werden beschrieben und an zahlreichen praxisbezogenen Anwendungsbeispielen erläutert.
60,50 CHF
Ausführbare Spezifikation von Directory-Systemen in einer...
Das Buch behandelt die Spezifikation von Directory-Systemen unter Anwendung von Konzepten der logischen Programmierung. Ausgehend von der Definition derArchitektur eines Directory-Systems wird eine Spezifikationsmethode zur Beschreibung solcher Architekturen vorgestellt. Als Spezifikationssprache dient die Sprache der Hornklausel-Logik, erweitert um Negation. Im Buch werden eine von D.B. Terry bei Xerox PARC entworfene Architektur und ein Ausschnitt aus der Architektur des internationalen Standards ...