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

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

印度为载人太空任务拨款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服务参考模型的飞行器任务运控系统,并实现系统的可扩展性和可重用性提供了支持。     

国外中继卫星系统对交会对接任务的支持研究

<正>空间交会对接是两个或两个以上航天器在空间进行的一项极其复杂的空间操作。这种操作是实现空间站在轨装配、补给和维修等高级空间操作的必要条件,也是实现空间站工程的一项重要任务。由于空间交会对接是当前世界航天领域中一项十分复杂     

面向空间机械臂操作的力反馈手柄设计

针对我国空间站建设中对空间机械臂操作控制的应用需求,文章对空间机械臂操控手柄的机构和控制方法进行了分析,设计了一种三自由度力反馈手柄。该手柄以球面并行机构为依托,通过对机构关键参数的分析完成手柄构型设计;通过对电机力矩的调节,将机械臂与环境交互的力/力矩信息再现并作用于航天员的手部。该手柄设计将力反馈技术引入到空间机械臂的操作中,增加了航天员通过力交互的方式感知机械臂状态。试验结果表明,力反馈手柄能较好地辅助航天员操控空间机械臂,提高了空间机械臂执行任务时的操作效率。     

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

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

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

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