深空探测器接近段自适应滤波方法研究

天文导航是一种广泛应用于深空探测任务的全自主导航方法.基于状态模型和量测模型的非线性卡尔曼滤波方法在天文导航中被广泛使用.卡尔曼滤波要求状态和量测模型误差是高斯白噪声且先验协方差信息已知,但在深空探测器天文导航系统中,状态模型和量测模型噪声通常不能精确知道且是时变的.因此,自适应卡尔曼滤波器广泛用于解决状态和量测模型误差未知且时变的问题.本文首先结合火星探测器接近段的实际情况分析了火星探测器接近段模型噪声的时变特性,然后对三种常用的在线调节自适应滤波方法在火星探测接近段的滤波表现进行了仿真实验.     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

基于粗糙集理论的卫星故障诊断方法

卫星结构和控制的复杂性、独特性和诱发故障的多源性导致其故障诊断的困难。卫星的一种故障模式与许多症状变量有关,目前的故障诊断推理因未充分考虑症状变量的冗余变量而比较复杂。提出了基于粗糙集理论的故障症状约简新方法,用卫星故障实例研究了新方法的应用,结果表明该约简方法对消除卫星故障症状信息冗余、简化和优化故障诊断推理非常有效。     

多输出量测量模型的不确定度评定方法

本论文基于GUM不确定度评定方法,提出了多输出量测量模型的测量不确定度评定方法,并对如何获得多输出量测量模型的包含范围进行了举例说明。     

火星探测转移轨道初始设计与分析

根据推进方式和是否采用金星借力,火星转移轨道分为大推力直接转移轨道、大推力金星借力转移轨道、小推力直接转移轨道和小推力金星借力转移轨道4类。传统的轨道设计方法只是针对某一类特定的转移方案进行轨道优化,而并未针对不同的转移方案进行详细对比分析。文章以2020/2022年发射窗口为例,针对4类基本火星转移轨道进行研究。首先,基于不同轨道初始设计方法,对4类轨道进行了初始设计,得到了每类转移方案的能量最优转移轨道。然后,基于设计结果和能耗对4类转移方案进行了横向对比分析,得到了不同策略下的转移轨道的特性。基于小推力的火星探测任务轨道对发射能量要求低;大推力直接转移和借力金星的发射窗口交替分布,可以互为备份;基于小推力推进的探测器采用金星借力转移策略相比直接转移能够减少10%的能耗,优势十分明显。     

基于SSL的数据安全传输系统的设计与实现

安全套接层协议SSL(Secure Socket Layer)是用来保障数据安全传输的协议,目前已经成为工业标准.首先简要介绍了SSL协议,设计并实现了基于SSL的数据安全传输系统,它由两部分组成:SSL客户方安全通信代理CSP(Client Secure Proxy)和服务器方安全通信网关SSG(Server Secure Gateway),二者可以在Internet上建立一个安全通道,从而能够保障敏感数据的安全传输.讨论了系统的整体结构,并详细分析了实现中的若干关键技术,主要包括握手协议的实现、密钥的协商、记录层数据的分段与填充、会话重用等.      

雷达目标低频RCS可视化计算

随着计算机进一步发展,科学计算可视化越来越受到重视;而适用于低频区RCS(雷达散射截面)计算的传统方法MOM(矩量法),也越来越显示其价值;为了方便电磁计算和电磁建模,基于先进的计算机三维造型技术和可视化编程手段,采用回路线栅矩量法,计算低频区三维雷达目标RCS,与实验数据比较取得良好的计算结果,对RCS理论计算的工程应用起重要作用.      

基于粒子群算法的多脉冲转移轨迹优化

通过引入Lambert算法处理终端约束条件,建立基于可行解迭代的多脉冲转移轨迹优化模型,采用粒子群算法优化最省燃料转移轨道,并对分别采用变轨点真近点角和变轨时刻作为设计变量的优化结果进行了对比分析.对相同的两脉冲、三脉冲轨道转移问题,优化结果验证了提出的优化模型和优化算法的正确高效性.仿真表明,使用变轨点真近点角为设计变量时优化效率和结果更好.     

飞行器新型碳基复合材料表面高温测量方法

本文针对飞行器新型碳基复合材料表面的高温测量问题,介绍了测量方法、传感器的安装方式、高温胶黏剂技术与工艺,传感器与热防护技术以及试验测试,并归纳了该方法的技术特点。