Automatically modeling, simulating and explaining physical systems |
| |
Authors: | Shilong Ma |
| |
Affiliation: | Dept. of Computer Sci., Beijing Univ. of Aero. & Astronautics, Beijing 100083, China |
| |
Abstract: | This paper presents an interactive framework for constructing models from high-level specifications of real physical systems, deriving low-level simulations from the constructed models and then generating explanations of the simulated behavior to help engineers interpret and control the real physical systems. To demonstrate our method, we show an example of modeling river networks, which are eco-environmental engineering systems, to provide a computer-based solution to problems of simulating and controlling concentrations of water quality constituents in river networks1]. |
| |
Keywords: | Qualitative Reasoning Modeling Simulation Behavior Analysis |
本文献已被 ScienceDirect 等数据库收录! |
|