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

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

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

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

载人航天器体装太阳电池阵有效发电面积计算方法

航天器的发电能力与太阳电池阵有效发电面积成正比。针对圆柱形载人航天器，提出了一种体装太阳电池阵有效发电面积计算方法。首先，将太阳电池阵沿圆周方向划分为多个子阵，通过坐标变换，计算太阳矢量与每个子阵法线的夹角（即太阳入射角）；然后，将每个子阵面积与对应太阳入射角的余弦相乘并求和，得到体装太阳电池阵的有效发电面积。对不同轨道日照角、不同飞行姿态下体装太阳电池阵有效发电面积进行仿真分析，仿真结果表明:三轴对地姿态下平均有效发电面积为安装面积的25%~32%，通过固定角度偏航可将有效发电面积提高至安装面积的30%~44%。      

航天先进轻合金材料及成形技术研究综述

轻合金是现代航天装备轻量化首选材料,高性能轻合金构件制造能力决定了我国航天装备的功能水平与竞争力。为推动先进轻合金材料及成形技术在航天领域的应用,对高性能轻合金材料、铸造、钣金成形、增材制造等技术领域在基础理论、工艺开发、装备研制、工程应用等方面的发展现状进行了梳理,提出了高强耐热铸造镁合金材料、高性能钛铝合金材料、高性能镁合金熔模精密铸造、数字化铸造、旋压成形、超塑成形、钛/铝合金电弧熔丝增材制造等相关技术的后续发展方向。     

整体壳段典型特征高效模块化编程技术

整体壳段为航天产品核心零部件，具有结构复杂、尺寸精度高、材料去除率大、工艺过程复杂、加工周期长等特点。在壳段数控加工过程中，存在编程难度大、重复工作量大、效率低及编程质量与编程人员能力水平密切相关等问题。为了适应高效、高可靠性的任务需求，依托成熟商用CAM软件，通过对整体壳段典型特征的分析，基于UG NX软件平台研究并开发了典型特征自动化编程模块，有效提高了加工程序的质量稳定性，并极大降低了工艺人员的编程操作量，提高了工艺设计效率。     

基于自主可控SoC的航天控制系统集成应用研究

在分析SoC技术特点及航天SoC应用特点的基础上,提出基于自主可控SoC系统集成技术是航天控制技术的发展方向,并给出了基于自主可控SoC的航天控制系统集成和应用验证关键技术。     

利用地月间空间站的载人登月飞行模式分析

为提高空间站利用率，降低载人登月任务成本，有效开发地月空间，研究了基于地月空间不同轨道空间站的载人登月飞行模式。首先对比直接往返登月飞行模式，对基于空间站的载人登月飞行模式进行任务分析，通过空间站将载人登月任务解耦为载人天地往返任务和登月任务两部分；其次通过轨道设计和稳定性分析提出考虑登月任务需求的地月间空间站可运行轨道和停泊点；最后建立一套飞行模式评价模型，从速度增量需求、飞行时间、空间环境、登月任务窗口、测控条件、交会对接技术难度、后续任务支持性和任务可靠性方面对6种不同位置空间站的登月飞行模式进行分析和定量评价。评价结果表明基于L2点Halo轨道空间站的载人登月飞行模式为更优飞行模式。     

航天特因环境影响及有关选拔训练项目和模拟方法

航天员在航天活动中不可避免将遇到特殊而复杂的航天环境因素作用,其对人体会产生特殊影响,常人很难耐受和适应。而在地面模拟航天特殊因素环境并通过试验来选拔和训练航天员,是提高航天员对这些环境的适应和耐受能力的有效方法。文章简要介绍了航天特因环境及其对人体的影响,航天特因环境选拔训练项目以及载人航天环境模拟方法。     

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

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

降落伞收口绳载荷计算方法研究

在降落伞系统设计中,考虑到结构强度、质量和开伞过载限制等因素,需要对降落伞开伞载荷进行控制,收口设计是控制降落伞开伞载荷的有效方法。群伞系统通常采用多级收口设计以有效控制多个降落伞充气过程的同步性和开伞载荷的一致性。收口装置是降落伞的关键部件之一,其任何部分失效不仅会造成降落伞系统性能降低,并且有可能导致系统产生灾难性的故障。收口绳是收口装置的主要承力部件,由于降落伞充气展开过程十分复杂,精确计算收口绳的载荷较为困难,空投试验中也无法直接进行载荷测量。文章通过分析研究基本的理论方法,结合相关试验数据,提出了一种保守估计收口绳载荷的计算方法,并且给出了有效、实用的收口装置设计原则和建议。实际空投试验结果和数据表明:该方法是合理可行的,可以为降落伞收口环节设计提供依据和参考。