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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

我看好“中国版SpaceX”

近日,90后少年创办的中国首家私营航天公司公布了其发展规划,3年后他们将推出首枚商用探空火箭,搅动长期被两大国企—航天科工和航天科技集团垄断的市场。航天发射产业这块长期以来尚未被私营资本所涉足的处女地将由这些90后少年开挖第一铲,这是多么鼓舞人心的消息啊!私营企业开展火箭、卫星等的研制、生产和发射业务,可以加深航天事业对私营企业的技术和人才开放,鼓励支持私营企业与国有航天企业的合作,推动航天产业发展,促进航天技术在其他领域的应用,带动其他相关产业的发展。