NASA授出国际空间站货运服务合同

据NASA网站12月10日报道,NASA已授予洛克希德·马丁公司一份潜在价值1．71亿美元的合同。支持国际空间站货运服务。该合同将为由国际合作伙伴和商业货运飞船执行的空间站货运任务提供规划、协调支援,并为标准化的货运舱准备与封装提供保障。     

美国国防信息系统局授出“商业宽带卫星项目”合同

据美国太空新闻网2010年1月26日报道,国际通信卫星通用公司（IntelsatGeneral）被美国国防部授予一份价值5．427亿美元的合同,将在跨越5年的时问内,为美国海军提供全球端对端卫星通信服务。国际通信卫星通用公司是卫星运营商国际通信卫星公司（Intelsat）的子公司,它将作为美国海军“商业宽带卫星项目”（CBSP）的主承包商,     

革命性的复合材料固化新工艺

澳大利亚快步公司研制了一种新的复合材料工艺,它可以采用比传统热压罐小得多的设备固化大型复合材料部件。这项革命性的复合材料固化工艺,已经获得了美国F—35机体部件的生产合同,欧洲也希望将其用于下一代窄体客机的部件制造。     

区间不确定性下的空中作战行动过程优选方法

针对空中作战行动过程（COA）设计问题,根据动态影响网（DINs）理论和改进快速非支配排序遗传（NSGA-Ⅱ）算法,提出一种基于DINs和区间多目标优化的空中作战过程优选方法。首先,分析空中作战过程基本概念,分别进行静态和动态建模,并对参数不确定性进行分析。然后,基于改进Kendall协和系数检验法确定一致性检验后的关键参数,设计DINs概率传播算法。随后,分析期望效果实现概率与各关键参数的相关关系,在分析行动过程优选效果评价指标基础上,采用改进NSGA-Ⅱ算法对模型进行求解。最后,通过多组仿真案例,验证了模型的合理性,以及算法的有效性和优越性。     

RR公司MT7燃气轮帆-美海军气垫船动力

RR公司已经接获被美国海军称为船-岸连接器(SSC)的未来气垫船提供动力装置的合同。美国海军计划建造73艘气垫船,并将在今后的20年内逐步替代目前气垫登陆艇(LCAC)的气垫船,如图1所     

试验IP网故障分析策略及方法应用

针对试验IP（互联网协议）网建设和使用中遇到的网络问题,从TCP（传输控制协议）/IP网络原理和试验IP网的结构模型出发,对网络故障排查方法进行了总结,给出网络分层模型分析法、网络连接结构分析法和网络检测分析法相结合的故障排查策略。对某次测控信息联调中接收不到网络数据的真实故障案例进行了分析,运用网络检测工具对故障进行排查,依据网络结构对故障进行定位,依据网络协议对故障进行分析,验证了该方法可以使问题分析层次清晰、定位准确。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

美航字局拟为洛马飞船合同加钱

1月6日美航宇局发布采购通报,称将修改同洛马航天系统公司现有的64亿美元“奥利安”飞船研制合同,增加3．75亿美元,用以采购一枚德尔它4火箭,供飞船2014年的一次试飞使用。这次试飞称为“探测试飞”1。     

SpaceX大日子:“龙”船正式运营

<正>当地时间2012年10月7日,美国佛罗里达州卡纳维拉尔角,美国私营的太空探索技术公司(SpaceX)使用"猎鹰"9号火箭再次向国际空间站发射"龙"飞船。10日,搭载453.6千克货物的"龙"飞船与国际空间站成功对接,成为首艘为空间站运送补给物资的商业飞船。"龙"飞船国际空间站货运合同的单次费用为1.33亿美元。16亿美元购买12次货运发射,这是SpaceX公司与美国航宇局2008年签订的固定价格合同。2002年SpaceX公司成立时,公司创始人和首席执行官艾伦·马斯克的想法很明确:打造更轻便、精简的火箭推动器,改变整个火箭领域。事实上,他做到了。