【视觉SLAM入门】3. 相机模型,内外参,畸变推导

"瑾瑜匿瑕"

    • 1. 相机模型和内参
        • 1.1 内参推导
        • 1.2 外参推导
    • 2. 畸变
        • 2.1 径向畸变
        • 2.2 切向畸变
    • 3. 深度信息
        • 3.1 算法测距
        • 3.2 物理测距

  • 本节讨论围绕这个问题展开 机器人如何观测外部世界? \quad\large\textcolor{red}{机器人如何观测外部世界?} 机器人如何观测外部世界?

注意: 的研究的目的是为了求出点在世界坐标系下的信息,也就是 P w \;P_w Pw 是要求出来的量。

1. 相机模型和内参

  1. 以针孔相机为例,我们来推导内参的由来,首先在三维世界中,拍照的数学模型如下(左):

图源SLAM14讲话

以光心为原点的一组相似三角形(对顶角的),取它的 x o z \; xoz xoz 或者 y o z \; yoz yoz 投影上图(右):
成像过程: 空间中一点(以相机为坐标系看) P = [ X , Y , Z ] T ⟹ \; \boldsymbol {P=[X,Y,Z]^T} \\\qquad\qquad \Longrightarrow P=[X,Y,Z]T 投影到物理成像平面 P ′ = [ X ′ , Y ′ , Z ′ ] T 由上图, Z ′ = f ( 焦距 ) ⟹ \; \boldsymbol {P'=[X',Y',Z']^T}由上图,Z'=f(焦距)\\\qquad \qquad \Longrightarrow P=[X,Y,Z]T由上图,Z=f(焦距)缩放和光心平移到(像素坐标系) p ′ = [ u , v ] T \boldsymbol {\; p'=[u, v]}^T p=[u,v]T

1.1 内参推导

\; 本来推导出的相似三角形应该有负号(针孔模型–倒立),但是我们选择为正(将对顶角对称到同侧(同角)),如下:
在这里插入图片描述
由相似关系:
Z Z ′ 即 Z f = X X ′ = Y Y ′ \frac {Z}{Z'}即\frac {Z}{f}= \frac {X}{X'} = \frac {Y}{Y'} ZZfZ=XX=YY
整理(这就是相机坐标系下点P到成像平面的步骤,对应上边第一个 ⟹ \Longrightarrow ):
X ′ = f X Z , Y ′ = f Y Z ( 1 ) X'= f\frac {X}{Z},\quad Y'= f\frac {Y}{Z} \qquad\qquad\qquad(1) X=fZX,Y=fZY(1)
像素坐标系:和成像平面只差 缩放 \;\textbf {缩放}\;\; 缩放(X缩放 α \alpha α得到 u u\;\; uY缩放 β \beta β得到 v v\;\; v)和 光心(原点) \;\;\textbf {光心(原点)}\;\; 光心(原点)的平移 [ c x , c y ] T \;\; [c_x,c_y]^T [cx,cy]T,看不懂直接看下边式子:
{ u = α X ′ + c x = 带入式 1 α f X Z + c x = 记 a f 为 f x f x X Z + c x v = β Y ′ + c y = 带入式 1 β f Y Z + c x = 记 β f 为 f y f y Y Z + c y ⇓ 写成矩阵形式如下 ( 齐次坐标 ) ( u v 1 ) = 1 Z ( f x 0 c x 0 f x c y 0 0 1 ) ( X Y Z ) ≜ 1 Z K P ⇓ 更经常的我们会这么写 Z ( u v 1 ) = ( f x 0 c x 0 f x c y 0 0 1 ) ( X Y Z ) ≜ K P ( 2 ) \begin{cases} u=\alpha X'+c_x \overset{带入式1}{=} \alpha f\frac {X}{Z} +c_x \overset{记af为f_x} {=}f_x\frac {X}{Z}+c_x\\ v=\beta Y'+c_y \overset{带入式1}{=} \beta f\frac {Y}{Z} +c_x \overset{记\beta f为f_y} {=}f_y\frac {Y}{Z}+c_y \end{cases}\\ \quad \\ \Downarrow 写成矩阵形式如下(齐次坐标) \\ \quad \\\begin{pmatrix}u\\v\\1\end{pmatrix} = \frac{1}{Z} \begin{pmatrix}f_x&0&c_x \\0&f_x&c_y \\0&0&1 \end{pmatrix} \begin{pmatrix}X\\Y\\Z\end{pmatrix} \triangleq \frac {1}{Z}KP\\ \quad \\ \Downarrow 更经常的我们会这么写 \\ \quad \\Z\begin{pmatrix}u\\v\\1\end{pmatrix} = \color{red} \begin{pmatrix}f_x&0&c_x \\0&f_x&c_y \\0&0&1 \end{pmatrix}\color{blue} \begin{pmatrix}X\\Y\\Z\end{pmatrix} \triangleq \color{red} K\color{blue} P \color{b}\qquad\qquad (2) {u=αX+cx=带入式1αfZX+cx=affxfxZX+cxv=βY+cy=带入式1βfZY+cx=βffyfyZY+cy写成矩阵形式如下(齐次坐标) uv1 =Z1 fx000fx0cxcy1 XYZ Z1KP更经常的我们会这么写Z uv1 = fx000fx0cxcy1 XYZ KP(2)

  • 其中K就是我们常说的内参(矩阵)(Camera Intrinsics),P还是相机坐标系下的点,Z就是点的Z坐标的值。
  • 内参通常认为出厂后固定(通常不会在使用中发生变化),有时厂商提供,有时需要自己确定内参(这一过程也称作标定

1.2 外参推导

\quad 上边的坐标 P \;P P 都是在相机坐标系下进行的,而相机是运动的,所以实际中我们需要世界坐标系中的点 P w \;P_w Pw 来进行这个过程。即:世界坐标 P w \;P_w Pw 到相机坐标(也就是上式可用的 P \;P P )的变换。
\quad 这种: 变换上节介绍过,就是 P w ⟹ 经过旋转 R 和平移 T 转换到 P \;P_w \overset{经过旋转R和平移T} {\Longrightarrow} 转换到P Pw经过旋转R和平移T转换到P(相机坐标系) 的过程。如下:

R P w + t = P RP_w+t = P RPw+t=P
这其中求得 R \;R R t \;t t就是相机的位姿,也是相机的外参(Camera Extrinsics),带入上式(2)有

Z P u v = Z [ u v 1 ] = K ( R P w + t ) = K T P w ⇓ 齐次坐标乘以系数表达相同含义,故 P u v = K T P w ZP_{uv} = Z\begin{bmatrix}u\\v\\1\end{bmatrix}=K(RP_w+t) = KTP_w \\ \Downarrow 齐次坐标乘以系数表达相同含义,故\\\quad \\P_{uv} = KTP_w ZPuv=Z uv1 =K(RPw+t)=KTPw齐次坐标乘以系数表达相同含义,故Puv=KTPw
注意 : 这里的 P w 不再是 [ X , Y , Z ] , 为了保证它和 K 相乘,它做一个归一化处理 , P w = [ X Z , Y Z , 1 ] \color{red}注意: 这里的P_w 不再是[X,Y,Z], 为了保证它和K相乘,它做一个归一化处理,P_w = [\frac {X}{Z},\frac {Y}{Z},1] 注意:这里的Pw不再是[X,Y,Z],为了保证它和K相乘,它做一个归一化处理,Pw=[ZX,ZY,1],这个点所在的平面也成为归一化平面,经过这样处理的点可以看成一个二维的其次坐标,位于 z = 1 z=1 z=1平面上,故称为归一化坐标。
\quad

下面对以上内容进行总结:

  • 相机内参就是 f x , f y , c x , c y f_x,f_y,c_x,c_y fx,fy,cx,cy,所以基本出厂就确定好了
  • 相机外参就是 R , t R,t R,t 即相机位姿,随运动时刻变化

图源视觉SLAM14讲


2. 畸变

2.1 径向畸变

\qquad 1. 透镜自身形状对光线传播的影响 ⟹ \Longrightarrow 径向畸变(分为桶形畸变和枕形畸变)
\qquad 2. 这种畸变是径向对称的
\qquad 3. 将点看做极坐标下的 [ r , θ ] \;[r,\theta] [r,θ] 的话,径向畸变是 r \;r r 发生了畸变 δ r \;\delta r δr

误差随着距离中心的距离而变化,可以利用这个特性纠正:
归一化平面上的点 [ x , y ] [x,y] [x,y] , 纠正完毕的点 [ x c , y c ] [x_c, y_c] [xc,yc], c c c 就是 c o r r e c t e d corrected corrected
{ x c = x ( 1 + k 1 r 2 + k 2 r 4 + k 3 r 6 ) y c = y ( 1 + k 1 r 2 + k 2 r 4 + k 3 r 6 ) \begin{cases} x_c = x(1+k_1r^2 + k_2r^4 + k_3r^6)\\\quad\\ y_c = y(1+k_1r^2 + k_2r^4 + k_3r^6) \end{cases} xc=x(1+k1r2+k2r4+k3r6)yc=y(1+k1r2+k2r4+k3r6)
中心区域畸变小 k 1 \;k_1 k1 起作用,畸变较大的用 k 2 \;k_2 k2 起作用

2.2 切向畸变

\qquad 1. 组装过程中透镜和成像平面不完全平行 ⟹ \Longrightarrow 切向畸变
\qquad 3. 将点看做极坐标下的 [ r , θ ] \;[r,\theta] [r,θ] 的话,径向畸变是 θ \;\theta θ 发生了畸变 δ θ \;\delta \theta δθ

切向畸变纠正如下:
{ x c = x + 2 p 1 x y + p 2 ( r 2 + 2 x 2 ) y c = x + p 1 ( r 2 + 2 y 2 ) + 2 p 2 x y \begin{cases} x_c = x+2p_1xy+p_2(r^2+2x^2)\\\quad\\ y_c = x+p_1(r^2+2y^2)+2p_2xy \end{cases} xc=x+2p1xy+p2(r2+2x2)yc=x+p1(r2+2y2)+2p2xy

合并径向和切向畸变:
{ x c = x ( 1 + k 1 r 2 + k 2 r 4 + k 3 r 6 ) + 2 p 1 x y + p 2 ( r 2 + 2 x 2 ) y c = y ( 1 + k 1 r 2 + k 2 r 4 + k 3 r 6 ) + p 1 ( r 2 + 2 y 2 ) + 2 p 2 x y ⇓ 归一化平面 ⇒ 像素平面 { u = f x ⋅ x c + c x v = f y ⋅ y c + c y \begin{cases} x_c = x(1+k_1r^2 + k_2r^4 + k_3r^6)+2p_1xy+p_2(r^2+2x^2)\\\quad\\ y_c = y(1+k_1r^2 + k_2r^4 + k_3r^6)+p_1(r^2+2y^2)+2p_2xy \end{cases}\\\quad\\\Downarrow 归一化平面\Rightarrow像素平面 \\\quad\\ \begin{cases} u = f_x\cdot x_c + c_x\\ v = f_y\cdot y_c + c_y \end{cases} xc=x(1+k1r2+k2r4+k3r6)+2p1xy+p2(r2+2x2)yc=y(1+k1r2+k2r4+k3r6)+p1(r2+2y2)+2p2xy归一化平面像素平面{u=fxxc+cxv=fyyc+cy
\quad 至此,用5个畸变项就完成了,实际中k甚至可以取一个。灵活搭配即可

3. 深度信息

\quad 上边的相机模型从光心到归一化平面连线上的所有点都可以投影到该像素(2式中的 Z Z Z值是齐次的)。因此只有确定了P的深度,才能知道位置信息。

3.1 算法测距

  1. 双目相机模型
    在这里插入图片描述 \quad 称为基线(Baseline),按照几何模型推导
    z − f z = b − u L + u R b \frac {z-f}{z}=\frac {b-u_L+u_R}{b} zzf=bbuL+uR
    \quad 整理, d d d 为视差:左右图横坐标之差
    z \qquad\quad\;\ z  z 就是深度信息:

z = f b d d = − u L + u R z=\frac {fb}{d}\qquad\qquad d=-u_L+u_R z=dfbd=uL+uR

  • 由上式可知:视差越大,距离越近,视差越小,距离远。
  • 两个相机越近(基线越小),距离越近,反之越近。

计算量大,计算量主要用于精准定位左右眼的匹配点。

3.2 物理测距

  1. RGB-D相机
  • 在RGB-D深度图中,记录了每个像素距离相机的距离(单位: m m mm mm),一般的量程在十几米范围左右。此外还有和普通相机一样的彩色图。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/19830.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

C++结合EasyX写扫雷(new)

【游戏】C结合EasyX写扫雷(时隔半年后重写) 上一次写扫雷这一次实现思路设置全局变量Grid类Grid类的成员函数启动画面死循环监听鼠标事件 全部代码其他 上一次写扫雷 大约半年之前的寒假期间,我接触了EasyX这个图形库,于是试着写…

数据结构--树和森林的遍历

数据结构–树和森林的遍历 树的先根遍历 void PreOrder(TreeNode* R) {if (R ! NULL){visit(R);while (R还有下一个子树T)PreOrder(T);} }树和二叉树的转化后》 树的先根遍历序列与这棵树相应二叉树的先序序列相同。 \color{red}树的先根遍历序列与这棵树相应二叉树的先序序列相…

串口的再认识

常用函数介绍 串口发送/接收函数 HAL_UART_Transmit(); 串口发送数据,使用超时管理机制(即在发送成功前一直阻塞) HAL_UART_Receive(); 串口接收数据,使用超时管理机制 HAL_UART_Transmit_IT(); 串口中断模式发送 HAL_UART…

C++ 变量类型

C 变量类型 变量其实只不过是程序可操作的存储区的名称。 在 C 中,有多种变量类型可用于存储不同种类的数据。 C 中每个变量都有指定的类型,类型决定了变量存储的大小和布局,该范围内的值都可以存储在内存中,运算符可应用于变量…

Pytorch实现warm up和consine decay

在深度学习领域,模型训练过程中的不稳定性是一个常见的问题。为了解决这个问题,在Resnet这篇论文也提及了Warm Up的方法,通过逐渐增加学习率,引导模型在训练初期更稳定地收敛。同时在warm up之后结合consine decay的方法让训练变得…

辅助驾驶功能开发-功能规范篇(22)-3-L2级辅助驾驶方案功能规范

1.3.3 TLA系统功能定义 1.3.3.1 状态机 1.3.3.2 状态迁移图 1.3.3.3 功能定义 1.3.3.3.1 信号需求列表 1.3.3.3.2 系统开启关闭 1)初始化 车辆上电后,交通灯辅助系统(TLA)进行初始化,控制器需在 220ms 内发出第一帧…

Spring-Interceptor拦截器

使用步骤 申明拦截器bean,并实现HandlerInterceptor接口 true为放行,false为拦截 2.定义配置类,继承WebMvcConfigurationSupport,实现addInterceptors方法,该方法调用具体的拦截器进行拦截 也可以在配子类通过实现W…

JMeter进行WebSocket压力测试

背景 之前两篇内容介绍了一下 WebSocket 和 SocketIO 的基础内容。之后用 Netty-SocketIO 开发了一个简单的服务端,支持服务端主动向客户端发送消息,同时也支持客户端请求,服务端响应方式。本文主要想了解一下服务端的性能怎么样,…

一百二十九、Kettle——从MySQL增量导入到GreenPlum

一、目标 用Kettle从MySQL增量导入数据到GreePlum 二、前提准备 (一)kettle已连上MySQL (二)kettle已连上GreenPlum 三、实施步骤 (一)打开kettle,新建转换任务。拖拽2个表输入、替换NULL…

Spring 如何解决 Bean 的循环依赖(循环引用)

Component public class A {Autowiredprivate B b;}Component public class B {Autowiredprivate A a;}上面的情况就是 循环依赖 Bean的创建初始化过程如下 如果不采取措施,那么循环依赖就会进入死循环 但 Spring 已经帮我们解决了大部分循环依赖问题 具体是如何解…

prompt:有需求就有价值,prompt案例

prompt:有需求就有价值 此文章来自于小七姐 首先来看需求: 客户需要生成1000条俏皮灵动,趣味盎然,比喻精妙的和美食有关的短句子,要求文风优美,句子让人充满食欲。 客户使用这些句子的场景比较奇妙&…

路径规划算法:基于食肉植物优化的路径规划算法- 附代码

路径规划算法:基于食肉植物优化的路径规划算法- 附代码 文章目录 路径规划算法:基于食肉植物优化的路径规划算法- 附代码1.算法原理1.1 环境设定1.2 约束条件1.3 适应度函数 2.算法结果3.MATLAB代码4.参考文献 摘要:本文主要介绍利用智能优化…