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

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

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

虚拟实验在高频电子线路理论教学中的应用

论文给出了基于Multisim的虚拟实验构建的流程,阐述了虚拟实验在高频电子线路理论教学中的必要性及作用,并针对《高频电子线路》课程中的重点及难点内容：振幅调制的基本概念及特点,给出了教学示例。     

高职高专大学英语口语教学模式探索与实践

探索适应高职高专大学英语口语教学的模式不仅是《高职高专大学英语大纲》的要求,也是推动高职高专英语口语教学改革的关键。论文以培养学生的职业能力、实现学生的可持续就业能力为目标,提出了大学英语口语教学模式及在教学中的具体实施策略。     

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

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