作者简介: 强建科(1967-),男,副教授,主要从事电磁法正演模拟与反演成像研究工作。
采用三角网格剖分的有限元法,研究了2.5维航空瞬变电磁法正演模拟问题。利用时频变换数值方法将时间域电磁场转换到拉氏域,再利用傅里叶变换将三维问题降维变为2.5维问题,然后由有限元法求解得到拉氏域二维电磁场,逆拉氏变换后得到时间域航空瞬变响应。为了回避正演模拟中总感应磁场在场源处的奇异性问题,采用异常场算法,场源响应通过在微分方程中施加背景电磁场实现。由于瞬变电磁信号具有较大的动态范围,而且需要经过两次正、逆拉氏变换和傅里叶变换,每个环节的计算精度和速度要严格控制在较高的水平上,否则积累误差会非常大。模型计算表明均匀大地和层状大地模型解析解与数值解吻合很好。这证明该算法是正确可行的,可作为研究二维复杂地质体的方法手段。
Based on the triangular mesh dissection of the finite element method, this paper presents the 2.5-D airborne transient electromagnetic method forward modeling. Firstly the time domain electromagnetic partial equations are converted into laplace domain with the numerical time-frequency transform algorithm, then the 2.5-D expressions are obtained from 3-D case by adopting the fourier transform. The airborne data are acquired from the results of the digital inverse laplace transform of the 2-D electric and magnetic components in laplacian domain, which is computed using finite element method.Instead of the conventional algorithm, the anomalous field method is employed throughout the finite element process, so that the source singularity of total field is avoided. the source impact is embodied in the differencial equation by appling the background electromagnetic field item.The computing accuracy and efficiency would be managed rigorously due to the wide dynamic range of the transient singnal, as well as the two-time inverse laplace and fourier transforms. Otherwise the accumulative error will soar acceptably. The synthetic model experiments shows that the numeric modeling solutions match the analytical results of homogeneous and layered erath responses well, which also proves the effectiveness of the algorithm.
近年来, 航空瞬变电磁法ATEM(Airborne Transient Electromagnetic)作为一种快速勘查方法得到了较快发展, 其优势是探测范围更广, 测深效率更高, 如茂密森林、崎岖山地、沼泽、湖区、浅海等地区, 都是航空瞬变电磁的用武之地, 而常规物探方法却无能为力。目前广泛应用于生产实践中的是基于电导率— 深度成像技术和一维层状大地反演, 如“ 镜像场源法” 或“ 烟圈理论” [1]、最大电流层模型[2]、薄板逼近法
Stoyer等[13]于1976年首先研究了2.5D时间域磁偶源电磁响应正演模拟问题, 尽管模拟速度很慢, 时间很长, 但2.5D问题更符合实际野外情况[14]。另一种方法是先求解多个频点的频率域电磁响应, 再通过Hankel数字滤波算法把频率域电磁响应转换到阶跃函数的时间域电磁响应, 由此间接实现2.5D时间域航空电磁正演模拟[15]。近年来, 时间域航空电磁在高维正反演方面得到了很大发展
目前研究2.5D航空瞬变电磁法存在的最大问题是精度不够高, 速度太慢。此次研究借鉴了地面瞬变电磁的一些技术, 提高了场源附近的计算精度, 通过优化算法提高了计算速度。
ATEM与常规TEM的区别在于发射源的位置不同, 此次研究采用异常场法, 以避开场源直接影响。设瞬变电磁场可分为背景场与异常场两部分:
式中E、H分别代表电场和磁场, 下标a代表异常(abnormal), 下标b代表背景(background)。这里异常是指目标模型下场的响应与背景模型下场的响应之差。根据Maxwell方程组, 在直角坐标系下, 假定y为走向方向, z为垂直向下方向, 拉氏傅氏域异常电磁场所满足的偏微分方程为
式中i为虚数单位, ε 代表介电常数, σ 代表介质电导率, μ 代表磁导率, s代表拉氏域变量, m代表傅氏域变量, J代表场源电流密度矢量, 其表达式为
由此可见, 异常场方程组中的场源项是由背景场量及异常电导率共同体现的, 与实际场源无关。因此, 可假定实际场源在某一简单模型(如均匀大地或者层状大地)下产生的场为背景场, 求解该背景场所满足的偏微分方程, 即可得到各电磁分量的解, 再用方程(2)求解得到异常场, 最终用式(1)得到总感应场的数值解。
从拉氏傅氏域电磁场微分方程组(2)出发, 消去电磁x、z分量, 可得到y分量的偏微分方程组, 与之对应的Ritz泛函极值问题为
式中:Ω 代表求解区域, l代表求解区域边界, E代表拉氏傅氏域异常电场y分量, H代表拉氏傅氏域异常磁场y分量与虚数单位i的乘积, an、bn(n=1, 5)、η E、η H为一些系数。该泛函取得极值的条件为
利用有限元法可求解该式。求解思路为:先将求解区域进行单元剖分, 在每个单元做插值后对泛函积分; 再对各单元求和, 将连续函数的泛函离散成节点上的函数值的泛函; 再根据泛函极值条件推出各节点处应满足的线性方程组, 进而解得各节点函数值; 之后, 再利用
可解得垂直异常磁场分量, 式中参数意义与前文相同。
根据上述算法, 用Fortran语言编制了采用规则三角网格剖分的有限元计算程序, 并分析典型2.5维模型上中心回线装置的ATEM响应。
图1a是均匀半空间模型和层状介质模型的正演模拟结果。均匀半空间电阻率ρ =100 Ω · m, 层状模型电阻率为:ρ 1=100 Ω · m, ρ 2=10 Ω · m, ρ 3=100 Ω · m; 层厚度h1=50 m, h2=100 m; 矩形发射线框边长a=b=20 m, 发射电流I=1 A, 接收线框等效面积为50 m2, 高度与发射线框相同; 吊舱高度Δ h分别为0 m、10 m、20 m、30 m和80 m。
从图1b中看出, 均匀模型的感应电动势随飞行高度呈对数值线性衰减, 在1~1 000 μ s之间幅值衰减明显, 但在晚期, 信号衰减很小。对于层状介质而言, 瞬变响应总体特征与均匀半空间相似, 但在0.1~10 ms之间, 感应电动势明显增大, 出现向上拱起的现象, 证明该算法正确反映了第二层低电阻率特征。
复杂模型测试中, 图2a展示了倾斜板状低阻异常体模型, 目标体电阻率为0.1 Ω · m, 围岩电阻率100 Ω · m, 上顶板距地面6 m, 垂直方向延伸27 m, 水平方向偏移18 m, 飞行高度10 m, 矩形发射线框边长a=b=20 m, 发射电流I=1 A, 接收线框等效面积为50 m2。
由多测道剖面图2b看出, 感应电动势曲线发生严重畸变, 而且极大值由早期测道(1.29 μ s)逐渐从右向左下方偏移, 在时间窗口129.42~514.53 μ s区段出现几个极大值, 然后峰值逐渐下降。感应电动势的这种变化正好反映出倾斜板状体倾斜的方向, 极大值出现在倾斜板的重心上方, 说明2.5D正演模拟程序能够在复杂模型上得到正确的瞬变响应。
基于拉氏傅氏域的异常电磁场变分问题, 利用异常场求解思路实现了航空瞬变电磁法的2.5维有限元正演模拟, 回避了场源问题, 从而降低了求解难度。通过求解均匀模型的电磁场, 为有限元加载了场源信息。模型计算表明, 2.5D航空瞬变电磁响应不仅与一维模型解析解吻合, 而且能明显反映局部异常体的瞬变响应, 从多测道剖面图上还能够获得异常体的形状、产状等性质特征, 进一步证明本算法正确、稳定可行。
The authors have declared that no competing interests exist.
[1] |
|
[2] |
|
[3] |
|
[4] |
|
[5] |
|
[6] |
|
[7] |
|
[8] |
|
[9] |
|
[10] |
|
[11] |
|
[12] |
|
[13] |
|
[14] |
|
[15] |
|
[16] |
|
[17] |
|
[18] |
|
[19] |
|
[20] |
|
[21] |
|
[22] |
|
[23] |
|
[24] |
|
[25] |
|
[26] |
|
[27] |
|
[28] |
|
[29] |
|
[30] |
|
[31] |
|