发布求助
文献互助 智能选刊 最新文献

Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools最新文献

筛选
英文 中文
Magnetic force from experiment, equation- and geometry-based calculation using the example of a switching magnet 磁力从实验、方程和几何的基础上计算，以开关磁铁为例
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3365984.3365992
H. Schmidt, S. Hacia
{"title":"Magnetic force from experiment, equation- and geometry-based calculation using the example of a switching magnet","authors":"H. Schmidt, S. Hacia","doi":"10.1145/3365984.3365992","DOIUrl":"https://doi.org/10.1145/3365984.3365992","url":null,"abstract":"Both equation-based and geometry-based simulation can be used to design magnetic circuits. Equation-based simulation allows direct coupling of the magnetic domain to a large number of other domains and is therefore ideal for system simulation. Geometry-based simulation allows straight-forward implementation of arbitrary spatial arrangements. Both findings make no statement about the actual quality of the results, only about the convenience of use. Both approaches can provide directly comparable results for suitable magnetic circuit geometries. In this study, equation-based calculations are performed using the OpenModelica Connection Editior (OMEdit [5]). Geometry-based calculations are performed using Finite Element Method Magnetics (FEMM [2]). Using these freely available tools, we would like to focus on the question of prediction accuracy for a given geometry well suited for both calculation methods, in this case a flat armature switching magnet. Models are created in both aforementioned simulation tools and a prototype is physically built and tested in the laboratory. This way, we are able to not only compare the results of these two simulation approaches, but also check with the reality tested in the laboratory.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122374522","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Towards a benchmark suite for high-performance Modelica compilers 面向高性能Modelica编译器的基准测试套件
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3365984.3365988
G. Agosta, F. Casella, Stefano Cherubin, A. Leva, F. Terraneo
{"title":"Towards a benchmark suite for high-performance Modelica compilers","authors":"G. Agosta, F. Casella, Stefano Cherubin, A. Leva, F. Terraneo","doi":"10.1145/3365984.3365988","DOIUrl":"https://doi.org/10.1145/3365984.3365988","url":null,"abstract":"This Work-In-Progress paper introduces HiPerMod, a new Modelica benchmark suite for large-scale models. The main characteristic of this benchmark suite is that for each model the Modelica implementation is compared with hand-optimized C++ code. The purpose of HiPerMod is to both assess the current performance gap in existing Modelica translators, as well as to explore how to produce the most optimized code for such models, a task that will later be automated in next generation Modelica compilers. In this paper the design choices of HiPerMod are introduced, and preliminary results on a thermal model for integrated circuits are presented.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115042494","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Towards introducing just-in-time compilation in a Modelica compiler 在Modelica编译器中引入即时编译
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3365984.3365990
John Tinnerholm, Martin Sjölund, A. Pop
{"title":"Towards introducing just-in-time compilation in a Modelica compiler","authors":"John Tinnerholm, Martin Sjölund, A. Pop","doi":"10.1145/3365984.3365990","DOIUrl":"https://doi.org/10.1145/3365984.3365990","url":null,"abstract":"We are investigating ways of introducing just-in-time compilation in a standard-compliant Modelica compiler, the Open-Modelica compiler (OMC). The main motivations are enabling extensions to support dynamically varying model structure, faster compilation, and faster recompilation of models after changes. We are investigating two approaches. The first approach is to adapt the low-level OpenModelica intermediate representation (IR) before code generation to be compatible with LLVM. In that way we can avoid generating intermediate C-code and instead generate LLVM IR in memory for just-in-time compilation (JIT). The second approach is to translate OMC itself written in MetaModelica to Julia, and thereby gain access to the JIT capabilities of LLVM. Another benefit of the second approach is the access to the Julia ecosystem, including a rich set of libraries for numerical computing. We have done a preliminary investigation of both approaches, with measurements on a selected sample of algorithms, and discovered that compilation-time of generated Julia code is slower compared to generating LLVM IR directly. We conclude that providing a standard-compliant Modelica compiler which supports a dynamically varying model structure is feasible and possible, and we believe that such a compiler can be provided by using Julia or MetaModelica.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121700563","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Are differential-algebraic equations the right tool for the object-oriented modeling of physical systems? 微分代数方程是物理系统面向对象建模的正确工具吗?
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3365984.3365989
D. Zimmer
{"title":"Are differential-algebraic equations the right tool for the object-oriented modeling of physical systems?","authors":"D. Zimmer","doi":"10.1145/3365984.3365989","DOIUrl":"https://doi.org/10.1145/3365984.3365989","url":null,"abstract":"Are differential-algebraic equations the right tool for the object-oriented modeling of physical systems? One may say yes, given all the empirical evidence. However, this paper offers a brief reasoning from a fundamental information-oriented perspective. The findings suggest that there are inherent flaws concerning the computational realization of DAEs in implicit form and that extensions are needed or alternatives should be investigated.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"41 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124736449","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Session details: Invited talks and demonstration 会议详情:特邀演讲及示范
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3382490
Olaf Enge-Rosenblatt
{"title":"Session details: Invited talks and demonstration","authors":"Olaf Enge-Rosenblatt","doi":"10.1145/3382490","DOIUrl":"https://doi.org/10.1145/3382490","url":null,"abstract":"","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121401199","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Compiler-related problems 会话细节:与编译器相关的问题
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3382491
P. Fritzson
{"title":"Session details: Compiler-related problems","authors":"P. Fritzson","doi":"10.1145/3382491","DOIUrl":"https://doi.org/10.1145/3382491","url":null,"abstract":"","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127043233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Algorithms for efficient problem solving 会议细节:有效解决问题的算法
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3382492
David Broman
{"title":"Session details: Algorithms for efficient problem solving","authors":"David Broman","doi":"10.1145/3382492","DOIUrl":"https://doi.org/10.1145/3382492","url":null,"abstract":"","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114805166","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Collision handling with elastic response calculation and zero-crossing functions 具有弹性响应计算和过零函数的碰撞处理
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3365984.3365986
A. Neumayr, M. Otter
{"title":"Collision handling with elastic response calculation and zero-crossing functions","authors":"A. Neumayr, M. Otter","doi":"10.1145/3365984.3365986","DOIUrl":"https://doi.org/10.1145/3365984.3365986","url":null,"abstract":"The prototype Modia3D is used to test and evaluate ideas for modeling and simulating larger and more complex 3-dimensional systems than it is possible with a pure equation-based modeling system such as current Modelica. Collision handling in Modia3D is performed on convex geometries with elastic response calculation using an improved formulation of the contact forces and torques. The computed penetration depths and Euclidean distances are utilized in a novel way as zero-crossing functions. The resulting differential algebraic equations are solved with a variable-step solver.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127216628","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Set-based graph methods for fast equation sorting in large DAE systems 大型DAE系统中快速方程排序的基于集图方法
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3365984.3365991
Pablo Zimmermann, Joaquín Fernández, E. Kofman
{"title":"Set-based graph methods for fast equation sorting in large DAE systems","authors":"Pablo Zimmermann, Joaquín Fernández, E. Kofman","doi":"10.1145/3365984.3365991","DOIUrl":"https://doi.org/10.1145/3365984.3365991","url":null,"abstract":"This paper introduces new algorithms for the efficient conversion of large sets of DAEs into ODEs based on the extension of maximum matching and Tarjan's strongly connected component algorithms using a novel concept of Set-Based Graph. These algorithms have the capability of solving the problems without expanding the arrays of unknowns and without unrolling the for-loop equations so that the complexity becomes independent on the size of the arrays. The implementation of the new algorithms in an experimental Modelica compiler is also described and two examples are presented.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125954620","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Functional programmatic modeling in modelyze modelyze中的功能编程建模
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools Pub Date : 2019-11-05 DOI: 10.1145/3365984.3369802
David Broman, Oscar Eriksson
{"title":"Functional programmatic modeling in modelyze","authors":"David Broman, Oscar Eriksson","doi":"10.1145/3365984.3369802","DOIUrl":"https://doi.org/10.1145/3365984.3369802","url":null,"abstract":"Equation-based object-oriented modeling languages, such as Modelica, have gained significant popularity the past decades, and the fundamental technology is used in numerous software tools. In such languages, systems modeling are typically done visually, which is simple for small models, but can become difficult for more complex models. In this combined invited talk and live demo, we demonstrate our work-in-progress approach to what we call functional programmatic modeling, an alternative to traditional visual modeling. Specifically, we discuss the idea of programmatic modeling in the context of equation-based languages, and how it relates to existing approaches of modeling and simulation. During the live demo, we show how textual modeling using higher-order functions can be used to model simple mechatronic control systems. Moreover, we show how this modeling approach can be generalized to 3D multi-body modeling, simulation, and visualization.","PeriodicalId":394627,"journal":{"name":"Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121446215","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信