简介:证明了在正则空间中闭Lindelof映射保持且逆保持submeso紧性,这改进了林寿关于正则空间完备映射保持且逆保持submeso紧性这一结果;同时我们引用一个反例说明原象空间的正则性是必要的.
简介:许多常微分方程教材关于解的整体连续依赖性的讨论都用到了一个“紧性”事实:欧氏空间中的紧集上一个局部Lipschitz函数一定在该紧集上是全局Lipschitz的.然而这一事实在教学中并非显然,不少学生在试图给出证明时都走入了一个误区.本文对这一问题从正反两方面进行了讨论.
简介:设M为S^n+1中紧致极小超曲面,Mp,n-p为Sn+1的Clifford极小超曲面,若Spec(M)=Spec(Mp,n-p)在一定条件下,我们可以得出M与Mp,n-p等距同构。
简介:证明了正则空间中闭Lindelof映射逆保持序列式meso紧性,从而改进了MancusoVJ关于正则空间中完备映射逆保持meso紧性这一结果;进一步我们指出定理条件中原象空间的正则性不可被省略而象空间的正则性可以用原象空间的正规性来替代.
简介:传统的使用伪距和相位组合进行周跳探测的方法受限于伪距精度,在多路径效应严重和载体高动态下不可靠。针对该问题,构建北斗/INS紧组合模型,利用惯性辅助北斗三频信号线性组合构造了周跳探测量,兼顾错探率和漏探率,确定探测阈值系数为2.5768。基于卫星高度角采用正弦函数模型确定载波噪声,分析了载波噪声和卫地距误差对周跳探测和修复的影响。在此基础上选择组合量(0,-1,1),(1,3,-4),(-3,4,0)联合进行周跳探测和修复。使用车载组合导航实测数据验证周跳探测模型的效果。实验结果表明,对于模拟的密集小周跳,所有卫星错探率低于1.75%,漏探率低于0.11%,除低高度角卫星C05,所有卫星修复错误率低于0.35%。对于北斗信号中断的场景,在75s部分中断内或18s完全中断内都能够正确修复所有卫星的所有类型周跳。