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

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

“猎鹰”9船上着陆再败

正3月4日,太空探索技术公司的"猎鹰"9FT型运载火箭在卡纳维拉尔角空军站发射了卢森堡欧洲卫星公司(SES)的SES-9通信卫星。这次发射再次进行了火箭第一级海上平台着陆尝试,但依然未能取得成功。这是"猎鹰"9火箭2015年6月底发射失败后的第三次发射,也是"猎鹰"9FT型火箭第二次发射和首次执行静地转移轨道发射任务。本次发射也是太空探索公司今年的第二次发射。     

中国航天的“火箭”速度

2010年,中国航天的宇航发射任务以第三颗北斗导航卫星的华丽出场拉开序幕,又以第七颗北斗导航卫星的一飞冲天压轴谢幕,漂亮的一起一合,于中国航天而言,无疑是一场精彩至极的汇报演出。一年间,中国航天共完成15箭20星的宇航发射任务,创年度宇航发射的历史新高,其发射密度之大、成功率之高和影响力之远都是史无前例的。     

未来无人采样返回任务一瞥

1俄罗斯"火卫一-土壤"(Phobos-Grunt)探测器俄罗斯"火卫一-土壤"探测器是对火卫一进行的一项无人采样返回任务,中国研制的火星轨道器萤火-1(YH-1)也将搭乘"火卫一-土壤"探测器发射升空。该任务原定于2009年发射,但由于俄罗     

"韩国卫星"系列发展现状

卫星通信以其通信范围大、可靠性高、可多址等特点,日益成为世界各国重点发展的目标,并对国家战略安全构成重要影响。作为亚洲“四小龙”之一和综合科技水平号称世界排名第6的韩国,也很重视发展通信卫星。目前,韩国电子通信研究院（ETRI）与韩国电信公司（KT）合作发展卫星通信技术,以支持“韩国卫星”（KORESAT,又叫木槿花,是韩国的国花）,并承担星上有效载荷的研制和通信卫星地面站的建设。2010年12月29日,韩国第5颗通信卫星韩国卫星-6升空。该卫星发射质量为2850kg,装备了30台Ku频段转发器,将以增强的能力接替韩国卫星-3任务,并从116°（E）的地球静止轨道位置为朝鲜半岛提供广播和通信业务,卫星设计寿命超过15年。     

无人集群系统时变编队H∞控制

针对有向通信拓扑网络下具有通信时滞与外部干扰的无人集群系统（AUSS）时变编队H_∞控制问题进行了研究。首先,基于AUSS期望编队构型信息、无人机（UAV）实时状态信息以及通信UAV之间带通信时滞的状态误差信息提出了AUSS的编队控制方法,通过变量替换将AUSS的编队控制问题转换成低维闭环系统的渐近稳定问题,并以线性矩阵不等式（LMI）形式给出了系统稳定的充分条件与最大允许通信时滞的计算公式。其次,通过构造Lyapunov-Krasovskii（L-K）泛函,证明了存在通信时滞与外部干扰条件下AUSS能够实现时变编队。最后,通过数值仿真验证所设计方法的准确性与有效性。      

月球中继通信卫星系统发展综述与展望

中继通信是一些月球探测任务中必须解决的关键问题,特别是月球背面和两极地区的着陆和巡视探测任务以及载人登月任务。对国内外月球中继通信卫星的研究和发展情况进行了综述,在对月球中继通信任务需求分析的基础上,从中继通信体制选择、轨道选择等方面对月球中继通信任务的实现途径进行了分析,并对月球中继通信技术的未来发展进行了展望。     

“嫦娥4号”中继星任务轨道确定问题初探

"嫦娥4号"任务将采用着陆器、巡视器和绕飞地月拉格朗日L2点中继星进行月球背面的探测,中继星已先期发射,进入环绕地月L2点的晕(Halo)轨道。在中继星使命轨道动力学模型的基础上,通过相关仿真工作,开展了中继星在Halo轨道上的摄动源量级及影响定轨预报的主要因素分析,结果表明:太阳光压摄动是其主要影响因素。为降低其相关影响,提高定轨精度,在太阳光压球模型的基础上,结合中继星在轨运行特点及其星体结构特点,提出了一种求解光压等效面积的方法。经仿真分析,使用修正后的太阳光压球模型进行定轨求解,速度精度可提升约一个量级。     

考虑多因素的可修系统任务可靠性分配方法

在实际工程中,系统常常是由串联、并联、旁联和表决等模型混合而成的复杂可修系统,目前此类系统的可靠性分配方法多采用等分分配等方法,得到的分配结果往往误差较大。本文提出了一种考虑维修、故障逻辑等多因素影响的可修系统任务可靠性分配方法。该方法以系统故障率为待分配指标,首先对包含维修影响的故障率进行转换,然后利用考虑故障逻辑的评分分配法进行分配,最后通过备件系数进行修正,获得分配结果。新方法能够为在实际工程中可修系统的任务可靠性分配提供一种简便易行的方法。      

深空激光通信进展及应用研究

深空激光通信是实现深空高速通信的主要手段之一。对国外深空激光通信的发展现状进行了综述,总结了深空激光通信技术发展的若干启示,给出了深空激光通信的典型应用,分析了深空激光通信涉及的主要关键技术,以期为我国深空激光通信的发展提供一定的参考和借鉴。