3N+1猜想证明探索

本文介绍了3N+1猜想的背景及国内外研究概况,提出四个公理和一个引理,探索了五种证明猜想方法。     

基于四元数非线性误差模型的快速传递对准(英文)

基于小角度假设的常规线性误差模型不能适用于大失准角时的初始对准,针对这一问题研究了一种没有小失准角假设,以速度误差和姿态四元数误差作为量测的非线性快速传递对准误差模型,并证明当误差变为小角度时,该非线性误差模型可以简化为常规线性误差模型。使用 Unscented 卡尔曼滤波代替通常采用的扩展卡尔曼滤波来处理非线性数据融合问题。为了评估和分析该非线性误差模型,设计了一个传递对准仿真系统,仿真结果表明,当初始失准角为小角度时,该新模型和线性模型有着相当的对准性能,但是当初始失准角为大角度时,本文提出的非线性误差模型仍然能够精确完成对准过程,而基于线性误差模型的对准滤波器却发散了。     

基于CUDA的GPS信号快速捕获

为实现基于PC平台的GPS软件接收机C/A码信号快速搜索,提出了一种由GPU完成信号搜索计算的快速实现方法。该方法以基于FFT的码相位并行搜索算法为基础,通过CUDA编程,由GPU完成主要的计算任务,实现了信号搜索在GPU上的并行计算。最后,将该方法与在CPU上实现的捕获方法进行了比较测试,结果表明：新方法的捕获速度显著提高,冷启动条件下,搜索全部32颗卫星只需1.653秒,为GPS软件接收机的实时化提供了重要保证。
     

一种载人飞船自主应急返回控制参数星载计算方法

传统的飞船应急救生控制参数是在地面计算生成并上传到飞船上的,这种方法对频繁进行轨道调整的飞船并不适用,本文探讨一种新的飞船自主应急救生控制参数计算方法,利用船载GPS资源进行快速轨道外推,并使用解析方法和神经网络方法计算返回控制参数,以适应复杂飞行任务的要求。     

3GPP中TFCI编译码研究

在3GPP（第三代合作项目）协议中,为了提高传输格式组合指示（TFCI）的可靠性,对其采取了基于Reed-Muller码的超码编码。与经典RM编码相比,不但增加了码距,提高了纠错能力,而且可以利用快速哈达玛变换（FHT）提高译码速度。文章对协议中的编译码算法进行了研究,并对其纠错能力进行了仿真。     

基于可变带宽数字锁相环的快速载波同步

锁相环的环路带宽和捕获时间是两个相互制约的因素。提出一种基于最小均方误差准则的自适应调整环路带宽的数字锁相环,能将锁相环的入锁时间缩短为常规锁相环需要时间的1/10,同时在稳态下达到很小的环路带宽以抑制相位噪声。     

民用飞机后机身参数化设计探究

通过对民用飞机后机身外形特征的分析,总结了民机后机身外形定义的关键参数,研究后机身外形参数化外形成型的可能性,提出了民机外形参数化设计的方法和思路。     

基于微核结构的可二次开发语音平台

随着电子商务、客户服务等信息服务的普遍化,为了满足各种商业以及服务系统的需求,语音服务作为电信领域备受关注的一个热点,其应用领域也越来越广泛。本语音平台是基于语音技术,整合了网络资源,使用VoiceXML描述和控制语音逻辑的一种交互式服务系统。其特点是信息获取快速准确,以及客户服务多样化越来越明显。可广泛应用于证券电话委托、电话银行、信息查询、语音信箱、自动传呼系统、多功能小型用户交换机等领域。     

基于全景子空间的尺度不变特征跟踪方法

提出一种基于全景子空间尺度不变特征跟踪方法,包括离线阶段建立全景图像与原始图像序列特征集对应关系和在线阶段基于关键图像识别的特征匹配等过程.首先利用全景图充分覆盖局部场景信息特性,通过扩展Kd树组织全景图特征并建立其与原始图像序列特征对应关系,不但解决了图像间特征对应,而且能够有效减少全景图冗余特征量,提高首次特征匹配速度.然后给出一种基于投票策略的关键图像识别方法以进一步完成二次特征匹配,从而将多图像大数据量特征匹配转换为单图像小数据量特征匹配目标,较好实现了特征匹配速度与稳定性的平衡.试验结果表明本方法能够有效增强特征跟踪的稳定性.      

一种应用三角内插技术的频率估计算法

Rife和Quinn等基于FFT的频率估计算法性能不够稳定,在部分频率点能获得满意的估计效果,但在其它频点估计性能恶化严重。本文将三角内插技术应用于频率估计,提出了一种新的基于FFT的频率估计算法,能够克服他们的缺点,非常适合于低信噪比条件下卫星通信信号的接收。该算法首先用FFT实现频率的粗估,再应用三角内插技术提高估计精度,最后对估计偏差进行修正,保证了估计的无偏性。仿真结果表明该算法能实现非常精确的频率估计,且估计性能不受信号频率的影响,在各频点上估计方差都非常接近克拉美劳界（CRB）,具有很低的工作门限。与时域估计算法相比,相同估计方差条件下该算法运算量低、易于实现。