Building Qualitative Models of Thermodynamic Processes
Abstract
This paper describes a qualitative domain theory for core phenomena in engineering thermodynamics, expressed in Qualitative Process theory. It represents many of the best features of domain models developed by our group over the past five years. It focuses on supporting system-level qualitative analyses of typical fluid and thermal systems, such as refrigerators and power plants. We use explicit modeling assumptions [3] to control the level of detail used in building models of specific scenarios. We begin by outlining the primitives of the specific QP modeling language. The bulk of the paper describes the domain model itself, highlighting our design choices, simplifications, and use of modeling assumptions. Next we demonstrate how this domain model can be used to build models of a variety of specific scenarios, including simplified versions of a refrigerator, a steam plant, and a thermal control system. Finally, we describe some planned extensions to the model.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 2007
- Accession Number
- ADA465196
Entities
People
- John W. Collins
- Ken Forbus
Organizations
- University of Illinois Urbana–Champaign