太空“园丁”

去年,国际空间站参与国决定将其运行寿命由2015年延长到2020年。投入近千亿资金之后,美、俄、欧、加拿大、日本等成员国（组织）都在努力拓展其应用,让国际空间站能“物有所值”,其中一个重要的领域就是国际空间站作为教育平台的开发。其实,早在国际空间站建造初期,驻守其间的航天员就意识到了太空生活、微重力环境下的种种奇妙现象对于学生的巨大吸引力。在繁忙的工作之余。     

伊朗发射“纳维德”地球观测卫星

据法新社2012年2月3日报道,伊朗于当日在用其国产“使者”（Safir）火箭发射了一颗地球观测卫星“纳维德”。该卫星发射成功后,进入高250-370km的轨道,其质量50kg,将在轨运行18个月,每90min绕地球一周,向位于伊朗境内的多个地面站传回卫星图像。这是2009年以来,伊朗发射的第3颗卫星。伊朗还计划在未来几年发射7颗卫星入轨,并打算在2020年以前将伊朗宇航员送人太空。     

区域北斗位置服务平台建设及运营思考

一、前言北斗位置服务平台是以北斗卫星导航技术为核心、集合GPRS、3G通信技术,为用户提供导航、通信、位置监控等服务。用户包括公众用户、行业用户以及政府用户,提供的服务包括大众位置服务、行业用户的业务运行服务、政府的应急服务等。随着北斗产业规模的扩大、行业应用的深入,北斗位置服务平台建设在省级、地市级逐步开展,包括北斗(上海)位置信息综合服务平台、北京北斗导航与位置服务产业公共平台、中山市北斗位置服务平台、福建省北斗卫星应用公共服务平台等均在政府的倡导下,启动建设运营。本文在研究了目前几大区域北斗位置服务平台的建设主体、技术特点、运行模     

中国民航机场建设集团公司承接老挝琅勃拉邦机场设计任务

琅勃拉邦是老挝著名的古都和佛教胜地,是老挝最重要的旅游城市,位于南康江与湄公河汇合处。这里依山傍水,寺庙众多,民风淳朴,自然生态保护完好,1995年被联合国教科文组织列入世界文化遗产。     

一次罕见的雷暴高压引起洛阳机场风切变过程浅析

利用气压场、风场、雷达资料,对洛阳机场出现突发性风切变做一浅析,以便当洛阳机场周边有雷暴时,对洛阳机场突发性大风切变天气的预报提供一些借鉴。     

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

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

高高原山地机场下滑结构超限问题分析及解决方案

中国民用航空局将海拔高度在2560m及以上的机场定义为高高原机场。我国目前共有9个高高原机场．这些机场主要分布在中国的西南部和西北部．分别是九寨／黄龙、拉萨／贡嘎、昌都／邦达、林芝／米林、阿里、康定、玉树／巴塘、迪庆／香格里拉和格尔木机场。除林芝及格尔木机场外,     

青岛机场一次暴雨过程的TBB特征分析

引言青岛夏季南方暖湿空气活跃,北方冷空气南下频繁．两者在此交汇常常出现强烈发展的对流云团,引发强度大、时间短的降水天气．造成严重灾害．因此对青岛的暴雨进行个例研究．总结预报规律是十分有意义的。耿敏等对青岛历年暴雨进行了统计分析,将青岛暴雨过程分为多个类型,作了大量的分析,并总结了关于台风暴雨、气旋暴雨和冷锋暴雨等类型暴雨过程的预报方法。     

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

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