定理2(无穷大与无穷小之间的关系) 在自变量的同一变化过程中,如果f(x)为无穷大, 则为无穷小;反之,如果f(x)为无穷小,且f(x)0

一、GPS高程问题 二、复习

定理1(无穷小与函数极限的关系) 在自变量的同一变化过程x→x(或x→∞)中,函数f(x) 具有极限A的充分必要条件是(x)=A+a,其中a是无穷小 简要证明令a=f(x)-A,则fx)-a

一、GPS现代化 二、GPS增强系统 三、GPS的应用 四、GPS高程问题

定理3(函数极限的局部保号性) 如果f(x)→A(x→x),而且A>0(或A0(或f(x)0的情形证明

假设在同一观测时段,只有两台接收机在一条基线上进行了 同步观测工作。从这一条件出发,根据间接平差原理,讨论载 波相位观测量不同线性组合的平差模型。这些模型易于推广到 多台接收机观测情况

定理3(收敛数列与其子数列间的关系) 如果数列{xn}收敛于a,那么它的任一子数列也收敛, 且极限也是a 证明设数列{xn}是数列{xn}的任一子数列. 因为数列{xn}收敛于a,所以ve>0,3nen+,当n>时, 有xn-ak. 取K=N,则当kK时,nK=N.于是xn-ak

一、单基线平差模型 二、模型简单、易于编程实现 三、基线之间相关性被忽略 四、不易发现粗差

定义设A是数域K上一个n阶方阵,g(x)是K上一个m次多项式.如果g(A)=0,则g(x) 称为方阵A的一个化零多项式 Hamilton-Cayley-定理设A是数域K上的n阶方阵,f是A的特征多项式,则f(A)=0. 证明A在C内相 Jordan似于形矩阵J,即有c上可逆阵T使TAT=J显然对任意正 整数k

GPS定位的基本观测量是观测站(用户接收天线)至 GPS卫星(信号发射天线)的距离(或称信号传播路 径),它是通过测定卫星信号在该路径上的传播时间 (时间延迟)或测定卫星载波信号相位在该路径上的 变化周数(相位延迟)来导出的