飞行管理系统性能计算策略分析

根据飞行管理系统机载软件对于性能计算的需求,提出了理论公式计算方法和插值计算方法,对于传统的理论公式计算方法进行了延迟时间数据分析.对以上两种计算方法分别从计算过程、软件工程、系统工程三个方面进行了分析和比较后得出,插值计算方法在机载飞行管理系统软件中是比较合理的方法.针对大型客机先进的航空电子系统,描述了以上两种计算方法分别在电子飞行包软件和飞行管理机载软件中的不同应用和联系.     

FPGA内嵌处理器的SoPC系统设计与分析

SoPC技术是在片上系统SoC技术的基础上发展起的,二者的共同点为将处理器、存储器、IYO接口等系统设计需要的功能模块集成到一个芯片上实现。相比SoC系统,SoPC系统还具有可编程性强、产品问世周期短等优点,在保证系统性能与灵活性、提高系统执行速度的同时又可显著地降低系统成本。在对SoPC技术进行概述的基础上．较为详细地介绍了一个基于FPGA内嵌PowerPC处理器的可编程片上系统的设计,利用软硬件协同设计技术．完成软硬件划分、软硬件设计、硬件综合、软件编译以及软硬件协同验证等工作,并结合SoPC技术的特点对其优势进行了分析,对其应用前景进行了探讨。     

空间太阳能发电站拓扑架构及能量管理控制策略

针对超大功率空间太阳能电站(SSPS),提出了一种分布式+集中式系统拓扑架构,将系统电力传输分为太阳电池阵区、主结构电力传输区及发射天线阵区三大部分。根据系统三大阵区的能量流动关系,本文将SSPS系统的工作模式划分为最大功率点跟踪(MPPT)工作模式、跟踪功率指令工作模式及阴影区工作模式,并提出分层能源管理控制策略。最后,针对兆瓦级太阳电池阵的不同工作模式,利用Matlab/Simulink搭建空间太阳能电站系统仿真模型,进行仿真试验及对比分析,试验结果验证了拓扑架构的合理性及控制策略的有效性,为解决空间太阳能发电技术电力传输与能量管理问题提出了新思路。     

基于IRIG-B码的运载火箭测发流程同步的软件设计方法

为保证运载火箭在零窗口发射,提出了一种基于IRIG-B码(以下简称B码) 的运载火箭测发流程自动执行的软件设计方法,以确保点火前10min至点火之间的各系统流程的同步。本方案通过UDP网络接收B码的时间,并通过五取三冗余算法,以更新本地的B码时间。随后,再根据预设的点火时间及冗余后的B码时间,计算倒计时,以控制口令流程自动执行。     

常闭式电磁制动器驱动结构设计及性能分析

针对常闭式电磁制动器耗能高、制动力密度小、励磁线圈发热严重等缺点，尝试将永磁体引入至制动器驱动结构中，设计出了一种电磁与永磁混合作用的新型电永磁驱动结构。结合有限元软件，采用有限元法分析了其内部磁通量分布并研究励磁线圈电流、气隙及永磁体结构形状等因素对电磁力的影响。结果表明，电磁与永磁两磁场耦合性较好，电磁吸力随电流增加及气隙的减小增幅较大，且同等条件下L形永磁体的电磁驱动结构对衔铁的吸力最大，对电磁制动器轻量化研究具有指导意义。     

Exploration life support technology challenges for the Crew Exploration Vehicle and future human missions

As NASA implements the U.S. Space Exploration Policy, life support systems must be provided for an expanding sequence of exploration missions. NASA has implemented effective life support for Apollo, the Space Shuttle, and the International Space Station (ISS) and continues to develop advanced systems. This paper provides an overview of life support requirements, previously implemented systems, and new technologies being developed by the Exploration Life Support Project for the Orion Crew Exploration Vehicle (CEV) and Lunar Outpost and future Mars missions. The two contrasting practical approaches to providing space life support are (1) open loop direct supply of atmosphere, water, and food, and (2) physicochemical regeneration of air and water with direct supply of food. Open loop direct supply of air and water is cost effective for short missions, but recycling oxygen and water saves costly launch mass on longer missions. Because of the short CEV mission durations, the CEV life support system will be open loop as in Apollo and Space Shuttle. New life support technologies for CEV that address identified shortcomings of existing systems are discussed. Because both ISS and Lunar Outpost have a planned 10-year operational life, the Lunar Outpost life support system should be regenerative like that for ISS and it could utilize technologies similar to ISS. The Lunar Outpost life support system, however, should be extensively redesigned to reduce mass, power, and volume, to improve reliability and incorporate lessons learned, and to take advantage of technology advances over the last 20 years. The Lunar Outpost design could also take advantage of partial gravity and lunar resources.     

基于CUDA的GPS信号快速捕获

为实现基于PC平台的GPS软件接收机C/A码信号快速搜索,提出了一种由GPU完成信号搜索计算的快速实现方法。该方法以基于FFT的码相位并行搜索算法为基础,通过CUDA编程,由GPU完成主要的计算任务,实现了信号搜索在GPU上的并行计算。最后,将该方法与在CPU上实现的捕获方法进行了比较测试,结果表明：新方法的捕获速度显著提高,冷启动条件下,搜索全部32颗卫星只需1.653秒,为GPS软件接收机的实时化提供了重要保证。
     

基于签名的控制流错误检测算法检测能力的验证模型

目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
     

航天器电测中软件测试用例设计与实践

提出了在航天器电测中,以电测大纲和软件用户需求为依据,使用软件测试设计理论创建测试用例库,在此基础上完成了软件测试及实现方法。文章简介了应用背景,以某卫星为例,介绍了该方法应用到某卫星数管及热控软件测试的情况,并采用测试技术进行测试用例设计,最终生成航天器电测中软件测试用例库。此方法可以作为航天器AIT阶段软件测试设计的参考。     

体系结构驱动的AFDX网络内容数据库研究

采用SAE AADL语言,建立AFDX网络互连综合化处理任务和通信任务的模型,对通信任务的数据内容、格式、性质进行定义;按照体系结构模型驱动的方式,建立内容管理数据库,完成AFDX网络中数据接口格式与内容的描述与建模,并进行数据库管理下的自动配置与部署。