<p>Systems having the form <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40430_2025_5567_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^\text {T}CA\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>A</mi> <mtext>T</mtext> </msup> <mi>C</mi> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation>&#xa0;appear as governing equations in equilibrium systems, such as the nonlinear inverse problems of EIT, ECT, and ERT (electrical impedance/capacitance/resistance tomography) that motivate our study. We develop fast computation for the three tasks required for efficient iterative solution of these inverse problems: assembling the FEM (finite element method) system matrix required for numerical simulation of the forward map; operation by the Jacobian of the forward map from FEM coefficients; and also operation by the transpose of the Jacobian of the forward map from FEM coefficients. In particular, we present a vectorized assembly of the FEM matrix that gives fast computation in vectorized languages, and give sparse vectorized formulas for operation by the Jacobian and its transpose that require no additional solves beyond the forward solve. Comparison to existing adjoint state methods, that require multiple forward solves, demonstrate that these new methods are orders of magnitude faster than existing methods commonly used in EIT and ECT, such as those implemented in the EIDORS package. We derive these results in the context of ERT that is a canonical example of a <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40430_2025_5567_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^\text {T}CA\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>A</mi> <mtext>T</mtext> </msup> <mi>C</mi> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> system.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Vectorized finite element matrix assembly and fast Jacobian operations for ATCA systems

  • Colin Fox,
  • Markus Neumayer

摘要

Systems having the form \(A^\text {T}CA\) A T C A  appear as governing equations in equilibrium systems, such as the nonlinear inverse problems of EIT, ECT, and ERT (electrical impedance/capacitance/resistance tomography) that motivate our study. We develop fast computation for the three tasks required for efficient iterative solution of these inverse problems: assembling the FEM (finite element method) system matrix required for numerical simulation of the forward map; operation by the Jacobian of the forward map from FEM coefficients; and also operation by the transpose of the Jacobian of the forward map from FEM coefficients. In particular, we present a vectorized assembly of the FEM matrix that gives fast computation in vectorized languages, and give sparse vectorized formulas for operation by the Jacobian and its transpose that require no additional solves beyond the forward solve. Comparison to existing adjoint state methods, that require multiple forward solves, demonstrate that these new methods are orders of magnitude faster than existing methods commonly used in EIT and ECT, such as those implemented in the EIDORS package. We derive these results in the context of ERT that is a canonical example of a \(A^\text {T}CA\) A T C A system.