5、聊聊大名鼎鼎的张正友标定法

目录

  • 0、张正友标定法论文
  • 1、张正友标定法
    • 1.0 旋转矩阵的性质
    • 1.1 求解单应性矩阵
    • 1.2 求解内参矩阵
    • 1.3 求解外参矩阵
    • 1.4 求解畸变系数
    • 1.5 非线性优化
  • 2、单应性矩阵有什么用
  • 3、非常感谢您的阅读!


0、张正友标定法论文

本篇博文参考张正友博士的两篇论文:Flexible camera calibration by viewing a plane from unknown orientation和A Flexible New Technique for Camera Calibration

1、张正友标定法

首先,我们学习了相机成像模型,通过那个模型,很容易理解下面的公式。
5、聊聊大名鼎鼎的张正友标定法_第1张图片
后面的 r i r_i ri t t t是外参矩阵列向量表示形式,这样写的好处是可以利用旋转矩阵的性质来构建一些约束。

1.0 旋转矩阵的性质

①每一行每一列的模,都为1;
②任意两个列向量或者任意两个行向量都是正交的;
③正交矩阵的逆等于正交矩阵的转置。

后面会用到上面旋转矩阵的性质。

1.1 求解单应性矩阵

我们标定时使用的是平面标定板(这里以棋盘格为例),我们将 X O Y XOY XOY平面设置在标定板平面上, 轴垂直向外,这样对于检测的所有特征点都有
Z w = 0 Z_w=0 Zw=0的关系。
5、聊聊大名鼎鼎的张正友标定法_第2张图片
带入上面那个式子,会有:
5、聊聊大名鼎鼎的张正友标定法_第3张图片
因为 Z w = 0 Z_w=0 Zw=0,所以我们消掉了 r 3 r_3 r3
A [ r 1 , r 2 , r 3 ] = H A[r_1,r_2,r_3]=H A[r1,r2,r3]=H,则有,
s [ u , v , 1 ] T = H [ X w , Y w , 1 ] T s[u,v,1]^T=H[X_w,Y_w,1]^T s[u,v,1]T=H[Xw,Yw,1]T
这个 H H H就是单应性矩阵,我们把它展开得到,
5、聊聊大名鼎鼎的张正友标定法_第4张图片
这样我们已知棋盘格上各个点的3D坐标(棋盘格的尺寸我们已知),以及图像平面上各个对应角点的像素坐标,就可以把 h i j h_{ij} hij求解出来。
5、聊聊大名鼎鼎的张正友标定法_第5张图片
接着将 s s s带入前两个方程有,
在这里插入图片描述
也就是说, H H H有8个自由度。关于几种矩阵的自由度问题可以看我的这篇博客。
定义 h ′ = [ h 11 , h 12 , h 13 , h 21 , h 22 , h 23 , h 31 , h 32 , 1 ] h' = [h_{11}, h_{12}, h_{13}, h_{21}, h_{22}, h_{23}, h_{31}, h_{32}, 1] h=[h11,h12,h13,h21,h22,h23,h31,h32,1]
在这里插入图片描述
以上 X , Y , u , v X,Y,u,v X,Y,u,v都是已知量。因为单应性矩阵有8个自由度,一对匹配点可以构建上面2个约束,所以4对匹配点就可以求解出单应性矩阵,由于噪声影响,现实中经常使用非线性优化的方法求解,比如奇异值分解+LM等。
我们将上式写为 S h ′ = 0 Sh'=0 Sh=0 ,系数矩阵 S T S S^TS STS最小特征值对应的特征向量就是超定方程组 S h ′ = 0 S h'= 0 Sh=0的最小二乘解。

1.2 求解内参矩阵

我们上面求得的单应矩阵可能和真实的值存在一个尺度因子,我们增加一个尺度因子 , 有
在这里插入图片描述
由1.0节提到的旋转矩阵的性质可得两个约束条件:
5、聊聊大名鼎鼎的张正友标定法_第6张图片
于是就有,
5、聊聊大名鼎鼎的张正友标定法_第7张图片
5、聊聊大名鼎鼎的张正友标定法_第8张图片
通过上面红字推导可知,图片中的公式其实是这样的 λ = λ 2 \lambda=\lambda^2 λ=λ2,我们认为它是一个常数尺度因子。就把他记为 λ \lambda λ即可。
因为 A A A是内参矩阵,我们可以计算出他的逆矩阵。
A = [ α γ u 0 0 β v 0 0 0 1 ] A=\left[ \begin{matrix} \alpha & \gamma & u_0 \\ 0 & \beta & v_0 \\ 0 & 0 & 1 \\ \end{matrix} \right] A= α00γβ0u0v01
5、聊聊大名鼎鼎的张正友标定法_第9张图片
其中, α , β \alpha,\beta α,β表示两方向上的焦距, u 0 , v 0 u_0,v_0 u0,v0表示主点。早期的相机有可能会存在像素本身是平行四边形而非矩形的问题,因此增加一个参数 γ \gamma γ来描述,这个参数同样可以认为是传感器的安置不严格与相机主光轴垂直造成的变形的近似,事实与像素坐标系的X,Y轴之间的夹角的正切值成反比,因此当 γ \gamma γ=0时,像素为矩形。
B = A − T A − 1 B=A^{-T}A^{-1} B=ATA1,则有:
5、聊聊大名鼎鼎的张正友标定法_第10张图片
5、聊聊大名鼎鼎的张正友标定法_第11张图片
因为 h 1 h_1 h1有三个元素嘛,所以有这种表示。
至于为什么我们把 B B B矩阵铺成一个向量的时候,只留下了6个元素,其实算一算这个 B B B就知道了。
5、聊聊大名鼎鼎的张正友标定法_第12张图片
至此,之前的约束方程简化为:
5、聊聊大名鼎鼎的张正友标定法_第13张图片
其中, v v v中都是已知量,这又构成了一个 S h = 0 Sh=0 Sh=0的方程。我们知道,每张标定图都可以提供一个上述约束关系(对应一个 H H H),而每个方程都会提供两个约束方程。 B B B本身有6个位置元素,因此理论上,三张标定图片就可以解出上述方程。当标定图超过3张时,也可以使用最小二乘法求解对应的超定方程。可以用奇异值分解和LM方法得到 B B B.
得到 B B B之后,就可以根据 B B B与内参矩阵元素的关系解出 α , β , γ , u 0 , v 0 \alpha,\beta,\gamma,u_0,v_0 α,β,γ,u0,v0来。

1.3 求解外参矩阵

我们知道(包含尺度因子在里面)
[ h 1 , h 2 , h 3 ] = A [ r 1 , r 2 , t ] [h_1,h_2,h_3] = A[r_1,r_2,t] [h1,h2,h3]=A[r1,r2,t]
这里面我们已经求解出了 H 和 A H和A HA,并且根据前面1.0节旋转矩阵的性质,所以有,
5、聊聊大名鼎鼎的张正友标定法_第14张图片
这时候就差一个 r 3 r_3 r3,很简单,
r 3 = r 1 X r 2 r_3=r_1Xr_2 r3=r1Xr2(叉乘)。
到此为止,内外参都计算出来了。
由于图像存在噪声,所以我们得到的 R R R其实并不一定满足正交的性质,因此使用优化的方法来得到最佳的 R R R ,
在作者的原文中是这样说的:
5、聊聊大名鼎鼎的张正友标定法_第15张图片
5、聊聊大名鼎鼎的张正友标定法_第16张图片
如果感兴趣可以自己去探索。

1.4 求解畸变系数

5、聊聊大名鼎鼎的张正友标定法_第17张图片
论文中:
5、聊聊大名鼎鼎的张正友标定法_第18张图片

1.5 非线性优化

注意:上面一系列操作都是为了得到各个参数的初值,有了初值,我们就可以利用相机模型+畸变模型对棋盘格上的3d点进行投影,建立重投影误差方程,然后利用非线性优化方法得到各个参数的准确值。
非线性优化方法介绍可以参考我整理的这篇文章。

2、单应性矩阵有什么用

关于单应性矩阵,我推荐阅读一下六哥的公众号文章神奇的单应性矩阵。


3、非常感谢您的阅读!

你可能感兴趣的:(slam中的标定问题,计算机视觉)