软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

2004～2009年间的空间探测(上)

1日地空间探测 在20世纪末,美国航宇局(NASA)在“国际日地物理学”和“日地关系”等空间物理学计划的基础上,提出了“日地联结”的长期研究计划。这个计划所涉及的内容,无论是深度还是广度,都远远超出以前计划的范围。该计划的基本目的是了解太阳为什么变化,行星对太阳的变化是怎样响应的,太阳和星系是怎样相互作用的,太阳变化是怎样影响生命和社会的。为了实现这一计划     

“希望”之旅——中国首颗科普公益卫星希望-1入轨运行

<正>2009年12月15日是值得纪念的日子。在这一天,中国航天科技集团公司自主研制的中国首颗科普公益微小卫星希望-1,与遥感卫星-8一起由长征-4C火箭成功发射。在希望-1卫星上承载了诸多"希望"。第一个希望来自希望-1卫星的用户——中国科学技术协会。中国科学技术协会将开展一系列希望-1卫星应用体验活动,激发青少年热爱航天、探索太空的热情,架起广大青少年热爱科学、提高科学素养的桥梁。     

合成仪器体系架构与关键技术研究

合成仪器技术作为下一代自动测试系统中的一项关键技术,在装备综合保障中占据重要地位。介绍了合成仪器的基本概念、体系架构及特点,详细论述分析了合成仪器中涉及的包括信号调理、ADC/DAC、数据处理器与总线、系统软件等关键技术及实现,并展望了合成仪器的发展前景。     

微小卫星的任务组织管理

为降低发射成本,小卫星发射以搭载和"一箭多星"为主要方式。2012年,全球"一箭五星"及以上的发射3次,共发射小卫星26颗,占年度发射小卫星数量的44.83%。微小卫星项目虽然在成本、技术复杂程度等方面无法与大型航天器项目相比,但涉及到"一箭多星"发射,整个任务的组织管理就是一个复杂问题,需要顶层设计、实施协调、监督管理以及工程支持等方面的综合能力。为此,各主要航天国家的政府部门在"一箭多星"任务组织管理方面发挥着主导作用,制定了专门支持微小卫星任务的组织管理机制,不但提供了更多发射机会,还通过有效的组织、管理和协调,推动整个任务的成功实施。     

“高分”科技改变生活

高分一号卫星在长征二号丁运载火箭的托举下成功飞天,并在预定轨道稳定运行,我国高分辨率对地观测系统重大专项的天基系统建设之战正式打响。至此,中国航天科技集团公司在高分专项的接力赛中高质量、高效率地跑下了第一棒,并开始将接力棒转交到数据接收处理和应用系统的手中。对于高分专项的实施而言,造好星和用好星同等重要,只有把卫星的应用     

携带萤火-1的“火卫一-土壤”探测器未能按计划变轨

俄罗斯时间2011年11月9日00：16,搭载有我国首颗火星探测器——萤火-1的俄罗斯“火卫一-土壤”火星探测器（Phobos Grunt）,在拜科努尔发射场由俄罗斯天顶-2SB（Zenit-2SB）运载火箭发射升空。升空后由于“火卫一-土壤”探测器在地球轨道运行时出现故障,未能按计划实现变轨,萤火-1无法进入地火转移轨道,有可能在2012年1月坠入地球大气层。 “火卫一-土壤”探测器是俄罗斯自1996年火星-96发射失败以后的第一个火星探测项目。该任务的主要目的是采集火卫一的土壤样品并返回地球进行研究,同时对火卫一、火星和火星环境进行科学探测。“火卫一-土壤”探测器搭载了两项火星探测项目,即中国的萤火-1探测器和美国的“微生物行星际飞行生存能力实验”（LIFE）生物舱。芬兰火星“气象网”（MetNet）先遣任务原本也计划搭裁“火卫一-土壤”探测器发射,但后来由于研制进度滞后和“火卫一-土壤”探测器发射质量限制等原因被取消。整个“火卫一-土壤”项目耗资达50亿卢布（约10.5亿人民币）。     

第16颗卫星升空 北斗导航系统亚太组网成功

10月25日23时33分,中国在西昌卫星发射中心用长征三号丙运载火箭,成功将第16颗北斗导航卫星发射升空并送入预定转移轨道。这是一颗地球静止轨道卫星,它将与先期发射的15颗北斗导航卫星组网运行,形成区域服务能力。根据计划,北斗卫星导航系统将于明年初向亚太大部分地区提供正式服务。此次发射的北斗导航卫星及其运载火箭长征三号丙,分别由中国航天科技集团公司所属中国空间技术研究院和中国运载火箭技术研究院研制,这是中国长征系列运载火箭第170次发射。     

基于协调组的RTI时间管理方法

针对目前运行支撑环境(RTI,Run-Time Infrastructure)时间管理方法中存在的时间推进效率低及网络带宽占用量大的问题,提出基于协调组的RTI时间管理方法并将其应用于BH RTI 2.3时间管理服务.将仿真系统中节点划分为不同的协调组并设置协调者,通过分组局部协调逐步达到全局的时间同步.实验结果表明,该方法在仿真节点时间推进速度及网络带宽占用量方面优于同等条件下的其他RTI时间管理方法.