劉光明 孟祥偉 皇甫一江 杜文超
(1.海軍航空工程學(xué)院 山東煙臺 264001;2.91640部隊 廣東湛江 524064;3.海軍裝備部 北京 100070)
近年來基于水平集方法和活動輪廓模型的圖像分割算法被成功地應(yīng)用于SAR圖像和光學(xué)圖像分割中。在SAR圖像相干斑發(fā)育完全的情況下,多視SAR圖像噪聲一般被認(rèn)為是均值為1,方差為1/L的Gamma噪聲(L是等效視數(shù))。2010年,Steidl和Teuber證明了I-divergence-TV(IDT)凸去噪模型[1]與有效去除乘積性Gamma噪聲的AA模型[2]在理論上是等價的,IDT模型的優(yōu)點在于它不需要非線性的對數(shù)轉(zhuǎn)換。針對SAR圖像均勻區(qū)域,我們在文獻(xiàn)[3]中提出一個SAR圖像兩區(qū)域分割模型,它能很好地分割SAR圖像均勻區(qū)域,但對于非均勻SAR圖像區(qū)域分割效果差,這是因為模型假設(shè)圖像強度是分段常值的,并用全局強度均值去擬合圖像強度。為解決非均勻SAR圖像分割問題,本文基于IDT去噪模型和變分水平集方法提出一個局部擬合活動輪廓模型。模型的長度項采用標(biāo)準(zhǔn)總變分項,模型區(qū)域項基于IDT去噪模型的數(shù)據(jù)項和高斯核函數(shù)。提出的模型能保證水平集函數(shù)穩(wěn)定演化,不需要周期性地更新水平集函數(shù),具有較準(zhǔn)確的邊緣定位能力和噪聲抑制能力。
假設(shè)圖像域Ω?R2是開的、有界的,且f:Ω→R是一個被乘性噪聲n所污染的待分割多視SAR強度圖像,可表示為:f=u·n,u是真實圖像。
IDT模型的能量泛函表示為[1]:
式(1)的第一項是總變分項,第二項是數(shù)據(jù)保真項,μ>0和θ>0是調(diào)節(jié)參數(shù)。
為了對非均勻SAR圖像進(jìn)行分割處理,下面提出一個SAR圖像兩區(qū)域局部擬合活動輪廓模型。模型的能量泛函由兩部分組成:長度項(即邊緣平滑項)和區(qū)域數(shù)據(jù)項。由IDT模型的數(shù)據(jù)保真項得到分段常值數(shù)據(jù)項,即假定真實圖像u是分段常值的,當(dāng) x∈Ω1時,u=C1;當(dāng) x∈Ω2時,u=C2;再與高斯核函數(shù)相乘得到兩區(qū)域分割數(shù)據(jù)項。局部統(tǒng)計活動輪廓模型定義如下:
其中Kσ(x-y)為高斯核函數(shù),高斯核函數(shù)及其定位特性在本模型中起著重要作用。當(dāng)時,因此圖像強度只有位于鄰域時,才在模型的能量泛函起支配作用。
引入一個Lipschitz連續(xù)函數(shù)φ:Ω→R(稱為水平集函數(shù)),使得:
其中,{Ω1,Ω2}是圖像域Ω的一個分割,C是閉合輪廓曲線(零水平集函數(shù))。再引入Heaviside函數(shù):因此真實圖像u的水平集表示為:
局部擬合活動輪廓模型的水平集表示為:
其中第一項為長度項,第二、三項是局部強度擬合數(shù)據(jù)項,第四項是懲罰函數(shù)項[4]。實際應(yīng)用中,Heaviside函數(shù)H(φ)采用它的一個平滑近似函數(shù)Hε(φ),其中 ε是一個較小的正數(shù)。
對式(4)中的三個變量利用變分法進(jìn)行交替優(yōu)化可得:
其中,
在偏微分方程(6)的數(shù)值實現(xiàn)中,一般采用差分近似;由于在式(4)中加入了懲罰函數(shù)項,因此式(6)的差分?jǐn)?shù)值實現(xiàn)中,對于空間偏導(dǎo)數(shù)可以使用簡單的中心差分近似,而時間偏導(dǎo)數(shù)使用前向差分實現(xiàn)。
圖像分割的評價與圖像分割方法一樣是人們一直討論的難題。對于SAR圖像分割質(zhì)量的評價,主要考慮兩個指標(biāo):分割區(qū)域內(nèi)部的均勻性和分割邊界的定位精度。對于第二個指標(biāo),需要具備真實邊界的先驗信息,因此需要借助合成圖像才能實現(xiàn)。對于第一個指標(biāo),則沒有此限制。
對于合成圖像,本文采用DSC系數(shù)[5]來度量分割精度。
其中,CS(Computed Segmentation)和實測結(jié)果 GT(Ground Truth)都是二進(jìn)制圖像,檢測輪廓線以內(nèi)的像素標(biāo)記為1,檢測輪廓線以外的像素標(biāo)記為0。N(·)表示集合中的元素數(shù)量。DSC的值越接近于1,表明分割越好。
對于真實SAR圖像,本文采用區(qū)域內(nèi)部均勻性度量來評估分割精度。根據(jù)圖像分割的定義,分割后圖像每個區(qū)域內(nèi)部應(yīng)該是均勻的,不同區(qū)域之間存在較大的差異,所以區(qū)域內(nèi)部的均勻程度表征了圖像分割的質(zhì)量。分割精度度量定義如下[6]:
式(8)中,Ai為圖像中的不同分割區(qū)域,C為歸一化系數(shù),f(x)為圖像中點x處的灰度值,ni為區(qū)域Ai中的像素個數(shù);pp值越接近于1,表明分割圖像內(nèi)部各區(qū)域越均勻,圖像的分割質(zhì)量越好。
本文采用合成圖像和實測Envisat SAR圖像作為實驗數(shù)據(jù),分析提出模型的性能。合成圖像是將原始圖像與不同視數(shù)的隨機Gamma噪聲相乘得到的(等效視數(shù)分別取值1和8)。兩幅合成Gamma乘性噪聲圖的尺寸均為125×125,灰度范圍為0-255;實測Envisat SAR圖像的尺寸為398×344。
本文實驗是在 CPU為AMD 1.8GHZ,內(nèi)存為1GB的硬件環(huán)境以及windows XP SP2的軟件環(huán)境下,采用Matlab實現(xiàn)算法。
將本文模型與RSF模型[7]進(jìn)行比較,其中
RSF模型的水平集演化方程表示為:
兩種算法的初始水平集函數(shù)都簡化為一個二進(jìn)制階躍函數(shù),區(qū)域內(nèi)部取值為2,區(qū)域外部取值為0。其中RSF模型使用的參數(shù)為:θ=200,μ=0.5,Δt=1,ε=1,v=0.2,σ =15。本文模型使用的參數(shù)為:θ=200,10,μ =15,Δt=1,ε =1,v=0.2,σ =15。
圖1中,等效視數(shù)取值為1,由直方圖可以看出,噪聲服從指數(shù)分布,噪聲強度大,RSF模型數(shù)據(jù)項本質(zhì)上是基于高斯分布,對水平集初始輪廓比較敏感易陷入局部極小值,不能有效分割乘性Gamma噪聲圖像;而本文模型基于Gamma分布,能對含有Gamma噪聲的合成圖像準(zhǔn)確建模,因此能獲得準(zhǔn)確的分割輪廓。圖2中,等效視數(shù)取值為8,由于噪聲強度較小,RSF模型依然不能正確分割圖像;本文模型分割效果較好。
表1給出了合成圖像1采用上述RSF模型和本文模型的運行時間、算法分割精度的比較。本文模型算法運行時間比RSF模型所需時間要少一些。采用DSC系數(shù)來衡量兩種模型對于合成圖像1的分割精度。由于本文模型采用了基于Gamma分布的數(shù)據(jù)項,它比RSF模型更能準(zhǔn)確對圖像進(jìn)行擬合。從表1可以看出,本文模型的DSC系數(shù)比RSF模型的DSC系數(shù)要大,因此本文模型分割精度比RSF模型要高。
圖3給出了實測Envisat SAR圖像的分割輪廓。RSF模型對噪聲比較敏感,不能有效對圖像進(jìn)行分割;本文模型能較準(zhǔn)確地分割出圖像邊緣。
表2給出了RSF模型和本文模型的運行時間、算法分割精度的比較。從表2可以看出,本文模型運行時間與RSF模型處于同一數(shù)量級,因為兩個模型的數(shù)據(jù)項復(fù)雜程度相近。對于SAR圖像采用均勻性度量pp來評價算法的分割精度;從表2可以看出,本文模型的pp值比RSF模型的pp要高,充分驗證了本文模型的高精度。
表1 模型分割精度和運行時間比較
圖1 合成圖像1的分割結(jié)果
表2 模型分割精度和運行時間比較
圖2 合成圖像2的分割結(jié)果
圖3 實測SAR圖像的分割結(jié)果
本文基于IDT去噪模型和變分水平集方法提出一個新的SAR圖像局部擬合活動輪廓分割模型。通過對合成圖像和Envisat SAR圖像的分割實驗,表明本文提出的模型比經(jīng)典模型具有準(zhǔn)確的邊緣定位能力和噪聲抑制能力。
[1]Steidl G.and Teuber T.Removing multiplicative noise by Douglas-Rachford splitting methods[J].J.Math.Imaging Vi.,2010,36(2):168-184.
[2]Aubert G.and Aujol J.F.A variational approach to removing multiplicative noise[J].SIAM Journal on Applied Mathematics,2008,68(4):925-946.
[3]劉光明,孟祥偉,陳振林.一種新的基于水平集方法的SAR圖像分割算法[J].火控雷達(dá)技術(shù),2013,42(3):1-4.
[4]Li C.,Xu C.,Gui C.,and Fox M.D.Distance Regularized Level Set Evolution and Its Application to Image Segmentation[J].IEEE Transaction on Image Processing,December,2010,19(12):154-164.
[5]Shattuck D.W.,Prasad G.,Mirza M.,Narr K.L.,and Oga A.W.Online resource for validation of brain segmentation methods[J].Neuro Image,2009,45(2):431–439.
[6]Ross T.D.and Mossing J.C.The MSTAR evaluation methodology[C]. Proceeding of SPIE,1999,3721:705-713.
[7]Li C.,Kao C.,Gore J.,Ding Z.Minimization of region-scalable fitting energy for image segmentation.IEEE Transaction on Image Processing,October,2008,17(10):1940-1949.