基于图像的多视角立体视觉三维重建(三)——基于SfM的稀疏点云重建

SfM（Structure from motion） 是一种传统的三维重建的方法，基于多个视角的图像进行3D重建。从时间系列的多幅2D图像中推算3D信息。

稀疏点云重建包含以下步骤:

1. 特征提取与匹配
2. 获取相机的初始参数
3. 求解相机姿态
4. 三角测量得到稀疏点云
5. 捆绑调整,得到精确的相机参数与稀疏点云坐标

三角测量

直接线性变换法

 三角测量:已知相机内外参数和同一个三维点对应多个视角像平面上的同名点坐标,恢复三维点的坐标

已知第i个相机的投影矩阵为$P_i$, 其中$K_i$为第 i 个相机的内参矩阵, $[p_i,t_i]$为外参矩阵,第i个相机的投影方程如(1.1)所示:
$$P_i=K_i[P_i,t_i]=\left\{\begin{array}{c}{p}_{i1}\\ p_{i2}\\ p_{i3}\end{array}\right\}\text{\hspace{1em}(1.1)}$$

三维点坐标:$X_i=[x,y,z,1{]}^T$, 在第i个视角的投影的图像(归一化像平面)坐标为:$x_i^{\ast }=[x_i,y_i,1{]}^T$
根据投影方程:$$x_i^{\ast }=P_{i}X\text{\hspace{1em}(1.2)}$$

(1.2)两侧同时左叉乘$x_i^{\ast }$得:$$0=x_i^{\ast }\times (P_{i}X)=x_i^{\ast }\times (\left\{\begin{array}{c}{p}_{i1}\\ p_{i2}\\ p_{i3}\end{array}\right\}X)=\left\{\begin{array}{c}{x}_i\\ y_i\\ 1\end{array}\right\}\times \left\{\begin{array}{c}{p}_{i1}X\\ p_{i2}X\\ p_{i3}X\end{array}\right\}\text{\hspace{1em}(1.3)}$$

即:
$$\begin{gathered} x_i(p_{i3}X)-P_{i1}X=0 \\ {y}_i(p_{i3}X)-P_{i2}X=0 \\ {x}_i(p_{i2}X)-y_1(P_{i1}X)=0\text{\hspace{1em}(1.4)} \end{gathered}$$

由(1.4)得, 第三个等式与前两个等式线性相关,将其写成矩阵形式如(1.5)所示:
$$\left\{\begin{array}{c}{x}_i{P}_{i3}-Pi1\\ y_i{P}_{i3}-Pi2\end{array}\right\}X=0\text{\hspace{1em}(1.5)}$$

  已知$X=[x_i,y_i,z_i,1{]}^T$, 显然X的自由度为3,由(1.5)可知X点投影的一个视角可以提供两个约束,至少需要两个以上视角才能求解X的三维坐标. 如果同一个三维点X,有N个视角的图像的投影坐标$[(x_1,y_1),...(x_N,y_N)]$与对应N个相机内外参数,通常使用最小二乘的方式来求解,或者采用Ransac结合最小二乘法求解X的坐标.$$\begin{gathered} AX=0 \\ A=\left[\begin{array}{c}{x}_1{P}_{13}-P_{11}\\ y_1{P}_{13}-P_{12}\\ ...\\ x_i{P}_{i3}-P_{i1}\\ y_i{P}_{i3}-P_{i2}\\ ...\\ x_N{P}_{N3}-P_{N1}\\ y_N{P}_{N3}-P_{N2}\end{array}\right],N\ge 2\text{\hspace{1em}(1.6)} \end{gathered}$$

Ransac算法求解X点的三维坐标算法流程:
  1. 计算采样需要的次数
  2. 随机采样一对视角,组成A矩阵,对A矩阵进行SVD分解成USV,得到V矩阵的最后一列为最小二乘解,然后将其规范化为$[x_i,y_i,z_i,1]$的其次坐标形式
  3. 统计内点个数
  4. 重复2,3直到满足采样次数,选择内点最多的三维坐标
  5. 利用所有内点重新计算三维点的坐标

---

3D-2D:PnP问题

 PnP问题:给定三维坐标点$[X,Y,Z,1{]}^T$与投影到像平面上坐标的点$[u,v,1{]}^T$求相机的内外参数K,R,t

  直接线性变换法

$$s\left[\begin{array}{c}u\\ v\\ 1\end{array}\right]=K[R,t]\left[\begin{array}{c}X\\ Y\\ Z\\ 1\end{array}\right]=\left[\begin{array}{cccc}{T}_{11}& T_{12}& T_{13}& T_{14}\\ T_{21}& T_{22}& T_{23}& T_{24}\\ T_{31}& T_{32}& T_{33}& T_{34}\end{array}\right]\left[\begin{array}{c}X\\ Y\\ Z\\ 1\end{array}\right]=\left[\begin{array}{c}{r}_1^T\\ r_2^T\\ r_3^T\end{array}\right]X\text{\hspace{1em}(2.0)}$$
式(2.0)中, $[u,v,1{]}^T$为像平面上的坐标, s不妨设置为1,表示归一化像平面.K为相机的内参矩阵, $[R,t]$为相机的外参矩阵,$[X,Y,Z,1]$表示三维空间中点的齐次坐标.将$T=K[R,t]$记为投影矩阵,其中将T记为$\left\{\begin{array}{c}{r}_1^T\\ r_2^T\\ r_3^T\end{array}\right\}$,

将上式展开,转换成线性方程组的形式如(2.1)所示:
$$\begin{gathered} X^T{r}_1-X^T{r}_{3}u=0 \\ {X}^T{r}_2-X^T{r}_{3}v=0\text{\hspace{1em}(2.1)} \end{gathered}$$

即:$$\left[\begin{array}{ccc}{X}_1^T& 0& -u{X}_1^T\\ 0& X_1^T& -v{X}_1^T\\ ...& ...& ...\\ X_N^T& 0& -u{X}_N^T\\ 0& X_N^T& -v{X}_N^T\end{array}\right]\left[\begin{array}{c}{r}_1\\ r_2\\ r_3\end{array}\right]=0\text{\hspace{1em}(2.2)}$$
将(2.2)式中的系数矩阵通过SVD分解成USV,找到最小的奇异值对应的特征向量V[:-1]对应该其次方程的最小二乘解,得到投影矩阵T

通过对T矩阵进行QR分解,求取内参矩阵K与外参矩阵[R, t],T(:, 1:3)代表T矩阵的前三列(索引从1开始)

---

捆绑调整

捆绑调整:同时对三维点坐标和相机参数进行非线性优化,优化的目标是使得投影的点和观察点的误差越小越好

优化问题描述

  只有$x_{ij}=1$也就是第i个点在相机j中可见的时候才需要优化,$u_{ij}(C_j,X_i)$代表投影点是由相机的参数$C_j$和三维空间上的点$X_j$共同决定的,将重投影误差记为$e_{ij}$,所有优化的参数就是$\theta =(C_1...C_m,X_1...X_n)$代表m个相机的内外参数和n个三维点的坐标 ,其中$f_j$代表焦距,$k_{ij}$代表径向畸变系数, $R_j$代表旋转矩阵,旋转矩阵用一个三维的角轴向量表示,$t_j$表示平移向量,平移向量也是个三维的向量,所以就是1+1+1+3+3=9, 一共m个相机,就是9m,一共n个三维点$X_i$就是3n,对应的优化问题是一个无约束的非线性最小优化问题.

$$ming(\theta )=min||x-f(\theta )|{|}^2,\theta \in R^n\text{\hspace{1em}(3.0)}$$
上述优化问题含有较多待优化的参数,得到的解往往是局部最优解, 因此优化结果依赖于一个较好的初始值.

---

最速下降法(梯度下降法)

---

牛顿法

梯度下降法和牛顿法比较:
  梯度下降法只用了一阶展开,是当前点局部平面的拟合,而牛顿法是二阶展开,是当前点的局部二次拟合,所以牛顿法收敛速度会更快.
  牛顿法需要计算和保存Hessian矩阵,计算量大

---

Levenberg-Marquardt 算法

原理:
  LM算法是一种“信赖阈”的方法,当收敛速度较快时,增大信赖域,使算法趋向于牛顿法;当收敛速度较慢时,减小信赖域,使算法趋向于最速梯度法

优势 :
  速度快,只用到一阶矩阵
  可以在距离初始值较远处得到最优解

其中$J(\theta )$为雅可比矩阵

算法流程:

总结

sfm点云稀疏重建算法整体流程:

1. 通过sift或者surf求得多对同名点（匹配点）
2. 通过标定或从图像信息中获取相机的初始内参
3. 基于内参矩阵和匹配对, 通过八点法+Ransac求基础矩阵F
4. 基于基础矩阵与内参矩阵求本质矩阵E
5. 基于多个视角的匹配对和相机参数进行三角测量求得三维点坐标,用三维点在相机前的约束从四种情况中挑选出正确的相机姿态R与t
6. 基于匹配对和相机参数进行三角测量,求所有匹配对的三维坐标
7. 基于所有三维坐标与相机参数和匹配对坐标用LM算法进行捆绑调整(非线性优化),得到更精确的三维点坐标与相机内外参数