Junjie Tang
National CAD Center, China
Jianwan Ding
National CAD Center, China
Liping Chen
National CAD Center, China
Xiong Gong
National CAD Center, China
Ladda ner artikelhttp://dx.doi.org/10.3384/ecp11063837Ingår i: Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany
Linköping Electronic Conference Proceedings 63:95, s. 837-842
Publicerad: 2011-06-30
ISBN: 978-91-7393-096-3
ISSN: 1650-3686 (tryckt), 1650-3740 (online)
Differential algebraic equations (DAEs); translated from Modelica model; is usually represented by bipartite graph. One of basic premises of creating bipartite graph is to determine types of variables and equations. Type calculation of Modelica equation has been researched and a serial of rules for variability and type calculation has been concluded in this paper.
Equation type is the type of variable that equation can solve. Equation type is calculated in symbolic by both variability and basic type of its sub-expressions. Generally; type calculation is a bottom-up way as expression is represented in form of tree. But; there are kinds of particular expressions; such as integer(); noEvent(); multi-output function call expression; etc; which may cause type and variability incompatible problem. The issue is discussed in the paper; and several rules for variability and type calculation are present. These rules will helps to debug out obscure errors; and several typical examples are present to show how the rules work.
Equation type; equation variability; compatibility of variability and type; model debug
Inga referenser tillgängliga