Sökning: WFRF:(Broman David 1977 ) >
Design Consideratio...
Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica
-
- Broman, David, 1977- (författare)
- Linköpings universitet,Institutionen för datavetenskap,PELAB
-
- Aronsson, Peter (författare)
- MathCore Engineering
-
- Fritzson, Peter (författare)
- Linköpings universitet,Institutionen för datavetenskap,PELAB
-
(creator_code:org_t)
- Bielefeld, Germany : Modelica Association, 2008
- 2008
- Engelska.
-
Ingår i: Proceedings of the 6th International Modelica Conference. - Bielefeld, Germany : Modelica Association. ; , s. 3-12
- Relaterad länk:
-
http://www.bromans.c...
-
visa fler...
-
https://urn.kb.se/re...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- The Modelica language supports syntax for declaring physical units of variables, but it does not yet exist any defined semantics for how dimensional and unit consistency checking should be carried out. In this paper we explore different approaches and new constructs for improved dimensional inference and unit consistency checking in Modelica; both from an end-user, library, and tool perspective. A proposal for how dimensional inference and unit checking can be carried out is outlined and a prototype implementation is developed and verified using several examples from the Modelica standard library.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- dimensional analysis
- unit checking
- dimensions
- types
- Modelica
- language design
- Computer science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)