The electrical impedance tomography (EIT) problem of estimating the unknown conductivity distribution inside a domain from boundary current or voltage measurements requires the solution of a nonlinear inverse problem. Sparsity promoting hierarchical Bayesian models have been shown to be very effective in the recovery of almost piecewise constant solutions in linear inverse problems. We demonstrate that by exploiting linear algebraic considerations it is possible to organize the calculation for the Bayesian solution of the nonlinear EIT inverse problem via finite element methods with sparsity promoting priors in a computationally efficient manner. The proposed approach uses the Iterative Alternating Sequential (IAS) algorithm for the solution of the linearized problems. Within the IAS algorithm, a substantial reduction in computational complexity is attained by exploiting the low dimensionality of the data space and an adjoint formulation of the Tikhonov regularized solution that constitutes part of the iterative updating scheme. Numerical tests illustrate the computational efficiency of the proposed algorithm. The paper sheds light also on the convexity properties of the objective function of the maximum a posteriori (MAP) estimation problem.
翻译:电阻抗层析成像(EIT)问题通过边界电流或电压测量值估计域内未知电导率分布,需要求解非线性反问题。稀疏促进分层贝叶斯模型已被证明在线性反问题中能有效恢复近似分段常数解。我们证明,通过利用线性代数特性,可借助有限元方法与稀疏促进先验,以计算高效的方式组织非线性EIT反问题的贝叶斯求解计算。所提方法采用迭代交替序列(IAS)算法求解线性化问题。在IAS算法中,通过利用数据空间的低维性以及构成迭代更新方案组成部分的吉洪诺夫正则化解的伴随形式,实现了计算复杂度的显著降低。数值测试验证了所提算法的计算效率。本文同时阐明了最大后验(MAP)估计问题目标函数的凸性性质。