Języki specyfikacji w budowie oprogramowania dla metody elementów skończonych

• Autorzy: Grosser A.

Warianty tytułu

EN

Domain specific languages useful for building software for finite element method

• Języki publikacji: PL

Abstrakty

PL

Tworzenie oprogramowania metodą elementów skończonych z wykorzystaniem tradycyjnych języków programowania wysokiego poziomu takich jak C++ czy Fortran wymaga często koncentracji na niskopoziomowych mechanizmach programistycznych takich jak na przykład ręczne zarządzanie pamięcią. Ponadto, oprócz bardzo dobrej znajomości użytego języka, konieczne jest też dostosowanie problemu do poziomu abstrakcji oferowanego przez ten język. Dlatego wygodniejszym podejściem jest użycie języków dostosowanych do rozpatrywanej dziedziny problemowej – języków specyfikacji. Artykuł prezentuje różne języki specyfikacji użyteczne do budowy oprogramowania dla metody elementów skończonych.

EN

Creating a finite element software using traditional, high-level programming languages, such as the C++ or Fortran, often requires concentration on low-level programming mechanisms such as, for example, manual memory management. In addition to very good knowledge of the used language, it is also necessary to adjust the problem to the level of abstraction offered by the language. Therefore, more convenient approach is to use language adapted to the present problem – domain specification language. The article presents different domain specific languages useful for building software for finite element method.

Słowa kluczowe

PL

metoda elementów skończonych; języki specyfikacji; metody numeryczne

EN

finite elements method; domain specific languages; numerical methods

• Wydawca: Oficyna Wydawnicza Europejskiej Uczelni
• Czasopismo: Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie
• Rocznik: 2016
• Tom: Nr 1(11)
• Strony: 1--11
• Opis fizyczny: Bibliogr. 32 poz.

Twórcy

autor

Grosser A.

• Politechnika Częstochowska, ul. J. H. Dąbrowskiego 69, 42-201 Częstochowa

Bibliografia

• [1] Alnæs M. S., Logg A., Mardal K.-A., Skavhaug O. and Langtangen H. P., Unified Framework for Finite Element Assembly, “International Journal of Computational Science and Engineering” 4(4), 231-244, 2009.
• [2] Alnæs M. S., Blechta J., Hake J., Johansson A., Kehlet B., Logg A., Richardson C., Ring J., Rognes M. E. and. Wells G. N., The FEniCS Project Version 1.5, Archive of Numerical Software, 3(100), 2015.
• [3] Alnæs M. S., Logg A., Ølgaard K. B., Rognes M. E., Wells G. N., Unified Form Language: A domain-specific language for weak formulations of partial differential equations, ACM Transactions on Mathematical Software, 40(2), Article 9, 2014.
• [4] Alnæs M. S., Mardal K.-A., SyFi and SFC: Symbolic Finite Elements and Form Compilation, Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering, Springer, Chapter 15, 2012.
• [5] Bagheri B., Scott L. R., About Analysa. Tech rep TR-200409, University of Chicago, Department of Computer Science, 2004.
• [6] Boisvert R. F. and Kahaner D. K., DEQSOL and ELLPACK: Problem solving environments for partial differential equations, In Office of Naval Research Asian Office Scientific Information Bulletin (NAVSO P-3580), 199.
• [7] Carette J., Smith S., Mccutchan J., Anand C. and Korobkine A., Case studies in model manipulation for scientific computing. In Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics, pages 24-37, Berlin, Heidelberg, 2008.
• [8] Deursen A. van, Klint P. and Visser J., Domain-Specific Languages: An Annotated Bibliography. ACM SIGPLAN Notices, 35(6):26-36, 2000.
• [9] Doi S., Fujio H., Sugihara K., Automatic parallel program generation for finite element analysis, Quality of Numerical Software, 255-266, 1997.
• [10] Dular P., Geuzaine Ch., GetDP Reference Manual, University of Liege, 2016.
• [11] Fujio H., The Feelfem System – A Repository System for the Finite Element Method. In IPDPS ’03: Proceedings of the 17th International Symposium on Parallel and Distributed Processing, 254.2, Washington, DC, USA, IEEE Computer Society, 2003.
• [12] Hecht F., New development in FreeFem++, “Journal of Numerical Mathematics” 3-4, 251-265, 2012.
• [13] Kelly S., Tolvanen J.-P., Domain-Specific Modeling. Wiley-IEEE Computer Society Press, 2008.
• [14] Kirby R. C., Knepley M. G., Logg A., and Scott L. R., Optimizing the evaluation of finite element matrices. SIAM J. Sci. Comput., 27(3):741-758, 2005.
• [15] Kirby R.C., Algorithm 839: FIAT, a New Paradigm for Computing Finite Element Basis Functions, ACM Transactions on Mathematical Software, 30(4), pp. 502-516, 2004.
• [16] Kleiber M. i inni, Komputerowe metody mechaniki ciał stałych, PWN, Warszawa 1995.
• [17] Knepley M. G. and Karpeev D. A., Mesh Algorithms for PDE with Sieve I: Mesh Distribution. Technical Report ANL/MCS-P1455-0907, Argonne National Laboratory, 2007.
• [18] Logg A., Ølgaard K. B., Rognes M. E. and Wells G. N., FFC: the FEniCS Form Compiler, Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering, Springer, Chapter 11, 2012.
• [19] Logg A., Wells G. N., DOLFIN: Automated Finite Element Computing, ACM Transactions on Mathematical Software, 37(2), 2010.
• [20] Long K., Sundance, a rapid prototyping tool for parallel PDE-constrained optimization. In: Large-scale PDE-constrained optimization. Lecture notes in computational science and engineering. Springer, Berlin, 2003.
• [21] Long K. R., Kirby R. C., B. G. van Bloemen Waanders, Unified embedded parallel finite element computations via software-based Fréchet differentiation. SIAM Journal of Scientific Computing 32(6), 2010.
• [22] Luporini F., Varbanescu A. L., Rathgeber F., Bercea G. T., Ramanujam J., Ham D. A., Kelly P. H. J., COFFEE: an Optimizing Compiler for Finite Element Local Assembly, CoRR:abs/1407.0904, 2014.
• [23] Prud’Homme Ch., Chabannes V., Doyeux V., Ismail M., Samake M. A., Pena G., Trophime C., C. Advances in Feel++: a domain specific embedded language in C++ for partial differential equations, Eccomas’12 – European Congress on Computational Methods in Applied Sciences and Engineering. Vienna, Austria, 2012.
• [24] Prud'homme Ch., A Domain Specific Embedded Language in C++ for Automatic Differentiation, Projection, Integration and Variational Formulations, Scientific Programming, vol. 14, no. 2, pp. 81-110, 2006.
• [25] Riehl J., Implementing the MyFEM Embedded Domain-specific Language. Julia Lawall and Laurent Réveillère. Domain-Specific Program Development, Nashville, United States. pp.1, 200, 2008.
• [26] Sharma N., Wang P.,High-level user input specifications for finite element code generation. 1992. preprint.
• [27] Tratt L., Domain specific language implementation via compile-time meta-programming, ACM Transactions on Programming Languages and Systems (TOPLAS), 30(6):1-40, October 2008.
• [28] Zienkiewicz O. C., Taylor R. L., The Finite Element Method: The Basis Elsevier 2000.
• Strony internetowe
• [29] Balay S., Abhyankar S., Adams M. F., Brown J., Brune P., Buschelman K., Dalcin L., Eijkhout V., Gropp W. D., Kaushik D., Knepley M. G., Curfman McInnes L., Rupp K., Smith Barry~F, Zampini S., Zhang H., Zhang H., PETSc Users Manual, Argonne National Laboratory, ANL-95/11 - Revision 3.7,http://www.mcs.anl.gov/petsc
• [30] Fowler M., Language Workbenches: The Killer-App for Domain Specific Languages?, http://martinfowler.com/articles/languageWorkbench.html
• [31] GiNaC 1.7.0 An open framework for symbolic computation within the C++ programming language, http://www.ginac.de/tutorial.pdf
• [32] Working Draft, Standard for Programming Language C++, https://github.com/cplusplus/draft/blob/master/papers/n4140.pdf?raw=true