Automated Modeling of Physical Systems

این کتاب بر اساس پایان نامه دکتری نویسنده است که در طول مسابقه پایان نامه دکتری ACM در سال 1993 به عنوان یکی از سه مقاله ارسالی برتر انتخاب شد.
این تک نگاری به بررسی مشکل انتخاب مدل های مناسب برای استدلال در مورد سیستم های فیزیکی و برنامه های کاربردی می پردازد. حل مسائل مهندسی یک درمان ظریف از هر دو جنبه نظری و عملی ارائه شده است: مشکل دقیقاً رسمیت یافته است، پیچیدگی محاسباتی آن به طور مفصل تجزیه و تحلیل می شود، و یک الگوریتم کارآمد برای یافتن مدل های کافی مشتق شده است. در بخش عملی، یک روش برای ساخت سیستم‌هایی که به طور خودکار مدل‌های کافی را می‌سازند، ارائه شده و جنبه‌های اجرایی و آزمایش‌ها شرح داده شده است.

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.