面向源代码可信证据的航天软件可信度量评估方法

随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提...     

组合体航天器智能协同姿态控制研究

组合体航天器在姿态机动过程中的各单体卫星承受的控制力是不均匀的,局部控制力过大将会导致组合链接断裂而失效。应用多体动力学理论建立了组合体航天器间的相互作用模型,对内力、内力矩与整星姿态、控制力矩之间的关系进行了分析;仿真了极端情况下的内力矩分布,其大小可能超过常用对接机构的力矩承受范围;采用粒子群算(PSO)法对控制合力矩进行优化分配,通过预设初值和继承初值来加快PSO算法的收敛速度,实时调整各星控制力矩分配比例,减小星间相互作用力,实现组合体航天器的智能协同控制,保证组合体航天器的连接铰不因受力过大而损坏。算法仿真和Adams软件验证分析表明,本文建立的相互作用模型可准确计算出星间相互作用力,提出的智能协同姿控算法可显著降低姿控过程中的星间内力,确保组合体航天器的安全。     

基于Faster R-CNN的精密零部件的识别方法

在航空航天领域中,惯性陀螺等精密器件装配精度要求较高,目前大多采用人工装配的方法,装配效率低、装配过程受人主观影响大。针对上述存在的问题,采用基于Faster R-CNN模型的目标识别算法,通过VGG16特征提取网络提取特征信息,在模型训练过程中利用COCO数据集的深度网络模型进行迁移训练,防止模型过拟合并加速参数的训练过程。同时,该方法还与其他深度学习模型以及传统的目标识别算法进行了对比,在自建的数据模型测试集上进行试验。结果表明,基于VGG16的Faster R-CNN目标识别模型在复杂环境及物体发生遮挡的情况下对于惯性陀螺的识别具有明显的优势,准确率可达到87.80%,召回率80.30%,识别速度可达到15FPS,能够满足实时性要求。     

雷达对抗兵棋中的棋子设计与应用

棋子作为兵棋推演的基础体系,关系着兵棋开发的成败,兵棋的棋子设计是兵棋开发的基础工作。雷达对抗兵棋既要具备常规兵棋的一般特点,也要具备自身领域特色。从分析雷达对抗兵棋棋子的特点出发,重点找出各类棋子的主要属性,对雷达、雷达干扰、雷达诱饵、反辐射武器等棋子进行了设计,并分析了雷达对抗兵棋的典型应用。     

星载激光测高仪脚点坐标解算方法及机载验证*

通过分析ICESat-1和ICESat-2测高载荷地面脚点坐标解算方法,对比分析多波束、单光子体制对地激光三维测绘载荷与传统的单波束、全波形体制激光测高载荷在坐标解算方法上的异同,机载与星载激光雷达坐标解算的异同,建立机载激光雷达坐标解算方法与流程,利用自主研制的机载激光雷达进行飞行试验与验证,对后期机载、星载激光测高雷达激光脚点解算具有借鉴意义。     

基于FPGA的并行可配置Keystone实时处理架构设计*

针对雷达高速运动目标脉间存在距离单元走动而不利于长时间积累的问题,采用Keystone变换技术补偿距离单元走动是雷达提升高速运动目标检测和ISAR成像性能的一种有效方法。但Keystone变换计算复杂度高,在工程上实现实时处理极为困难。提出一种并行度可配置的Keystone实时处理架构,支持增加并行度来提升处理性能,实现资源与处理性能的互换。通过仿真和板上验证表明,Keystone处理架构是有效的。使用Keystone实时处理架构实现高速运算目标的相参积累与理论结果相比,最大相对误差小于10e-8;在并行度为1的情况下,平均单频点2048脉冲的Keystone处理需小于25μs,满足Keystone实时处理要求。     

最优导引律研究

与常规导引律不同，直接以追踪器航迹角为优化控制变量，基于最优控制理论，借助追踪末端的几何关系，设计了基于非线性追踪模型的时间最优导引律；之后，针对工程实现，又对它进行了改进研究，以克服理论设计的两点不足：一是数值计算存在误差，会削弱导引性能；二是最优条件过于理想化，目标轨迹无法预先知道，难于工程实现。仿真研究表明：本文提出的2种改进方法，基于分段优化计算和基于分段预测控制的最优导引方法，能够有效地克服理论设计的不足，使得所设计的导引律成为真正意义上的最优导引律。     

虚拟企业基于STEP的三维协同设计研究

通过对基于网络的协同设计结构进行深入的分析,确定了以各种典型CAD系统为设计支撑平台,以STEP交换文件作为信息传递的方式,利用NetMeeting对整个协同设计小组进行管理的三维协同设计系统结构。可以实现各协同设计者对产品数据的实时共享,使设计从传统上的“人-机”交互转变到设计者之间的“人-人”交互。能够充分利用现有资源、缩短产品的研发周期,从而实现异地基于三维、声音、视频的协同设计。     

楔形夹缝内部液体核态沸腾特性

针对楔形夹缝内部液体核态沸腾状况进行可视化实验研究。实验利用表面平整均匀的铜板作为加热平板,用玻璃作为盖板形成楔形夹缝。实验现象表明沸腾核化现象比较容易在狭缝中相对较大的空间中形成,而在狭缝中相对较小的空间里形成沸腾需要更高的热流密度。实验现象还表明,在同一空间尺度条件处的核化和气泡演化情况基本相同,气泡的生长速率在无量纲参数D≥0.1时受到空间尺度的明显影响。      

导弹的最小方差容错控制

提出了一种新的容错控制方案:随机参数最小方差控制。在这种方案中,控制对象被表达成为参数具有概率分布的随机模型。容错控制是随机参数和随机噪声情况下的最小方差控制。针对舵机回路传感器故障,设计了地空导弹容铅控制系统,并进行了数字仿真。结果表明,当导弹控制系统发生故障时,常规最小方差控制失效,但最小方差容错控制具有良好的动态响庆性能。