第十讲 g2oBA的g2o

阅读: 评论:0

第十讲 g2oBA的g2o

第十讲 g2oBA的g2o


#include <Eigen/Core>
#include "g2o/core/base_vertex.h"
#include "g2o/core/base_binary_edge.h"#include "ceres/autodiff.h"#include "tools/rotation.h"
#include "common/projection.h"//定义相机位姿顶点类,由于相机内参也作为优化变量,所以包含了:
//焦距f,畸变系数k1 k2, 3个参数的平移,3个参数的旋转。一共九个量,9维,类型为Eigen::VectorXd
class VertexCameraBAL : public g2o::BaseVertex<9,Eigen::VectorXd>
{
public://这个玩意每处都有,具体啥用不清楚EIGEN_MAKE_ALIGNED_OPERATOR_NEW;//默认构造函数VertexCameraBAL() {}//这里的读写功能函数就需要用了,参数分别是输入输出流类型实例的引用virtual bool read ( std::istream& /*is*/ ) { return false; }virtual bool write ( std::ostream& /*os*/ ) const { return false; }//设定顶点的初始值virtual void setToOriginImpl() {}//增量函数,增量为传进的参数update,这里是9个double值,所以就是double类型指针了(其实也就是数组)virtual void oplusImpl ( const double* update ){//由于update是个double类型数组,而增量需要的是个矩阵,//所以用update构造一个增量矩阵v,下面更新估计值时,直接将v加上就好了。//关于ConstMapType,单开一贴说。Eigen::VectorXd::ConstMapType v ( update, VertexCameraBAL::Dimension );//直接把增量加到估计值上_estimate += v;}};//landmark类型顶点,维度3维,类型是Eigen::Vector3d
class VertexPointBAL : public g2o::BaseVertex<3, Eigen::Vector3d>
{
public:EIGEN_MAKE_ALIGNED_OPERATOR_NEW;VertexPointBAL() {}virtual bool read ( std::istream& /*is*/ ) { return false; }virtual bool write ( std::ostream& /*os*/ ) const { return false; }virtual void setToOriginImpl() {}virtual void oplusImpl ( const double* update ){//这里也是一样,将增量数组构造成增量矩阵,Eigen::Vector3d::ConstMapType v ( update );//将增量矩阵加到估计上_estimate += v;}
};//BAL观测边,边即误差,继承自基础二元边。这里误差应该是重投影的像素误差
// 参数为:误差维度2维,误差类型为Eigen::Vector2d,连接两个顶点:VertexCameraBAL和VertexPointBAL(也就是说误差和这两个优化变量有关)
class EdgeObservationBAL : public g2o::BaseBinaryEdge<2, Eigen::Vector2d, VertexCameraBAL, VertexPointBAL>
{
public://还是有这个东西EIGEN_MAKE_ALIGNED_OPERATOR_NEW;//同样,默认构造函数EdgeObservationBAL() {}virtual bool read ( std::istream& /*is*/ ) { return false; }virtual bool write ( std::ostream& /*os*/ ) const { return false; }//误差计算函数virtual void computeError() override   // The virtual function comes from the Edge base class. Must define if you use edge.{//这里将第0个顶点,相机位姿取出来。const VertexCameraBAL* cam = static_cast<const VertexCameraBAL*> ( vertex ( 0 ) );//这里将第1个顶点,空间点位置取出来。const VertexPointBAL* point = static_cast<const VertexPointBAL*> ( vertex ( 1 ) );//将相机位姿估计值,空间点位姿估计值 传给了重载的()运算符,这个重载,将计算好的结果输出到_error.data(),完成了误差的计算( *this ) ( cam->estimate().data(), point->estimate().data(), _error.data() );}//这里即为重载的()函数,为模板函数,需要数据为相机位姿指针,空间点位置指针,用于承接输出误差的residuals。// 上面调用时,用的_error.data()承接,完成误差计算。//这个模板类其实还是用的重投影误差template<typename T>bool operator() ( const T* camera, const T* point, T* residuals ) const{//这里创建一个承接重投影像素坐标,也就是根据相机内外参和空间点坐标去投影得到的像素坐标,是估计值。T predictions[2];//这个函数就是反应的投影过程,camera参数,point参数,然后用predictions承接算得的像素坐标。这里也发现就是二维的CamProjectionWithDistortion ( camera, point, predictions );//而误差当然就是估计值减去观测值。所以做差,这样误差就被存进了承接变量residuals中residuals[0] = predictions[0] - T ( measurement() ( 0 ) );residuals[1] = predictions[1] - T ( measurement() ( 1 ) );//这里一直没明白为什么要返回bool值,表征计算成功?return true;}//小总结一下,从computeError()一直到这里,搞得这一些就是为了计算一个重投影误差,//误差的计算被写进了重载的()中,投影过程被写进了CamProjectionWithDistortion()中//这里重写线性增量方程,也就是雅克比矩阵virtual void linearizeOplus() override{// 使用数值求导// use numeric Jacobians// BaseBinaryEdge<2, Vector2d, VertexCameraBAL, VertexPointBAL>::linearizeOplus();// return;// 使用ceres的自动求导,不然系统将调用g2o的数值求导// using autodiff from ceres. Otherwise, the system will use g2o numerical diff for Jacobians//将相机顶点取出,赋值给cam,这里是顶点类型指针const VertexCameraBAL* cam = static_cast<const VertexCameraBAL*> ( vertex ( 0 ) );//将landmark顶点取出,赋值point,这里是顶点类型指针const VertexPointBAL* point = static_cast<const VertexPointBAL*> ( vertex ( 1 ) );//这里贴上AutoDiff的定义,发现是一个模板结构体,模板参数为代价函数类型,模板类型,代价函数的各参数维度(这里就两个了,相机顶点维度,空间点维度)/*template <typename Functor, typename T,int N0 = 0, int N1 = 0, int N2 = 0, int N3 = 0, int N4 = 0,int N5 = 0, int N6 = 0, int N7 = 0, int N8 = 0, int N9 = 0>struct AutoDiff {static bool Differentiate(const Functor& functor,T const *const *parameters,int num_outputs,T *function_value,T **jacobians) {...}*///这里来一个typedef,将模板类简化定义一下,定义成BalAutoDiff//看一下模板参数://EdgeObservationBAL,就是代价函数类型,这里就是边的类型了//模板类型为double,不过具体这个double指什么,还不大清楚,基本数据的类型?//VertexCameraBAL::Dimension和VertexPointBAL::Dimension就是对应的两个N0和N1,误差函数参数的维度,这里直接把维度取出来了(Dimension即是取得维度),也可以直接输入9和3typedef ceres::internal::AutoDiff<EdgeObservationBAL, double, VertexCameraBAL::Dimension, VertexPointBAL::Dimension> BalAutoDiff;//这里的Dimension就是边的维度(这里还是在边类定义中的linearizeOplus()函数定义)。定义如下,可知Dimension为2维。// static const int Dimension = BaseEdge<D, E>::Dimension;//定义一个行优先的double类型矩阵,大小为Dimension*VertexCameraBAL::Dimension,也就是2*9。这里就是误差对相机的导数Eigen::Matrix<double, Dimension, VertexCameraBAL::Dimension, Eigen::RowMajor> dError_dCamera;//定义一个行优先的double类型矩阵,大小为Dimension*VertexPointBAL::Dimension,也就是2*3。这里就是误差对空间点的导数Eigen::Matrix<double, Dimension, VertexPointBAL::Dimension, Eigen::RowMajor> dError_dPoint;//double*类型的数组,成员为double*,这里装了相机估计值数组指针和空间点估计值数组指针。double * parameters[] = { const_cast<double*> ( cam->estimate().data() ), const_cast<double*> ( point->estimate().data() ) };//雅克比矩阵为两块导数拼合起来的,一块是误差对相机的导数,一块是误差对空间点的导数。也就是上方定义的2*9的dError_dCamera和2*3的dError_dPointdouble * jacobians[] = { dError_dCamera.data(), dError_dPoint.data() };//创建一个double类型的value数组,大小为Dimension,2个元素。干啥的??double value[Dimension];//这里就是一直所说的利用ceres的现行求导,这个Differentiate()就是在AutoDiff结构体中定义的。/*static bool Differentiate(const Functor& functor,T const *const *parameters,int num_outputs,T *function_value,T **jacobians) {...}*///看一下参数://const Functor& functor,代价函数,这里也就是这个边类了,直接用*this//T const *const *parameters,参数列表,就是上面定义的有两个double指针的parameters数组,这两个指针一个指向相机参数数组,一个指向空间点数组//int num_outputs,输出的维度,这里就是边的维度Dimension,也就是2维//T *function_value,误差函数functor的输出值,用于承接functor的输出,也就是*this计算出来的误差。//T **jacobians,这就是最终要求的雅克比矩阵了。用于承接。bool diffState = BalAutoDiff::Differentiate ( *this, parameters, Dimension, value, jacobians );//复制一下雅克比矩阵,将行优先转换为列优先。为什么?行列优先有啥区别// copy over the Jacobians (convert row-major -> column-major)//雅克比矩阵到这里就计算完成了,最后就是赋值给_jacobianOplusXi和_jacobianOplusXj了。//防呆用的,判断一下是够计算成功if ( diffState ){//成功了,将值赋过去_jacobianOplusXi = dError_dCamera;_jacobianOplusXj = dError_dPoint;}else{//不成功就输出警告,并将雅克比矩阵置为0矩阵。assert ( 0 && "Error while differentiating" );_jacobianOplusXi.setZero();_jacobianOplusXi.setZero();}}
};
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72
  • 73
  • 74
  • 75
  • 76
  • 77
  • 78
  • 79
  • 80
  • 81
  • 82
  • 83
  • 84
  • 85
  • 86
  • 87
  • 88
  • 89
  • 90
  • 91
  • 92
  • 93
  • 94
  • 95
  • 96
  • 97
  • 98
  • 99
  • 100
  • 101
  • 102
  • 103
  • 104
  • 105
  • 106
  • 107
  • 108
  • 109
  • 110
  • 111
  • 112
  • 113
  • 114
  • 115
  • 116
  • 117
  • 118
  • 119
  • 120
  • 121
  • 122
  • 123
  • 124
  • 125
  • 126
  • 127
  • 128
  • 129
  • 130
  • 131
  • 132
  • 133
  • 134
  • 135
  • 136
  • 137
  • 138
  • 139
  • 140
  • 141
  • 142
  • 143
  • 144
  • 145
  • 146
  • 147
  • 148
  • 149
  • 150
  • 151
  • 152
  • 153
  • 154
  • 155
  • 156
  • 157
  • 158
  • 159
  • 160
  • 161
  • 162
  • 163
  • 164
  • 165
  • 166
  • 167
  • 168
  • 169
  • 170
  • 171
  • 172
  • 173
  • 174
  • 175
  • 176
  • 177
  • 178
  • 179
  • 180
  • 181
  • 182
  • 183
  • 184
  • 185
  • 186
  • 187
  • 188
  • 189
  • 190
  • 191
  • 192
  • 193
  • 194

本文发布于:2024-02-08 20:19:49,感谢您对本站的认可!

本文链接:https://www.4u4v.net/it/170739510568851.html

版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系,我们将在24小时内删除。

标签:第十讲   g2oBA   g2o
留言与评论(共有 0 条评论)
   
验证码:

Copyright ©2019-2022 Comsenz Inc.Powered by ©

网站地图1 网站地图2 网站地图3 网站地图4 网站地图5 网站地图6 网站地图7 网站地图8 网站地图9 网站地图10 网站地图11 网站地图12 网站地图13 网站地图14 网站地图15 网站地图16 网站地图17 网站地图18 网站地图19 网站地图20 网站地图21 网站地图22/a> 网站地图23