基于序列图象的三维刚体运动估计研究进展

序列图象运动估计是动态场景分析的基础,它主要研究如何从变化场景的一系列不同时刻的图象中,提取出有关场景中物体的位置、运动和结构等信息。在综述了基于序列图象运动分析的传统方法及其技术特点和存在的问题后,分析了基于序列图象的三维刚体运动估计研究的发展趋势。     

生成矩形毛坯最优两段排样方式的递归算法

提出一种递归算法生成矩形毛坯两维两段排样方式。这种算法将板材分成两段,同一段中所有条带的长度和方向都相同,二段的条带方向相互平行或垂直,不同尺寸的毛坯可以在一根条带中出现。通过递归在段上生成最优条带布局,隐式地讨论所有长度的段,确定所有两段组合的价值,选择价值最大的一个组合作为最优解。计算结果表明,该算法在计算时间和材料利用率两方面都有效。最后,一个实际问题的解表明:使用该算法,材料利用率较高。     

北斗双向授时技术在遥测地面站组网中的应用研究

卫星授时以其安全、可靠、稳定、精准等优势广泛应用于各领域。本文立足遥测地面站对时间的高精度、协同性、实时性、网络化的需求，在简述了几种典型授时技术应用特点的基础上，深入开展了北斗卫星授时技术研究。首先对北斗时间系统的组成，以及单向、双向授时技术优缺点等进行了论证，重点分析了RDSS（Radio Determination Satellite Service，卫星无线电测定业务）双向授时的技术实现、理论推导、误差影响和精度评估等；然后，结合遥测地面站授时现状和需求，提出了遥测地面站组网应用中时统的总体思路，通过三级控制、统一溯源、内外互联、由点到面的模式，构建了“以北斗双向授时为主，NTP（Network Time Protocol，网络时间协议）计算机网络授时为辅”的网络化授时体系，并对遥测地面站组网应用场景和入网策略进行了分析论证。本文研究具有较强的实践性和可行性，可为网络化授时应用提供参考。     

HPM对伪码脉冲无线电引信的压制干扰效应仿真

为了对高功率微波作用于伪码脉冲无线电引信的干扰效果进行分析,建立了引信信号处理模型并进行了计算机仿真。仿真结果表明,在频率对准的情况下,当 HPM进入引信距离门对回波信号造成压制时,由于 HPM的信号频带较宽,覆盖了多普勒滤波器带宽,多普勒滤波器的输出信号幅度仍可达到启动门限电平,压制干扰无效。     

CPU-GPU协同高性能卫星数传预处理方法

空间数据系统咨询委员会(CCSDS)协议的分层特征对数传预处理的完全并行提出挑战，虚拟信道、应用过程的多路复用为并行处理提供契机。本文面向高性能数传预处理需求，在分析处理性能瓶颈的基础上，提出一种层间流程中央处理器(CPU)控制、层内瓶颈步骤GPU加速的协同处理新方法。以高级在轨系统(AOS)帧循环冗余校验(CRC)、工程参数提取与物理量转换算法为研究对象，对图形处理器(GPU)线程分配、CPU-GPU协同任务划分进行设计。实验结果表明:方法可实现CRC校验11.449 6 GB.s^-1、工程参数提取与物理量转换0.902 4 GB.s^-1的处理速率，性能较传统CPU架构提升显著。     

无人机载MiniSAR实时成像处理GPU异步优化

合成孔径雷达(SAR)以其全天候、全天时的工作特性及其分辨率不随平台高度变化的成像特性，已成为航天遥感、目标检测领域重要的传感器之一。SAR算法复杂度往往与成像分辨率呈正相关，其中计算量问题成为雷达成像实时性的一大挑战。无人机载MiniSAR具有小型化、低功耗、灵活性强和隐蔽性强等优点，其小型化使设备计算能力受限，加剧了复杂度与分辨率之间的矛盾。图形处理单元(GPU)和多线程技术发展迅速，为无人机载MiniSAR实时成像提供了平台。本文根据实时处理机数据流和GPU异构系统的特点，提出了一种GPU异步优化方案，该方案可明显提高中央处理单元(CPU)与GPU之间的并行工作效率，节约大部分的数据存取开销。实验结果证明:GPU的成像效率是单CPU系统的12倍左右，在此基础上，使用GPU异步优化方案后效率可继续提升15%左右。本文提出的设计思路可显著缓解无人机载MiniSAR的实时成像计算压力。     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。     

基于GPU指令转发的虚拟化图形引擎设计及实现

为了满足机载座舱显控系统对图形引擎的性能要求，设计了一种基于半虚拟化的机载图形引擎实现方案，并在嵌入式平台上进行实现和测试.结果表明采用本文设计的虚拟化图形引擎，可以满足多个虚拟机同时使用GPU进行绘制的需求的同时，可以有效发挥多核CPU的性能,在提高了产品集成度的同时，显著提升了机载图形应用的性能。     

运动目标的静电场探测仿真分析

为了对距导弹不同距离下所得的探测电流进行分析对比,建立了相应的导弹模型并进行了计算机仿真。仿真结果表明:远场时,所得探测电流与理论探测电流近似;近场时,则与理论探测电流差异巨大,并且随距离接近,受尖端放电影响,近场中不同距离所得数据也相差甚远。