星载软件可测试性设计方法

随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段。文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程。可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效。     

“隼鸟”探测器归途多磨难

NASA和欧空局局长最近在华盛顿签署了联合开展火星探测的“意向书”,为双方科学家和工程师开始共同规划相关任务开了绿灯。双方2016年将发射一个由欧洲牵头的轨道器,2018年将发射分别由欧美双方提供的火星表面漫游车,两次发射所需的火箭将由美方提供。随后双方还可能在2020年发射一组着陆器。最终目标是要实现火星取样回送。美欧双方的现行火星探测计划部受到了经费压力。     

西昌彩绘“开门红”——第三颗北斗导航卫星发射散记

<正>当2010年的新年钟声敲响的时候,身在大凉山深处西昌卫星发射中心执行第三颗北斗导航卫星发射任务的火箭、卫星发射试验队也在翘首期盼着新年。但是,和常人的期盼不同,他们更期盼用自己辛勤的工作为新一年的航天发射任务迎来一个精彩的"开门红"。     

图解“隼鸟”号先进技术

“隼鸟”号的总质量为485．9千克（包括燃料）,配备了多种有效载荷仪器。它由结构、热控、通信、电源、数据处理、姿态轨道控制、反作用推进、电推进、飞行任务、取样等系统,以及密封舱和子探测器组成。     

航天梦,从这里起飞

嫦娥二号任务,是西昌卫星发射中心组建以来执行的第60次航天发射任务。这座位于大凉山深处的航天城,已经伴随共和国走过了整整40个年头。40年来,西昌卫星发射中心各项软硬件已与国际接轨,跃居世界十大航天发射场之列。     

奋进号执行空间站组装任务

美国奋进号航天飞机2月8日升空．执行代号为STS-130的飞行任务。机上乘有五男一女共6名宁航员．美国3架航天飞机定于今年晚些时候退役。包括此次飞行在内．它们只剩下5次飞行任务要完成。奋进号此次飞行主要任务是运送称为“宁静”的一个连接用舱段以及装在该舱上、设有多个观察窗口的一个圆顶舱．称为“穹顶”．这两个舱段均南欧洲泰雷兹,阿莱尼亚空间公司设在都灵的工厂根据同欧空局的合同为NASA建造。     

美绕月卫星升空一年十大发现

据新浪网2010年6月28日消息,2009年6月23日,NASA发射的月球勘测轨道器（LRO）在过去的12个月里搜集的数字信息数量超过历史上任何一次行星探测任务。为庆祝其到达月球轨道一周年,科学家评选出LRO过去一年的十大科学发现。     

2GHz～6GHz功率驱动模块研究

文章研究了工作频率为2GHz～6GHz的微波功率模块（MPM）中的功率驱动模块。分析了功率驱动模块的特性与基本分析方法,重点研究了驱动模块中均衡网络的分析与设计及功率放大器的偏置技术。针对微波功率模块中小型化行波管的离散特性,可以利用仿真软件的优化功能快速地对功率驱动模块进行辅助设计。基于此方法,设计了一个频率为2GHz～6GHz、最大输出功率达32．5dBm的功率驱动模块。     

航天员长期太空飞行的食品保障

长期航天计划包括建立月球基地、火星以及更远星球的探索。这些长期任务要求食品系统提供丰富的食品以满足不同任务的需要。本文介绍了未来航天员的食品系统组成：从地球带来的储备食品;混合型食品系统,即从地球带来的占主导地位的储备食品和半成品;利用化学、物理和生物的方法,对飞船中产生的各种废物进行加工处理,生成再生食品系统。希望对长期太空飞行食品系统的建立提供借鉴。     

多指标约束下考虑报废的可修复备件携行方案优化

针对任务期间普遍存在的故障件报废和备件多指标约束问题,提出了多层级装备的可用度近似评估方法及携行备件方案优化方法。首先通过忽略维修时间将考虑报废率的多层级可修件转化为单层级消耗件,进而利用伽马分布的可加性建立装备可用度评估模型。在此基础上以装备可用度、备件总质量为约束指标,以备件总体积最低为目标构建多约束备件优化模型。模型求解过程中引入拉格朗日因子,并采用边际算法对约束因子进行动态调整。算例中通过与仿真结果的对比、分析得出：当维修时间取值在部件等效平均寿命的一半以内时,提出的近似方法合理可行,平均误差小于5%。