GPS卫星演进路线与发展趋势

GPS系统即全球定位系统(Global Positioning System),其空间段由覆盖地球的24颗卫星组成,该系统可以保证在任意时刻、地球上任意一点都可以同时观测到4颗卫星,以便采集该观测点的经纬度和高度,从而实现导航、定位、授时等功能,具有高精度、高效率、低成本的特点.     

多时间层次差分格式

充分利用观测数据中的信息量,提出一种时间层次p>3的差分格式,论证了这种数值差分格式的某些数学特征,将其应用到平流方程和非线性平流方程中,计算证明该格式的计算精度比常用的蛙跃格式高得多.该格式可以应用到如气象、海洋、水文乃至环境、经济等有系统性观测的领域中.     

关于多维振动问题的差分解法

在这篇短文里研究多维的四阶杆振动方程的解法问题,提出两种交替方向的差分格式。第一种格式是先把它化为等价方程组,然后构造绝对稳定的差分格式,它需要解ｍ阶的三对角线型的‘矩阵方程’组,可用矩阵追赶法解之。第二种格式是利用因式分解的思想构造绝对稳定的差分格式,它在每一个方向上需要法语解ｍ阶的五对角线型的线代数方程组。     

一类无条件稳定的Schrodinger方程的显示拟谱方法

研究了非线性Ｓｃｈｒｏｄｉｎｇｅｒ方程的三怪显式所谱格式，利用有是延拓法讨论了收敛性及稳定性，得到了该格式是无条件稳定的，所以该格式适用于长时间的动力行为的计算，文中通过数值举例验证了格式的可信性，并对五次Ｓｃｈｒｏｄｉｎｇｅｒ方程进行了数值模拟，得到了五次方程的拟周期结构。     

GPS数据格式转换的研究

随着GPS定位技术的不断发展和应用的普及,越来越多的GPS接收机应运而生。但是各GPS接收机的观测数据格式各异,造成不同的GPS数据需要不同的处理软件进行处理,为用户的使用带来了不便,同时也为GPS观测数据的共享形成阻碍。因此,对GPS数据格式的转换进行了研究,提出了GPS数据格式的转换方法。并实现了Trimble 4000GPS接收机的观测数据到标准格式（mNEX）的转换。     

科技动态

一箭双星 飞向太空 壮民族志气,扬中华国威。北京时间5月10日上午9时33分,伴随着雷鸣的轰响,“长征四号乙”运载火箭托着两颗卫星“风云一号”和“实践五号”顺利升空。 火箭飞行749秒后,“风云一号”卫星与火箭分离;814秒后,“实践五号”卫星与火箭分离。西安卫星测控中心传来数据证实,两颗卫星相继进入预定轨道,发射获得圆满成功。 这是太原卫星发射中心连续第七     

MetOp-A/B卫星ASCAT全球土壤水分产品对比分析

为了评估Met Op-A卫星与Met Op-B卫星ASCAT全球土壤水分产品的差异,更好地利用Met Op-A/B双星联合作业的观测成果,运用统计方法对2013年11月1日至2014年2月28日时间段内Met Op-A/B两颗卫星各自反演的全球土壤水分逐日数据进行了比较,结果表明:1上述时间段内两颗卫星的土壤水分产品的全球土壤水分干湿状况的空间分布不存在大范围差异,且土壤水分变化较大的区域与土壤水分湿区基本重合,变化较小的区域与干区基本重合;2两颗卫星土壤水分差异较大的地区主要是赤道附近地区以及我国新疆和西藏地区;3两颗卫星对土壤水分反映不一致的区域主要包括西亚和北非、赤道附近以及我国的新疆和西藏地区。使用卫星土壤水分反演数据可有效促进土壤水分监测水平的提高,服务于我国农业气象干旱预警和抗旱灌溉决策等,但在将Met Op卫星土壤水分数据引入我国西部地区前,应当先做好该地区卫星数据的评估和订正工作。     

“巨人星”的奥秘

在古希腊的神话中，泰坦是一个巨人。而土星的18颗卫星中就有一颗用泰坦命名。这颗卫星也可以说是一个“巨人”，因为它比冥土星和水星的体积都要大，不仅如此，泰坦本身还隐藏着很多人们所不知的秘密。     

非线性Schrdinger方程的五次B-样条逼近

利用五次B-样条配点有限元方法研究了经典的三次非线性Schrdinger方程.在该格式中,关于时间方向的离散是基于Crank-Nicolson差分格式,而空间方向采用了分片五次B-样条函数逼近,其得到的刚度矩阵是一个分块五对角型矩阵.同时,利用线性稳定性分析方法证明了该格式是无条件稳定的.通过数值例子,验证了该格式保持了方程的守恒性质及具有较高的精度,最后模拟了两个孤立子的碰撞.     

宁国方言里的"处所宾语+去"格式

"处所宾语 去"格式在宁国话里有着大量存留.通过描述它的语法结构、语法意义和功能.强调应注重与宁国话里其他类似格式的比较和对凝固形式"家去"的分析.     

非线性Schr(o)dinger方程的五次B-样条逼近

利用五次B-样条配点有限元方法研究了经典的三次非线性Schr(o)dinger方程.在该格式中,关于时间方向的离散是基于Crank-Nicolson差分格式,而空间方向采用了分片五次B-样条函数逼近,其得到的刚度矩阵是一个分块五对角型矩阵.同时,利用线性稳定性分析方法证明了该格式是无条件稳定的.通过数值例子,验证了该格式保持了方程的守恒性质及具有较高的精度,最后模拟了两个孤立子的碰撞.     

不同飞行高度下超声速来流/射流及其相互作用的数值模拟

采用高精度格式求解二维Navier-Stokes方程,研究了不同飞行高度下超声速来流和射流在后台阶相互作用的流场基本结构.时间推进采用三阶精度Runge-Kutta格式,分别应用五阶精度加权本质无振荡(weighted essentially non-oscillatory,WENO)格式、六阶精度中心差分格式来离散对...     

电子水准仪的数据格式转换研究

目前,Zeiss Dini12电子水准仪在建筑物沉降观测中得到普及应用。由于Dini12电子水准仪外业观测的数据文件不能作为常用平差软件数据文件直接应用,有必要对二者间的数据格式转换进行研究。本文分析了DiNi12电子水准仪测量数据格式的特点,论述了数据转换程序设计的算法思路,给出了程序设计框图、技术实现要点,以及主要实现代码。所编写的"Dini12数据格式转换程序"已经应用到实际的工程项目中,提高了数据处理效率。     

宁国方言里的“处所宾语＋去”格式

“处所宾语＋去”格式在宁国话里有着大量存留。通过描述它的语法结构、语法意义和功能，强调应注重与宁国话里其他类似格式的比较和对凝固形式“家去”的分析。     

四阶抛物型方程子域精细积分紧致差分格式

首先给出了四阶导数的紧致差分公式,然后应用子域精细积分的方法,本文构造出了一个求解四阶抛物型方程周期初值问题的含参数α(0<α<<Δt)的紧致格式,所得到的差分格式为五点、两层的隐格式。Fourier分析方法表明该格式为无条件稳定,其局部截断误差为O(α(Δt)2 α2(Δt)3 (Δx)4),其中Δt,Δx分别为时间步长和空间步长,误差分析和数值实验均表明,本文构造的格式比经典的C rank-N icholson格式和Sau l ev构造的格式精度要高阶10-3~10-4。从精度及稳定性方面考虑,本文构造的格式也较好,因此,本文的差分格式是有效的,具有很好的实用性。     

基于五阶CWENO重构的中心迎风格式

提出一种五阶CWENO重构,将其与中心迎风数值通量相结合,得到一种求解双曲型守恒律方程的五阶中心迎风格式。该格式构造简单,无需Riemann求解器,易于编程实现。运用该格式求解标量守恒律方程和Euler方程组,数值结果表明,该格式具有五阶精度,分辨率高,能准确计算出解的各种复杂结构。     

卡尔曼滤波卫星授时的仿真技术

为了提高无线导航卫星系统授时精度,提出了采用卡尔曼滤波对用户时钟钟差、钟漂及老化率进行估计,并预测出下一采样时刻用户时钟与系统时的差值的闭环授时方法,设计了卡尔曼滤波器.分别对单星和多星的授时问题进行了讨论,理论证明了采用多颗卫星授时可提高授时精度,并给出了克拉默罗界.利用STK软件实时产生卫星三维位置和速度,建立了用户时钟仿真模型和观测误差仿真模型,对所提出的方法在单星和多星的情况下进行了仿真.结果表明,在噪声较大情况下仍能保持较高的授时精度.     

一类非线性Schrdinger方程的数值解

对一类带五次项的非线性Schrdinger方程的初边值问题提出一个新的守恒差分格式,并在先验估计的基础上证明了格式的稳定性和收敛性,数值实验结果表明此格式是有效可靠的.     

五阶色散KdV方程的交替分段显-隐差分格式

对五阶色散KdV方程给出了一组非对称的差分格式,用这些差分格式与显、隐差分格式组合,构造了一类具有本性并行的交替分段显-隐格式,证明了格式的线性绝对稳定性。数值试验表明,这种方法有很好的精度。     

Poisson方程边值问题差分格式解的收敛性

给出poisson方程的边值问题在均匀网格剖分下的五点差分格式,并给出了差分格式解的收敛性及敛速估计.