1. 基本概念
1.1 對極幾何
對極幾何是指空間中的某一點和它的投影在不同座標系下的表示。
兩個白色平面爲相機成像的像平面,
x爲空間中的任意一點,從圖中可以看出,
X 在左邊像平面的投影爲
x1,在右邊像平面的投影爲
x2,
C1和
C1分別是兩個相機的光心,而且
C1,
C2,
x1,x,
x2在同一平面上,將該平面命名爲
π,該平面有一條基線,爲線
C1
e1
e2
C2。包含基線的平面叫做對極平面,基線與像平面的交點爲對極點(
e1,
e2),對極平面和像平面的交點稱爲對極線(
l1,
l2)。
1.2 基礎矩陣
基礎矩陣所包含的參數由相機內參(K),兩個相機外參(R,T),可以用來描述圖像的對應關係,也就是說我們知道了某個點在一個像平面的座標,可以知道它在另一個像平面的座標。
p,
p′是x在
C,
C′兩個像平面的相對座標,則:
p=Rp′+T
其中,
x=Kp
x′=K′p′
p=K−1x
p′=K′−1x′
根據三線共面,有:
(p−T)T(T×p)=0
→
(RTp′)T(T×p)=0
令
T×p=Sp
S=⎣⎡0Tz−Ty−Tz0TxTy−Tx0⎦⎤
→
(RTp′)T(Sp)=0
(p′TR)(Sp)=0
p′TEp=0
其中E爲本質矩陣,描述的是空間中點在兩個座標系中的對應關係。
同理,
K,K′分別爲兩個相機的內參。則
p=K−1x,
p′=K′−1x′
→
(K′−1x′)TE(K−1x)=0
→
x′TK′−TEK−1x=0
→
x′TFx=0
F即爲基礎矩陣,描述了空間中的點在兩個像平面中的座標對應關係。
1.3 8點法求基礎矩陣
步驟:
- 導入兩幅圖像,提取圖像的特徵;
- 連接兩幅圖像的特徵
- 去除錯配點(RANSAC)
- 估算基礎矩陣
基礎矩陣F定義爲
xTFx′=0
設任意兩幅圖像中的匹配點
x,
x′,令
x=(u,v,1)T,
x′=(u′,v′,1)T,基礎矩陣是一個3*3秩爲2的矩陣,記爲
F=⎣⎡f11f21f31f12f22f32f13f23f33⎦⎤
有相應方程:
uu′f11+uv′f12+uf13+vu′f21+vv′f22+vf23+u′f31+v′f32+f33=0
則:
上述求解後F不一定會滿足秩=2的約束,因此還需要在F基礎上加以約束。
令
F=UΣVT,則:
Σ=⎣⎡σ100+v′f32+f33=0
則:
上述求解後F不一定會滿足秩=2的約束,因此還需要在F基礎上加以約束。
令
F=UΣVT,則:
Σ=⎣⎡σ1000σ2000σ3⎦⎤令
f33=0
則:
上述求解後F不一定會滿足秩=2的約束,因此還需要在F基礎上加以約束。
令
F=UΣVT,則:
Σ=⎣⎡σ1000σ2000σ3⎦⎤令
ΣT,則: