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

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

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

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

基于内话系统的空管语音通信架构设计与实现

本文通过分析、研究传统在用空管语音通信架构存在的问题,利用VOIP、RADIO-COUPLER等新技术、新设备,尝试搭建了一种新的语音通信架构。在新的架构下,空管通信系统之间无损共享语音信号,空管通信系统的可靠性、灵活性得到了有效的提升。     

抗多径效应的全范围多员出舱通信方法

针对载人航天器规模大和出舱活动范围广的现状,提出一种抗多径效应的全范围多员出舱通信方法,以解决传统出舱通信方法测控覆盖率低、多径效应影响严重的问题。通过在载人航天器外侧等间隔布置多副天线,实现相对于载人航天器360°范围内的出舱活动测控全覆盖。通信体制采用前向与返向频分双工体制(FDD),各出舱航天员之间采用直扩码分多址(DS-CDMA),对各出舱航天员设计不同的扩频码,解决多人出舱带来的通信互扰问题。为解决由于载人航天器遮蔽、反射带来的多径效应问题,前向链路和返向链路分别采用时间分集技术和空间分集技术的通信方式。仿真结果表明:同样满足10~(-5)误比特率的指标,全范围多员出舱通信方法比传统的单天线和三天线出舱通信方法的信噪比优化1.1~4.5dB,并且能实现全范围出舱活动的测控覆盖和通信连续。     

基于发布订阅的进程间通信设计与实现

航天器的每一种行为都需要多种信息的综合，这使得有效传递传感器数据成为关键问题.机器人操作系统(ROS)将基于主题的发布订阅作为内部的一种通信机制，解决消息的传递问题.由于ROS使用C++编写，无法直接应用在嵌入式平台中.本文利用C语言实现了ROS中基于发布订阅的通信机制，将信息的传递过程虚拟化成很多节点，每个节点可以选择自己感兴趣的话题成为发布端或者订阅端.发布端/订阅端并不需要知道其他节点的信息，实现功能解耦.目前，该方法在Windows平台上进行了单机和多机间的测试，通信效果良好，完成了进程间数据的传递.     

面向下一代载荷系统应用的光子集成芯片探索

文章以光子集成技术在未来卫星宽带通信与中继一体化系统应用为出发点，开展光子集成载荷应用需求分析，完成了模拟光处理与数字光处理、模拟片上处理与离散光处理的区别分析及特性梳理。重点介绍了现行的光子载荷搭载验证情况，完成光子载荷与传统射频载荷体积、重量、功耗对比分析。在此基础上，提出一种全芯片架构的光子处理转发载荷系统，并完成相应的功能拆解及业务划分，梳理下一步需要重点攻关的片上关键技术，为构建通用化、小型化、多波束并行的高通量卫星通信载荷系统提供技术支撑。     

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

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

利用TDRSS星上导航系统为地球观测卫星精密导航

地球观测系统卫星ＥＯＳ－ＡＭ１的基本导航系统是ＴＤＲＳＳ星上导航系统，为成角仪器标校和例行操作提供精密位置和速度信息。本文给出实时导航性能评价结果，看一下基于ＴＯＮＳ的轨道和频率测定精度能否满足这一要求。     

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

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