基于NuSMV的系统安全性分析平台开发和应用

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以＋5V电源监控系统为例,对其安全性进行了分析。     

美国的飞机健康监测系统适航认证

<正>目前关于飞机健康监测系统(AHMS)的研究主要集中在新的故障诊断算法、传感器的布置最优化等方面。然而,对AHMS投入商业应用的评估、适航认证也非常重要。本文概述了美国关于AHMS适航认证所做的工作,包括硬、软件认证,维修特许的授权等,最后通过一个实例来说明美国军方是如何实现AHMS的。     

民用飞机胶接技术应用分析

胶接技术应用于民用飞机数十年以来,应用范围和应用面积都呈增长趋势,可以说当代任何一种先进飞机的设计和制造都离不开胶接技术的应用。我国无论是大型客机项目的研发还是低空领域的开放,都为民用飞机提供了很大的发展空间,而研制新型民用飞机也离不开胶接体系和胶接技术的应用,研制高性能耐久胶接体系、开拓新材料胶接技术成为一种新的挑战!     

超临界翼型设计中的多响应代理模型

为考虑超临界翼型设计中代理模型多响应之间的相关性,研究了基于多输出高斯过程回归的代理模型。通过实验数据验证了升力系数、阻力系数及力矩系数之间显著的相关性,建立了超临界翼型设计中的基于多输出高斯过程的多响应代理模型,并与kriging模型、BP和RBF两种人工神经网络模型进行了对比。结果表明,当超临界翼型设计中多输出端口之间存在显著的相关性时,多输出高斯过程相比kriging、BP和RBF能有效显著提高预测精度,并获得更加稳定的预测性能。     

LD10高强度铝合金薄板的焊接

LD10是一种热处理可强化的高强度铝合金,其薄板是运载火箭推进剂贮箱常用的材料,这种薄板焊接后变形量大,热裂纹倾向性大,易产生过烧,构件焊接后质量不易保证,本文从工艺角度出发就如何控制变形和避免裂纹产生作一介绍.     

脉冲镀金——钴合金镀层性能试验

一、前言 精密微波同轴接头采用直流镀金工艺、纯金镀层。其镀金层组织疏松,光泽性差,孔隙率高,耐磨性和抗蚀性也较差,严重地影响着产品质量,因此就改用脉冲镀新工艺,进行金——钴合金镀层试验。     

中国海洋一号卫星数传分系统设计及飞行试验参数分析

介绍了中国海洋一号卫星数传分系统的设计及飞行试验参数结果,并对飞行数据进行了分析。     

美国以外的运载火箭系统

美国的航天飞机即将重新上天,欧洲的阿里安4运载火箭已于今年6月15日发射成功。近两年来,西方在遭受一系列航天发射失败之后,正重新振作起来。 到4月底为止已与阿里安航天公司签订合同待发射的卫星(大部分是通信卫星)总数已达44颗,价值约25亿美元;在2月召开的蒙特勒航天会议上,该公司的总裁法兰特烈克充满信心