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

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

通信拓扑切换下的多飞行器协同拦截方法

针对通信拓扑切换条件下的多飞行器协同拦截问题,提出了一种基于扩张状态观测器的协同制导方法。建立协同制导设计模型,将协同拦截问题转换为视线稳定条件下的剩余飞行时间调节问题。为解决机动目标状态不确定的问题,将目标的状态视作扰动,设计扩张状态观测器来估计机动目标的状态,并在制导律中对目标的机动进行补偿。利用有限时间一致性理论进行一致性控制协议的设计,实现各飞行器剩余飞行时间的有限时间一致,并利用Lyapunov稳定性理论分析通信拓扑切换情况下闭环系统的有限时间稳定性,给出了系统一致收敛时间。仿真结果表明,在通信拓扑变换的情况下,设计的观测器能够有效估计目标状态,且协同制导律能够满足对剩余飞行时间的控制要求,进而实现协同拦截。     

超静超稳卫星碰振动力学建模

针对分离式卫星载荷模块(PM)受到扰动时可能与服务模块(SM)发生碰撞的问题,综合音圈电机反电动势(back-EMF)和柔性线缆动力学的效应,基于牛顿欧拉法建立了分离式卫星(DFP)载荷模块动力学模型。基于Hertz接触理论,推导了分离式卫星碰撞过程中连续接触力模型,并分析了碰撞过程中产生的接触力对载荷模块指向精度和指向稳定度的影响。数值仿真结果表明,碰撞使得载荷模块指向精度和指向稳定度下降5个数量级,碰撞后载荷模块可再次恢复到超静超稳工作状态,恢复时间超过1400 s。本文建立的碰撞模型对研究分离式卫星碰撞规避和碰撞控制具有重要意义。     

航天器技术状态基线与技术状态文件的应用探讨

技术状态基线和技术状态文件管理是航天器研制过程中技术状态管理的重要组成部分。文章总结了航天器技术状态基线和技术状态文件的分类;针对在航天器实际应用中存在的对技术状态基线和技术状态文件的理解和认识不统一问题,梳理了研制阶段与技术状态基线的对应关系,并以此为基础探讨和分析了功能、研制(分配)与生产(产品)三类基线的建立,功能技术状态文件、研制技术状态文件和生产技术状态文件的形成与组成,以及技术状态控制过程中形成的文件归类问题。结合某新研遥感卫星技术状态管理过程,进一步阐述了新研航天器开展的与技术状态基线和技术状态文件相关的工作,并具体分析了形成的文件与技术状态文件的关系。该项目的应用效果表明,各阶段技术状态基线和文件的建立、确认、清理、总结等工作,有助于提高航天器技术状态管理的规范性和有效性。     

一种航天器单脉冲差模角跟踪系统的标定及测试方法

介绍了航天器单脉冲差模角跟踪系统的组成和基本原理;针对捕获跟踪系统性能与射频通道相位特性的相关性,提出了在无线状态下通过用户目标在一定范围内按一定轨迹运动进行射频通道相位标定及跟踪性能测试的方法;在此基础上进一步提出了利用信号源模拟用户目标在角跟踪系统天线坐标系下不同位置时天线输出的射频信号,进行有线状态下射频通道性能的测试方法。标定及测试方法通过地面试验验证了可行性和有效性,可用于航天器单脉冲差模角跟踪系统在地面的通道相位标定、跟踪性能测试和射频通道性能测试,以实现角跟踪系统对用户目标高精度、稳定的跟踪。     

星上系统时间算法研究

针对星上缺乏系统时间会出现钟差整体漂移的问题,本文提出两种新的钟速初值预报方法建立集中处理模式下星上系统时间算法：用每颗星第1天的前两历元的钟差预测钟速初值和用每颗星每天的前两历元钟差预测钟速初值。仿真结果表明,算法合理,两种方法得到的自主系统时间与国际全球导航卫星系统服务时间(IGST)相比,60天的偏移程度均在100 ns以内,用每颗星第1天的前两历元的钟差预测钟速初值建立的系统时间稳定性更好。     

投影图像法对旋转体空间扫描角和转速的测量研究

扫描角和转速是某伞一弹系统风洞试验中要求必须测量的重要技术参数.对伞-弹系统扫描角和转速进行定量动态测量是试验中必不可少的技术环节.投影图像法测量的原理就是利用一定截面积的两路正交平行光源,将旋转弹体分别投影到两个正交的投影屏上,利用两套高速CCD成像系统,将两路弹体投影图像同步采集并实时记录下来,试验结束后利用图像处理软件自动计算出两路图像序列角度分量,按照时序合成出每一时刻弹体的空间扫描角,并根据序列角度分量,计算出弹体的瞬时转速和全周期平均转速.利用该测量方法,在西安某所立式风洞中成功对多个型号的伞-弹旋转弹体空间扫描角和弹体转速进行了测量,取得了良好的测量结果.旋转体的静态角度测量精度为0. 18°,动态扫描角测量精度控制在0. 25°以内.作者从扫描角测量原理和方法人手,着重介绍该投影图像处理测量系统的设计和实际运用,给出了某伞-弹系统风洞试验的测量结果.     

海尔-波普彗星离子尾的间断和波动

给出海尔-波普彗星近日点附近大尺度观测的结果.指出:1997年2月16、17和18日海尔-波普彗星等离子尾部分有断尾事件发生.观测时刻的离子尾内物质运动速度约为50km／s;离子尾射线向主尾主轴的并拢速度约为0.080'／s.1997年3月3日海尔-波普彗星离子尾有波动现象发生.波动发生在距离彗星密度中心约130×10⁴km,偏离主轴30°处,振幅约20×10⁴km、其离子束宽度约8×10⁴km、波动的相速度约为200km／s.     

弹射座椅稳定伞高速风洞动态测力试验研究

为了测试弹射座椅稳定伞在高速气流中的动态特性,在1.2m×1.2m跨、超声速风洞(FL 24)进行了稳定伞高速风洞动态测力试验。笔者叙述了试验方法,并给出了典型试验结果,包括稳定伞在试验M=0.65±0.04时的气动特性、进入自转状态的时间t自转以及在试验M=1.14时的强度测试结果等。试验结果表明,稳定伞的材料、设计及工艺是可行的,试验方法是成功的。     

电磁轴承-转子系统多变量模糊解耦控制算法的推导

在建立了转子高速旋转时电磁轴承系统的模型基础上 ,针对此系统的多变量模型 ,采用了多变量模糊解耦方法进行控制研究。文中推导了有效的降维模糊关系矩阵 ,得出了四输入四输出的多变量模糊系统的输出算法 ,并进一步考虑了加上输入变量导数的情况下算法的推导。