面向空间应用高可靠图像数传设备的设计与实现

针对空间高速图像数传任务需求, 设计并实现了一种采用SpaceWire总线传输协议的高速图像数传设备. 该设备的硬件以FPGA为控制核心, 完成对SpaceWire协议芯片的初始化配置、收发数据包处理、中断和异常状态处理等操作. 重点阐述了FPGA的可靠性设计, 包括状态机设计、异步时钟域设计和数据包传输与链路错误的恢复设计. 测试表明该设备能够稳定可靠地实现140 Mbit/s的图像数据传输, 对于链路的突发错误在一定时间内具有错误数据恢复能力, 能够有效保证传输数据的正确性和稳定性.     

两种混合型软件单元的测试方法

软件测试是保证软件质量和可靠性的重要手段之一,软件单元测试是软件测试中的一个非常重要的阶段.充分的单元测试对发现和排除软件中的缺陷非常有效,并且所花费的成本也小.本文结合航天器嵌入式软件的单元测试具体实践,介绍了白盒技术与黑盒技术相结合的两种混合型的软件单元测试方法,旨在分析如何提高单元测试阶段发现错误的能力而提高单元测试的效率和效果.     

深空探测器动态约束规划中的外延约束过滤方法研究

随着深空探测任务的增加以及星上科学任务的日益复杂,深空探测器自主任务规划与调度技术成为研究的热点。在深空探测器任务特点与系统约束分析的基础上,将智能规划理论与约束可满足技术相结合,研究多层约束规划模型中约束的动态特征,设计了基于动态约束表的外延约束快速过滤算法,根据领域信息中活动间的冲突性特征来对新加入的活动进行分类和一致性检查。仿真结果表明:提出的算法能够有效地降低约束处理中无效的约束检查次数,降低问题处理过程中的算法回溯,提高规划效率和成功率。     

基于自适应阈值的粒子滤波非线性系统故障诊断

针对实际非线性系统传统方法难以实现可靠故障诊断的问题,采用粒子滤波算法,利用对数似然函数和作为评价指标,并借助自适应阈值的设计,研究了非线性非高斯系统的故障检测和故障隔离。阈值的选取,是准确判别系统是否发生故障的标准,本文通过分析非线性系统残差的统计特性,在判定残差统计特性成正态分布的基础上,设计了一种基于粒子滤波故障诊断的自适应阈值方法,减少了故障诊断的漏报和误报。通过非恒温连续搅拌水箱式反应堆的仿真实例,验证了该方法在故障诊断中的准确性和有效性。      

基于线性样条和CNN-LSTM的北斗卫星缺失数据处理方法

针对北斗某星辐射剂量探测数据缺失问题,提出了一种基于线性样条和CNN-LSTM神经网络模型的处理方法.在对数据特性分析的基础上,将原始数据分解为线性趋势项和季节波动项.对于线性趋势项,采用基于线性样条的缺失值处理方法;对于季节波动项,根据其时空变化特性,设计CNN和LSTM组合神经网络结构,完成季节波动项的缺失值处理....     

路网匹配定位方法研究

针对车载惯性导航设备由于其惯性器件随时间漂移产生误差导致系统定位精度逐渐变差的问题,提出了一种路网匹配定位方法以提高车载导航系统的综合定位精度,该方法基于视觉测量原理通过双目摄像装置采集道路周边环境特征进行匹配定位,介绍了匹配定位的基本原理和系统实现所需的关键技术,通过实际跑车测试,验证了该方法的合理性和可行性。     

面向多级中断系统的任务最差响应时间分析

针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与任务嵌套的响应时间分析相结合,推导出了混合模型下响应时间计算公式。并进一步比较了中断与任务的异同,阐述了公式中关键参数的含义与计算方法。最后利用开源的LEON3平台和Modelsim软件对所述方法进行了仿真验证,结果表明,任务最差响应时间过估小于5%,可以得到准确的分析结果,有较高的工程应用价值。     

红外动态目标模拟器光学系统的设计

设计了一种用于红外导引头性能测试的红外动态目标模拟器,利用数字微镜阵列(DMD)对黑体红外辐射进行反射调制,并由光学准直系统实现红外场景生成系统与红外导引头的光学耦合。用光学设计软件（ZEMAX）对准直光学系统进行了设计和优化,准直光学系统成像质量良好,接近衍射极限,点列图直径小于艾里斑直径,畸变小于0.1%。结果表明该系统环境适应性强,能很好地用于红外导引头动态图像的校准。     

TMS320VC5402并行引导装载方案设计

主要介绍了DSP TMS320VC5402芯片并行引导装载的实现方案。对硬件电路设计和配置文件编写过程中的要点作了讨论,并给出了实例。     

钛合金激光焊接残余应力试验与数值模拟

采用小孔释放法对钛合金薄板激光焊接残余应力进行了试验研究,并基于ANSYS分析软件,针对钛合金薄板的焊接残余应力进行了数值模拟,分析了不同焊接工艺参数对激光焊接残余应力分布的影响.