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

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

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

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

CFRP反射器型面主动控制和作动器位置优化

研究了运用压电陶瓷作动器对碳纤维增强复合材料（CFRP）格栅反射器的型面主动控制。首先，采用了一种具有独立电压自由度的梁单元，以及考虑高阶剪切变形的板单元，对主控格栅反射器进行有限元建模；运用能量变分哈密尔顿原理推导了主控格栅反射器的有限元控制方程，并给出了反射面型面残余均方根（RMS）误差最小的电压最优控制方法。然后，研究了在典型载荷下，反射面残余RMS误差最小的PZT作动器位置分布的优化配置问题；提出了一种将遗传算法和梯度投影方法相结合的改进优化方法，用来求出在限定作动器数量的条件下，作动器几何位置的优化配置，使控制后反射面的残余RMS误差最小；给出的数值算例验证了方法的正确性和有效性。最后，研制了格栅反射器型面主动控制的实验样机，针对反射器的初始制造误差进行了型面主动控制，验证了控制方法的可行性和有效性。     

单向电永磁作动器结构优化与动态特性分析

针对电磁作动器的使用要求，设计出一种具有能耗低、吸力大及响应快等特点的新型单向电永磁作动器。结合有限元仿真软件，利用有限元法研究作动器的结构参数如铁芯齿形结构、平面结构、无永磁结构、铁芯的倾斜角度及衔铁位移（气隙厚度）等因素对作动器电磁吸力和响应速度的影响。结果表明，电磁吸力随着作动衔铁位移的增加而大幅度减小；倾角结构的铁芯设计能使作动器性能达到最佳，且铁芯的倾斜角度为50°时，电磁吸力有最大值3071N。     

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

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

探月返回器降落伞减速系统设计及试验验证

针对探月返回器降落伞减速系统的任务特点,通过对返回器-降落伞系统的动力学特性分析,提出了一种开伞载荷非均衡的两级降落伞减速系统设计方案,实现了返回器开伞载荷、器伞系统稳定性等多因素的匹配性设计,通过仿真试验和空投试验验证了方案设计的合理性,最终通过月地高速再入返回任务飞行试验验证了降落伞减速系统性能的有效性。结果表明:降落伞减速系统工作性能稳定可靠,能够确保返回器的安全回收,可以保证后续月球采样返回任务的成功实施。     

虚拟现实及其在航天领域的应用

人类文明的发展,离不开信息传媒手段的进步。从古至今,信息传媒方式已经发生了多次重大变革,如从口头传说、书信、图书、报纸的流通,到电话、电报、广播、电视、录音机、录像机、光盘机的应用等。近些年来又出现了一种全新的手段……虚拟现实,引起人们的极大兴     

微型加工的硅加速度计B—290

加速度计Ｂ－２９０是应用在姿态与航向基准系统中新一代的惯性级敏感器。Ｂ－２９０敏感器是用微机械加工方法进行设计和生产的，它应用平板印刷术，化学汽化沉积法，异向性刨刻法、金属溅蚀法硅－硅粘接法。所用的主要设备和电子芯片的生产相类似。它包括粘接在一起的五个硅板，整个处理过程是在一个晶片组件上加工１４０个敏感器。     

形状记忆合金在飞机除冰器上的应用

形状记忆合金可用来制造致动器、紧固件及接头件。形状记忆合金可在一个窄的相变温度范围内产生大的力及运动，因此，它已成功地用于飞机的液压管路的连接。近年来形状记忆合金正在飞机上寻找新的用途，其中之一是用作除冰器。这里介绍美国ＩＤ公司的试验研究工作。关键词：