Affiliation:
1. Politecnico di Milano, Italy
2. NTNU Norwegian University of Science and Technology
Abstract
Equation-based modelling is a powerful approach to tame the complexity of large-scale simulation problems. Equation-based tools automatically translate models into imperative languages. When confronted with nowadays’ problems, however, well assessed model translation techniques exhibit scalability issues that are particularly severe when models contain very large arrays. In fact, such models can be made very compact by enclosing equations into looping constructs, but reflecting the same compactness into the translated imperative code is nontrivial. In this paper, we face this issue by concentrating on a key step of equations-to-code translation, the equation/variable matching. We first show that an efficient translation of models with (large) arrays needs awareness of their presence, by defining a figure of merit to measure how much the looping constructs are preserved along the translation. We then show that the said figure of merit allows to define an optimal array-aware matching, and as our main result, that the so stated optimal array-aware matching problem is NP-complete. As an additional result, we propose a heuristic algorithm capable of performing array-aware matching in polynomial time. The proposed algorithm can be proficiently used by model translator developers in the implementation of efficient tools for large-scale system simulation.
Publisher
Association for Computing Machinery (ACM)
Subject
Applied Mathematics,Software
Reference80 articles.
1. [n.d.]. Dymola home page. https://www.3ds.com/products-services/catia/products/dymola/
2. [n.d.]. JModelica home page. https://jmodelica.org/
3. [n.d.]. ModiaBase home page. https://github.com/ModiaSim/ModiaBase.jl
4. [n.d.]. OpenModelica home page. https://www.openmodelica.org/
5. [n.d.]. SimulationX home page. https://www.mathworks.com/products/connections/product_detail/simulationx.html
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Clever DAE;Proceedings of the 20th ACM International Conference on Computing Frontiers;2023-05-09