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

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

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

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

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

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

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

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

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

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

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

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

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

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

欧盟框架计划航空研发项目特点分析及启示

欧盟框架计划航空研究始终围绕满足社会和市场需求,保持和扩大工业领导地位,保护环境和能源供应,确保安全和安保,优先考虑研究、测试能力和教育等作为重点支持领域,以满足社会需求和保障欧洲全球领导地位。项目针对产品潜在应用需求,提前开展关键技术攻关和综合集成演示验证,技术成熟度1～6级。利用全球资源,组成包括大型企业、科研机构、大学、初创公司等发挥产学研用的研发团队。中国航空研究院自2005年起,参与欧盟框架计划交流平台项目和技术研究项目,建立了与欧洲航空科研机构交流的正常渠道。本文通过对欧盟框架计划航空研发项目特点的系统分析,以期推进中国民用航空科技的发展和对外合作。