An illustration of automatic generation of zonal models

In this paper ongoing work using the computer algebra system Maple V and the object-based en­vironment Spark is presented, that aim at the an­ alytical approximate resolution of problems en­countered in air flows in dwelling zones, using computer algebra and expert system techniques. The application domain is the building science. The current scope of the work at  this stage  is two dimensional and steady state. The work pre­sented includes a package for domain decomposi­tion based on expectations about the nature and qualitative behavior of the flow , themselves de­rived from the boundary conditions of the prob­lem, first principles, and scaling arguments. A numerical engine with an object-based interface, called Spark, is used for solving hard numerical closure equations. The current state of the project as well as the experience of using Maple V and Spark for it is also described.