星载嵌入式处理器软件在轨重配置技术研究

文章主要介绍了星载嵌入式处理器软件在轨重配置技术,给出了在轨重配置的基本原理、方法及处理流程。     

某型卫星测试转台俯仰翻转丝杠动力学分析

以某型卫星测试转台俯仰机构为研究对象,在ADAMS中建立了虚拟样机,得到了在翻转过程中丝杠轴向力曲线,并将仿真结果与理论计算结果及试验结果进行比较,验证了虚拟样机建模的合理性;研究结果为同类物理样机设计中滚珠丝杠的选用校核,台体框架的设计校核以及机电联合仿真提供有利数据支撑。     

飞行控制器的多学科综合环境研究

多学科分析与优化已成为近年来飞行器设计的重要研究方法。本文介绍了一个以飞行控制器设计与分析为目的、基于多学科综合的一体化仿真软件包,说明了它的组成、特点及其主要设计问题,并以某飞行控制器设计为例阐明其应用。     

一个DIS实时通讯网络的设计与实现

以一个ＤＩＳ（分布交互仿真）实时网络的设计和开发过程为背景,研究了ＤＩＳ实时网络开发中的几个问题。在进行实时ＤＩＳ网络规划时,采用了多点传送的通讯服务方式,保证每个仿真应用只发送变化的信息,只处理与自身相关的信息。指出了进行数据的实时传输格式定义时应注意的几个问题,这些数据定义必须支持多种不同的操作系统和平台。最后给出了开发ＤＩＳ实时通讯软件的方法,包括通讯协议和应用编程接口的选择。     

卫星星座的系统仿真研究

研究了对人造卫星星座进行系统仿真的方法.从轨道动力学的观点出发,提出了卫星星座系统仿真的概念和要求;建立了星座系统仿真的数学模型;讨论了星座系统仿真的软件实现方法;最后介绍了开发的一个星座系统仿真软件.      

人工神经网络在CAPP系统开发工具中的应用

探讨了基于神经网络理论在ＣＡＰＰ系统开发工具的应用;建立了工艺过程设计系统的ＡＮＮ模型;详细讨论了工艺过程设计系统的推理机制,并给出了用集成ＢＰ网络选择加工方法及通过改进Ｈｏｐｆｉｅｌｄ网络确定工艺路线的过程。     

Ada动态测试中遗传算法的参数编码方法

介绍了将遗传算法应用在Ada程序结构测试中,被测单元参数按照遗传算法的运算规则进行编码的原则与方法.首先,介绍了包括枚举类型和变长数组的基本数据类型的参数编码方法.由于Ada语言允许使用动态数据结构类型的参数,如何在一个较高自动化的动态测试工具中实现对动态数据结构的自动测试,成为首要关注的问题.因此文中着重介绍了Ada程序的动态数据结构在遗传算法中的编码方法.     

文献“Software Testing in Space Programs”[1]点评

作者以他个人的观点,对该文献中重要部分进行了点评,指出:空间软件地面可靠性测试尽管困难重重且有诸多限制,但不能放松甚至放弃执行现有的软件地面测试标准;应从"精神号"火星探测器飞行失败中吸取教训,加强软件地面测试,包括传统软件黑盒和白盒测试方法中的典型测试项目(如:健壮测试、应力测试、极值测试、随机测试等);已经公布的新软件研发标准——Aerospace Report No.TOR-2004(3909)-3537,Software Development Standard for Space Systems值得我们参考。     

无控航天器与空间碎片再入的工程预测方法研究现状

无控航天器、火箭末级以及空间碎片再入地球大气层后可能未烧尽,残存的小碎片高速撞击地面,对人类安全和生态系统构成极大威胁。提前预测其再入轨迹并采取预防措施能够有效降低地面风险。文章对无控航天器和空间碎片再入工程预测模型,包括航天器模型、动力学模型、气动热模型和烧蚀解体模型的研究现状进行跟踪与总结,也介绍了国内外有公开资料的工程应用软件,并讨论若干关键问题和进一步研究方向。     

基于安全性的航空发动机控制软件测试技术

针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况。