欧委会授出三份“伽利略”合同伽利略导航系统将在2014年开始运行

欧洲委员会在2010年1月7日宣布,授出6份中的3份“伽利略”初始运行能力采购合同。系统支持服务合同授予意大利泰雷兹阿莱尼亚空间公司;前14颗卫星的建造合同授给德国OHB公司;发射服务合同授给法国阿里安空间公司。这意味着被屡次推迟的伽利略卫星导航系统将在2014年完成初步部署并具备初始运行能力。泰雷兹阿莱尼亚空间公司获得的系统支持服务合同价值8500万欧元,     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

英雄所见略同

"幸福的家庭都是相似的,但不幸的家庭各不相同。"这是大文豪列夫·托尔斯泰在他的不朽之作《安娜·卡列尼娜》中说的。这段时间,为了撰写《机长读本》,我们和民航数十位优秀机长进行座谈。虽然他们来自不同的公司,飞着不同的机型,有着不同的运行方式,甚至不同的性别和不同的年龄,但他们身上都表现出极其相似的职业价值观、安全技术观以及生活态度。说实在的,此时此刻,我的感受再一次证明了列夫·托尔斯泰老先生这句名言的通用性,优秀机长都是相似的。他们身上或多或少都表现出类似的特质:一是责     

基于风险管理的机场FOD防治

近年来,国内民航业快速发展,航班数量不断攀升,航空器遭鸟击、雷击以及航空器轮胎扎伤等事件呈递增趋势。机场FOD严重威胁航空器地面运行安全,一个小小的螺丝、一片小小的金属片、一颗尖锐的石子都会引起轮胎损伤甚至爆胎,导致航空器安全事故。而国内现行的FOD防治措施体系,在实践过程中可操作性不是十分显著。那么,如何更加有效地采取防治手段,降低航空器地面运行时遭遇机场FOD的风险,业已成为机场当局管理者的关注焦点。     

中国静止气象卫星的现状与未来

中国自行研制的第一代静止业务气象卫生风云-2共分成3批发射。01批2颗卫生——风云-2A、2B为试验卫星,分别于1997年6月10日和2000年6月25日发射,定位于105°(E)。02批3颗卫星——风云-2C、2D、2E为业务运行卫星,分别于2004年10月19日、2006年11月15日和2008年12月23日发射。目前,风云-2D、2E正在运行,它们分别定位于86.5°(E)和105°(E),目前运行良好,组成了双星观测系统,进行分时交替观测,对重叠区的观测频次增加1倍,提高了对灾害性天气和台风的监测能力。03批有3颗卫星——风云-2F、2G、2H,其中风云-2F已于2012年1月13日发射,定位于112.5°(E),     

美国计划发射红外导弹识别卫星

据称,美国计划发射新型红外导弹识别卫星,虽然这已经比预期落后了近十年,且预算超过114亿美元,但其技术将大大超过现有技术。美国空军计划发射4颗天基红外系统,首颗卫星于5月发射升空,进入太空轨道运行。卫星上的红外传感器更加敏感,能够尽快发现并识别难以看到的目标。     

保障跑道安全的新型解决方案

引言随着航空运输量的增加,航空活动日益频繁,相应的地面活动也不断增加,地面事故也随之频频发生。跑道侵入是威胁机场运行安全的最主要问题之一,已经成为改善机场安全运行的关键。在纵横交错的大型机场的跑道上,一个小小的疏忽造成的后果也许都难以想象。但现实是,这样的事故似乎从没有消失。据不完全统计,全球每年要     

建设航班信息管理系统 提升管制运行效率水平

随着我国经济的快速发展,航空运输因其快捷、便利和舒适的特点,逐渐成为大众化的出行方式。面对过去十几年里飞行流量以超过10%的速度持续增长的局面,空管保障能力不足的问题日益显现,随之而来的是航