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

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

捕风一号卫星总体设计与技术特点

捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务.从系统设计角度介绍了捕风一号卫星的总...     

航天器寿命末期离轨技术研究综述

为净化空间环境,针对航天器寿命末期离轨问题,对现有航天器离轨技术进行了分析。介绍了航天器寿命末期离轨技术的国内外研究发展现状,总结了不同类型离轨方式的特点及适用对象,分析了各种离轨方式发展趋势及关键技术,提出了航天器寿命末期离轨技术各离轨方式的发展建议。通过调研发现：现有航天器寿命末期离轨技术可使航天器在25年内离轨,但在离轨装置可靠性、离轨过程稳定性、航天器离轨时间及离轨后处理等方面有较大提升空间。     

一种基于事件序列的故障树最小割集算法

在系统分析故障树最小割集各种求解算法的基础上,提出了一种故障树事件序列的数据结构,并针对该数据结构,设计了一种高效的故障树最小割集求解算法,并对其替换子算法、复制子算法和消减子算法进行了形式化描述。算法可有效降低最小割集生成中的“组合爆炸”问题,实验结果表明算法具有较好的计算性能。     

测定电离复合速率常数的激波管方法

发展了测定电离复合速率常数的一种新的激波管方法。在这一方法中使用反射激波加热预混气体使之电离,相继用可控制的强稀疏波使之快速冷却,冷却速度很快,可达106K/s, 使之在冷却过程中,电离远离平衡态。用压电传感器和Langmuir 探针监测状态变化历程和离子浓度,并可获得过程中所有的状态参数。测定了NO e 电离复合速率常数。实验表明这一方法简易可靠     

用电磁体积力的翼型绕流控制实验研究

研究了电磁体积力控制弱电解质溶液流动边界层的基本原理以及分析了翼型电磁激活板的绕流实验结果.电磁体积力控制弱电解质溶液流动边界层是磁场和电流相互作用产生电磁体积力作用在流体上的结果.实验结果表明:电磁力作用改变了翼型表面的流体边界层的结构,其作用与改变翼型的迎角类似.加正向电磁力,相当于减小翼型的迎角,可以抑制流动分离,消除涡街;而反向电磁力则相当于增大迎角,在翼型的背风面产生大尺度的流动分离,流场中出现复杂的旋涡结构.     

环境减灾-1A、1B卫星在轨测试评估

卫星业主单位国家减灾委组织相关单位开展了环境减灾-1A、1B卫星在轨测试工作,并首次引入了卫星应用能力评价.结果表明,在轨测试完成了预定的测试内容,各项指标均满足<环境与灾害监测预报小卫星星座研制总要求>的规定,且卫星数据在国内外重大自然灾害应对及环保应用等方面发挥了良好的应用效益.     

深空自主飞艇探测器技术发展

介绍了美国典型自主飞艇探测器的研究现状、总体技术方案和关键支撑技术。针对我国未来的深空飞艇技术发展,提出以火星应用为重点,促进在智能自主控制、新型材料、同位素热电等关键技术领域的技术发展,并与地球临近空间飞艇技术的发展彼此借鉴等建议,可为我国未来深空探测提供参考。     

飞船整流罩纵向解锁机构设计与动力学

为适应载人航天逃逸飞行的需要，研制了一种具有高承载能力、高可靠性的钩式解锁机构，应用于火箭整流罩的纵向分离面处。它的研制成功，新增了一种具有高可靠、低冲击、可设计性好的结构形式。对机构的设计进行了研究，采用拉格朗日方法建立了机构的运动微分方程，并得到了初步的仿真结果。     

内外分区空间统一精度场建立方法研究

针对内外分区空间内结构和设备安装的数字化测量需求,研究内外参考点之间的关联技术,构建与外测量精度场相统一的内测量精度场。对于内外空间不同的开口数,利用多测点定位法、二测点和水平仪单站位定位法、二测点和水平仪双站位定位法等方法建立内精度场,实现与外精度场的统一。以某型设备为例进行试验表明,利用内外精度场测量同一检测点进行比较,测量的最大不一致误差为0.14 mm,证明构建模式可行、简单、可靠。