1. 程式人生 > >SIFT和surf

SIFT和surf

高斯拉普拉斯(Laplace of Gaussian)

          Laplace運算元作為一種優秀的邊緣檢測運算元,在邊緣檢測中得到了廣泛的應用。該方法通過對影象求影象的二階倒數的零交叉點來實現邊緣的檢測,公式表示如下:


由於Laplace運算元是通過對影象進行微分操作實現邊緣檢測的,所以對離散點和噪聲比較敏感。於是,首先對影象進行高斯卷積濾波進行降噪處理,再採用Laplace運算元進行邊緣檢測,就可以提高運算元對噪聲和離散點的魯棒性,如此,拉普拉斯高斯運算元Log(Laplace of Gaussian)就誕生了。

          高斯卷積(Gaussian convolution ),高斯函式的表示式如下:


原影象與高斯卷積的表示式如下:


因為:


所以Log可以通過先對高斯函式進行偏導操作,然後進行卷積求解,公式表示如下:


         2D高斯拉普拉斯運算元可以通過任何一個方形核進行逼近,只要保證該核的所有元素的和或均值為0,如下一個5×5的核進行逼近:


          高斯拉普拉斯邊緣檢測演算法的步驟:

         1)對原影象進行Log卷積。

         2)檢測影象中的過零點( Zero Crossings,也即從負到正或從正到負)。

         3)對過零點進行閾值化。

尺度不變特徵變換匹配演算法詳解
Scale Invariant Feature Transform(SIFT)
Just For Fun

對於初學者,從David G.Lowe的論文到實現,有許多鴻溝,本文幫你跨越。

1SIFT綜述

尺度不變特徵轉換(Scale-invariant feature transformSIFT)是一種電腦視覺的演算法用來偵測與描述影像中的區域性性特徵,它在空間尺度中尋找極值點,並提取出其位置、尺度、旋轉不變數,此演算法由 David Lowe1999年所發表,2004年完善總結。

其應用範圍包含物體辨識、機器人地圖感知與導航、影像縫合、3D

模型建立、手勢辨識、影像追蹤和動作比對。

此演算法有其專利,專利擁有者為英屬哥倫比亞大學。

區域性影像特徵的描述與偵測可以幫助辨識物體,SIFT 特徵是基於物體上的一些區域性外觀的興趣點而與影像的大小和旋轉無關。對於光線、噪聲、些微視角改變的容忍度也相當高。基於這些特性,它們是高度顯著而且相對容易擷取,在母數龐大的特徵資料庫中,很容易辨識物體而且鮮有誤認。使用 SIFT特徵描述對於部分物體遮蔽的偵測率也相當高,甚至只需要3個以上的SIFT物體特徵就足以計算出位置與方位。在現今的電腦硬體速度下和小型的特徵資料庫條件下,辨識速度可接近即時運算。SIFT特徵的資訊量大,適合在海量資料庫中快速準確匹配。

SIFT演算法的特點有:

1. SIFT特徵是影象的區域性特徵,其對旋轉、尺度縮放、亮度變化保持不變性,對視角變化、仿射變換、噪聲也保持一定程度的穩定性;

2. 獨特性(Distinctiveness)好,資訊量豐富,適用於在海量特徵資料庫中進行快速、準確的匹配;

3. 多量性,即使少數的幾個物體也可以產生大量的SIFT特徵向量;

4. 高速性,經優化的SIFT匹配演算法甚至可以達到實時的要求;

5. 可擴充套件性,可以很方便的與其他形式的特徵向量進行聯合。

SIFT演算法可以解決的問題:

目標的自身狀態、場景所處的環境和成像器材的成像特性等因素影響影象配準/目標識別跟蹤的效能。而SIFT演算法在一定程度上可解決:

1. 目標的旋轉、縮放、平移(RST

2. 影象仿射/投影變換(視點viewpoint

3. 光照影響(illumination

4. 目標遮擋(occlusion

5. 雜物場景(clutter

6. 噪聲

SIFT演算法的實質是在不同的尺度空間上查詢關鍵點(特徵點),並計算出關鍵點的方向。SIFT所查詢到的關鍵點是一些十分突出,不會因光照,仿射變換和噪音等因素而變化的點,如角點、邊緣點、暗區的亮點及亮區的暗點等。 

LoweSIFT演算法分解為如下四步:

1. 尺度空間極值檢測:搜尋所有尺度上的影象位置。通過高斯微分函式來識別潛在的對於尺度和旋轉不變的興趣點。

2. 關鍵點定位:在每個候選的位置上,通過一個擬合精細的模型來確定位置和尺度。關鍵點的選擇依據於它們的穩定程度。

3. 方向確定:基於影象區域性的梯度方向,分配給每個關鍵點位置一個或多個方向。所有後面的對影象資料的操作都相對於關鍵點的方向、尺度和位置進行變換,從而提供對於這些變換的不變性。

4. 關鍵點描述:在每個關鍵點周圍的鄰域內,在選定的尺度上測量影象區域性的梯度。這些梯度被變換成一種表示,這種表示允許比較大的區域性形狀的變形和光照變化。

本文沿著Lowe的步驟,參考Rob HessAndrea Vedaldi原始碼,詳解SIFT演算法的實現過程。

2、高斯模糊

SIFT演算法是在不同的尺度空間上查詢關鍵點,而尺度空間的獲取需要使用高斯模糊來實現,Lindeberg等人已證明高斯卷積核是實現尺度變換的唯一變換核,並且是唯一的線性核。本節先介紹高斯模糊演算法。

2.1二維高斯函式

高斯模糊是一種影象濾波器,它使用正態分佈(高斯函式)計算模糊模板,並使用該模板與原影象做卷積運算,達到模糊影象的目的。

N維空間正態分佈方程為:

1-1

其中,是正態分佈的標準差,值越大,影象越模糊(平滑)r為模糊半徑,模糊半徑是指模板元素到模板中心的距離。如二維模板大小為m*n,則模板上的元素(x,y)對應的高斯計算公式為:

1-2

   在二維空間中,這個公式生成的曲面的等高線是從中心開始呈正態分佈的同心圓,如圖2.1所示。分佈不為零的畫素組成的卷積矩陣與原始影象做變換。每個畫素的值都是周圍相鄰畫素值的加權平均。原始畫素的值有最大的高斯分佈值,所以有最大的權重,相鄰畫素隨著距離原始畫素越來越遠,其權重也越來越小。這樣進行模糊處理比其它的均衡模糊濾波器更高地保留了邊緣效果。

理論上來講,影象中每點的分佈都不為零,這也就是說每個畫素的計算都需要包含整幅影象。在實際應用中,在計算高斯函式的離散近似時,在大概3σ距離之外的畫素都可以看作不起作用,這些畫素的計算也就可以忽略。通常,影象處理程式只需要計算的矩陣就可以保證相關畫素影響。

2.2 影象的二維高斯模糊

根據σ的值,計算出高斯模板矩陣的大小(),使用公式(1-2)計算高斯模板矩陣的值,與原影象做卷積,即可獲得原影象的平滑(高斯模糊)影象。為了確保模板矩陣中的元素在[0,1]之間,需將模板矩陣歸一化。5*5的高斯模板如表2.1所示。


下圖是5*5的高斯模板卷積計算示意圖。高斯模板是中心對稱的。

2.3分離高斯模糊

如圖2.3所示,使用二維的高斯模板達到了模糊影象的目的,但是會因模板矩陣的關係而造成邊緣影象缺失(2.3 b,c)越大,缺失畫素越多,丟棄模板會造成黑邊(2.3 d)。更重要的是當變大時,高斯模板(高斯核)和卷積運算量將大幅度提高。根據高斯函式的可分離性,可對二維高斯模糊函式進行改進。

高斯函式的可分離性是指使用二維矩陣變換得到的效果也可以通過在水平方向進行一維高斯矩陣變換加上豎直方向的一維高斯矩陣變換得到。從計算的角度來看,這是一項有用的特性,因為這樣只需要次計算,而二維不可分的矩陣則需要次計算,其中,m,n為高斯矩陣的維數,M,N為二維影象的維數。

另外,兩次一維的高斯卷積將消除二維高斯矩陣所產生的邊緣。(關於消除邊緣的論述如下圖2.4所示, 對用模板矩陣超出邊界的部分——虛線框,將不做卷積計算。如圖2.4中x方向的第一個模板1*5,將退化成1*3的模板,只在影象之內的部分做卷積。)


附錄1是用opencv2.2實現的二維高斯模糊和分離高斯模糊。表2.2為上述兩種方法和opencv2.3開源庫實現的高斯模糊程式的比較。


3、尺度空間極值檢測

尺度空間使用高斯金字塔表示。Tony Lindeberg指出尺度規範化的LoG(Laplacion of Gaussian)運算元具有真正的尺度不變性,Lowe使用高斯差分金字塔近似LoG運算元,在尺度空間檢測穩定的關鍵點。

3.1 尺度空間理論

尺度空間(scale space)思想最早是由Iijima1962年提出的,後經witkinKoenderink等人的推廣逐漸得到關注,在計算機視覺使用廣泛。

尺度空間理論的基本思想是:在影象資訊處理模型中引入一個被視為尺度的引數,通過連續變化尺度引數獲得多尺度下的尺度空間表示序列,對這些序列進行尺度空間主輪廓的提取,並以該主輪廓作為一種特徵向量,實現邊緣、角點檢測和不同解析度上的特徵提取等。

尺度空間方法將傳統的單尺度影象資訊處理技術納入尺度不斷變化的動態分析框架中,更容易獲取影象的本質特徵。尺度空間中各尺度影象的模糊程度逐漸變大,能夠模擬人在距離目標由近到遠時目標在視網膜上的形成過程。

尺度空間滿足視覺不變性。該不變性的視覺解釋如下:當我們用眼睛觀察物體時,一方面當物體所處背景的光照條件變化時,視網膜感知影象的亮度水平和對比度是不同的,因此要求尺度空間運算元對影象的分析不受影象的灰度水平和對比度變化的影響,即滿足灰度不變性和對比度不變性。另一方面,相對於某一固定座標系,當觀察者和物體之間的相對位置變化時,視網膜所感知的影象的位置、大小、角度和形狀是不同的,因此要求尺度空間運算元對影象的分析和影象的位置、大小、角度以及仿射變換無關,即滿足平移不變性、尺度不變性、歐幾里德不變性以及仿射不變性。

3.2 尺度空間的表示

一個影象的尺度空間,定義為一個變化尺度的高斯函式與原影象的卷積。

  (3-1)

其中,*表示卷積運算,

  (3-2)

與公式(1-2)相同,mn表示高斯模板的維度(確定)(x, y)代表影象的畫素位置。是尺度空間因子,值越小表示影象被平滑的越少,相應的尺度也就越小。大尺度對應於影象的概貌特徵,小尺度對應於影象的細節特徵。

3.3 高斯金字塔的構建

尺度空間在實現時使用高斯金字塔表示,高斯金字塔的構建分為兩部分:

1. 對影象做不同尺度的高斯模糊;

2. 對影象做降取樣(隔點取樣)


影象的金字塔模型是指,將原始影象不斷降階取樣,得到一系列大小不一的影象,由大到小,從下到上構成的塔狀模型。原影象為金子塔的第一層,每次降取樣所得到的新影象為金字塔的一層(每層一張影象),每個金字塔共n層。金字塔的層數根據影象的原始大小和塔頂影象的大小共同決定,其計算公式如下:

(3-3)

其中MN為原影象的大小,t為塔頂影象的最小維數的對數值。如,對於大小為512*512的影象,金字塔上各層影象的大小如表3.1所示,當塔頂影象為4*4時,n=7,當塔頂影象為2*2時,n=8

為了讓尺度體現其連續性,高斯金字塔在簡單降取樣的基礎上加上了高斯濾波。如圖3.1所示,將影象金字塔每層的一張影象使用不同引數做高斯模糊,使得金字塔的每層含有多張高斯模糊影象,將金字塔每層多張影象合稱為一組(Octave),金字塔每層只有一組影象,組數和金字塔層數相等,使用公式(3-3)計算,每組含有多張(也叫層Interval)影象。另外,降取樣時,高斯金字塔上一組影象的初始影象(底層影象)是由前一組影象的倒數第三張影象隔點取樣得到的。

注:由於組內的多張影象按層次疊放,因此組內的多張影象也稱做多層,為避免與金字塔層的概念混淆,本文以下內容中,若不特別說明是金字塔層數,層一般指組內各層影象。

注:如3.4節所示,為了在每組中檢測S個尺度的極值點,則DOG金字塔每組需S+2層影象,而DOG金字塔由高斯金字塔相鄰兩層相減得到,則高斯金字塔每組需S+3層影象,實際計算時S在3到5之間。取S=3時,假定高斯金字塔儲存索引如下:

第0組(即第-1組):  0 1  2  3  4   5

第1組:            6 7  8  9  10 11

第2組:            ?

則第2組第一張圖片根據第一組中索引為9的圖片降取樣得到,其它類似。  


3.4 高斯差分金字塔

2002年Mikolajczyk在詳細的實驗比較中發現尺度歸一化的高斯拉普拉斯函式的極大值和極小值同其它的特徵提取函式,例如:梯度,Hessian或Harris角特徵比較,能夠產生最穩定的影象特徵。

而Lindeberg早在1994年就發現高斯差分函式(Difference of Gaussian ,簡稱DOG運算元)與尺度歸一化的高斯拉普拉斯函式非常近似。其中的關係可以從如下公式推導得到:

利用差分近似代替微分,則有:

                   

因此有

其中k-1是個常數,並不影響極值點位置的求取。


如圖3.2所示,紅色曲線表示的是高斯差分運算元,而藍色曲線表示的是高斯拉普拉斯運算元。Lowe使用更高效的高斯差分運算元代替拉普拉斯運算元進行極值檢測,如下:

(3-4)

在實際計算時,使用高斯金字塔每組中相鄰上下兩層影象相減,得到高斯差分影象,如圖3.3所示,進行極值檢測。

3.5 空間極值點檢測(關鍵點的初步探查)

關鍵點是由DOG空間的區域性極值點組成的,關鍵點的初步探查是通過同一組內各DoG相鄰兩層影象之間比較完成的。為了尋找DoG函式的極值點,每一個畫素點要和它所有的相鄰點比較,看其是否比它的影象域和尺度域的相鄰點大或者小。如圖3.4所示,中間的檢測點和它同尺度的8個相鄰點和上下相鄰尺度對應的9×2個點共26個點比較,以確保在尺度空間和二維影象空間都檢測到極值點。 

由於要在相鄰尺度進行比較,如圖3.3右側每組含4層的高斯差分金子塔,只能在中間兩層中進行兩個尺度的極值點檢測,其它尺度則只能在不同組中進行。為了在每組中檢測S個尺度的極值點,則DOG金字塔每組需S+2層影象,而DOG金字塔由高斯金字塔相鄰兩層相減得到,則高斯金字塔每組需S+3層影象,實際計算時S35之間。

當然這樣產生的極值點並不全都是穩定的特徵點,因為某些極值點響應較弱,而且DOG運算元會產生較強的邊緣響應。

3.6 構建尺度空間需確定的引數

  —尺度空間座標

    O—組(octave)

    S— 組內層數

在上述尺度空間中,O和S,的關係如下:

 (3-5)

其中是基準層尺度,o為組octave的索引,s為組內層的索引。關鍵點的尺度座標就是按關鍵點所在的組和組內的層,利用公式(3-5)計算而來。

在最開始建立高斯金字塔時,要預先模糊輸入影象來作為第0個組的第0層的影象,這時相當於丟棄了最高的空域的取樣率。因此通常的做法是先將影象的尺度擴大一倍來生成第-1組。我們假定初始的輸入影象為了抗擊混淆現象,已經對其進行的高斯模糊,如果輸入影象的尺寸用雙線性插值擴大一倍,那麼相當於

取式(3-4)中的k為組內總層數的倒數,即

   (3-6)

在構建高斯金字塔時,組內每層的尺度座標按如下公式計算:

(3-7)

其中初始尺度,lowes為組內的層索引,不同組相同層的組內尺度座標相同。組內下一層影象是由前一層影象按進行高斯模糊所得。式(3-7)用於一次生成組內不同尺度的高斯影象,而在計算組內某一層影象的尺度時,直接使用如下公式進行計算:

(3-8)

該組內尺度在方向分配和特徵描述時確定取樣視窗的大小。

由上,式(3-4)可記為

(3-9)

3.5為構建DOG金字塔的示意圖,原圖採用128*128jobs影象,擴大一倍後構建金字塔。



4、關鍵點定位

以上方法檢測到的極值點是離散空間的極值點,以下通過擬合三維二次函式來精確確定關鍵點的位置和尺度,同時去除低對比度的關鍵點和不穩定的邊緣響應點(因為DoG運算元會產生較強的邊緣響應),以增強匹配穩定性、提高抗噪聲能力。

4.1關鍵點的精確定位

離散空間的極值點並不是真正的極值點,圖4.1顯示了二維函式離散空間得到的極值點與連續空間極值點的差別。利用已知的離散空間點插值得到的連續空間極值點的方法叫做子畫素插值(Sub-pixel Interpolation)。

為了提高關鍵點的穩定性,需要對尺度空間DoG函式進行曲線擬合。利用DoG函式在尺度空間的Taylor展開式(擬合函式)為:

(4-1)

其中,。求導並讓方程等於零,可以得到極值點的偏移量為:

(4-2)

對應極值點,方程的值為:

(4-3)

其中,代表相對插值中心的偏移量,當它在任一維度上的偏移量大於0.5時(即xy),意味著插值中心已經偏移到它的鄰近點上,所以必須改變當前關鍵點的位置。同時在新的位置上反覆插值直到收斂;也有可能超出所設定的迭代次數或者超出影象邊界的範圍,此時這樣的點應該刪除,在Lowe中進行了5次迭代。另外,過小的點易受噪聲的干擾而變得不穩定,所以將小於某個經驗值(Lowe論文中使用0.03Rob Hess等人實現時使用0.04/S)的極值點刪除。同時,在此過程中獲取特徵點的精確位置(原位置加上擬合的偏移量)以及尺度()

4.2消除邊緣響應

一個定義不好的高斯差分運算元的極值在橫跨邊緣的地方有較大的主曲率,而在垂直邊緣的方向有較小的主曲率。

DOG運算元會產生較強的邊緣響應,需要剔除不穩定的邊緣響應點。獲取特徵點處的Hessian矩陣,主曲率通過一個2x2 Hessian矩陣H求出:

  (4-4)

H的特徵值α和β代表x和y方向的梯度,

 (4-5)

表示矩陣H對角線元素之和,表示矩陣H的行列式。假設是α較大的特徵值,而是β較小的特徵值,令,則

(4-6)                

導數由取樣點相鄰差估計得到,在下一節中說明

D的主曲率和H的特徵值成正比,令為α最大特徵值,β為最小的特徵值,則公式的值在兩個特徵值相等時最小,隨著的增大而增大。值越大,說明兩個特徵值的比值越大,即在某一個方向的梯度值越大,而在另一個方向的梯度值越小,而邊緣恰恰就是這種情況。所以為了剔除邊緣響應點,需要讓該比值小於一定的閾值,因此,為了檢測主曲率是否在某域值r下,只需檢測

(4-7)

(4-7)成立時將關鍵點保留,反之剔除。

在Lowe的文章中,取r=10。圖4.2右側為消除邊緣響應後的關鍵點分佈圖。

4.3有限差分法求導

有限差分法以變數離散取值後對應的函式值來近似微分方程中獨立變數的連續取值。在有限差分方法中,我們放棄了微分方程中獨立變數可以取連續值的特徵,而關注獨立變數離散取值後對應的函式值。但是從原則上說,這種方法仍然可以達到任意滿意的計算精度。因為方程的連續數值解可以通過減小獨立變數離散取值的間格,或者通過離散點上的函式值插值計算來近似得到。這種方法是隨著計算機的誕生和應用而發展起來的。其計算格式和程式的設計都比較直觀和簡單,因而,它在計算數學中使用廣泛。

有限差分法的具體操作分為兩個部分:

1. 用差分代替微分方程中的微分,將連續變化的變數離散化,從而得到差分方程組的數學形式;

2. 求解差分方程組。

一個函式在x點上的一階和二階微商,可以近似地用它所臨近的兩點上的函式值的差分來表示。如對一個單變數函式f(x)x為定義在區間[a,b]上的連續變數,以步長將區間[a,b]離散化,我們會得到一系列節點,

然後求出f(x)在這些點上的近似值。顯然步長h越小,近似解的精度就越好。與節點相鄰的節點有,所以在節點處可構造如下形式的差值:

 節點的一階向前差分

節點的一階向後差分

節點的一階中心差分

本文使用中心差分法利用泰勒展開式求解第四節所使用的導數,現做如下推導。

函式f(x)在處的泰勒展開式為:

(4-8)

則,

(4-9)

(4-10)

忽略h平方之後的項,聯立式(4-9)(4-10)解方程組得:

(4-11)

 (4-12)

二元函式的泰勒展開式如下:


展開後忽略次要項聯立解方程得二維混合偏導如下:

(4-13)

綜上,推導了4.1,4.2遇到的所有導數計算。同理,利用多元泰勒展開式,可得任意偏導的近似差分表示。

在影象處理中,取h=1,在圖4.2所示的影象中,將畫素0的基本中點導數公式整理如下:



4.4 三階矩陣求逆公式

高階矩陣的求逆演算法主要有歸一法和消元法兩種,現將三階矩陣求逆公式總結如下:

若矩陣

可逆,即時,

(4-14)

5、關鍵點方向分配

為了使描述符具有旋轉不變性,需要利用影象的區域性特徵為給每一個關鍵點分配一個基準方向。使用影象梯度的方法求取區域性結構的穩定方向。對於在DOG金字塔中檢測出的關鍵點點,採集其所在高斯金字塔影象3σ視窗內畫素的梯度和方向分佈特徵。梯度的模值和方向如下:

(5-1)

L為關鍵點所在的尺度空間值,按Lowe的建議,梯度的模值m(x,y)的高斯分佈加成,按尺度取樣的原則,域視窗半徑為

在完成關鍵點的梯度計算後,使用直方圖統計內畫素的梯度和方向。梯度直方圖將0~360度的方向範圍分為36個柱(bins),其中每柱10度。如圖5.1所示,直方圖的峰值方向代表了關鍵點的主方向,(為簡化,圖中只畫了八個方向的直方圖)

方向直方圖的峰值則代表了該特徵點處鄰域梯度的方向,以直方圖中最大值作為該關鍵點的主方向。為了增強匹配的魯棒性,只保留峰值大於主方向峰值80%的方向作為該關鍵點的輔方向。因此,對於同一梯度值的多個峰值的關鍵點位置,在相同位置和尺度將會有多個關鍵點被建立但方向不同。僅有15%的關鍵點被賦予多個方向,但可以明顯的提高關鍵點匹配的穩定性。實際程式設計實現中,就是把該關鍵點複製成多份關鍵點,並將方向值分別賦給這些複製後的關鍵點,並且,離散的梯度方向直方圖要進行插值擬合處理,來求得更精確的方向角度值,檢測結果如圖5.2所示

至此,將檢測出的含有位置、尺度和方向的關鍵點即是該影象的SIFT特徵點。

6、關鍵點特徵描述

通過以上步驟,對於每一個關鍵點,擁有三個資訊:位置、尺度以及方向。接下來就是為每個關鍵點建立一個描述符,用一組向量將這個關鍵點描述出來,使其不隨各種變化而改變,比如光照變化、視角變化等等。這個描述子不但包括關鍵點,也包含關鍵點周圍對其有貢獻的畫素點,並且描述符應該有較高的獨特性,以便於提高特徵點正確匹配的概率。 

SIFT描述子是關鍵點高斯影象梯度統計結果的一種表示。通過對關鍵點周圍影象區域分塊,計算塊內梯度直方圖,生成具有獨特性的向量,這個向量是該區域影象資訊的一種抽象,具有唯一性。

Lowe建議描述子使用在關鍵點尺度空間內4*4的視窗中計算的8