嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

转子叶片碰磨故障诊断的叶端定时方法

叶端定时技术是近年来兴起的可用于整级叶盘健康监测的非接触式测量技术,为转子叶片振动的在线监测与故障诊断提供了可能。针对转子叶片常见的碰磨故障,分别建立了单叶片与整级叶盘动力学模型,分析了上述两种模型在碰磨故障下的叶尖动态响应;提出了受碰磨影响较为明显的振动指标;阐述了碰磨状态下传感器之间及叶片之间的叶端定时信号特征,通过增强稀疏分解算法对叶端定时欠采样信号进行了特征提取;提出了一套用于诊断碰磨故障的流程。通过自主搭建的碰磨试验台验证了提出方法的有效性。     

超大口径环形天线包带展开过程动力学仿真

中间柔性包带是环形可展开天线的重要组成部分.中间包带拔销器解锁后,复材包带与环形桁架同步展开.因复材包带柔性较强,它会绕根部固定端进行回弹,因此展开过程存在金属接头和桁架上复材薄壁管件碰撞风险.随着天线口径增大,该风险会持续增大.基于柔性多体动力学理论对超大型口径环形可展开天线包带展开过程进行动力学建模仿真,并在此基础...     

高超声速钝锥模型及其尾迹红外辐射实验研究

介绍了利用InSb红外辐射计在弹道靶上测量底部直径为10mm、半锥角和头部半径分别为9°、2.2mm(模型A),8°、0.6mm(模型B)的两种非烧蚀钝锥模型及其尾迹的红外辐射.模型速度大于6km/s,飞行环境压力约4.8kPa,红外辐射测量波段为1~3μm、3~5μm.结果表明:非烧蚀钝锥模型头身部红外辐射远大于尾迹红外辐射,在相同飞行速度和环境压力条件下,模型A产生的红外辐射比模型B产生的红外辐射强.     

基于主动度量学习的空中交通相似场景识别

空中交通的快速增长不断增加了管制员的工作负荷,这已成为制约部门运行的重要因素.如果能够识别出相似的交通场景,就可以利用历史决策经验帮助管制员快速决策控制策略.考虑到交通场景众多且难以标记所有样本,本文提出了一种主动支持向量机度量学习算法(Active SVM metric learning algorithm,ASVM...     

自适应融合 RGB图像特征的稀疏深度修复

深度修复的目的是从稀疏深度图像中恢复出稠密的深度图像。现有方法通常是以稀疏深度图像及其对应的 RGB图像为输入,通过 1个卷积神经网络恢复出密集深度图像。然而,普通的卷积层在处理稀疏且不规则的深度信息时有较大的局限性,同时,RGB图像特征和深度图像特征属于不同的模态。针对这些问题,文章提出了自适应稀疏不变模块,根据输入像素的有效性来处理稀疏深度,并提出了结合注意力机制的多尺度特征融合模块,在关注有效特征的同时,抑制不必要的特征,进一步提高深度修复性能。文章在 NYUv2数据集上进行了一系列实验,实验结果表明了所提出算法和模块的有效性。     

考虑高斯能量分布的复杂表面航天器激光雷达散射特性分析

针对复杂表面航天器在激光雷达照射下散射特性模拟不准的问题,通过表面建模和激光特性修正进行了解决。该方法首先通过高斯能量分布法对激光光束模型进行修正;然后基于有限元的思想,针对航天器复杂表面非光滑、非连续以及多材质等特性,利用改进Z-buffer的消隐算法解决了复杂航天器表面建模问题;最后建立了面向激光雷达的复杂表面航天器激光雷达散射截面的计算方法。仿真分析表明:航天器不同姿态下的激光雷达散射截面精度提升了14.58%,为后续面向激光雷达的隐身设计奠定了基础。     

利用环境减灾二号A/B卫星红外相机数据监测沙尘暴

针对国产卫星数据在沙尘监测领域应用较少的情况,基于环境减灾二号A/B(HJ-2A/B)卫星搭载的红外相机(IRS)探测数据构建沙尘监测算法。在分析IRS分辨不同沙尘天气场景能力基础上,与中等分辨率成像光谱仪(MODIS)监测结果对比,分析了不同时间尺度下的沙尘遥感监测能力,并讨论了IRS的不足之处。结果表明：环境减灾二号A/B卫星数据质量整体较好,影像可以清晰地呈现陆地、云和沙尘等主要场景的整体轮廓及纹理,有利于准确提取沙尘天气;与MODIS监测沙尘结果相比,IRS的准确率和召回率分别为81%和与57.6%,其时空分布规律基本一致,IRS具备一定的沙尘监测能力;同时,IRS存在数据噪声、定标精度等问题。此研究对国产卫星在大气环境遥感业务中的大力发展应用有参考意义。     

基于前馈神经网络的柔性连续臂建模与仿真

柔性连续臂的设计研究近年来取得重大进展,但其建模研究一直相对滞后。为此,文章对柔性连续臂进行运动学建模研究,提出使用临时姿态矩阵求解逆运动学的方法,解决了逆运动学不易收敛的问题;利用前馈神经网络对基于模态振型函数（MSF）的模型进行拟合,建立一种端到端的正运动学模型和逆运动学模型,在保证模型精度的同时,显著提高了其逆运动学求解效率。该模型可以灵活更改前馈神经网络输入输出神经元的数量,从而将自身迁移到多节模型中。     

基于ATR-FTIR检测技术的航天器结构板表面污染物分析

文章制定了航天器结构板表面污染物成分鉴定与来源解析的技术方案,并根据该方案采用衰减全反射傅里叶变换红外光谱（Attenuated Total Reflection Fourier Transform Infrared, ATR-FTIR）检测技术对航天器热真空试验后结构板表面的白色污染物进行成分鉴定,结果表明污染物的主要成分为酰胺类物质。将疑似污染物来源物质的ATR-FTIR光谱图与污染物光谱图进行对比分析,推断出航天器结构板表面污染物来源于热真空试验过程中含胶热缩管内层的热熔胶,并通过验证试验证明了污染物来源推断的正确性。研究可为航天器污染物的预防和控制提供技术支持。