liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica
Linköpings universitet, Institutionen för datavetenskap. (PELAB)
MathCore Engineering.
Linköpings universitet, Institutionen för datavetenskap. (PELAB)ORCID-id: 0000-0002-3435-4996
2008 (Engelska)Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

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.

Ort, förlag, år, upplaga, sidor
Bielefeld, Germany: Modelica Association , 2008.
Nyckelord [en]
dimensional analysis, unit checking, dimensions, types, Modelica, language design
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-44555Lokalt ID: 77020OAI: oai:DiVA.org:liu-44555DiVA, id: diva2:265417
Konferens
6th International Modelica Conference.
Tillgänglig från: 2009-10-10 Skapad: 2009-10-10 Senast uppdaterad: 2018-01-12

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

http://www.bromans.com/david/publ/modelica-conf-2008-units.pdf

Personposter BETA

Broman, DavidFritzson, Peter

Sök vidare i DiVA

Av författaren/redaktören
Broman, DavidFritzson, Peter
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 78 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf