基于ASIC技术的1553B IP核的设计

针对卫星轻小型化的应用需求和现有1553B总线接口设计存在缺陷的问题,提出一种面向航天器综合电子的1553B总线协议ASIC芯片设计方案,并介绍了自主研发的1553B协议IP核设计. 1553B IP核采用自顶向下的设计方法,使用Verilog硬件设计语言进行编程,实现了1553B总线中的总线控制器BC和远程终端RT功能. 分别从1553B IP核总体框架、BC/RT共享模块、BC功能模块和RT功能模块详细介绍了IP核的设计.1553B IP核设计完成模块仿真验证、ASIC芯片系统仿真验证和FPGA验证,通过DDC的1553B板卡对设计进行验证,误码率小于10-9. 实验结果表明,本IP核设计具有可靠性高、可移植性强、资源占用少、实时性好的特点.      

空间多模冗余热备份嵌入式电子系统精确同步算法研究

为了使空间嵌入式电子系统冗余的热备份多模之间获得精确时间同步,基于IEEE1588协议,在空间多模冗余热备份嵌入式电子系统的全交织网络基础上,采用FPGA/ASIC技术,结合软件和硬件同步提出了一种精确时间同步算法.该算法既有硬件同步的精度优势,又具有软件同步的成本优势和容错能力,并且时间同步精度可达到百纳秒量级,经过系统仿真验证了此算法的有效性.     

航天应用FPGA配置可靠性研究

航天应用系统必须保证每一单元的安全性及可靠性. 现场可编程门阵列(Field Programmable Gate Array, FPGA), 以其I/O管脚丰富、设计灵活等优势, 逐渐被广泛应用于航天领域. 其设计与工艺不断完善, 以适应太空中电子辐射等复杂的工作环境. 由于基于SRAM的FPGA芯片断电后程序丢失, 因此每次上电后都需要先从PROM等外部存储器中加载程序才能正常工作. 然而, 并不是每一个芯片的每一次加载配置都能成功完成, FPGA的上电配置结果将直接关系到卫星任务的成败. 研究发现, 诸如环境温度、信号完整性、供电电压、配置时钟速率等因素会影响FPGA的配置过程, 致使出现偶尔的配置失败, 这在航天应用中是绝对不允许的. 针对实际应用的Xilinx公司FPGA芯片, 为提高上电配置可靠性, 提出了一系列设计保障措施, 在FPGA航天应用领域具有一定的参考价值.      

低轨航天器天基测控方法研究

我国的航天器测控主要依赖地基测控系统实施,随着民用和军用需求的不断增加,太空运行的低轨航天器数量越来越多.仅依赖地基测控系统满足这些航天器的测控需求越来越困难,费用也越来越高.探索新的、有效且经济的测控模式势在必行.天基测控技术是航天器测控发展的方向,研究和应用天基测控技术具有重要的实用价值,可以解决困扰我国航天领域多年的测控资源紧张问题.在分析美国NASA数据与中继卫星系统相关技术的基础上,提出了我国低轨航天器天地基测控模式,讨论了该模式的运行原理,设计了该模式的仿真系统,分析了应用该模式需解决的关键技术问题,通过基于设计的仿真系统对提出的测控模式进行了验证.验证结果表明了提出的天地基测控模式可行,可以满足低轨航天器的测控需求.      

航天器内环境监测的无线传感器网络应用研究

无线接口技术是航天器电子系统技术发展的前沿和热点之一, 具有广泛应用前景. 提出了用于监测航天器内部及其设备环境参数的无线传感器网络设计方案, 详细介绍了构建航天器内无线传感器网络的通信协议、网络架构、软硬件设计方法, 并给出一个将ZigBee Pro技术应用于航天器内的典型设计实例, 以TI公司最新的CC2530芯片和ZigBee协议栈Z-Stack为基础, 用于监测航天器内部及其设备的温度、湿度、电压、电流等参数. 实验证明, 本设计具有低功耗、 传输可靠、网络鲁棒性及组网灵活等优点.      

基于1553B总线的航天器系统时间同步设计方法

航天器系统中,系统时间同步是一项关键技术,时间同步方法的优劣将会影响航天器系统的整体性能,甚至可靠性.本文针对基于1553B总线的航天器系统,提出一种低系统开销、高精度的时间同步设计方法.该方法采用1553B总线时标功能来提高同步时间偏移补偿测算精度,通过软件手段即能满足航天器系统级、分系统级等多个层面的时间同步需求,同步精度最高达到10μs量级.本文对该设计方法进行了实验验证,结果表明,相较传统时间同步方法,该方法显著提高系统时间同步精度,满足大多数航天器系统应用需求.     

小管径高精度超声波流量计设计

航天器推进剂在轨剩余量测量一直是航天器在轨管理所面临的一个难题.提出采用超声波流量计测量推进剂在轨剩余量的方法,并给出了超声波流量计的设计方案.设计的新型超声波流量计结构,通过改变超声换能器的安装方式,从而延长了超声波传播路径,减少了传播过程中超声波的衰减.通过以单片机和FPGA为主控制器、以高精度时间测量芯片作为数据采集模块的流量计软硬件系统实现了超声波流量计对液体流量的高精度测量.通过恒速测试、交变流速测试和总量测试表明,该系统测量精度达到了0.5%,可满足目前航天器推进系统推进剂剩余量的在轨测量要求.     

航天器环境试验和航天产品的质量与可靠性保证

介绍了航天器验证和试验标准近年来的发展现状 ,指出了这些标准在各国航天器验证中所起到的作用 ,同时讨论了在航天器研制中环境试验和可靠性试验的关系。由于航天器的特点 ,在整个验证工作中 ,环境试验和可靠性试验应该是统一的。通过全面的验证工作 ,特别是大量的环境试验 ,航天器的环境适应性和可靠性得到了保证。总的看法是 ,这些标准 ,只要应用得当 ,将能保证航天器的性能要求和在轨可靠性。     

高速缓存影响的航天器控制软件调度设计方法

针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考.     

载人航天器密封舱门的可靠性验证试验方法

论述了载人航天器密封舱门的功能、工作原理和主要故障模式,确定了舱门的可靠性特征量,基于计量型可靠性试验的基本思路,提出了舱门的可靠性试验方法,包括试验方法选择、试验件状态及试验条件的确定、试验程序、故障判据和可靠性评估方法,给出了应用示例,为载人航天器密封舱门的可靠性验证提供了技术途径。     

用于空间站的四重冗余对接控制系统设计

针对空间站所处太空环境的特殊性、对接机构对空间站正常运行的重要性,以及对航天器可靠性要求日益增加的问题,提出在对接控制系统中增加可靠性设计,实现整个机构的高质量、平稳运转。在完成正常控制功能的基础上,在系统中采用了四重冗余的工作机制,包括主备机双热备份、自动/手动控制模式切换、自动控制关闭指令双线发送和工作模式的三取二判断,对四重冗余设计的具体判断流程进行了详细地解释。对控制系统软件进行仿真验证,结果表明：由本文所述方法设计的对接控制系统具有高可靠性和故障容错能力。     

天宫一号目标飞行器控制计算机的设计与验证

与载人航天一期＂轨道舱＂相比,载人航天二期天宫一号目标飞行器对控制计算机的功能、性能和环境适应性都提出了更高的要求.依据GNC分系统对控制计算机的功能与可靠度需求,介绍天宫一号目标飞行器控制计算机的容错方案、硬件设计、系统软件设计、可靠性分析和试验验证情况,地面验证结果表明：天宫一号目标飞行器控制计算机设计满足GNC分系统的需求.     

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

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

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

基于在轨组装维护的模块化深空探测器技术进展与应用研究

在轨组装与维护是航天器在轨服务技术的基本内容,而模块化设计则是实现航天器在轨组装与维护的一项主要支撑技术。调研总结了国外深空探测领域模块化航天器设计以及在轨组装与在轨维护实施的技术进展,主要包括模块化地外行星着陆探测器、大型在轨组装深空探测器、布置于SEL2(Sun-Earth Libration 2)等轨道的超大型在轨组装空间望远镜系统等,分析了深空探测器领域应用模块化设计实现在轨组装与维护的关键技术要素。针对深空探测航天器长寿命、高可靠、特殊推进系统及其设备配套等技术特点与需求,提出一种应用在轨组装与维护技术的火星多任务探测器系统设想,介绍了探测器系统的任务架构、基本组成、轨道策略等,为我国深空探测技术发展以及新型深空探测器研制提供参考。     

基于数据表的载荷管理软件在轨工作自主控制设计

目前有效载荷在轨工作呈现多样化的趋势,为更好地适应这种多样化的任务,设计了一种在轨工作自主控制方案。该方案对多个型号的软件需求进行归纳整理和统筹分析,对在轨工作自主控制进行模块和功能划分,解决了多个载荷管理软件在轨工作控制需求差异化带来的多样化、定制化问题。通过引入可配置设计思路,建立数据表对载荷工作流程进行配置,解决了对特定载荷在轨工作流程的适配性问题,可实现多载荷多任务的在轨工作自主控制功能。该方法已在多个型号卫星的载荷管理器上使用,满足载荷单元工作流程多样化的要求。软件的重复使用不仅大大提高了软件设计和测试阶段的时间,缩短软件研制周期,还可以降低软件开发成本,并且提高软件整个研制阶段的可靠性。      

面向小型自主航天器的锥-杆式对接机构锥面构型设计

对接锥是对接机构的重要组成部分,在碰撞过程中首先与主动对接机构相接触.比较小的锥角会造成系统在碰撞过程中发生剧烈振动,而比较大的锥角又会使系统的接触碰撞力增大,甚至造成对接失败.本文针对面向在轨服务的小型航天器上使用的锥——杆式对接机构,提出了新的对接锥型面设计目标;利用有限元分析软件ANSYS/LS-DYNA,仿真分析了对接机构碰撞后的运动学特性;通过研究对接锥的型面设计方法,得到了新型对接锥型面.研究结果表明,新型对接机构的整体性能满足设计目标要求.      

空间电源系统寿命预测技术发展综述

空间飞行器在轨工作期间,电源系统受空间环境及自身工作特性限制,性能会发生衰减,直接影响飞行器的供电和工作寿命。从空间电源系统的工作原理出发,分析了导致能源衰减的主要因素;结合目前国内在电源寿命预测技术方面的进展,提出了目前寿命预测技术所面临的难点及后续的主要攻关方向,为其后续工程化应用和实施提供解决途径。     

新一代箭载无线传感器网络系统架构综述

无线传感器网络技术是新一代火箭测量系统中的关键技术之一。在简要介绍现有箭载无线传感器网络应用的基础上，分析归纳了各个现有系统的技术特点，并以此提出了新一代箭载无线传感器网络的系统架构EPSEN，其中对通信协议的设计思路进行了详细阐述。EPSEN架构的提出，为现有箭载无线传感器网络系统的改进和未来产品的研制提供了重要参考依据，有助于行业标准的形成。