航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

基于机器学习方法的三维粒子重构技术

通过三维粒子重构获取粒子场的分布情况是层析粒子图像测速的关键步骤，有限二维投影下的三维粒子重构是一个欠定的反问题，其精确解往往很难得到。一般情况下，可以通过优化方法得到近似解。为了获取质量更高的粒子场并用于层析粒子图像测速，提出了一种基于卷积神经网络（Convolutional Neural Networks，CNN）的粒子重构方法。所提出的技术可以从基于传统的代数重构技术（Algebraic Reconstruction Technique，ART）的方法所得到的粗略粒子分布中进一步提高粒子重构质量。与现有的基于ART的算法相比，新技术在重构质量方面有了显著的改进，可以有效剔除虚假粒子并更准确地还原粒子形状，并且在粒子浓度较稠密的情况下计算速度至少快了一个数量级。     

2021年世界重要空间科学发射任务

2021年全球重要的空间科学发射任务逾10次，主要是美欧的空间天文、月球和深空探测任务，我国也将发射首颗空间地球科学卫星“广目”。此外，多个中外载人航天任务亦将为空间科学与探索搭建新的平台。      

安全性评估流程在现役飞机维修中的应用研究

针对部分现役国产飞机在研制阶段尚未应用国际主流的安全性评估流程和方法、客观上存在一些单点故障导致飞行事故和飞行事故征候等问题,探讨在已定型飞机上使用安全性评估流程方法和思路识别可能存在的导致飞机产生飞行事故征候及以上重大问题的故障点、风险点,以作为维修企业提升飞机维修质量安全水平的参考。     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

航天飞行器结构应力腐蚀基因解析及应用

应力腐蚀(SCC)是一种易引起航天飞行器结构无征兆事故的多因素耦合作用失效类型。为厘清SCC机理,文章从基因角度解析SCC的应力因子和微观因素,探索SCC基因测取方法和无SCC事故内涵。分析表明,SCC应力基因位于远低于σ_S的量值区间,其微观基因包括溶解阳极、氢、电负性离子、滑移位错、钝化膜和晶体取向,可采用多尺寸断裂形貌、化学浓度、电位/电流、应力/应变等参数测取SCC基因组态和SCC敏感性。基于SCC基因分析,航天飞行器结构设计寿命内无SCC事故原则应包括合理设计、精准评价和正确失效分析三部分。     

多臂空间机器人的视觉伺服与协调控制

针对多臂空间机器人自主目标抓捕任务，首先建立多臂空间机器人的运动模型和其与目标的相对运动模型，采用Kane方法建立多臂空间机器人的动力学模型；其次，研究基于视觉伺服的机械臂在线轨迹规划算法，并引入零反作用机动，消除机械臂运动对平台姿态的扰动；再次，在不使用零反作用机动功能时，分别使用基于角动量前馈补偿的协调控制算法和逆动力学方法设计了协调控制器，在机械臂运动时保持平台姿态和相对目标的位置。最后，开发了基于Matlab的仿真软件MASS（多臂空间机器人仿真），仿真结果校验了上述方法的有效性。     

移动机器人铣削制孔系统基准检测

结合航空大部件的数字化对接装配需求,设计了一套用于对接面铣削制孔的移动机器人加工系统,并提出具体的加工工艺流程。研究了基于激光轮廓扫描仪的大量散乱点云数据的预处理算法,提出基于栅格法和迭代拟合法的对接面特征提取算法。针对移动机器人加工系统在大场景下的高精度定位问题,提出基于扫描线法和最小二乘法原理的对接基准孔坐标找正算法。通过产品的加工实验验证,对接面铣削和制孔精度满足系统要求的各项技术指标,证明了本文提出的移动机器人铣削制孔系统的装配对接面加工方法能够精确地完成大部件数字化装配任务,对提高装配质量和效率具有重要意义。     

推行"6σ"管理方法为企业发展奠定基础

介绍了哈飞公司开展“6σ”管理的设想 ,实施“6σ”管理方法的基本内容和做法 ,以及开展“6σ”管理对企业长远发展的重要意义