一种基于VxWorks的星载计算机软件故障注入方法研究

给出了一种基于VxWorks的模拟单粒子效应的软件故障注入方法.该方法基于航天领域常用的多任务实时操作系统VxWorks,通过软件注入故障来模拟空间辐射环境引发的星载计算机硬件的单粒子事件.对软件故障注入的流程进行了详细说明,并在硬件开发平台上进行了验证.实验测试结果表明,该方法能够有效地对星载系统可靠性进行评测,并且具有操作简便、对目标系统影响小,不会对目标系统造成损伤等优点.     

航天器单粒子效应的防护研究

随着航天电子器件集成度的不断提高,其发生单粒子效应的风险越来越高,已经成为影响航天器可靠性和运行寿命的重要因素。文章首先介绍了单粒子效应的发生机理、研究方法和研究成果,在此基础上对现有的各种抗单粒子效应加固技术进行了总结,按照硬件加固技术、软件加固技术和轨道优化设计的思路较为系统地论述了单粒子效应的防护手段。     

抗单粒子翻转的可重构卫星通信系统

卫星在宇宙空间运行易受到各种高能粒子辐射,由此所产生的单粒子现象可能会影响卫星正常工作。新一代卫星通信平台不仅需要稳定可靠地工作,而且需要支持多数据速率、多调制模式、多传输频段以及具有星上交换和处理等功能。通过分析和总结单粒子效应种类及目前主要对抗方法,提出了一种基于软件无线电的全对称全连通可重构通信系统。该系统通过软件重构可以满足多用途以及星上处理和交换的需求,通过硬件平台的动态重构可以有效地克服单粒子效应的影响,其全对称全连通的结构可以显著提高系统的可靠性和使用寿命。
     

面向单粒子效应的航天嵌入式软件软防护技术研究

单粒子效应是影响航天器可靠性和在轨寿命的重要因素。单粒子效应引发的可恢复性错误称为软错误,会导致软件运行出错。本文针对单粒子效应引发的软错误,对航天嵌入式软件中采用的软防护技术,按照控制流防护和数据流防护进行了分类分析和总结。     

国产先进工艺SoC器件空间单粒子效应试验研究

国产某型号导航SoC器件采用55 nm商用工艺生产.针对该型器件的辐射敏感性分析表明其易受单粒子效应影响,为此利用重离子加速器完成空间单粒子辐照的地面模拟试验,考查器件的单粒子效应,为其空间应用提供数据支撑.结果表明:器件抗单粒子锁定的LET阈值大于81.4 MeV·cm2/mg,满足空间应用指标要求;但器件对单粒子翻...     

尾部喷流对飞行器阻力影响的数值模拟分析

底阻在弹类飞行器阻力中占比较大,准确预示底阻对于弹类飞行器飞行性能评估至关重要,而发动机尾部喷流对底阻影响明显。采用基于雷诺平均Navier-Stokes方程的流场仿真方法研究了飞行器底部发动机喷流和外流干扰流场特性,主要分析了喷流对飞行器阻力的影响。飞行器安装了两台推力可调的液体火箭发动机,发动机在不同飞行工况下采用不同推力工作。分别研究了亚音速、跨音速和超音速典型飞行工况下弹体底部无喷流状态、单喷管喷流状态和双喷管喷流状态时,飞行器阻力变化情况。结果表明:不同马赫数下,发动机喷流对底部阻力影响情况基本一致,与无喷流情况相比,当发动机工作时,无论单喷管喷流还是双喷管喷流状态,底部发动机喷流引射效应明显,弹体阻力系数明显增加。     

稀薄气体效应对尖前缘气动热特性的影响研究

针对未来高超声速巡航飞行器尖化前缘、大升力面的构型特征,分别采用NS方法和DSMC方法,对高超飞行器局部部件的模化外形进行了努森数从0.01~0.5变化时气动特性的计算分析,对比了连续流方法与稀薄流方法所得结果的差异性,给出了稀薄效应对局部气动热特性影响的定量分析,旨在研究局部稀薄气体效应对气动热特性分布的影响规律。结果表明,努森数从0.04~0.5变化时,连续流方法和稀薄流方法所预测的峰值热流差距可达25%~40%,稀薄效应对热流的影响已达到不可忽视的地步。相对于热流而言,物面压力分布对稀薄效应的敏感性较弱,局部热流对这种局部稀薄效应非常敏感。NS方法所预测的结果普遍大于DSMC方法所得结果。
     

SRAM型FPGA单粒子效应测试方法及试验验证

针对空间用SRAM型FPGA器件抗单粒子效应性能全面测试评估的要求,研究内部不同资源电路结构的单粒子效应敏感性及测试方法,利用重离子加速器开展抗辐射加固SRAM型FPGA单粒子效应模拟辐照试验,对配置存储器、块存储器、触发器等敏感单元的单粒子翻转、单粒子功能中断、单粒子锁定特性进行研究。试验结果表明,所提出测试方法能有效地覆盖测试SRAM型FPGA单粒子效应敏感资源,所测试抗辐射加固SRAM型FPGA器件具有良好的抗单粒子锁定性能,但对单粒子翻转和单粒子功能中断非常敏感,静态测试模式下对单粒子翻转更为敏感。有关测试方法和结果可以为SRAM型FPGA的单粒子效应评估及防护提供参考。     

激光模拟单粒子效应设备及试验研究进展综述

单粒子效应的脉冲激光模拟方法是单粒子效应地面模拟试验中近年来才发展起来的一种方法。文章主要介绍了脉冲激光模拟单粒子效应的基本原理、特点及国内外研究进展。研究表明脉冲激光模拟是一种有效、安全、经济、方便的地面模拟单粒子效应的方法,在器件单粒子效应危害评估及电路加固验证方面具有明显的优势。     

基于小样本学习的多因素单粒子翻转截面预测

针对空间粒子辐射效应评价中的多因素影响问题,提出了端到端数据驱动方法预测多因素条件下的单粒子翻转截面。首先通过卷积神经网络进行多因素特征提取,接着利用小样本学习匹配网络进行样本间特征融合,最后使用集成学习回归器预测重离子线性能量传输和单粒子翻转截面的关系曲线。在公开文献中提取的2种类型182个样本的小规模数据集上,对该模型进行端到端训练和测试,结果表明:该方法能够有效预测大部分场景下的多因素效应单粒子翻转界面,并能对各因素的重要程度给出量化评价,在国产处理器SM750的案例分析中获得了与重离子辐照实验相当的系统失效率上界。与传统方法相比,这种方法不依赖经验参数,具有更广泛的应用场景。     

一种用于星载系统可靠性评测的软件故障注入工具

随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFIOS),该故障注入工具针对星载系统这一特殊对象而开发,采用包括时间、空间、事件在内的多种故障触发方式,不仅能通过软件的方式随时随地注入接近实际的星载故障,而且操作简单,不需要修改星载系统的应用任务,对星载系统影响较小。实验结果表明,采用该故障注入工具评测星载系统可靠性的具有较多的优点和潜力。     

星载合成孔径雷达图像的飞机目标检测

针对大场景下星载合成孔径雷达(SAR)图像中飞机目标检测问题,提出一种端到端的飞机目标检测算法。先在大场景SAR图像中对机场目标进行粗检测,定位机场区域,再通过精确分割算法获得机场的精细区域。对机场区域中的飞机目标进行检测,采用一种基于Canny算子的边缘检测与卷积神经网络结合的飞机目标检测算法。通过飞机边缘检测、边界框预处理等操作确定潜在飞机目标在机场中的位置范围,采用基于GoogLeNet的卷积神经网络对可疑目标进行鉴别。利用星载合成孔径雷达数据对算法进行验证,证明该方法的有效性与实用性。     

基于matlab的飞行器并行MDO方法的研究与实现

在Parmatlab的基础上开发出适合网络通讯的maflab工具箱MD0504 toolbox，此工具箱提供了在matlab环境下进行并行计算的函数。在此工具箱的基础上开发出进行多学科设计优化的软件GSEOPT，GSEOPT在并行环境下实现了基于全局灵敏度方程（GSE）的单级优化算法，用并行的方法求得了全局灵敏度，在系统层进行优化。最后用此软件对某飞行器进行了并行优化设计，给出了计算结果，并与参考文献结果进行了比较，得到了更好的结果。     

用于相异性设计的模糊重用库

容错设计是提高软件可靠性的有效途径，但是由于设计多样性实现很困难且开销大，导致该项技术实现很困难。为此，提出了一个基于重用的应用框架。该框架的提出将相异性设计过程转变为根据可重用参数从大量具有相同功能软件组件中选择合适的组件来构成容错系统，从而简化了软件开发过程。同时为了更准确地描述组件，采用了模糊逻辑来表达其与上层概念的关联关系。本文介绍了重用库系统结构的设计及其对容错设计的支持。     

近场飞机目标的幅度及相位特征研究

用４ｍｍ波段测量系统对飞机模型进行了弹目交会动态雷达截面积（ＲＣＳ）统计测量研究，并详细地研究了飞机目标近场区的各局部部位的概率统计分布规律，其结果显示出和远场区分布有着非常大的差别，此外，还用矢量相减技术对雷达目标进行了幅相特征信息提取研究，取得了满意的结果。     

基于自适应FBFN网络的不确定系统容错方法

提出了一种基于自适应模糊基函数网络(AFBFN)的不确定系统的容错方法,解决不确定系统的故障容错问题。不确定系统由已知数学模型和未知模型组成。应用模糊基函数网络(FBFN)离线估计不确定系统无故障时的未知模型,用AFBFN在线估计系统的未知模型。由已知数学模型和FBFN组成参考模型。根据参考模型、实际系统和AFBFN的输出用另一个AFBFN得到不确定系统的反馈控制输入,使实际系统跟踪参考模型给出的期望输出。最后给出了某飞机的微波着陆系统仿真结果。     

一种机动目标无源定位的新方法

目前对仅用测角信息的单站无源定位问题的研究，主要是基于固定辐射源目标以及匀速直线运动的辐射源目标，而在实际应用中目标常常是机动的。由此，提出了一种可调白噪声UKF方法。该方法在机动目标跟踪中使用可调白噪声模型方法，它不需要假定目标的机动加速度模型，而是通过检测跟踪滤波器归一化新息平方来调整过程噪声，从而实时地修正估计结果。同时算法对量测模型非线性问题采用UKF予以解决，不仅能克服EKF中引入的较大线性化误差对机动目标跟踪算法性能的影响，而且算法实现简单。最后将该算法与三种机动目标被跟踪算法相比较，仿真结果验证了提出算法的优越性。     

微波功率均衡器的小型化设计

文章设计出一种小型化的微波功率均衡器。分析了均衡网络中谐振吸收枝节的特性,并讨论了谐振单元间匹配网络的设计原则与约束。对谐振单元和级间匹配网络的参数进行设定和调整,并利用仿真软件进行优化分析,可以设计出满足目标响应的均衡器。基于该方法,设计了频段为1GHz-2GHz、小型化的微波功率均衡器。     

CCD组件的热分析和热试验

CCD组件是CCD相机能否传输高质量图片的关键 ,其对工作环境温度的要求非常严格 ,过高或过低的环境温度都会降低其光电转换的能力 ;同时 ,其自身的温度波动过大更会产生热噪声 ,从而使相机的分辨率降低。文章采用NEVADA和SINDA热分析软件计算分析了用电加热功率补偿来保持CCD片温度水平并减小CCD片温度波动的设计方法的可行性 ,得出了几种不同功率补偿方案对CCD组件温度波动的影响。并通过一个热平衡模拟试验验证了热分析的正确性     

平流层飞艇的能源技术和平衡分析

平流层飞艇作为近空间对地观测平台的一种实现方案,主要依靠自身庞大体积产生的静浮力而不像其它飞行器依靠相对空气运动产生升力,所以飞艇能够以较慢的速度飞行甚至能够在空中长期保持定点悬停即相对地面静止。具有长时间在平流层自主飞行的能力,是平流层飞艇设计的一个重要目标。文章对平流层飞艇能源系统的构成、部件及能源平衡分析方法作了介绍。