第三篇 视觉里程计（VO）的初始化过程以及openvslam中的相关实现详解
视觉里程计（Visual Odometry, VO），通过使用相机提供的连续帧图像信息（以及局部地图，先不考虑）来估计相邻帧的相机运动，将这些相对运行转换为以第一帧为参考的位姿信息，就得到了相机载体（假设统一的刚体）的里程信息。先上一张本文主要内容的框图：
初始化实例
在实例化跟踪器的时候会实例化一个初始化实例，有一些比较重要的参数需要注意下，看代码注释以及初始值，参数值也可以在yaml文件中自定义。
// src/openvslam/module/initializer.h:83
//! max number of iterations of RANSAC (only for monocular initializer)
const unsigned int num_ransac_iters_;
//! min number of triangulated pts
const unsigned int min_num_triangulated_;
//! min parallax (only for monocular initializer)
const float parallax_deg_thr_;
//! reprojection error threshold (only for monocular initializer)
const float reproj_err_thr_;
//! max number of iterations of BA (only for monocular initializer)
const unsigned int num_ba_iters_;
//! initial scaling factor (only for monocular initializer)
const float scaling_factor_;
// src/openvslam/module/initializer.cc:16
initializer::initializer(const camera::setup_type_t setup_type,
data::map_database* map_db, data::bow_database* bow_db,
const YAML::Node& yaml_node)
: setup_type_(setup_type), map_db_(map_db), bow_db_(bow_db),
num_ransac_iters_(yaml_node["Initializer.num_ransac_iterations"].as<unsigned int>(100)),
min_num_triangulated_(yaml_node["Initializer.num_min_triangulated_pts"].as<unsigned int>(50)),
parallax_deg_thr_(yaml_node["Initializer.parallax_deg_threshold"].as<float>(1.0)),
reproj_err_thr_(yaml_node["Initializer.reprojection_error_threshold"].as<float>(4.0)),
num_ba_iters_(yaml_node["Initializer.num_ba_iterations"].as<unsigned int>(20)),
scaling_factor_(yaml_node["Initializer.scaling_factor"].as<float>(1.0)) {
spdlog::debug("CONSTRUCT: module::initializer");
}
使用不同的相机类型，初始化的方法也不相同，openvslam使用了perspective和bearing_vector两种初始化方法。
// src/openvslam/module/initializer.cc:91
void initializer::create_initializer(data::frame& curr_frm) {
// 将当前帧设置为初始化过程中的参考帧
init_frm_ = data::frame(curr_frm);
// 将当前帧的特征点当作previously matched coordinates
prev_matched_coords_.resize(init_frm_.undist_keypts_.size());
for (unsigned int i = 0; i < init_frm_.undist_keypts_.size(); ++i) {
prev_matched_coords_.at(i) = init_frm_.undist_keypts_.at(i).pt;
}
// initialize matchings (init_idx -> curr_idx)
std::fill(init_matches_.begin(), init_matches_.end(), -1);
// build a initializer
initializer_.reset(nullptr);
switch (init_frm_.camera_->model_type_) {
case camera::model_type_t::Perspective:
case camera::model_type_t::Fisheye: {
initializer_ = std::unique_ptr<initialize::perspective>(new initialize::perspective(init_frm_,
num_ransac_iters_, min_num_triangulated_,
parallax_deg_thr_, reproj_err_thr_));
break;
}
case camera::model_type_t::Equirectangular: {
initializer_ = std::unique_ptr<initialize::bearing_vector>(new initialize::bearing_vector(init_frm_,
num_ransac_iters_, min_num_triangulated_,
parallax_deg_thr_, reproj_err_thr_));
break;
}
}
// 设置状态为初始化状态
state_ = initializer_state_t::Initializing;
}
执行完上面的函数后回直接直接退出，然后读取下一帧图像，进入初始化阶段。下面的匹配过程，在上一篇已经详细讲过了，有一点需要注意在匹配完成后，会将匹配到的点的prev_matched_coords_改为当前帧的特征点座标。如果匹配到的点数小于min_num_triangulated_（这里是50），则直接重置初始化，会把下一帧当作初始化的参考帧。
bool initializer::try_initialize_for_monocular(data::frame& curr_frm) {
assert(state_ == initializer_state_t::Initializing);
match::area matcher(0.9, true);
const auto num_matches = matcher.match_in_consistent_area(init_frm_, curr_frm, prev_matched_coords_, init_matches_, 100);
if (num_matches < min_num_triangulated_) {
// rebuild the initializer with the next frame
reset();
return false;
}
// try to initialize with the current frame
assert(initializer_);
return initializer_->initialize(curr_frm, init_matches_);
}
初始化过程
通过计算单应矩阵和基础矩阵，评估出两帧之间的变换矩阵。首先搞清楚几个基本概念。
基础(Fundamental)矩阵
假设\(I1\)与\(I2\)为相邻帧，\(p1\)与\(p2\)为相邻帧匹配到的特征点，P为特征点的空间位置。対极约束描述了图像中特征点位置与帧间运动信息之间的关系。用过几何计算我们可以得到如下公式（对极约束）。具体推导可以参考两视图对极约束-基础矩阵：
定义本质矩阵\(E=t^{\wedge }R\)，基础矩阵\(F=K^{-T}EK\)。通过匹配点对儿的像素位置可以计算出\(E或F\)，进而计算出\(R,t\)。
此外，假设相邻相机只做了旋转运动，即t为0，可以看到対极约束对于任意R都成立，因此想要通过对极约束评估相机运动内在要求不能只是纯旋转运动（可以使用单应矩阵来求解）。
单应Homography
单应(Homography)是射影几何中的概念，又称为射影变换。它把一个射影平面上的点(三维齐次矢量)映射到另一个射影平面上，并且把直线映射为直线，具有保线性质。总的来说，单应是关于三维齐次矢量的一种线性变换，可以用一个3×3的非奇异矩阵\(H\)表示:
其中，\((u1,v1,1)^T\)表示图像1中的像点，\((u2,v2,1)^T\)是图像2中的像点，也就是可以通过单应矩阵H将图像2变换到图像1，描述的是两个平面之间的映射关系。
上图表示场景中的平面\(π\)在两相机的成像，设平面\(π\)在第一个相机坐标系下的单位法向量为\(n^T\)，其到第一个相机中心（坐标原点）的距离为\(d\)，则平面\(π\)可表示为：
其中，\(X_1\)是三维点P在第一相机坐标系下的坐标，其在第二个相机坐标系下的坐标为\(X_2\)，则
假设\(p_1,p_2\)为\(X_1,X_2\)对应的图像上的点，则
这样求解出\(H\)便可以求解出\(R,t\)，并却\(t=0\)也不影响求解R。
实践
在实际中，通常会同时计算H和F。
\\ src/openvslam/initialize/perspective.cc:27
bool perspective::initialize(const data::frame& cur_frm, const std::vector<int>& ref_matches_with_cur)
{
...
// compute H and F matrices
auto homography_solver = solve::homography_solver(ref_undist_keypts_, cur_undist_keypts_, ref_cur_matches_, 1.0);
auto fundamental_solver = solve::fundamental_solver(ref_undist_keypts_, cur_undist_keypts_, ref_cur_matches_, 1.0);
std::thread thread_for_H(&solve::homography_solver::find_via_ransac, &homography_solver, num_ransac_iters_, true);
std::thread thread_for_F(&solve::fundamental_solver::find_via_ransac, &fundamental_solver, num_ransac_iters_, true);
thread_for_H.join();
thread_for_F.join();
...
}
初始化
使用两个线程分别计算H和F矩阵
homography_solver::find_via_ransac
fundamental_solver::find_via_ransac
通过判断0.4<rel_score_H = score_H / (score_H + score_F来决定用H还是F来评估R，t，
在评估的过程中还会通过三角化确定特征点的空间位置信息
通过一些列复杂的筛选得出到满足条件的R，t即算完成初始化
看完下面的文章再回过头来看这段话。总的来说初始化过程涉及到多视几何的基础内容很多，openvlsam的实现很大程度上都是借鉴ORB2的实现方法（三角化除外）。可以看到由于要求前后帧（可以中间隔若干帧）特征点有一定的视差，想要成功的初始化就一定要发生位移。由于同时评估H和F矩阵，纯旋转也有初始化成功的可能性，但是需要有比较多的特征点在相同的平面上。不过最好还是就有旋转又有平移吧。这里在评估过程中都是采用归一化平面上的特征点（没有深度信息），所以得到的t是不知道其物理尺度的，然后三角化又是基于R，t求解的，因此特征点的空间位置值，也是无法知道其物理尺度的，可以认为尺度和t一致。
homography_solver::find_via_ransac
首先正则化特征点，目的是为了后面使用RANSAC（就是随即从大样本集抽取小样本集用于求解问题的方法）计算SVD时得到更一致的解决，消除特征点在图像中位置分布对结果的影响。更详细的解释可参考《Multiple View Geometry in Computer Vision 》P104 “4.4 Transformation invariance and normalization”。
openvslam采样的方法略有不同，分析如下。
\\src/openvslam/solve/common.cc:6
void normalize(const std::vector<cv::KeyPoint>& keypts, std::vector<cv::Point2f>& normalized_pts, Mat33_t& transform) {
计算单应矩阵
正则化特征点
循环num_ransac_iters_=100次
生成8个点的RANSAC序列
计算正则化特征点的单应矩阵compute_H_21
计算特征点的单应矩阵
评估当前求解出单应矩阵的好坏，更新最好的结果
将筛选过的好的点重新评估H矩阵，得到最优结果
正则化特征点
正则化的公式如下，还是比较直观的。
\(x_i^{\prime},y_i^{\prime}\)为正则化后的座标值，T就是正则化矩阵。
compute_H_21
参考https://www.uio.no/studier/emner/matnat/its/UNIK4690/v16/forelesninger/lecture_4_3-estimating-homographies-from-feature-correspondences.pdf
计算特征点的单应矩阵
程序中normalized_H_21表示则正则化的参考帧到当前帧的单应矩阵。
H_21_in_sac: 帧1->帧2的homography， 注意21表示的是1->2。
\(T_{cur},T_{ref}\)是当前帧特征点和参考帧特征点的正则化矩阵。
\(H^{\prime}_{rc}\)是正则化当前帧特征点与正则化参考帧特征点的单应矩阵。展开得到:
因此当前帧特征点与参考帧特征点的单应矩阵\(H_{cr}\)为：
评估当前求解出单应矩阵的好坏
说实话，研究了半天也没搞清楚是如何和卡方检验联系起来的。在我看来就是定义了一个最小重投影误差门限（5.991），重投影误差小于门限就标记为inlier, 将最好的结果保存下来。这里面作者只累加小于门限的重投影误差，即score += 门限值 - 重投影误差，这个差值是>0的，这样做的好处大家可以思考下。
fundamental_solver::find_via_ransac
同样是先正则化特征点，然后采用RANSAC的方法计算F矩阵compute_F_21，过程和计算H矩阵完全一致。
从F或H恢复R，t
//src/openvslam/initialize/perspective.cc:91
bool perspective::reconstruct_with_H(const Mat33_t& H_ref_to_cur, const std::vector<bool>& is_inlier_match)
//src/openvslam/initialize/perspective.cc:114
bool perspective::reconstruct_with_F(const Mat33_t& F_ref_to_cur, const std::vector<bool>& is_inlier_match)
reconstruct_with_H: Motion and structure from motion in a piecewise planar environment (Faugeras et al. in IJPRAI 1988)
reconstruct_with_F: https://en.wikipedia.org/wiki/Essential_matrix#Determining_R_and_t_from_E
在得到若干组候选的R，t后，需要计算找到最佳的R，t。
// src/openvslam/initialize/base.cc:31
bool base::find_most_plausible_pose
寻找最佳位姿
逐个候选位姿进行check_pose
选取有效点最多的那组位姿，做以下判断：
1.有效点数必须大于min_num_triangulated_（50）;
2.一个好的结果应该是只有一组有比较多的有效点，，如果发现有很多组都有个数相近的有效点，则这些位姿都不对；
3.视差不能太小，因为太小的视差评估出的深度不可靠，这里的门限parallax_deg_thr_=1度；
在评估R，t的同时会对特征点进行三角化，注意保存到triangulated_pts_的点是特征点在参考帧下的三维坐标。
check_pose
// src/openvslam/initialize/base.cc:86
unsigned int base::check_pose
循环所有的匹配点
三角化计算得到特征点在参考帧下的三维坐标
计算视差角的余弦值（向量内积的方法）
排除视差小于0.5度和深度为负数的三维坐标
验证特征点是否在参考帧和当前帧中可见，重投影误差L2 < 16
以上条件都满足的点才认为有效
对视差排序后返回第50小或者（个数小于50则返回最小）的视差
问题
评估H和F矩阵的好坏时是如何转为卡方检验的？
已解决，见 SLAM中的卡方分布。- triangulator::triangulate还没有彻底搞明白？
