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

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

低温辐射计吸收腔研制

针对高灵敏度低温辐射计研制需求,提出一种低温辐射计吸收腔.设计椭球面光阑的多次反射结构,同时采用扩散焊工艺,进而实现了椭球面光阑、斜口—斜底圆柱腔和斜底面三部分的焊接成形,以此形成有效光陷阱,使入射到吸收腔中的辐射被近似完全吸收.制备具备多孔结构的碳纳米管涂层,采用喷涂为主的工艺实现腔体内壁涂层的均匀性分布.基于积分球...     

磁悬浮径向球面纯电磁磁轴承的设计

针对柱面磁轴承偏转时干扰力矩较大问题,本文提出一种径向球面纯电磁磁轴承设计方法。在本设计中,当磁轴承产生偏转或偏移时,电磁力会指向转子球心,从而降低定子磁极对转子产生的干扰力矩,提高磁轴承的控制精度。首先,阐述球面磁轴承的工作原理并建立数学模型,运用等效磁路理论方法和有限元数值方法分析其电流刚度和位移刚度,2种方法的计算结果基本吻合,表明球面磁轴承的有限元分析模型是合理的。接着,运用有限元方法分析球面磁轴承和柱面磁轴承产生偏转时的干扰力矩,结果表明当转子达到最大偏转角0.3°时,球面磁轴承的干扰力矩是柱面磁轴承的干扰力矩的1.8%,表明球面磁轴承相对于柱面磁轴承在抗干扰力矩能力方面有很大的提高。最后,进一步分析球面磁轴承产生X方向或Z方向偏移时的干扰力矩,计算结果与偏转时干扰力矩的量级相当。综上所述,本文提出的径向球面纯电磁磁轴承有低干扰力矩的优点,可用于航天航空工程中惯性执行机构的高精度控制和角速率检测。     

基于标定及补偿提高串联机器人定位精度方法

在使用串联机器人进行定位操作前,首先需要对机器人基坐标系与测量坐标系进行位姿关系的标定,针对具有隐藏机器人基坐标系以及机器人法兰坐标系的串联机构,本文提出一种等价变换思想并结合应用激光跟踪仪测得机器人末端靶标点的坐标数据建立标定矩阵方程,应用罗德里格矩阵变换将标定方程转化为三元二次矩阵方程形式,采用最小二乘法和牛顿迭代法求出数值解进而完成机器人基坐标系与测量坐标系标定的方法。然后应用这种方法进行标定试验得到了20组标定结果,通过比较标定结果偏差进而验证了这种方法的正确性。最后,本文验证了应用这种标定方法的标定结果并结合一种新的位姿补偿算法后,能极大地提高机器人末端的定位精度。     

基于GMF方法的捕风一号风速反演分析

全球尺度高时空分辨率海面风场探测是当前全球气象研究及预报预测领域的关注热点之一,传统海面风场探测技术存在测量区域有限,且受天气环境限制明显等问题.基于全球导航卫星系统-反射(GNSS-R)测量技术风速反演原理,以捕风一号1级数据产品为输入,欧洲中期天气预报中心再分析风速数据为参考风速,采用地球物理模型函数(GMF)方法...     

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

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

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

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

空间绳系组合体拖曳动力学分析及振动控制

空间绳系捕获系统捕获目标物后的组合体在拖曳离轨过程中常产生振动,为此,建立了切向连续推力作用下的空间拖曳绳系组合体面内动力学模型,并对模型进行了横向摆动与纵向振动耦合分析。针对组合体的纵向振动问题提出了一种以张力控制为内环、速度控制为外环的双闭环振动控制策略。进行了振动控制仿真分析,并根据动力学的相似性,建立地面模拟实验系统,仿真与实验结果表明该控制策略可迅速抑制组合体纵向振动、减小系绳冲击并可避免出现系绳松弛现象。     

I-DEAS软件在单相流体回路辐射器热分析中的应用

以神舟飞船单相流体回路辐射器为例,介绍了采用I-DEAS软件进行辐射器热分析研究的方法,包括建模、划分网格、计算及后处理等,并将仿真分析结果与热试验结果进行了对比。结果表明：采用I-DEAS软件对单相流体回路辐射器热分析具有很好的实用性和计算精度,显著降低了辐射器热分析的难度,并在一定程度上简化了前期设计中热试验验证的需求。