基于单差的动基准站伪距差分算法研究

伪距差分利用误差的空间、时间相关性,通过差分消除卫星段和传输段部分误差,获得亚米级的定位结果,因此被广泛应用于地基增强系统（Ground-Based Augment System,GBAS）等。传统的伪距差分技术应用于静基准站条件,编队航行、飞行等应用需要进行动基准站条件下的相对定位。本论述首先对传统的静基准站伪距差分算法进行介绍,针对动基准站差分的需求,提出一种基于单差的动基准站伪距差分算法,开展动态跑车实验。实验结果表明,基于单差的动基准站伪距差分的定位精度小于1m,可应用于编队飞行、航行等,为飞行器提供快速、灵活、准确的位置服务。     

关于g-函数的几点注记

利用g-函数对广义可度量化空间问题做了研究,推广了Nagata J（1999）的一些结论,部分回答了Nagata J（1999）中的公开问题[1,problem 1 and problem 3]．     

Hilbert空间上无穷可数族非自射k-严格伪压缩映象之公共不动点的带误差逼近

利用Petryshyn不等式引理和无穷可数族W 映象技巧, 证明了涉及无穷可数族非自射k 严格伪压缩映象{S_i: C→H}^∞_i=1的含误差的显式迭代算法的强收敛性, 从而在Hilbert空间将已有的自射非扩张映象的迭代算法推广到非自射k-严格伪压缩映象的迭代算法.     

Kernel(λ)之元的辛平延之积

在局部环上对辛群的生成问题进行研究,给出了辛变换的亏失数概念,将局部环上辛群的Kernel（λ）的元表示为辛平延之积．     

测量型工业CT系统关键技术研究与应用

工业计算机断层成像(Computed Tomography,CT)以其在非接触、无破坏的条件下对于待测物体内部结构进行高分辨率三维成像的优势成为实现全尺寸测量的有力工具.然而在实际应用中,工业CT在测量精度、可重复性、误差控制、数据采集效率等方面还有待进一步的突破与提高.为此,该项目通过深入探究X射线成像的物理机制,挖...     

无菌鼠模型制作方法与评价

无菌动物特别是无菌大鼠、小鼠的成功培育技术成为研究微生物与人类生命现象关系的关键技术。严格的无菌动物是指在动物体宿主内外任何部位及生活环境中均检测不出一切生命体。广义的无菌动物还包括清除肠道中大部分菌群的动物,又称为伪无菌动物。目前制作无菌鼠的方法主要有剖腹取胎无菌饲养法制作无菌鼠模型,抗生素鸡尾酒法制作伪无菌鼠模型。本文对无菌鼠模型的制作方法进行总结并对其优缺点进行评价。     

一个包含两个Smarandache函数的方程及其正整数解

研究两个包含Smarandache LCM函数SL(n)及伪Smarandache函数Z(n)方程的可解性,即方程Z(n)=SL(n),Z(n)+1=SL(n),利用初等及解析方法获得了该方程的所有正整数解,证明了下面两个结论:(1)对任意正整数n1,方程Z(n)=SL(n)有正整数解当且仅当n=pa.m,其中p为奇素数,a≥1及m为(p~a+1)/2的任意大于1的因数;(2)对任意正整数n1,方程Z(n)+1=SL(n)有正整数解当且仅当n=pa.m,其中p为奇素数,a≥1及m为(p~a-1)/2的任意因数。     

文本数字水印的概率算法及其可靠性

深入研究和分析了水印算法可靠性的实现手段,明确定义了文本水印算法的分层结构,为文本水印算法的研究提供了清晰的层次和思路.提出了具有隐蔽性、安全性和可靠性的基于蒙特卡罗(Monte Carlo)概率算法的文本数字水印算法,该算法不但使用了概率算法的伪随机序列,而且在映射层使用语句的位置来定位,提高了可靠性.再根据蒙特卡罗概率算法的思想,加强算法冗余强度,使可靠性进一步提高.最后通过理论分析和测试数据分析,证明了算法的高可靠性.它能够为水印的多种应用提供基础算法,是当前文本数字水印研究的进步.     

基于卡尔曼滤波的期货价格仿射期限结构模型

由于受国内外多种因素共同影响,期货价格在短时间内变动较大,为准确拟合与预测期货价格,本文根据期货价格的行为特征,提出一个n因素的仿射期限结构模型,并基于卡尔曼滤波和极大似然法,以沪铜日结算价的面板数据为样本时期货价格的期限结构进行实证分析.结果表明,该仿射模型对沪铜是适用的,而且模型中因素数目越多,模型拟合与预测能力越强,其中,2因素的仿射模型可以较为准确地模拟期货价格的期限结构,3因素的仿射模型可以较为准确地模拟和预测期货价格的期限结构.     

基于步进加速退化试验的电子产品可靠性评估技术

为实现高可靠、长寿命产品的可靠性评估,提出了步进加速退化试验的新方法.首先给出了步进加速退化试验方法及其基本假设,然后探讨了步进退化数据向恒加退化数据的折算方法,在此基础上提出了基于伪失效寿命的步进加速退化可靠性评估算法和基于随机退化轨迹的步进加速退化可靠性评估算法,最后利用试验数据对该方法进行了验证.结果表明:与恒加退化试验相比,该方法可以极大地缩短试验时间和减少试验样本,因此,具有更高的效费比.