基于GPS观测值的精密单点定位精度评估

本文在利用RTKLIB2.4.3软件基础上,采用北京房山站2016年01月01日一天的观测数据,研究不同对流层估计方法和不同卫星星历对GPS精密单点定位精度的影响。结果表明:采用萨斯塔莫宁模型进行对流层延迟估计获得的定位精度比较差,为分米级;而估计对流层天顶总延迟获得的定位精度与同时估计对流层天顶延迟和水平梯度参数获得的定位精度相当,均能达到厘米级。采用GPS精密星历获得的定位精度在收敛速度、定位精度及稳定性上要优于GPS广播星历。因此,在精密单点定位解算过程中,直接估计对流层天顶延迟和采用GPS精密星历可以获得稳定的定位结果,定位精度可达厘米级。     

削弱GPS卫星和接收机硬件延迟对TEC反演精度影响方法的研究

利用地基GPS观测技术可反演区域甚至全球范围电离层的总电子含量(TEC),但其中GPS卫星和接收机硬件延迟是影响反演TEC精度的最重要的一个系统偏差。为消减此系统偏差,利用双频载波平滑伪距和球谐函数建立电离层延迟改正模型,进行TEC反演并与IGS公布的TEC对比,以验证反演的有效性。此外,分析2013年6月的太阳和地磁活动与反演的TEC,结果表明,太阳和地磁活动指数变化与反演的TEC变化趋势一致。     

GPS技术在公路测量中的应用

一、GPS技术原理及发展现状近年来,由于GPS全球定位系统(G lobal Posi-tioning System)具有全球性、全天侯、连续性、实时性导航定位和定时等功能,能够为各类用户提供精密的三维坐标、速度和时间,在公路工程测量中得到了迅速推广。单点导航定位与相对测地定位是G PS应用的两个方面,对常规测量而言,相对测地定位是其主要应用方式。相对测地定位是利用L1和L2载波相位观测值实现高精度测量,其原理是采用载波相位测量局域差分法,在接收机之间求一次差,在接收机和卫星观测历元之间求二次差,通过两次求差计算出待定基线的长度。求解整周模糊度是其关键技术,根据算法模型,设计了静态、快速静态以及RTK等作业模式。而R TK技术代表着GPS相对测地定位应用的主流。GPS测地型接收设备是实现测地定位的基本条件,接收机有单频与双频之分,双频机能以L2观测值修正电离层折射影响,最适宜于中、长基线(大于20km)测量,具有快速静态测量的功能,可升级为RTK功能;单频机适宜于小于20km的短基线测量,对于一般工程测量具有良好的性能价格比。二、RTK技术在公路测量中的应用1.实时动态(R TK)定位技术简介。实时动态(R T...     

比例延迟微分方程均匀网格的BDF方法的收敛性及稳定性（英文）

研究在均匀网格下,比例延迟微分方程向后微分公式的收敛性及稳定性。在均匀网格下,将向后微分公式与线性插值相结合来求解比例延迟微分方程,给出相应的差分格式,证明该差分格式数值解的收敛阶为1;分析比例延迟微分方程向后微分公式的渐近稳定性;数值算例验证了理论结果。     

脉冲延迟差分方程指数稳定性

研究脉冲延迟差分方程的指数稳定性.通过引入Lyapunov函数,指出在Lyapunov函数满足一定条件的情形下,脉冲延迟差分方程是指数稳定的,从而给出了脉冲延迟差分方程是指数稳定的充分条件.将所获得的稳定性结论应用于线性脉冲延迟差分方程,具体给出了Lyapunov函数,也给出了该线性方程是指数稳定的充分条件.数值算例验证了文中的结论.     

星座双频测距测速自主定位与守时

传统星座自主导航主要以星间相对测距为主. 该技术定位精度有限,同时缺乏有效的手段克服星座的整体旋转. 该文在测距模型的基础上,将测速信息、传播延时和时钟误差纳入模型中,分析了电离层对测距的影响,推导了星间测距位置与时间的解耦模型. 提出利用GPS辅助测量来固定星座的位置基准和时间基准. 通过Matlab仿真实验表明：测速信息的引入能够进一步提高卫星的位置估计精度,同时GPS辅助测量可有效克服星座的整体旋转.     

一类厚尾延迟更新风险模型的破产概率

由厚尾分布和厚尾延迟更新风险模型的内涵,对厚尾延迟更新风险模型的破产概率尾等价关系式进行了推广.     

一种GPS的双频周跳探测算法

在GPS进行观测时,由于物体遮挡、电离层异样等因素导致卫星信号在短时间内出现一种失锁行为,导致误差过大,影响定位精度.为了解决这一问题,本研究利用MATLAB软件,根据双频码相组合法和电离层残差法的特点,对GPS载波相位观测值进行周跳探测,结果表明:此方法可以准确探测出人为加入的周跳.     

物联网环境下Feistel结构分组密码的差分故障分析

轻量级分组密码作为物联网环境下RFID标签及智能卡等设备通信安全的重要保证,其安全性十分重要。为此,分析了Feistel结构轻量级分组密码故障传播规律,并提出了一种深度差分故障分析方法。该方法基于半字节故障攻击原理,对按照Feistel结构设计的轻量级分组密码可根据故障密文与正确密文的差分分析得到相应密钥信息。对具体的密码算法建立3种不同的攻击模型：单轮半字节故障注入模型、多轮半字节故障注入模型、多轮两个半字节故障注入模型,分别进行差分故障攻击得到该密码算法受差分故障攻击的威胁程度。给出了Feistel结构密码算法LBlock的实验结果。     

求解随机延迟微分方程的分步向前Euler方法

讨论求解随机延迟微分方程的分步向前Euler方法在均方意义下的收敛性和稳定性。将分步向前Euler方法应用于具有一般形式的随机延迟微分方程,得到差分格式,证明该格式在均方意义下的收敛阶为1/2,给出保证差分格式均方稳定的步长限制条件。数值算例验证了理论结果的正确性。     

动态测量误差灰色预测建模辨识参数修正方法

基于现代误差修正技术,研究灰色系统理论建立的动态测量误差短期预测模型,以进行误差修正,提高动态测量精度.文章重点分析了所给模型的参数辨识与修正问题,并以长光栅测量系统为对象,对其得到的动态测量误差进行实践,提出在预测过程中对影响测量结果的模型辨识参数修正的方法,从而提高测量模型的精度.     

航空信道统计模型的改进与实现

证明了基于谐波信号叠加产生独立且具有部分U型多普勒功率谱的复高斯随机过程时各支路多普勒频率的约束条件.基于该条件提出一种最佳入射角的设计方案,将入射角分为随机和同定取值两部分,不但保证了相位的随机均匀分布,而且满足多普勒频率的约束条件.利用改进的谐波信号叠加方法和等效离散时间模型实现了多径环境下航空信道小尺度衰落的统计建模.理论分析和仿真结果表明,该仿真模型的多普勒功率谱和时延功率谱等统计参数均与参考模型一致.     

组合电路中延迟故障的功能测试生成

提出一种用于测试组合电路中延迟故障的新功能邦联模型,讨论该模型的功能测试生成。实验表明,这种功能测试集具有实现低路径延迟故障覆盖范围的功能。     

换热机组供水温度的广义预测控制

针对热工过程对象具有大惯性、大时滞、时变和非线性等动态特性，建立了热力站换热机组的CARIMA模型和基于该模型的供水温度广义预测控制系统．利用Matlab对该控制系统进行了仿真，并与PID控制进行了比较，证明了广义预测控制(GPC)可以应用于热工过程控制中，并能取得良好的控制品质和鲁棒性．     

超小型水下机器人潜浮运动控制

主要以自行设计的水下机器人的数学模型为基础,推导出相关的仿真模型,且进行了合理的简化.在分析了系统整体运行状态后,提出了用数字PID控制器对系统进行校正的方法,并详细分析了PID参数的整定方法及其对系统性能的影响.最后采用Matlab 6.5 提供的Simulink模块对系统进行了仿真,得出了比较有参考价值的仿真结果.     

基于指数函数的热敏电阻温控器温差补偿模型

温控器是通过负温度系数热敏电阻测量温度的,由于电路板发热、外壳密闭不宜散热等原因,所测温度和环境真实温度存在温差。用一种有效地方法对温度进行补偿,通过实验记录温控器显示温度和环境的真实温度,根据热敏电阻温度、阻值和电压之间的关系,分别建立温差随时间变化的指数函数模型和电压差指数函数模型,求出相应参数。据此设计一个温度补偿电路对不同温度条件下温控器显示温度值进行实时修正,使之逼近真实温度。实验结果表明,该方法不仅可以对温控器显示的温度进行实时温度补偿,而且补偿精度高,在0~40℃范围内补偿稳定可靠,操作方便,利于推广。     

一种MANET中基于位置的可信路由

摘要： 由于基于距离的位置辅助路由算法无法抵御恶意节点拒绝服务攻击(denial of service, DoS)的安全漏洞,引入信任度量,将信任模型加载到路由发现中以解决恶意节点对路由的DoS攻击. 改进的基于信任的安全位置辅助路由利用节点的直接信任度和推荐信任度来避免信任值低的恶意节点加入路由转发工作. 仿真结果表明,ST-LAR(secure trust location-aided routing)能更有效地抵御恶意节点的DoS攻击,并在平均端到端时延、分组成功投递率、吞吐量等方面优于DBLAR.     

具有时滞的两种群相互作用模型的稳定性

在文[1]的基础上,讨论了具有时滞的两种群相互作用模型的稳定性,给出了其稳定性的必要条件.