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

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

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

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

预警机任务电子系统大修必要性研究

预警机任务电子系统庞大复杂,目前国内的预警机大修主要是针对载机平台进行修理,而任务电子系统仅是附带修理。通过分析预警机任务电子系统工作环境、使用损耗、试修中出现的问题及修理后的故障率等,引申出任务电子系统大修的必要性。本文是国内首篇涉及预警机大修领域的文章,可为今后同类特种飞机的任务电子系统大修提供参考。     

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

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

低成本高可靠综合电子系统集成技术

我国现有的卫星电子产品的传统研制模式已很难适应卫星快速增长,型号对于平台的管理控制核心的电子系统提出低成本、高可靠、快速响应、快速研制的迫切需求。通过构建低成本、高可靠计算机系统体系架构,设计基于COTS器件的星载计算机,并采取包括系统、模块、器件的多级可靠性冗余设计及验证技术,为实现低成本、高可靠、长寿命的产品研制,满足型号长期在轨任务要求奠定基础。     

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

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

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

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

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

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

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

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

面向下一代运载火箭的综合电子系统集成技术

介绍了面向下一代运载火箭分布式模块化电子系统(DIMA)的集成技术及系统架构。针对下一代运载火箭复杂电子系统的特点，按照系统集成的路线，对系统设计目标、系统功能需求分析、系统抽象机制、系统综合技术等多方面进行论述。首先，根据电气系统功能获得系统需求，采用功能抽象和层次抽象定义系统抽象模型，提取出高内聚低耦合的原子功能模块，并对模块的属性、交换关系、时序约束关系等进行定义；然后采用可视化表征方法对系统进行深入分析，利用系统综合技术实现了从系统功能到硬件资源的映射，从而给出了集成控制单元和模块的种类；随后采用分时分区的设计理念对系统节点分区划分方案及容错架构进行了定义，并对分区操作系统的调度模型和交换式的数据交互网络进行了论述，最终给出了系统软硬件架构。