GPS伪距差分解算改进模型的研究

差分GPS定位技术是通过基站与移动站之间的空间相关性，来消除公共误差部分，以提高定位精度。伪距差分是目前用途最广的一种定位技术，文章详细列出了GPS伪距差分解算模型的数据处理算法，对于伪距差分中的有关问题提出了改进模型，该模型降低了对基准站接收机时钟的要求。由于基准站的精确坐标已经知道，在计算卫星坐标时，要计算接收机钟差，因此基准站的接收机钟差可以精确获得。     

半E-凸函数的一些新性质

得出了半E-凸函数的一些新性质。并对它的某些最优化理论中的结果进行了推广．     

π-余代数上的余模

设C是π-余代数,给出了π-余代数C上的C-π-余模和有理π-C*-模的概念,把余代数上的相关性质推广到π-余代数上.研究了C-π-余模、有理π-C*-模的基本性质,给出了左C*-模的极大有理π-C*-模的刻划以及它们之间的密切联系.     

两类矩阵环上的短正合列

文章讨论了两类二阶矩阵环上的模及其短正合列,得到环R上的短正合列在两类矩阵环的自然推广形式.     

群分次环的Clifford转移定理的推广

本为曾吉等人的章(献[1])的继续．曾的章推广了单模情形下分次环的Clifford直接理论．得到了对有限生成半单分次模情形下的Clifford直接理论．在此基础上．将单模上分次环的Clifford转移理论推广到有限生成半单模上的分次环的Clifford转移理论．     

计算同杆双回输电线路潜供电流与恢复电压的二次模方法

提出了利用二次模变换计算同杆双回输电线路潜供电流与恢复电压稳态值的方法.该方法首先利用变换矩阵T进行相模变换,将相量转化为模量,在此基础上再利用变换矩阵H进行第二次模变换,将一次模量转化为二次模量,然后在二次模域中建立计算潜供电流与恢复电压的数学模型.该模型与一次模方程相比,方程和未知数的个数减少了一半, 使得计算量减少,且易于编程实现.对某实际线路进行了计算,其结果与EMTP计算结果一致,表明此方法为进行潜供电流和恢复电压稳态计算提供了另一种途径和选择.     

Lp空间中Post-Widder算子带权同时逼近的强逆不等式

对于Post-Widder算子Pn(f,x),证明了当s∈N0=N U{0},wf(s)∈Lp(0,∞)(1＜p≤∞)时,存在某一正数m,使得ω2ψ(f(s),1/(∫)n)ω,p≤C(∥ω(P(s)nf-f(s))∥p+∥ω(P(s)mnf-f(s))∥p+1/n∥ωf(s)∥p),其中ψ(x)=x;w(x)=xa(1+x)b;a,6∈R1;C＞0;ωψ2(f,t)w,p是带权光滑模.     

时滞分布参数系统的指数渐近稳定性

基于Lyapunov稳定性理论,利用辅助函数方法研究由变时滞分布参数控制系统所导出的滑动模运动方程的指数渐近稳定性问题,获得了一类滑动模运动方程指数渐进稳定的充分条件,建立了滑动模运方程解的指数渐近稳定性定理。这就为研究时滞分布参数系统的变结构控制问题奠定了理论基础。     

伪微分算子作用下小波变换中的误差分析

通过对文献[1，2]的研究，在常系数伪微分算子作用下的小波变换中，得到一些新的结论。     

GPS车载导航定位服务系统的实现

阐述了GPS导航定位服务系统的基本组成模块、工作原理。对导航服务中存在的问题提出了解决的途径，并介绍了伪距差分技术和地图匹配方法。