Multi-language and multi-environment generation of nonlinear finite element codes

被引:224
|
作者
Korelc, J [1 ]
机构
[1] Univ Ljubljana, Fac Civil & Geodet Engn, SI-1000 Ljubljana, Slovenia
关键词
code optimization; finite element; symbolic methods;
D O I
10.1007/s003660200028
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
This paper presents a multi-language and multi-environment generation of nonlinear finite element codes. The system consists of two major components. The Mathematica package AceGen is used for the symbolic derivation of formulae needed in numerical procedures and automatic code generation. The Computational Templates package is a collection of prearranged modules for the automatic creation of the interface between the finite element code and the finite element environment. The AceGen and the Computational Templates packages together enable multi-language and multi-environment generation of nonlinear finite element codes from the same symbolic description. The approach implemented in AceGen avoids the usual problem of uncontrollable growth of expressions by combining several techniques: symbolic and algebraic capabilities of Mathematica, an automatic differentiation technique, automatic code generation, simultaneous optimization of expressions; and theorem proving by stochastic evaluation of the expressions.
引用
收藏
页码:312 / 327
页数:16
相关论文
共 50 条
  • [31] Operational semantics for multi-language programs
    Matthews, Jacob
    Findler, Robert Bruce
    ACM SIGPLAN NOTICES, 2007, 42 (01) : 3 - 10
  • [32] Realization of multi-language operating system
    Wang, Z.H.
    2001, Shanghai Computer Society (27):
  • [33] Separation of concerns in multi-language specifications
    Damasevicius, R
    Stuikys, V
    INFORMATICA, 2002, 13 (03) : 255 - 274
  • [34] A versatile kernel for multi-language AOP
    Tanter, É
    Noyé, J
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, 2005, 3676 : 173 - 188
  • [35] MULTI-LANGUAGE SERVICE LITERATURE PROGRAM
    MATTHEWS, PA
    IEEE TRANSACTIONS ON PROFESSIONAL COMMUNICATION, 1977, 20 (04) : 225 - 228
  • [36] Typing a multi-language intermediate code
    Gordon, AD
    Syme, D
    ACM SIGPLAN NOTICES, 2001, 36 (03) : 248 - 260
  • [37] A Calculus for Multi-language Operational Semantics
    Cimini, Matteo
    SOFTWARE VERIFICATION, 2022, 13124 : 25 - 42
  • [38] Program comprehension in multi-language systems
    Kullbach, B
    Winter, A
    Dahm, P
    Ebert, J
    FIFTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 1998, : 135 - 143
  • [39] Operational Semantics for Multi-Language Programs
    Matthews, Jacob
    Findler, Robert Bruce
    CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 3 - 10
  • [40] Multi-language dictionary of tax terminology
    Bejakovic, P
    DRUSTVENA ISTRAZIVANJA, 2000, 9 (06): : 1040 - 1041