盧小鵬,李 輝*,劉云杰,梁 平,李 坤
(1.電子科技大學 航空航天學院,四川 成都611731;2.四川出入境檢驗檢疫局 機電處,四川 成都610041)
隨著液晶顯示器向大尺寸、輕薄化、低功耗、高分辨率的方向發(fā)展,TFT-LCD 在生產(chǎn)過程中產(chǎn)生各種顯示不均勻缺陷的幾率大大增加。亮點、亮線、暗線等缺陷由于其特征明顯,易于檢測。而Mura缺陷對比度低,邊緣模糊,大小、形狀都不固定,而且背景圖像復雜,這就增加了缺陷分割的難度,成為研究的熱點[1-2],并且傳統(tǒng)的圖像分割方法無法得到滿意的分割效果。
Osher等人[3]于1988年提出了計算穩(wěn)定、抗噪性好且具有跟蹤拓撲結構變化的水平集方法,并成功運用到圖像處理中。Caselles[4]和Malladi[5]等人以曲線演化理論和水平集方法為基礎,分別獨立地提出了幾何主動輪廓模型,將圖像分割問題轉化為求能量泛函的最優(yōu)解問題。而后,Caselles等人又對幾何主動輪廓模型做了改進,提出了測地主動輪廓模型[6]。國內(nèi)的周則明等[7]利用Snake 模型并結合水平集方法對左心室MRI圖像進行分割。但以上方法都存在基于圖像梯度的邊緣檢測項,只能檢測用梯度定義的圖像邊 緣。2001 年,Chan 和Vese 簡 化 了Mumford-Shah[8]模 型,并 結 合 水 平 集 思 想,提 出 了Chan-Vese水 平 集 模 型[9],即 經(jīng) 典 的C-V 模 型。C-V 模型不再依賴圖像的梯度信息,適用于梯度無意義或者邊緣模糊的圖像的分割。但是,C-V模型以2個灰度均值擬合描述目標和背景2個同質(zhì)區(qū)域,對于背景不均勻的圖像無法準確地分割。同時,每次的更新迭代,都要重新初始化符號距離函數(shù),計算量大,降低了目標檢測效率。
在數(shù)值實現(xiàn)上,常用的求解格式有有限差分格式、AOS[10]格式等。有限差分格式必須在較小的時間步長下才能得到穩(wěn)定解,計算效率低;而AOS格式雖然可以采用較大的時間步長,但在迭代過程中需要多次計算矩陣的逆而使得分割精度下降。本文針對C-V 模型,在模型本身、數(shù)值實現(xiàn)等方面加以改進,提高了模型對背景不均勻圖像的分割能力和分割速度。
假設定義域為Ω 的圖像I(x,y)被閉合曲線C 劃分為目標、邊界2個區(qū)域Co、Cb,其平均灰度分別為co、cb。C-V 模型在實現(xiàn)過程中,需要把演化曲線C 嵌入到水平集函數(shù)φ 中,同時引入Heaviside函數(shù)和Dirac函數(shù),則C-V 模型的水平集表示為:
其中:μ≥0,v≥0,λ1>0,λ2>0為常數(shù)。
Chan和Vese以歐拉—拉格朗日方法求解式(1),并利用梯度下降流得到最終的偏微分方程:
傳統(tǒng)的C-V 模型主要根據(jù)區(qū)域的灰度均值特性處理背景簡單的兩類分割問題,而對于背景復雜的圖像無法準確地分割。另外,水平集函數(shù)φ 必須構造為符號距離函數(shù),φ 經(jīng)過少量的迭代演化后,就會背離符號距離函數(shù),通常以重新初始化符號距離函數(shù)來保持計算的穩(wěn)定性,這樣致使計算量增大和演化速度降低,同時分割的準確度也受到影響。
為了解決符號距離函數(shù)重初始化問題,Li[11]等人在建立基于梯度的參數(shù)活動輪廓模型時,根據(jù)符號距離函數(shù)的梯度始終滿足|φ|=1,在能量函數(shù)中增加一懲罰項:
對于任何偏離|φ|=1的局部,在后續(xù)演化過程中將被糾正,因此,無需重新初始化符號距離函數(shù)。
為了平衡圖像背景整體亮度不均勻對檢測效果的影響,在傳統(tǒng)的C-V 模型中增加一個與輪廓曲線內(nèi)、外部區(qū)域之間的亮度差有關的能量項,該能量項可以描述為:
這里,Area(inside(C))是曲線內(nèi)部的面積。
綜上所述,改進后的C-V 模型為:
整理可得改進模型的能量方程為:
式(6)對應的演化方程如下:
對于長度參數(shù)μ,當檢測較大的物體時,應取較大值,反之亦然。通過修改參數(shù)v的值,可以平衡圖像整體的亮度不均勻。
對于式(8)模型的離散化過程通常采用有限差分格式或AOS 格式。半隱差分格式與AOS格式一樣都是無條件穩(wěn)定的,但其在一次迭代過程中有選擇地不更新一些函數(shù)項的前次迭代結果,使得每次迭代步中都包含最近兩次的迭代數(shù)據(jù)。
設時間步長為τ,空域步長為h,則對于式(8)中各項,首先構造如文獻[12]中的半隱差分格式。記
則曲率的差分格式為:
其中:
同時,水平集函數(shù)的Laplace算子為:
其中:
另外,記
這里,
則式(8)的離散迭代式為:
由此可得其半隱差分格式為:
整理式(17)可得形如文獻[12]中出現(xiàn)的數(shù)值模型:
半隱差分格式是無條件穩(wěn)定的,并且演化速度快,容易出現(xiàn)過收斂現(xiàn)象。為了準確分割目標,謝強軍等人[13]采用了曲線演化的自動停止判定不等式
實驗硬件環(huán)境為Intel(R)Core(TM)i3CPU 530@2.93GHz,4.00GB內(nèi)存;軟件環(huán)境為:MatlabR2010a。實驗參數(shù)設定為:μ=0.000 1×2552。
首先說明符號距離保持項P(φ)對模型的作用。對一副270×220的合成圖像,分別用去掉項的改進模型和完整的改進模型進行分割,結果如圖1所示。去掉P(φ)項,模型在每次迭代過程中需要重新初始化符號距離函數(shù),雖然迭代次數(shù)不變,但會影響到分割速度。由于迭代次數(shù)NumIter=3,去掉P(φ)項的改進模型的計算時間Cputime也只有0.82 989s,但完整的改進模型的計算時間減少了22.6%。隨著圖片尺寸增大和迭代次數(shù)增加,重初始化距離符號函數(shù)將會嚴重影響模型的分割速度。
圖1 去掉項的改進模型和完整的改進模型的分割效果比較Fig.1 Comparison of segmentation results between improved model without and improved model
圖2分別用傳統(tǒng)的C-V 模型和改進后的CV 模型分別對一副的TFT-LCD 線Mura缺陷圖像和一副的TFT-LCD 塊狀Mura缺陷圖像進行分割,亮度不均平衡系數(shù)分別取v=4.7 和v=1.9??梢钥闯?,傳統(tǒng)的C-V 模型無法對背景不均勻的Mura缺陷圖像準確分割,而改進后的CV 模型得到了滿意的分割效果。
圖2 傳統(tǒng)的C-V 模型和改進后的C-V 模型缺陷分割效果比較Fig.2 Comparison of segmentation results between traditional C-V model and improved C-V model
為了驗證半隱差分求解格式的高效性,對一副450×400 的TFT-LCD 塊狀Mura缺陷圖像分別用有限差分格式、AOS格式和半隱差分格式進行檢測,結果比較如表1所示。
表1 半隱差分格式與有限差分格式、AOS格式的求解效率比較Tab.1 Comparison of solving efficiency among finite difference scheme, AOS and semi-implicit scheme
3種求解格式都能實現(xiàn)對Mura缺陷的準確分割,從表1可以看出,有限差分格式必須在較小的時間步長下才能得到穩(wěn)定解,曲線演化緩慢;而AOS格式雖然加大了時間步長,但迭代過程中需要多次求解矩陣的逆,計算量增加;半隱差分格式無需進行矩陣求逆運算,而且時間步長可以達到τ=10,計算效率明顯提高。
本文主要針對傳統(tǒng)的C-V 模型對背景復雜的圖像分割不準確,并且耗時長的缺點,通過改進模型本身和求解格式,提高了模型分割圖像的準確度和分割速度。實驗結果表明,改進的C-V 模型提高了對背景復雜的圖像的分割能力。在數(shù)值實現(xiàn)上,半隱差分格式克服了有限差分格式步長較小,AOS格式矩陣求逆的不足,進一步增大了時間步長,而且分割速度更快。本文提出的算法對背景不均勻圖像有很好的分割效果,能夠實現(xiàn)對TFT-LCD Mura缺陷的快速檢測。
[1] 周哲.橫線Mura的分析與改善[J].液晶與顯示,2012,27(5):649-652.Zhou Z.Analysis and improvement of horizontal line Mura[J].Chinese Journal of Liquid Crystals and Displays,2012,27(5):649-652.(in Chinese)
[2] 齊鵬,施園,劉子源.TFT-LCD Touch Mura不良的研究和改善[J].液晶與顯示,2013,28(2):204-209.Qi P,Shi Y,Liu Z Y.Research and improvement of touch Mura in TFT-LCD [J].Chinese Journal of Liquid Crystals and Displays,2013,28(2):204-209.(in Chinese)
[3] Osher S,Sethian J A.Fronts propagating with curvature dependent speed:Algorithms based on the Hamilton-Jacobi formulation[J].Journal of Computational Physics,1998,79(1):12-49.
[4] Caselles V,Catte F,Coll T,et al.A geometric model for active contours in image processing[J].Numerische Mathematik,1993,66(1):1-31.
[5] Malladi R,Sethian J A,Vemuri B C.Shape modeling with front propagation:A level set approach[J].IEEE Transactions on Pattern Analysis and Machine Intelligence,1995,17(2):158-175.
[6] Caselles V,Kimmel R,Sapiro G.Geodesic active contours[J].International Journal of Computer Vision,1997,22(1):61-79.
[7] 周則明,尤建潔,范春暉,等.結合水平集方法和形狀約束Snake模型的左心室MRI圖像分割[J].模式識別與人工智能,2006,19(6):782-786.Zhou Z M,You J J,F(xiàn)an C H,et al.Left ventricle MRI images segmentation by unifying level set method and snaked model with shape constraints[J].Pattern Recognition and Artificial Intelligence,2006,19(6):782-786.(in Chinese)
[8] Mumford D,Shah J.Optimal approximations by piecewise smooth functions and associated variational problems[J].Communication on Pure and Applied Mathematics,1989,42(5):577-685.
[9] Chan T F,Vese L A.Active contours without edges[J].IEEE Transactions on Image Processing,2001,10(2):266-277.
[10] Kuhne G,Weickert J,Beier M,et al.Fast implicit active contour models[C].Proceedings of the 24th DAGM Symposium on Pattern Recognition,Germany:springer-verlag,2002:133-140.
[11] Li C,Xu C,Gui C,et al.Level set evolution without re-initialization:A new variational formulation[C].Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition.San Diego,USA:IEEE Computer Society,2005:430-436.
[12] Chan T F,VESE L A.A multiphase level set framework for image segmentation using the Mumford and Shah model[J].International Journal of Computer Vision,2002,50(3):271-293.
[13] 謝強軍,侯迪波,黃平捷,等.一種改進的單參數(shù)水平集快速分割方法[J].光電子·激光,2009,20(12):1671-1675.Xie Q J,Hou D B,Huang P J,et al.An improved level set method for fast image segmentation based on dingle parameter[J].Journal of Optoelectronics·Laser,2009,20(12):1671-1675.(in Chinese)