LAMBDA工具箱阅读

本文介绍了LAMBDA工具箱在高精度定位中解决双差模糊度固定问题的应用。LAMBDA方法包括Z变换去相关和整数搜索两步,通过整数最小二乘、序贯归整法等策略进行整数估计,并进行可靠性测试。文章详细阐述了算法流程,包括浮点解获取、整数估计、可靠性测试和固定解计算,为读者提供了深入理解模糊度固定过程的指导。
摘要由CSDN通过智能技术生成


简介

本系列文章主要是对LAMBDA开源工具箱中的模糊度固定的算法模型进行学习研究,对代码不做介绍(官方获取链接:LAMBDA工具箱)。注:更快捷的获取方式是在评论区留下邮箱

一、LAMBDA工具箱

解决双差模糊度固定问题一直是高精度定位的关键,Teunissen(1993)提出了LAMBDA方法,该方法两个关键1.Z变换去相关,2.模糊度搜索。论文看了一大堆但是让自己实现有点难搞!!!,但是LAMBDA工具箱解决了这个问题(不必重复造轮子)该工具箱是一个模糊度固定的MATLAB开源工具箱。

二、使用步骤

在这里插入图片描述
可以看到两个文件夹,
1. src为源代码文件,其中有demo和对应的数据;
2. man 里面有两个文档工具箱的介绍文档和算法模型文档
直接运行demo即可

三、算法阅读

1.摘要
高精度定位采用的是双差载波相位观测量,载波相位观测量的关键点是模糊度固定,本篇文章主要阐述了基于双差GPS观测模型的参数估计方法,着重描述了双差模糊度的整数估计。LAMBDA方法分为2步,Z变换去相关和整数搜索,最终归结为最小二乘整数估计。
2.固定解的基本流程
设双差载波相位和伪距不相关,有如下双差观测方程:
在这里插入图片描述

y 为双差观测量,B为设计矩阵 a为n维的模糊度矩阵;A为m*n的模糊度设计矩阵,e为噪声向量;
针对该模型一般采用最小二乘法,分四步解决:
2.1 获取浮点解
此时的浮点解不考虑a的整数特性,进行参数估计获取待估参数的浮点解及其对应的协方差阵:
在这里插入图片描述

2.2 整数估计
由于a具有整数特性,因此根据2.1 获取的浮点模糊度参数进行整数估计获取整数模糊度。浮点模糊度的整数估计过程是将n维实数空间映射到n维整数空间,映射方法各有千秋(也可以说是映射函数不同)。目前比较受欢迎的主要有以下三种方法ILS(整数最小二乘)、IB(序贯归整法)、IR(四舍五入取整),ILS效果最优,IB、IR使用LAMBDA去相关后效果也不错。
2.3 整数估计的可靠性测试
对获取的整数模糊度进行可靠性测试,测试不通过则整数模糊度估计失败。目前常采用ratio test,阈值设为3.
2.4 固定解
根据通过ratio检验的整数模糊度重新带入观测方程进行参数估计,获取固定解及其对应的协方差阵:
在这里插入图片描述
在这里插入图片描述

LAMBDA工具包主要处理2.2和2.3步骤。
3. 去相关技术
2.3中的整数估计是采用DD模糊度,然而模糊度元素不仅精度低而且各元素之间具有较强的相关性,因此必须采用Z 变换去相关并进行参数重构,Z变换后得到新的模糊度矢量以及方差、协方差阵的变换如下:
在这里插入图片描述
在这里插入图片描述

得到新的浮点解决方案:
在这里插入图片描述
在这里插入图片描述

在计算固定基线解时并不需要以上的反向变换,直接采用以下公式计算固定解
在这里插入图片描述

3.1.Z变换
参考文献:高斯消元法详解
矩阵的三角分解(LU)法(高斯消去法的矩阵形式分析)_Reborn Lee-CSDN博客
在这里插入图片描述

4.模糊度搜索
参考文献:
最小二乘

4.1. Integer rounding
四舍五入取整:针对经过Z 变换的模糊度参数进行四舍五入取整,获取模糊度的整数解z,再经过反变换得到双差整数模糊度,代码参考以下:
在这里插入图片描述
在这里插入图片描述

4.2. Integer bootstrapping
序贯归整法:仍然采用四舍五入取整,但是需要考虑一些模糊度之间的相关项。计算方法如下:如果有n个模糊度可以获取,我们从第n个开始消除相关性,假设最后一个模糊度是Zn,同时四舍五入取其整数ZnB,针对其他浮点模糊度的修正利用它们和最后一个模糊度的相关性来修正。利用已经四舍五入矫正的实数模糊度和实数模糊度之间的偏差矫正其他模糊度的和其之间的相关性。如下计算公式:
在这里插入图片描述

z ̂_(i|I) 是指第I={i+1…n}整数模糊度条件下的第i个模糊度,此处我们假设最开始模糊度Zn是精度最高的。实数序列的最小二乘解可以根据对方差-协方差矩阵的LDL分解,其中L为单位下三角矩阵(此处的Zn和Qn均值经过Z变换去相关后的模糊度序列及对应的方差-协方差);下面第一个公式需要详细理解(可以自行推导LDL分解,搞清楚以下每个字符的含义)
在这里插入图片描述
在这里插入图片描述

对应代码块:
在这里插入图片描述
在这里插入图片描述

4.3. Integer least squares
下面讨论的均是经过去相关的浮点模糊度和对应的方差协方差:
在这里插入图片描述

最小而成整数估计核心思想是求取F(z)的极小值,条件约束(z为整数),式中X^2 是一个n维度的超椭球边界,用来限制搜索范围。总结来看其实就是在一个n维超椭球中搜索一组整数解使F(z)最小。
将Q 进行LDL分解展开
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

根据1 和2式得到:
在这里插入图片描述

展开得到下式:
在这里插入图片描述

得到z的整数估计公式如下:
在这里插入图片描述

备注建议这些公式都手撕一遍,才能深刻理解公式;

总结

以前做高精度定位一直把模糊度固定作黑箱处理,此刻也算下定决心深入学习。本文简单介绍LAMBDA ,开启LAMBDA的学习记录过程。本系列文章主要对LAMBDApapers.pdf文档进行阅读、学习、总结。

参考文献

  1. rtklib AR模型简单介绍
评论 7
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值