基于COMSOL的超聲層析成像仿真及圖像重建

顧建飛，蘇明旭，蔡小舒

?

基于COMSOL的超聲層析成像仿真及圖像重建

顧建飛，蘇明旭，蔡小舒

(上海理工大學(xué)顆粒與兩相流測(cè)量研究所，上海市動(dòng)力工程多相流動(dòng)與傳熱重點(diǎn)實(shí)驗(yàn)室，上海 200093)

為了驗(yàn)證三角形和四邊形準(zhǔn)則的二值邏輯反投影(Binary Logic Back Projection，BLBP)算法在超聲層析成像重建過程中的可行性，以超聲層析成像的重建區(qū)域中同時(shí)含有圓柱形和橢圓柱形障礙物為例，利用COMSOL對(duì)成像區(qū)域內(nèi)存在障礙物的聲場(chǎng)進(jìn)行仿真，得到聲場(chǎng)聲壓分布。然后，通過提取和處理所獲取的聲壓分布，獲得信號(hào)矩陣。最后，將信號(hào)矩陣代入二值邏輯反投影算法進(jìn)行圖像重建。仿真結(jié)果表明：當(dāng)入射波的波長(zhǎng)λ遠(yuǎn)小于障礙物的尺寸時(shí)，聲衍射的現(xiàn)象并不明顯。重建結(jié)果表明：兩種準(zhǔn)則在幾何近似理論下可行，且四邊形準(zhǔn)則的效果優(yōu)于三角形準(zhǔn)則。

超聲波；有限元；圖像重建；超聲過程層析成像

0 引言

在冶金、化工、電力等工業(yè)過程中經(jīng)常出現(xiàn)兩相流或多相流介質(zhì)，例如在冶金行業(yè)的選礦廠、冶煉廠和礦山充填工藝生產(chǎn)過程中，常常要求對(duì)漿狀的混合液中的固體(即金屬)量進(jìn)行測(cè)量，以利于成本核算、質(zhì)量控制和金屬回收。作為一種用以測(cè)量多相流流動(dòng)的過程參數(shù)的技術(shù)，超聲過程層析成像技術(shù)(Ultrasonic Process Tomography，UPT)在20世紀(jì)80年代中后期逐漸形成和發(fā)展起來，并受到各界的廣泛關(guān)注[1-3]。層析成像的理論要求只有在投影角無限多，且每個(gè)投影角度下的投影線足夠多的情況下才能獲得對(duì)象的“精確重建”。目前，扇形束掃描方式由于有效投影數(shù)據(jù)量大，已經(jīng)得到了廣泛的應(yīng)用。其主要的實(shí)現(xiàn)方式是采用一種半柱面式的壓電晶片，換能器的結(jié)構(gòu)如圖1所示，最大特點(diǎn)是其聲輻射/接收的角度范圍為180°，其聲場(chǎng)可以覆蓋檢測(cè)區(qū)域。但是，超聲層析成像技術(shù)仍有如下方面的制約：超聲波發(fā)射/接收同步和掃描切換技術(shù)不夠成熟，實(shí)現(xiàn)超聲波快速成像較為困難。此外，若超聲波波長(zhǎng)與障礙物尺寸相當(dāng), 會(huì)產(chǎn)生聲散射、繞射等現(xiàn)象，且隨機(jī)發(fā)生，給測(cè)量分析帶來難度。

COMSOL Multiphysics是一款大型數(shù)值仿真軟件，通過有限元方法模擬，在科研和工程中能用偏微分方程(Partial Differential Equation，PDE)描述各種問題。它是集前處理、求解器和后處理于一體的有限元軟件，提供友好的圖形用戶界面和建模工具，簡(jiǎn)化了建模工作。所以本文的工作將利用COMSOL軟件模擬柱面壓電換能器在超聲層析成像技術(shù)中的聲場(chǎng)。在層析成像的信號(hào)提取階段，利用COMSOL多物理場(chǎng)耦合軟件聲學(xué)模塊模擬聲場(chǎng)，得到理論上陣列傳感器的聲壓分布，這對(duì)UPT實(shí)驗(yàn)系統(tǒng)的搭建具有一定的指導(dǎo)意義，為信號(hào)矩陣的精確度提供參照作用。同時(shí)也可以對(duì)改進(jìn)的二值邏輯反投影算法做進(jìn)一步說明和驗(yàn)證。

1 模型建立

1.1 幾何模型

本文采用如圖2所示的二維幾何模型，建立與實(shí)驗(yàn)系統(tǒng)相同的測(cè)量區(qū)域。其中，區(qū)域C0安裝了16個(gè)換能器的陣列裝置；區(qū)域C1是半徑為55 mm的成像區(qū)域。區(qū)域C2是一個(gè)半徑為10 mm的圓形區(qū)域，圓心位置在(-0.01，0.02) m，表示的是聚四氟乙烯圓柱障礙物。區(qū)域C3是一個(gè)逆時(shí)針旋轉(zhuǎn)45°的長(zhǎng)半軸為18 mm、短半軸為12 mm、中點(diǎn)在(0，-0.02) m的聚四氟乙烯橢圓柱障礙物。障礙物聚四氟乙烯的聲速0=5200 m/s，密度0= 7865 kg/m3。障礙物外部為介質(zhì)水，聲速s=1473 m/s，密度s= 997 kg/m3。假定某時(shí)刻，根據(jù)實(shí)際測(cè)量過程中采用的扇形束掃描模式，位于最左邊的換能器為發(fā)射探頭，剩下其余的換能器為接收探頭。由于換能器晶片的發(fā)射/接收面是半徑為5 mm的半圓柱面，因此設(shè)定成像區(qū)域外邊界5 mm位置，即(-0.06，0) m處有一柱面超聲波源，頻率=2 MHz，則聲波在障礙物區(qū)域的波長(zhǎng)0=0/=2.6 mm，在介質(zhì)水的區(qū)域波長(zhǎng)s=s/= 0.736 mm。這里，計(jì)算出的波長(zhǎng)對(duì)后續(xù)設(shè)定該區(qū)域的網(wǎng)格單元尺寸尤為重要。

1.2 超弱變分公式(Ultra Weak Variational Formulation，UWVF)模塊

在固體和流體中，線性時(shí)諧波場(chǎng)可以由Helmholtz和Navier方程來描述。但是，由于波的振蕩特性難以對(duì)波動(dòng)方程作數(shù)值逼近。在能接受的精確度范圍內(nèi)，對(duì)Helmholtz或Navier方程問題作近似求解，需要有一個(gè)相對(duì)密集的空間描述。對(duì)于標(biāo)準(zhǔn)的數(shù)值計(jì)算方法，比如低階有限差分法(Finite Difference，F(xiàn)D)和有限元法(Finite Element，F(xiàn)E)，根據(jù)經(jīng)驗(yàn)，每個(gè)波長(zhǎng)取10個(gè)點(diǎn)是合適的。然而高頻超聲，由于聲波波長(zhǎng)非常短，因此要求將網(wǎng)格劃分得更細(xì)，這將帶來計(jì)算復(fù)雜性問題。針對(duì)高頻聲波，文中利用COMSOL獨(dú)有的超弱變分公式可以解決上述問題，和低階有限元分析相比，UWVF能顯著減少計(jì)算時(shí)間，具有明顯的優(yōu)勢(shì)。這種優(yōu)勢(shì)來自UWVF的單元屬性，UWVF單元屬性包含了求解自由空間Helmholtz波方程的信息。對(duì)于二維、三維Helmholtz問題以及二維Navier問題，該方法被證明是有效的[4]。

1.3 網(wǎng)格劃分

網(wǎng)格的劃分對(duì)于模擬計(jì)算的收斂性和準(zhǔn)確性有較大的影響。要給出可接受的準(zhǔn)確性，聲場(chǎng)模塊的超弱變分公式需要一個(gè)相對(duì)均勻的網(wǎng)格，并通過最大單元尺寸參數(shù)max控制，而不是通過明顯的幾何細(xì)節(jié)。COMSOL軟件的超聲散射模型指出，當(dāng)使用默認(rèn)的UWVF設(shè)置時(shí)，定義的max等于或稍微大于2λ(為正整數(shù))時(shí)，會(huì)在收斂性和準(zhǔn)確性之間給出較好的平衡，可以獲得較好的仿真結(jié)果。由于本文建立的模型中介質(zhì)水和障礙物區(qū)域中的波長(zhǎng)并不一致，需要在COMSOL中對(duì)這兩個(gè)不同區(qū)域設(shè)置并定義不同大小的max。根據(jù)上述原則，分別對(duì)介質(zhì)水和障礙物兩個(gè)求解域的max設(shè)置為0.0015 m和0.0052 m。網(wǎng)格劃分結(jié)果如圖3所示。

1.4 求解過程

模擬采用了連續(xù)波(continuous wave)形式，聲源發(fā)出的柱面波與第二類零階Hankel函數(shù)成正比：

其中：=[(-0)2+(-0)2]1/2指成像區(qū)域內(nèi)任意一點(diǎn)坐標(biāo)(，)離聲源位置(0,0)的距離；s=2/s，表示介質(zhì)中的波數(shù)；函數(shù)J和Y分別指第一、二類Bessel函數(shù)，i為虛部單位。成像區(qū)域的外邊界施加輻射邊界條件，吸收柱面波。此外，要取得可接受的準(zhǔn)確性，聲場(chǎng)模塊的超弱變分公式采用默認(rèn)20階超弱Helmholtz單元。對(duì)求解域進(jìn)行求解即可獲得聲場(chǎng)分布。

2 仿真結(jié)果分析

本文算例的模擬結(jié)果如圖4所示，結(jié)果以聲壓級(jí)云圖表示，顯示了超聲層析成像系統(tǒng)中液態(tài)介質(zhì)和固態(tài)障礙物的聲壓級(jí)分布情況。從圖中可以看出，超聲波在水中的擴(kuò)散致使聲壓沿傳播路徑逐漸減弱。另外，每一個(gè)柱體對(duì)超聲波存在明顯的遮擋作用，柱體后向聲壓非常弱，形成陰影區(qū)。考慮到扇形束掃描的幾何近似理論：只有當(dāng)入射波的波長(zhǎng)遠(yuǎn)小于目標(biāo)物的尺寸時(shí)，才能忽略由目標(biāo)引起的衍射[5]，即>> 1(=2π /，表示聲波在介質(zhì)中的波數(shù)；是障礙物的等效半徑)。所以，滿足該條件的2 MHz超聲波所測(cè)障礙物的等效半徑須遠(yuǎn)大于0.12 mm。由于仿真幾何模型中設(shè)定的障礙物尺寸均遠(yuǎn)大于該頻率下所測(cè)障礙物等效半徑的最小值，所以從該圖中還可以看到，聲波存在的散射現(xiàn)象，非常微弱，符合幾何近似理論。作者在實(shí)驗(yàn)中也注意到了類似現(xiàn)象，其表現(xiàn)為障礙物后方對(duì)應(yīng)的傳感器仍可以接收到極其微弱的超聲信號(hào)，可以忽略不計(jì)。然后，提取和處理所獲取的該聲壓分布結(jié)果，得到理論上陣列傳感器的聲壓分布。通過對(duì)代入二值邏輯反投影算法的信號(hào)矩陣進(jìn)行閾值控制，得到一個(gè)信號(hào)矩陣(，)，其中為所使用的換能器個(gè)數(shù)。那么，第個(gè)發(fā)射位置對(duì)應(yīng)的第個(gè)接收位置的信號(hào)為：

3 圖像重建算法

目前，采用二值邏輯反投影反演算法采用了上述的幾何聲學(xué)特性，例如基于三角形判斷的反投影反演算法[6]，其主要思想如圖5所示。當(dāng)1號(hào)換能器發(fā)射時(shí)，4號(hào)換能器被其傳播路徑中物體遮擋，則該探頭的信號(hào)經(jīng)過二值化處理后置0。這樣，由換能器間隔的中點(diǎn)a、b、c三點(diǎn)組成的區(qū)域表示目標(biāo)物影響區(qū)間，圖像矩陣對(duì)應(yīng)區(qū)域增加權(quán)重“1”。在此基礎(chǔ)上，本文提出了一種基于四邊形判斷的二值邏輯反投影反演算法，如圖6所示，當(dāng)1號(hào)換能器發(fā)射時(shí)，4號(hào)換能器被其傳播路徑中物體遮擋，則該探頭的信號(hào)經(jīng)過二值化處理后置0。這樣，由換能器間隔的中點(diǎn)a、b、c、d四個(gè)點(diǎn)組成的四邊形區(qū)域表示目標(biāo)物影響區(qū)間，圖像矩陣對(duì)應(yīng)區(qū)域增加權(quán)重“1”，以此類推，待所有掃描信號(hào)處理完畢后通過閾值對(duì)圖像進(jìn)行目標(biāo)和背景分割，獲得重建圖像。分別按三角形判斷準(zhǔn)則和四邊形判斷準(zhǔn)則對(duì)其進(jìn)行反演，得到的結(jié)果如圖7和圖8所示。

圖6 四邊形判斷法

將兩種方式的重建結(jié)果與仿真對(duì)象進(jìn)行對(duì)比發(fā)現(xiàn)，聲波的散射和邊緣效應(yīng)沒有對(duì)兩種算法的圖像重建帶來較大影響；障礙物的位置信息、形狀信息和尺寸信息，都較為準(zhǔn)確。說明了二值邏輯反投影算法所用的幾何聲學(xué)理論在入射波的波長(zhǎng)遠(yuǎn)小于目標(biāo)物的尺寸時(shí)具備可行性。圖7和圖8雖然可以看出兩種判斷準(zhǔn)則的重建效果大致一樣，但仔細(xì)對(duì)比上述兩種算法，可以發(fā)現(xiàn)細(xì)微的差別。主要表現(xiàn)在：兩種準(zhǔn)則都能較好地得到圓柱障礙物的截面形狀，但是四邊形準(zhǔn)則得到的圓柱障礙物的尺寸更接近真實(shí)模型，而三角形準(zhǔn)則測(cè)得的偏大；此外，四邊形準(zhǔn)則得到的橢圓柱障礙物的截面信息也稍微接近真實(shí)模型。

4 結(jié)論

在超聲層析成像領(lǐng)域，采用COMSOL軟件建立不同形狀、尺寸的柱體障礙物的有限元模型，并利用超弱變分公式模擬仿真成像區(qū)域中聲場(chǎng)的各點(diǎn)聲壓級(jí)，提取各個(gè)換能器位置的聲壓級(jí)數(shù)值大小可獲得超聲信號(hào)矩陣。

結(jié)合三角形判斷和四邊形判斷準(zhǔn)則的二值邏輯反投影算法的反演結(jié)果表明，兩種判斷準(zhǔn)則的重建效果大致一樣，同時(shí)也驗(yàn)證了當(dāng)入射波的波長(zhǎng)遠(yuǎn)小于目標(biāo)物時(shí)該反演算法的可行性。

[1] Ibrahim S, Yunus M A M, Khairi M T M, et al. A review on ultrasonic process tomography system[J]. Jurnal Teknologi, 2014, 70(3): 1-5.

[2] Abbaszadeh J, Rahim H A, Rahim R A, et al. Ultrasonic tomography system: optimizing the frequency in a metal pipe conveyor[C]//Applied Mechanics & Materials, 2013, 284: 572-576.

[3] Hafiz M, Rahiman F, Ruzairi, et al. Ultrasonic tomography - image reconstruction algorithms[J]. International Journal of Innovative Computing Information & Control Ijicic, 2012, 8(1): 527-538.

[4] Huttunen T. The ultra weak variational formulation for ultrasound transmission problems[M]. Kuopion yliopisto, 2004.

[5] Xu L J, Xu L A. Ultrasound tomography system used for monitoring bubbly gas/liquid two-phase flow[J]. Ultrasonics Ferroelectrics & Frequency Control IEEE Transactions on, 1997, 44(1): 67-76.

[6] 陳孝震, 蘇明旭, 蔡小舒. 液固兩相系中的超聲波層析成像實(shí)驗(yàn)研究[C]//中國(guó)工程熱物理學(xué)會(huì). 2012.

CHEN Xiaozheng, SU Mingxu, CAI Xiaosu. Liquid-solid two-phase system of ultrasonic tomographic imaging experiments[C]//Chinese Society of Engineering Thermophysics. 2012.

TheCOMSOL basedsound filed simulation and image reconstruction of ultrasonic tomography

GU Jian-fei, SU Ming-xu, CAI Xiao-shu

(Institute of Particle and Two-phase Flow Measurement, University of Shanghai for Science and Technology,Shanghai Key Laboratory of Multiphase Flow and Heat Transfer in Power Engineering, Shanghai 200093, China)

In order to verify the feasibility of the Binary Logic Back Projection (BLBP) algorithm of triangular and quadrilateral criteria in ultrasonic tomography reconstruction, a typical UPT reconstruction area, which simultaneously contains a cylindrical obstacle and an elliptic cylindrical obstacle,is taken as an example. COMSOL is used to make simulation of sound field when the obstacles exist, and an acoustic pressure distribution is obtained. Then, by extracting and processing the obtained sound pressure distribution, a signal matrix is formed. Finally, the signal matrix is substituted into the binary logic back projection algorithm for image reconstruction. It could be clearly observed that the effect of diffraction is insignificant from the computation results whenthe wavelength of the incident wave is smaller than the size of the obstacle. The reconstruction results show that the two criteria are feasible under the geometric acoustic, and the reconstructed quality of the quadrilateral criterion is better than that of the triangular one.

ultrasound; finite element; image reconstruction; Ultrasonic Process Tomography(UPT)

TB551

A

1000-3630(2016)-03-0231-04

10.16300/j.cnki.1000-3630.2016.03.009

2015-08-31;

2015-11-10

國(guó)家自然科學(xué)基金資助項(xiàng)目(51176128, 51206113)

顧建飛(1990－), 男, 江蘇海門人, 碩士研究生, 研究方向?yàn)槌曔^程層析成像。

蘇明旭, E-mail: sumx@usst.edu.cn