National Technical Reports Library

The National Technical Information Service acquires, indexes, abstracts, and archives the largest collection of U.S. government-sponsored technical reports in existence. The NTRL offers online, free and open access to these authenticated government technical reports. Technical reports and documents in its repository may be available online for free either from the issuing federal agency, the U.S. Government Publishing Office’s Federal Digital System website, or through search engines.

Details

Using Spark as a Solver for Modelica.

DE2008936247

Publication Date	2008
Personal Author	Wetter, M.; Haves, P.; Moshier, M. A.; Sowell, E. F.
Page Count	8
Abstract	Modelica is an object-oriented acausal modeling language that is well positioned to become a de-facto standard for expressing models of complex physical systems. To simulate a model expressed in Modelica, it needs to be translated into executable code. For generating run-time efficient code, such a translation needs to employ algebraic formula manipulations. As the SPARK solver has been shown to be competitive for generating such code but currently cannot be used with the Modelica language, we report in this paper how SPARK's symbolic and numerical algorithms can be implemented in OpenModelica, an open-source implementation of a Modelica modeling and simulation environment. We also report benchmark results that show that for our air flow network simulation benchmark, the SPARK solver is competitive with Dymola, which is believed to provide the best solver for Modelica.
Keywords	Air flow Algorithms Benchmarks Implementation Simulation Modelica
Source Agency	Technical Information Center Oak Ridge Tennessee
Corporate Authors	Lawrence Berkeley National Lab., CA.; Department of Energy, Washington, DC.; California State Univ., Fullerton.; Chapman Univ., CA.
Supplemental Notes	Prepared in cooperation with California State Univ., Fullerton. and Chapman Univ., CA. Sponsored by Department of Energy, Washington, DC.
Document Type	Technical Report
NTIS Issue Number	200902

Using Spark as a Solver for Modelica.

Using Spark as a Solver for Modelica.
DE2008936247

Publication Date	2008
Personal Author	Wetter, M.; Haves, P.; Moshier, M. A.; Sowell, E. F.
Page Count	8
Abstract	Modelica is an object-oriented acausal modeling language that is well positioned to become a de-facto standard for expressing models of complex physical systems. To simulate a model expressed in Modelica, it needs to be translated into executable code. For generating run-time efficient code, such a translation needs to employ algebraic formula manipulations. As the SPARK solver has been shown to be competitive for generating such code but currently cannot be used with the Modelica language, we report in this paper how SPARK's symbolic and numerical algorithms can be implemented in OpenModelica, an open-source implementation of a Modelica modeling and simulation environment. We also report benchmark results that show that for our air flow network simulation benchmark, the SPARK solver is competitive with Dymola, which is believed to provide the best solver for Modelica.
Keywords	Air flow Algorithms Benchmarks Implementation Simulation Modelica
Source Agency	Technical Information Center Oak Ridge Tennessee
Corporate Authors	Lawrence Berkeley National Lab., CA.; Department of Energy, Washington, DC.; California State Univ., Fullerton.; Chapman Univ., CA.
Supplemental Notes	Prepared in cooperation with California State Univ., Fullerton. and Chapman Univ., CA. Sponsored by Department of Energy, Washington, DC.
Document Type	Technical Report
NTIS Issue Number	200902