Automated Modeling of Physical Systems

1995
ISBN: 978-3-540-60641-3
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 1003, 238 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 400 g

Reihe: Lecture Notes in Computer Science

This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions.
This monograph investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical sides are presented: the problem is precisely formalized, its computational complexity is analyzed in detail, and an efficient algorithm for finding adequate models is derived; on the practical side, a methodology for building systems that automatically construct adequate models is provided, and implementational aspects and tests are described.

Zielgruppe

Research

Autoren/Hrsg.

Nayak, P. Pandurang

Fachgebiete

• Naturwissenschaften Physik Physik Allgemein Theoretische Physik, Mathematische Physik, Computerphysik
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
• Naturwissenschaften Physik Physik Allgemein Experimentalphysik
• Mathematik | Informatik EDV | Informatik EDV & Informatik Allgemein
• Naturwissenschaften Physik Physik Allgemein Geschichte der Physik
• Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computersimulation & Modelle, 3-D Graphik

Inhaltsverzeichnis

Models and model fragments.- Adequate models.- Complexity of model selection.- Causal approximations.- Differential equations.- Order of magnitude reasoning.- Model selection program and results.- Related work.- Conclusions.