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

被引：230

作者：

Korelc, J ^{[1
]}

机构：

[1] Univ Ljubljana, Fac Civil & Geodet Engn, SI-1000 Ljubljana, Slovenia

来源：

ENGINEERING WITH COMPUTERS | 2002年 / 18卷 / 04期

关键词：

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 [J].

Akers, RL ;

Baffes, P ;

Kant, E ;

Randall, C ;

Steinberg, S ;

Young, RL .

MATHEMATICS AND COMPUTERS IN SIMULATION, 1998, 45 (1-2) :3-22

[2] Finite element simulations using symbolic computing [J].

Amberg, G ;

Tönhardt, R ;

Winkler, C .

MATHEMATICS AND COMPUTERS IN SIMULATION, 1999, 49 (4-5) :257-274

[3] Automatic differentiation of algorithms [J].

Bartholomew-Biggs, M ;

Brown, S ;

Christianson, B ;

Dixon, L .

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2000, 124 (1-2) :171-190

[4] An object-oriented framework for reliable numerical simulations [J].

Beall, MW ;

Shephard, MS .

ENGINEERING WITH COMPUTERS, 1999, 15 (01) :61-72

[5] Object-oriented symbolic derivation and automatic programming of finite elements in mechanics [J].

Eyheramendy, D ;

Zimmermann, T .

ENGINEERING WITH COMPUTERS, 1999, 15 (01) :12-36

[6] THE NEED FOR HIGH-LEVEL PROGRAMMING SUPPORT IN SCIENTIFIC COMPUTING APPLIED TO MECHANICAL ANALYSIS [J].

FRITZSON, P ;

FRITZSON, D .

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 [J].

Korelc, J .

THEORETICAL COMPUTER SCIENCE, 1997, 187 (1-2) :231-248

← 1 2 3 →