Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers
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 National Lab. (LBNL), Berkeley, CA (United States)
- Sponsoring Organization:
- USDOE, Washington, DC (United States)
- DOE Contract Number:
- AC03-76SF00098
- OSTI ID:
- 10161277
- Report Number(s):
- LBL-32815; ON: DE93015232
- Resource Relation:
- Other Information: PBD: Sep 1992
- Country of Publication:
- United States
- Language:
- English
Similar Records
ISI's (Information Sciences Institute) SDI (Strategic Defense Initiative) architecture simulator: The 'KMAC' battle manager specification language. Research report
Recent improvements in SPARK: Strong component decomposition, multivalued objects, and graphical interface
Related Subjects
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
HEAT FLOW
S CODES
BUILDINGS
HEAT TRANSFER
PARTIAL DIFFERENTIAL EQUATIONS
ALGEBRA
COMPUTER CALCULATIONS
TWO-DIMENSIONAL CALCULATIONS
320107
990200
BUILDING SYSTEMS
MATHEMATICS AND COMPUTERS