航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

2021年世界重要空间科学发射任务

2021年全球重要的空间科学发射任务逾10次,主要是美欧的空间天文、月球和深空探测任务,我国也将发射首颗空间地球科学卫星“广目”。此外,多个中外载人航天任务亦将为空间科学与探索搭建新的平台。      

基于摄影测量技术的航天发动机装配过程几何参数测量方法研究

当前我国航天发动机装配过程几何参数的测量方法为专业人员操作激光跟踪仪或全站仪逐点位进行测量,此类方法存在测量效率低的缺点。针对此问题,提出了一种高效的基于摄影测量技术的航天发动机装配过程几何参数测量方法,对该测量方法的测量原理进行了介绍,详细说明了这一方法各测量环节实现的测量目的,最后通过实测数据计算工业数字摄影测量技术在此类应用中的系统准确度,证明了该测量方法的可行性。     

去年航天经济规模为2510亿美元

美国航天基金会4月8日发表了其《2008年航天报告》。称2007年全球航天活动的经济规模超过2510亿美元,报告全面研究和分析了航天工业的状况,以2007年数据为主,包含了全球航天预算和收入信息、年度概述以及对“航天基金会指数”的分析,并首次探讨了美国的劳动力问题。2007年全球航天工业的预算和收入总额达2511.6亿美元,比上年增加11％。报告称,美国航天工业雇员数量正在增加,平均年薪（2006年为88200美元）是总体私营部门平均水平（42400美元）的两倍以上。     

第七届中国国际航空航天博览会在珠海举办

本刊讯第七届中国国际航空航天博览会于11月4日至9日在广东省珠海市举办。中共中央政治局委员、国务院副总理张德江出席开幕式并宣布博览会开幕.中共中央政治局委员、广东省委书记汪洋,中央军委委员、国务委员兼国防部长梁光烈.全国政协副主席李金华.广东省省长黄华华等领导出席开幕式。作为航空航天博览会主办方的中国航天科技集团公司总经理马兴瑞在主席台就座。     

世界航天科技发展现状与趋势

航天科技的发展给国家安全、科技进步、经济发展、环境监测、资源保护、减灾救灾等军、民、商诸多领域均带来了日新月异的变化。21世纪,越来越多的国家认识到航天科技发展的重要性。掀起了新一轮航天科技竞争热潮。我国航天科技工业已取得一定成绩,但与世界一流航天国家还有相当差距．     

日本HTV的责任

日本HTV的发射是今年世界载人航天界的一件大事,不管是事件本身,还是事件的主角——HTV飞船和H-2B运载火箭,都引起了航天人士和舆论媒体的极大关注。随着HTV搭乘H-2B的上天,日本的航天实力究竟达到了怎样一个新高度呢？它到底或者应该带给世界各国航天人士或部门怎样的关注呢？     

举世瞩目的土星探测（二）

“卡西尼”曾被定为是美国发射的最后1个大探测器．此后美国只研制和发射小型空间探测器．但最近美国又计划研制“木星冰卫环行”核动力探测器．它将是美国航宇局有史以来所建造最大的空间探测器．估计造价在约30亿-40亿美元．     

火星探测器减速着陆技术特点

针对火星上的稀薄大气环境和火星探测器的着陆要求,对火星探测器减速着陆技术进行了系统的分析,探讨了火星探测器减速着陆系统、气动外形、降落伞和着陆缓冲等相关环节的技术特点,为未来火星探测器减速着陆系统的设计提供参考。     

固体火箭发动机燃烧、热结构与内流场国防科技重点实验室

<正>固体火箭发动机燃烧、热结构与内流场国防科技重点实验室,是我国惟一的固体火箭推进领域的国家级重点实验室,由航天科技集团公司第四研究院第四十一所和西北工业大学联合建设。自1995年建成以来