Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers

Technical Report · Tue Sep 01 04:00:00 EDT 1992

DOI:https://doi.org/10.2172/7368555· OSTI ID:7368555

Nataf, J M; Winkelmann, F

We show how computer algebra and compiler-compilers are used for automatic code generation in the Simulation Problem Analysis and Research Kernel (SPARK), an object oriented environment for modeling complex physical systems that can be described by differential-algebraic equations. After a brief overview of SPARK, we describe the use of computer algebra in SPARK's symbolic interface, which generates solution code for equations that are entered in symbolic form. We also describe how the Lex/Yacc compiler-compiler is used to achieve important extensions to the SPARK simulation language, including parametrized macro objects and steady-state resetting of a dynamic simulation. The application of these methods to solving the partial differential equations for two-dimensional heat flow is illustrated.

• Research Organization: Lawrence Berkeley Lab., CA (United States)
• Sponsoring Organization: DOE; USDOE, Washington, DC (United States)
• DOE Contract Number: AC03-76SF00098
• OSTI ID: 7368555
• Report Number(s): LBL-32815; ON: DE93015232
• Country of Publication: United States
• Language: English

Related Subjects

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATION
320107* -- Energy Conservation
Consumption
& Utilization-- Building Systems-- (1987-)
99 GENERAL AND MISCELLANEOUS
990200 -- Mathematics & Computers
ALGEBRA
BUILDINGS
COMPUTER CALCULATIONS
COMPUTER CODES
DIFFERENTIAL EQUATIONS
ENERGY TRANSFER
EQUATIONS
HEAT FLOW
HEAT TRANSFER
MATHEMATICS
PARTIAL DIFFERENTIAL EQUATIONS
S CODES
TWO-DIMENSIONAL CALCULATIONS