本文将简单介绍相机标定的理论基础,为了后续实践打好基础。
在理想情况下,相机成像模型通常采用线性小孔成像模型表示。根据前一篇介绍的相机标定的四个坐标系及其关系,假设某个空间三维点
的世界坐标为
,其对应的投影点
的像素坐标为
。旋转矩阵
表示旋转运动,平移矩阵
表示平移运动。投影矩阵
表示空间中的三维信息与图像的二维信息之间的投影变换。三维点
的世界坐标与其对应投影点
的像素坐标在理想相机成像模型下的关系为:
其中,
和
是相机归一化焦距,
是相机内部参数矩阵,
是相机外部参数矩阵。
在实际相机成像过程中,由于相机镜头的加工误差或相机组装偏差的存在,实际相机成像模型与相机理想线性模型之间存在畸变,因此在相机理想成像模型的基础上引入畸变模型,便组成了相机成像的非线性模型。虽然相机非线性模型相对相机理想线性模型更加复杂,但是相机非线性模型更加接近相机真实成像模型。相机畸变简单来说就是实际三维空间中的一条直线投影到图像上无法继续保持为一条直线,如图1所示空间三维点在图像平面上实际投影点与理想投影点之间存在偏差。通常相机畸变分为径向畸变和切向畸变。
1. 径向畸变
如图2所示,径向畸变表现为实际的直线在图像边缘比靠近图像中心的地方更加弯曲。默认相机透镜的光学中心的径向畸变为0,越靠近图像边缘,径向畸变越严重。对于径向畸变可以通过下面的泰勒级数展开式进行矫正:


其中,
是图像平面上某一点带有畸变的图像平面坐标(也就是原始图像平面坐标),
是该点通过畸变矫正得到的去除径向畸变的坐标,
是该点距成像中心的距离。
2. 切向畸变
切向畸变是由于在相机组装过程中相机透镜与成像平面不能保证严格平行导致的。切向畸变可以通过如下方程式进行矫正:
![x_{c,t}=x+[2p_1xy+p_2(r^2+2x^2)]](https://1000bd.com/contentImg/2023/11/08/190045078.png)
![y_{c,t}=y+[2p_2xy+p_1(r^2+2y^2)]](https://1000bd.com/contentImg/2023/11/08/190044049.png)
其中,
是通过切向畸变矫正得到的去除切向畸变的坐标。
根据上面的介绍,对于某个空间三维点
对应的投影点
的图像平面坐标
,进行径向畸变和切向畸变矫正后的坐标为
,将畸变矫正后的点转换到像素坐标系,得到该点的图像平面上的像素坐标
![x_{corrected}=x(1+k_1r^2+k_2r^4+k_3r^6)+[2p_1xy+p_2(r^2+2x^2)]](https://1000bd.com/contentImg/2023/11/08/190045161.png)
![y_{corrected}=y(1+k_1r^2+k_2r^4+k_3r^6)+[2p_2xy+p_1(r^2+2y^2)]](https://1000bd.com/contentImg/2023/11/08/190045015.png)


其中,5个畸变系数可以组成畸变系数矩阵
。
现有的相机标定方法主要利用投影几何关系将空间三维信息与相机采集的图像中的二维信息相关联,来计算相机内外参数。张正友标定法是经典的基于棋盘格标定板的相机标定方法。根据上一节的介绍可以把相机成像模型简化为:
![Z_c \left[ \begin {matrix} u\\ v\\ 1 \end {matrix} \right] = M\left [ \begin{matrix} X_w\\ Y_w\\ Z_w\\ 1 \end{matrix} \right ]](https://1000bd.com/contentImg/2023/11/08/190044604.png)
假设世界坐标的原点建立在棋盘格标定板上,且棋盘格标定板所在的平面设置为世界坐标系的
平面,则棋盘格标定板上某一点特征点的世界坐标可以表示为
。假设该点对应的投影点的像素坐标为
,则两者之间的关系为
![Z_c\left [ \begin{matrix} u\\ v\\ 1 \end{matrix} \right ]=H\left [ \begin{matrix} X_w\\ Y_w\\ 1 \end{matrix} \right ]](https://1000bd.com/contentImg/2023/11/08/190045012.png)
假设
,将上面两式组合,可得:
![\left [ \begin{matrix} \vec{h_1} & \vec{h_2} & \vec{h_3} \end{matrix} \right ]=\lambda K\left [ \begin{matrix} \vec{r_1} & \vec{r_2} & t \end{matrix} \right ]](https://1000bd.com/contentImg/2023/11/08/190044095.png)
其中,
是非零常数,
是旋转矩阵的列向量。
由于旋转矩阵
有两大属性:
(1)旋转矩阵
的列向量相互正交,即
(2)旋转矩阵
的列向量的模相等而且模为1,即
,因此存在如下关系:


假设![B=K^{-T}K^{-1}=\left [ \begin{matrix} b_{11} & b_{12} & b_{13}\\ b_{21} & b_{22} & b_{23}\\ b_{31} & b_{32} & b_{33} \end{matrix} \right ]](https://1000bd.com/contentImg/2023/11/08/190045201.png)
此时考虑扭曲因子
,因此相机内参可以表示为:
![K=\left [ \begin{matrix} f_u & \gamma & u_0 \\ 0 & f_v & v_0\\ 0 & 0 & 1 \end{matrix} \right ]](https://1000bd.com/contentImg/2023/11/08/190045051.png)
将
带入
可得:
由上式可知,
为对称矩阵,因此
只有6个参数,则将
改写成6维向量:
![\vec{b}=\left [ \begin{matrix} b_{11} & b_{12} & b_{22} & b_{13} & b_{23} &b_{33} \end{matrix} \right ]^T](https://1000bd.com/contentImg/2023/11/08/190045193.png)
假设
的第
列向量是
,故

其中,![c_{ij}=\left [ \begin{matrix} h_{i1}h_{j1}, & h_{i1}h_{j2}+h_{i2}h_{j1}, & h_{i2}h_{j2}, & h_{i3}h_{j1}+h_{i1}h_{j3}, & h_{i3}h_{j2}+h_{i2}h_{j3}, & h_{i3}h_{j3} \end{matrix} \right ]^T](https://1000bd.com/contentImg/2023/11/08/190044174.png)
结合旋转矩阵
的两大属性,可以得到:
![\left [ \begin{matrix} c_{12}^{T} \\ (c_{12}-c_{22})^T \end{matrix} \right ]\vec{b}=C\vec{b}=0](https://1000bd.com/contentImg/2023/11/08/190044798.png)
若存在L张标定图像,则
是
的矩阵,当
时,方程有关于向量
的唯一解。当向量
确定时,内参矩阵
也可确定。同时根据 旋转矩阵
的属性,每张标定图像的外参由下式计算得到:

其中,

在得到相机内外参数的初始估计值后,利用最小化重投影误差的方式来对内外参数的估计值进行优化,即:

其中,
是
利用相机内外参数计算出的投影点的预测值。
是相机在
位姿时图像上
的投影点的检测值。
多相机系统外部参数时不同相机之间在同一世界坐标系下的三维空间位姿关系,包括相机坐标系与参考坐标系之间的旋转矩阵和平移矩阵,因此在对相机进行外部参数标定时,首先需要确定同一个世界坐标系,即统一参考标准。假设已知相机所在场景的三维结构,并将此三位结构作为相机外部参数标定的参考标准,来说明相机外部参数标定的原理。相机外部参数标定的方法有直接法和特征点法。直接法基于灰度不变的假设,首先根据第一张图像的位姿估计结果来寻找第二张图像中的特征点的投影位置,其次通过最小化两个像素的光度误差优化特征点的投影位置。直接法计算相机位置的前提是假设一个空间三维点在各个视角下成像的灰度保持不变,但是实际应用中灰度值易受光照或相机位置的影响。当光照发生变化或相机变换位姿,图像的灰度值发生变化时,直接法计算相机位姿可能发生错误。特征点法手光照影响不大,相对直接法有更好的鲁棒性。因此,我们直接介绍特征点法进行相机定位。
特征点是图像中比较有代表性的点,在相机发生少量运动时图像中的特征点保持稳定,仍可以在不同图像上判断同一个特征点,进而利用同一个特征点计算不同图像之间的运动关系。常见的图像特征点检测算法有:SIFT、SURF、ORB等。SIFT算法充分考虑图像采集过程中的光照、尺度、旋转等变化,具有高精度的特点,但是其计算量极大,导致计算速度过慢。SURF算法优化了SIFT算法,提高了算法计算速度。另外ORB算法图像特征提取酸度更快并且在一定程度上不受噪声点和图像变换的影响。本文采用ORB算法进行特征点检测的过程分为两个步骤:
1. FAST角点提取。首先设置最终提取角点的数量为N,对FAST角点分别计算Harris响应值,选取N个具有最大响应值的角点,组成角点集合;然后通过构建图像金字塔实现尺度不变性;最后利用灰度质心法确定图像主方向。
2. BRIEF描述子。ORB算法利用BRIEF描述子对FAST角点进行描述,由许多0和1组成,用来表示关键点周围的像素亮度的明暗关系。
ORB算法采用BRIEF描述子中的0和1描述了关键点附近两个像素(比如p和q)的明暗关系:如果
,则取1,否则取0。若随机选取关键点周围256个p和q,则可以得到256维的二进制向量,即每个特征点有一个256维的二进制描述子。不妨假设在某张图像
中提取M个特征点
,在图像
中提取到N个特征点
。首先计算图像
中的每个特征点
和图像
中的所有特征点
描述子之间的汉明距离,然后选取汉明距离最小的
为
的匹配点,最后依次计算
中所有特征点相应的匹配点,完成图像
和
的匹配。