航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

印度为载人太空任务拨款10亿卢比

2月29日,印度政府拨款10亿卢比（0．25亿美元）发展载人太空任务。印度空间研究组织已经提交载人太空飞行议案,预计未来＋年进行。科学家们认为载人任务总成本大约1000亿卢比（25亿美元）。     

“阿特兰蒂斯”号航天飞机的谢幕之旅

<正>美国东部时间5月14日14时20分(北京时间15日2时20分),"阿特兰蒂斯"号航天飞机载着6名航天员从美国佛罗里达州的肯尼迪航天中心发射升空,8分半钟之后进入预定轨道,这是它第32次执行太空飞行任务。如果"发现"号和"奋进"号航天飞机能够顺利地完成接下来的太空飞行任务,那么这次飞行将成为"阿特兰蒂斯"号航天飞机的谢幕之旅。     

美俄导弹预警卫星发展现状

苏联/俄罗斯导弹预警卫星在美苏激烈对抗的冷战时期,苏联军方时刻关注这样一个问题:如何保持对美强大的核威慑能力?为了达成上述目标,必须研制和部署性能先进、工作效率高的集信息指控和情报侦察等功能为一身的导弹预警卫星系统,为此苏联共发展了两代导弹预警卫星。     

新疆地区首个RNP AR程序通过试飞验证

我国西部地形复杂,高原和山地较多,航空公司不仅需要选派特殊改装的飞机和经过严格训练的精英机组执行这些机场的飞行任务,还要承担大量起飞减载、返航、备降、取消航班等不正常航班所造成的经济损失。使用RNPAR程序可以使航空器有效绕开超高障碍物,缓解空域矛盾,很适于在地形复杂、气候多变的高原机场推广使用。     

基于CCSDS MO服务参考模型公共服务接口设计

为提高飞行器任务运控系统的可重用性和可扩展性,对基于CCSDS(空间数据系统咨询委员会)MO(任务运营)服务参考模型的系统设计和实现方法进行了研究。针对MO服务参考模型的核心服务层,以我国飞行器任务运控系统的需求为出发点,在分析了MO服务参考框架、MO服务定义、运控功能服务定义和公共服务组成的基础上,对MO各公共服务的接口进行了分析与设计。采用面向对象方法学、设计模式等理念,设计并实现了相关公共服务接口。通过向运控功能服务提供API(应用程序接口),可以支持系统应用层开发。这为建立符合CCSDS MO服务参考模型的飞行器任务运控系统,并实现系统的可扩展性和可重用性提供了支持。     

中国月球探测进展(2011-2020年)

回顾2011至2020年10年来中国月球探测的进展,重点介绍嫦娥三号和嫦娥四号任务工程实施情况以及取得的主要科学探测成果,展望中国月球和行星探测的未来发展.     

一种面向成像卫星的启发式分层任务规划方法

针对成像卫星运控系统设计中的高计算效率、动态任务调整应用需求,提出了一种启发式分层任务规划方法,采用资源预算、分层规划、约束复核、动态调整的思路构建任务调度路径,利用启发式贪婪策略逐级引导任务规划求解过程,通过在每一层上缩减问题规模实现解空间的分步降维,加速任务规划计算.提出低收益任务消减和冲突任务消解策略处理应急动态...     

北京三号A卫星自主任务规划地影快速预报方法

星上自主任务规划是北京三号A卫星的一项创新性技术,显著提升了卫星的好用、易用性和智能化水平。为了满足自主任务规划的高实时性要求,文章提出了一种卫星进/出地影时刻的快速预报方法。首先,基于太阳-地球-卫星的相对位置关系,建立了每个轨道圈内卫星进/出地影时刻的解析估算模型和进/出地影时刻卫星满足的非线性方程;然后,基于获得的进/出地影时刻的估计值,使用对分法迭代求解非线性方程,获得进影和出影时刻的精确结果。仿真结果表明：在星载处理器上使用该方法预报一天的地影时间耗时约1.1 s,计算速度比现有星上预报算法提升了约100倍,具有较高工程应用价值。     

装备维修任务模型研究

首先建立了确定装备维修保障维修任务量模型,在此基础上运用任务安排模型给出了任务数多于维修人员数和维修时间有限两种情况下的处理方法,能比较科学的根据确定的维修任务和维修人员的情况实现对维修任务的分配.