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

被引:223
作者
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
相关论文
共 24 条
  • [1] Automatic synthesis of numerical codes for solving partial differential equations
    Akers, RL
    Baffes, P
    Kant, E
    Randall, C
    Steinberg, S
    Young, RL
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 1998, 45 (1-2) : 3 - 22
  • [2] Finite element simulations using symbolic computing
    Amberg, G
    Tönhardt, R
    Winkler, C
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 1999, 49 (4-5) : 257 - 274
  • [3] Automatic differentiation of algorithms
    Bartholomew-Biggs, M
    Brown, S
    Christianson, B
    Dixon, L
    [J]. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2000, 124 (1-2) : 171 - 190
  • [4] An object-oriented framework for reliable numerical simulations
    Beall, MW
    Shephard, MS
    [J]. ENGINEERING WITH COMPUTERS, 1999, 15 (01) : 61 - 72
  • [5] Object-oriented symbolic derivation and automatic programming of finite elements in mechanics
    Eyheramendy, D
    Zimmermann, T
    [J]. ENGINEERING WITH COMPUTERS, 1999, 15 (01) : 12 - 36
  • [6] THE NEED FOR HIGH-LEVEL PROGRAMMING SUPPORT IN SCIENTIFIC COMPUTING APPLIED TO MECHANICAL ANALYSIS
    FRITZSON, P
    FRITZSON, D
    [J]. COMPUTERS & STRUCTURES, 1992, 45 (02) : 387 - 395
  • [7] Gallopoulos E., 1994, IEEE Computational Science and Engineering, V1, P11, DOI 10.1109/99.326669
  • [8] GONNET GH, 1986, P SYMSAC 86, P127
  • [9] Griewank A., 1989, Mathematical Programming: Recent Developments and Applications, V6, P83
  • [10] Automatic generation of finite-element code by simultaneous optimization of expressions
    Korelc, J
    [J]. THEORETICAL COMPUTER SCIENCE, 1997, 187 (1-2) : 231 - 248