波音助东航成功完成丽江机场RNP运行航线验证试飞

5月13日,中国东方航空公司一架波音737-700飞机成功完成了云南丽江机场所需导航性能（RNP）运行航线验证试飞,民航局副局长李健一行登机体验了这次验证飞行。RNP是利用机载飞行管理系统和全球定位系统引导飞机起降的新技术,与传统导航技术相比,飞行员不必依赖地面导航设施就能沿着精确定位的航迹飞行。RNP飞行程序为运营商提供了一项高效的工具,     

基于回归模型的液体火箭发动机试验数据的验证与重构

由于传感器设计、制造水平和工作环境等原因,传感器工作异常、出现故障或失效现象时有发生,影响了试验的完成和试验数据的使用。在研究液体火箭发动机地面试验各测点参数相关性的基础上,建立了传感器验证网络,利用测点参数间的线性回归模型对传感器数据进行验证和重构。经过实例验证表明,利用线性回归模型建立传感器验证网络,验证与重构发动机试验数据是可行的、有效的。     

联合防区外发射武器BlockⅡ海上试验成功

据雷锡恩（RTN）公司10月20日报道，联合防区外发射武器（JSOW）Block Ⅱ在海军的第一次试验中表现非常好。此次试验验证了武器系统的性能和飞行器的兼容性。     

航天飞机安全措施和降落地选择

2003年2月1日哥伦比亚号航天飞机失事,造成7名航天员死亡的悲剧.事后在分析灾难的原因,并用模拟试验验证后认定,事故是由于发射时外贮箱上的一块绝缘泡沫材料掉下来击伤了机翼上的防热瓦引起的,在返回大气层时,航天飞机与大气相对摩擦,产生高温等离子气体,从防热瓦受损处注入航天飞机内部,导致金属结构熔化,使整个航天飞机结构解体.     

MBDA公司开始验证中程导弹战斗部和发动机

M B D A公司近期对其中程导弹的战斗部和发动机进行了系列试验。中程导弹是一种新型地面作战装备,预计2017年装备法国陆军。MBDA公司于2009年自筹资金启动中程导弹研发工作。2011年12月法国国防采办局披露了其与MBDA公司签订的中程导弹风险降低合同。在风险降低合同下,研究人员验证并确定了中程导弹系统     

长征五号火箭完成初样数字样机模装协调

正处于初样研制攻关阶段的长征五号运载火箭,最近顺利完成初样第二轮全箭数字样机模装协调工作,在中国火箭史上首次实现了全型号数字工程化应用。     

日地L1点探测任务设计与结果分析

日地L1点是太阳观测任务的理想观测点,对于中国后续太阳观测任务具有重要意义,因此在嫦娥五号的拓展任务阶段设计并实施了中国首次日地L1点探测任务,通过在轨飞行验证了日地L1点转移轨道、环绕轨道设计的正确性,对日地L1点的测控链路环境、太阳辐照环境、三体动力学环境、空间辐射环境等飞行环境进行了探测和验证。轨道飞行和各项环境探测的结果与设计模型的预示结果之间比对一致性较好,通过在轨飞行数据验证了设计模型的正确性。各项试验获得了预期的技术成果,进一步丰富了嫦娥五号任务的成果产出,对中国后续深空探测任务和产品的设计具有重要借鉴意义。     

民用飞机技术出版物验证方法探讨

技术出版物作为民用飞机产品的重要组成部分,用于指导运营人正确地操作和维护飞机。分析民用飞机技术出版物文件(手册)内容的自身特点,归纳民用飞机技术出版物的验证要求,提出民用飞机技术出版物的验证方法,确立技术出版物文件验证方法选用的一般原则,构建民用飞机技术出版物验证的管理体系。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

液压多点协调加载技术在机翼载荷校准试验中的应用

载荷校准试验是飞机飞行载荷测量的关键技术环节,而校准试验载荷的加载方式、载荷量级的大小直接影响着载荷建模及飞行实测载荷精准度。本文提出的液压多点协调加载技术,可实现飞机机翼多点、自动控制、协调加卸载,与以往人工单点加载试验相比,载荷量级提高到了机翼限制载荷的40%以上,并可模拟机翼在飞行时气动载荷的压心分布情况进行试验加卸载,提高了试验载荷模拟飞行载荷的真实程度。采用多点协调加载数据建立机翼的载荷方程,较以往单点数据,方程精度提高了4%以上,为提高实测载荷精度奠定了坚实的基础技术。