一种基于约束条件的服务能力匹配方法

结合产生式系统中冲突消解和约束满足问题的方法,提出了一种新的基于约束条件的服务能力匹配方法。该方法把服务的约束条件分成两大类,一类是状态关系条件,一类是数值关系条件,根据这两类约束条件分别提出了相应的语义匹配方法,给出了实现原型的软件系统结构和例子,说明了该方法的有效性。     

量子测距辅助的网络RTK定位算法研究

针对在GPS网络载波相位实时动态差分(RTK)中短观测历元内,由位置精度因子(PDOP)变化缓慢引起的整周模糊度准确求解困难的问题,提出了采用量子高精度测距辅助整周模糊度的求解方法.采用Householder变换代替双差法,确保了用于求解整周模糊度的各个观测量之间的相互独立,提高了整周模糊浮动解的求解稳定性.数学分析和仿真结果验证了上述方法的准确性和有效性.     

可调谐半导体激光器的动态波长切换控制

对单片集成半导体光放大器(SOA)的取样光栅分布布拉格反射型(SGDBR)激光器的动态波长控制技术进行了研究.设计的控制系统可对SGDBR激光器的前、后光栅节和相位节提供高同步精度的快速电流切换信号,使SGDBR激光器的输出波长实现ns量级的切换.同时,对SGDBR激光器动态波长切换过程中的瞬态效应进行了实验研究,在波长切换过程中精确控制SOA节驱动电流的关断时间,可以有效屏蔽SGDBR激光器在波长切换过程中出现的中间瞬态模式,从而改善SGDBR激光器的动态性能.     

卫星着陆系统差分基准站B值分析与处理算法

多基准一致性检测中的B值处理是卫星着陆系统完好性监测的核心,针对传统基于极大似然估计准则的B值处理算法存在相关性,易造成系统故障检测率低以及难以区分故障来源的问题,研究了基于Kalman滤波的B值处理新算法:通过建立以监测接收机修正伪距值为观测量,星站距离估计值为状态量的滤波模型,计算得到监测接收机修正后的伪距误差,然后利用其构造新的B值;理论分析与试验结果表明,相比于传统算法,新的B值处理算法可以消除相关性的影响,故障检测率提高近20%,增强了系统的可用性水平。     

基于SVD-RLS的动对动整周模糊度解算方法

针对动对动相对定位时基线参量实时变化而难以准确求解模糊度浮点解的问题,提出了一种基于奇异值分解-递推最小二乘(SVD-RLS)的动对动整周模糊度解算方法:该方法首先对基线矢量系数矩阵进行奇异值分解(SVD)并变换双差方程以消除基线参量,然后采用递推最小二乘(RLS)实时推算双差整周模糊度的浮点解及其协方差矩阵,最后利用最小二乘模糊度降相关平差(LAMBDA)算法搜索和固定模糊度;试验结果表明,采用基于SVD-RLS的动对动模糊度解算方法,在100s左右即可正确解算出单频整周模糊度,基线误差在1cm以内,能够较好地适用于动对动高精度相对定位的实时解算。