1. 引言
随着大型水利工程建设的基本完成,逐步进入后水电时代,处于工程运营期,堤坝的渗漏是影响其安全有效运营的重要问题 [1] [2] 。在长期复杂的自然环境条件下,土石堤坝状态不断发生变化,再加上施工质量和防渗处理等问题,导致现今大部分土石堤坝都存在一定的渗漏风险,渗漏问题不仅影响水电工程的经济效益,还会给堤坝运行带来安全隐患 [3] 。为及时对其健康状况诊断和评估,合理的堤坝渗漏探测具有重要的意义。
地球物理探测法是一种间接探测方法,根据堤坝与通道之间物性差异获得渗漏通道的分布。其具有准确、高效以及不伤害坝体等优点,在堤坝渗漏方面有着广泛的应用。目前常用的堤坝隐患物探方法,包括自然电场法 [4] 、电阻率法 [5] 、探地雷达 [6] 、瞬变电磁法 [7] 以及流场拟合法 [8] 等。但是由于我国堤坝类型众多、结构多样以及渗漏情况复杂,当前检测技术的探测精度和速度很难满足要求,所以寻求一种新的方法将其应用到土石堤坝渗漏检测上尤为重要。
磁梯度检测技术是在磁电阻率法的基础上,通过在堤坝上下游布置两个电极,并利用导线将放置在较远处发射机提供的电磁信号供入坝体之中。然后在堤坝上方和水中测量多个磁场矢量并计算磁梯度,进而获得土石堤坝渗漏通道分布的一种电磁探测方法。磁电法的正演方面,主要方法有解析解法 [9] 、有限差分法 [10] 以及有限单元法 [11] 等。Yang等 [12] 将CSEM有限元正演引入到磁电法正演之中,其直接将CSEM在近区所测得的磁场作为MMR正演磁场,并证明了CSEM方法正演磁场更符合实际。有限单元法是地球物理数值模拟的重要方法,其在20世纪90年代被引入到电磁勘探领域 [13] 。徐世浙 [14] 在1994年出版了中文著作《地球物理中的有限单元法》书中详细叙述有限元法在地球物理中的一般步骤和基本原理。Schwarzbach等 [15] 开发了基于二次场算法的自适应高阶有限元程序,并使用该程序进行了海洋CSEM正演,研究了海底地形对测量的影响。刘寄仁等 [16] 将基于有理Krylov子空间的单极点模型降阶算法引入CSEM有限元正演,实现了CSEM正演快速高精度求解。当前CSEM有限单元法数值模拟已经能够模拟1D、2D和3D模型并且其精度和效率也有了很大提升,使用有限单元法能够适应磁梯度求解对磁场精度的要求。磁梯度测量方面,主要方法有中心差分 [17] 、三次样条差分 [18] 和紧致差分算法 [19] 等。
在磁电法实际应用中,一般利用理论计算获得场源和背景所产生的磁场,然后对实际获得的总磁场进行归一化得到磁电异常,以消除供电导线和背景产生的磁场。但受到地形等因素影响,这种方法需要进一步改进。随着磁传感器精度的提高,磁梯度的测量精度有了很大进步。而且该技术具有施工简单和对异常分辨率高等优点,能很好的用于土石堤坝渗漏检测之中。
本文从磁梯度测量的角度出发,首先利用频率域Maxwell方程组获得控制方程,在考虑有限场源形态的情况下,使用六面体有限元方法实现三维频率域磁场高精度正演,并通过理论模型测试算法的正确性。再者,选择合适的梯度求导技术实现磁梯度的高精度计算,分析堤坝渗漏通道磁梯度的分布规律。通过本文的研究可以为实际磁梯度渗漏通道检测提供一定的理论依据和技术指导。
2. CSEM有限元方法
2.1. CSEM有限元方程
传统的磁电阻率法正演采用的是直流电法的正演思路 [20] [21] ,静电场麦克斯韦方程组入手,推导MMR控制方程,其与实际发送的低频信号不符。为符合实际,本文借助CESM的正演思路解决三维磁场正演问题,其基本方法是将CSEM在近区所测得的磁场直接作为MMR正演磁场 [22] 。设角频率
、谐变因子
,从频率域Maxwell方程组 [23] 出发,
(1)
(2)
(3)
(4)
其中,
表示哈密顿算子,
表示电场强度,
表示磁感应强度,
表示场源电流密度,
表示电导率,
表示真空磁导率。对式(1)两端取旋度,将式(2)代入,可得电场E的双旋度方程:
(5)
式中
为圆频率,k为准静态极限下的波数,其中
。应用伽辽金法便可得到关于电场的有限元方程 [24] :
(6)
其中
为网格剖分的单元数目,
为单元棱边上的基函数。
2.2. 有限元分析
本文使用六面体单元,其基函数即有大小,又有方向,对于某一个单元,构造如下矢量基函数 [25]
(7)
其中
为母单元中节点,
。
若已获得单元棱边中点的电场值
,则根据矢量基函数可以求出该单元内任意位置的场值:
(8)
研究区域进行网格剖分之后,接着对有限元方程进行离散,将整体区域的积分转化成单元积分的和。对式利用矢量恒等式及高斯定理可得:
(9)
当我们剖分区域选的足够远时,场值衰减为零,式(9)右端第二项为0。根据单元积分,可将任意单元的余量
写为:
(10)
式中,
为单元矩阵,
为电场矢量,
为场源项。
2.3. 总体合成
将方程离散后得到的每个单元矩阵方程,通过合成,可得到总的矩阵方程 [26] [27] ,即:
(11)
式中,
为总体合成矩阵,
为电场矢量,
为场源项。在求得电场矢量后,根据法拉第定律,即式(1)可得到磁场分量。
3. 高阶紧致差分算法
高阶紧致差分算法是具有低计算量且能保持高精度数值结果的差分方法 [28] 。本文采用非均匀网格三格点四阶紧致差分算法(third-point fourth-order compact difference scheme on the non-uniform grid, N-CD4),以水平分量为例,其具体求导公式如下:
设
为区间
上的节点,步长
,
,且将在第i个节点上的值表示为
,其中
。
令
,
,内节点上磁梯度分量
与磁场水平分量的四阶精度格式为 [19] :
(12)
式中系数值为:
(13)
对于左边界点和右边界点处,令
,
磁场水平分量的一阶导数紧致格式如下:
(14)
(15)
通过求解上述等式,可以获得Bxx。同理,可以获得磁梯度其它分量Bxy、Bxz、Byx、Byy、Byz、Bzx、Bzy和Bzz。
4. 正演模拟
4.1. 正演程序验证
为了验证六面体矢量有限元计算出的磁场精度同时比较两种梯度求解算法的稳定性和精度。我们设计了一个均匀半空间模型(图1),并选取了一条测线,其具体参数如下:场源为偶极源,其电极位于轴上,长1 m。测线位于x = 15 m,y = 100~180 m,间隔1 m。发射频率128 Hz,电流强度1 A。
图2分别是磁场三分量幅值和相对误差图,可以看出解析解和有限元计算出的磁场三个分量幅值基本一致,拟合效果较好,同时三个分量误差均小于1%。通过以上对比,证明三维有限元程序是正确的且精度满足要求。
在三维矢量有限元计算出的磁场基础上,本文采用三次样条差分(Cubic Splines Difference, CSD)和N-CD4两种算法分别计算了磁梯度(图3),可以看出Bxx、Bxy、Byx、Byy、Bzx和Bzy分量两种算法计算出的幅值曲线完全重合,且曲线都较光滑。Byz分量两种算法幅值曲线基本重合,其CSD算法曲线不太光滑。Bxz分量两者趋势一致,但CSD算法曲线有所跳动。Bzz分量N-CD4算法计算出的幅值曲线较光滑,而CSD算法曲线跳动比较严重,其原因是磁场的垂向分量在垂直方向上的变化较小,CSD算法的稳定性相较于N-CD4算法较弱所导致的。
综上,CSD和N-CD4两种算法都能计算磁梯度,而N-CD4的计算精度和稳定性优于CSD算法。故在后面模型计算时将采用N-CD4算法,进行三维渗漏通道磁梯度模拟。
Figure 2. Comparison of numerical solution and analytical solution of inductive magnetic field vector. (a) Amplitude, (b) relative error
图2. 磁场矢量数值解与解析解对比图。(a) 幅值,(b) 相对误差
Figure 3. Comparison of magnetic gradient calculated by high-order compact difference and magnetic gradient calculated by cubic spline difference. (a) Bxx; (b) Bxy; (c) Bxz; (d) Byx; (e) Byy; (f) Byz; (g) Bzx; (h) Bzy; (i) Bzz
图3. 高阶紧致差分与三次样条差分磁梯度计算结果对比图。(a) Bxx分量;(b) Bxy分量;(c) Bxz分量;(d) Byx分量;(e) Byy分量;(f) Byz分量;(g) Bzx分量;(h) Bzy分量;(i) Bzz分量
4.2. 模型1
为了分析不同参数下异常体所引起的磁场矢量及磁梯度响应,本文设计了多个对比模型,以分析发射频率、异常体与背景电导率比值和异常体埋深对磁场矢量及磁梯度响应的影响。模型1的设计参数如下:
在一个电导率为0.001 S/m的均匀半空间内设置3个横截面积为0.25 m²,长21 m的长方体其电导率为0.1 S/m,埋深为10 m。设发射频率为128 Hz,电流为10 A,场源为U型源,其电极位于x轴上,x方向长300 m,总长1500 m。测区大小30 m × 60 m,测点间隔1 m (图4)。
由于导线供电电流较大且测区离场源较近,所以磁场矢量对异常体反映不太明显(图5)。而梯度是距离的变化量,对磁场矢量求导之后,其对磁场变化剧烈的地方更加敏感。
由于导线供电电流较大且测区离场源较近,所以磁场矢量对异常体反映不太明显(图5)。而梯度是距离的变化量,对磁场矢量求导之后,其对磁场变化剧烈的地方更加敏感。
由图6,Byz分量可以很好的反映异常体的位置,Byz幅值较大处即为异常体大致所在的位置,最大值为20 pT/m。其次,Bzz分量的大小值呈正负交替出现,在异常体上方为零点。Bzy分量在异常体的位置也有较好的反映,异常表现为极小值。同时,Byy分量在异常体位置显示较小的异常,也可以看出异常体的大致位置。Bxy、Bzx和Byx的幅值关于y轴呈中心对称出现,虽然异常体存在影响了曲线分布,但很难辨识。Bxx和Bxz无法显示异常体的位置。可以看出磁梯度在一定程度上可以反映异常体的位置,并且压制一次场的影响。
Figure 4. Sketch of 3D model. (a) Cross section; (b) plane view
图4. 3D模型示意图。(a) 剖面图;(b) 平面图
Figure 5. Distribution of inductive magnetic field vector. (a) Bx; (b) By; (c) Bz
图5. 感应磁场矢量分布图。(a) Bx分量;(b) By分量;(c) Bz分量
Figure 6. Distribution of inductive magnetic gradient tensor. (a) Bxx; (b) Bxy; (c) Bxz; (d) Byx; (e) Byy; (f) Byz; (g) Bzx; (h) Bzy; (i) Bzz
图6. 感应磁梯度张量分布图。(a) Bxx分量;(b) Bxy分量;(c) Bxz分量;(d) Byx分量;(e) Byy分量;(f) Byz分量;(g) Bzx分量;(h) Bzy分量;(i) Bzz分量
4.3. 模型2
在模型2中我们令三个异常体的电导率为0.05,而保持其他参数与模型1不变。研究电导率比值的变化对磁场矢量及梯度张量的影响。磁梯度分布如图7,图中可以看出Byz和Bzz对异常体的反映依然存在,但相比于模型1其幅值减小。Bzy分量依旧可以看出极小值存在,幅值有所改变。Byx和Bxy对异常的依旧很难辨识异常体的位置。Bzx对异常体反映减弱,Bxx和Bxz对异常体的反映依旧不理想。
4.4. 模型3
在模型3中我们改变三个异常体的埋深为15,而保持其他参数与模型1不变。研究异常体的埋深对磁场矢量及梯度张量的影响。
随着异常体的埋深增加,磁梯度分量出现了较大变化(图8)。其中,Byz异常减小,对异常体的聚焦能力减弱,Bzz分量能看出其是沿y轴正负交替变化但不是很明显,场值减小值不到1 pT/m。Bxz在异常体上方的位置依然能看见其存在,Byy分量已无法反映异常体的大体位置。说明磁梯度分量中随着埋深的增加梯度分量对异常的反映将会减弱。
4.5. 模型4
在模型4中我们令发射频率为64 Hz,而保持其他参数与模型1不变。研究场源发射频率对梯度张量的影响。图9所示,梯度张量的场值和分布基本与模型1一致,这是由于近区测量是几何测深,磁梯度分量受频率影响小,所以在野外可以选择增大频率以减小测量时间。
Figure 7. Distribution of inductive magnetic gradient tensor. (a) Bxx; (b) Bxy; (c) Bxz; (d) Byx; (e) Byy; (f) Byz; (g) Bzx; (h) Bzy; (i) Bzz
图7. 感应磁梯度张量分布图。(a) Bxx分量;(b) Bxy分量;(c) Bxz分量;(d) Byx分量;(e) Byy分量;(f) Byz分量;(g) Bzx分量;(h) Bzy分量;(i) Bzz分量
Figure 8. Distribution of inductive magnetic gradient tensor. (a) Bxx; (b) Bxy; (c) Bxz; (d) Byx; (e) Byy; (f) Byz; (g) Bzx; (h) Bzy; (i) Bzz
图8. 感应磁梯度张量分布图。(a) Bxx分量;(b) Bxy分量;(c) Bxz分量;(d) Byx分量;(e) Byy分量;(f) Byz分量;(g) Bzx分量;(h) Bzy分量;(i) Bzz分量
Figure 9. Distribution of inductive magnetic gradient tensor. (a) Bxx; (b) Bxy; (c) Bxz; (d) Byx; (e) Byy; (f) Byz; (g) Bzx; (h) Bzy; (i) Bzz
图9. 感应磁梯度张量分布图。(a) Bxx分量;(b) Bxy分量;(c) Bxz分量;(d) Byx分量;(e) Byy分量;(f) Byz分量;(g) Bzx分量;(h) Bzy分量;(i) Bzz分量
5. 结论
本文利用六面体矢量有限元和高阶紧致差分算法实现了磁梯度张量的高精度正演,并分析了不同参数下渗漏通道与磁梯度张量之间的关系。以更符合实际测量的CSEM方式正演MMR磁场,获得高精度磁场,采用紧致差分算法获得磁场梯度,避免了由理论计算出的磁场所带来的误差,并且提高了对渗漏通道异常的分辨率。首先由频率域Maxwell方程组出发获得控制方程,其次利用六面体矢量有限元方法实现了磁场的高精度计算,并与一维程序对比验证了其正演的精度。然后采用三次样条差分算法和高阶紧致差分算法实现了磁场梯度的正演,其中高阶紧致差分算法的精度和稳定性优于三次样条差分算法。接着建立了三个不同参数下的异常体模型,选用高阶紧致差分算法获得磁场梯度与不同模型参数之间的关系,表明Byz和Bzz分量对异常的显示要优于其他分量,但Bzz分量数值较小。漏通道埋深越浅、电导率比值越大,磁梯度异常越明显。所以,在野外测量时建议最好测量Byz分量来获得渗漏通道的分布,当渗漏通道较深时,也可以通过增大电流来获得更高的信噪比,获得更加明显的异常。
由于受到场源的影响,总场算法在正演磁场时需要对场源和测点加密以提高精度,在下一阶段可考虑基于二次场的高阶有限元进行正演,可以在保证精度的同时缩短正演时间。此外,本文方法能否成功应用的关键在于磁梯度张量的观测,研制合适的观测仪器和方法直接获取磁场梯度数据,是下一阶段的重点研究方向。