AFDX流量管制信用量设置的模型检查

航空电子全双工交换式以太网（AFDX）实时通信中,交换节点采用信用量令牌桶（creditedtoken bucket）进行流量管制。分别对基于帧和基于字节的信用量令牌桶流量管制进行时间自动机建模,并构建模型的并发交互场景;采用测试自动机,进行有界活性（bounded liveness）模型检查。通过形式化验证,发现流量管制通过约束突发度限制多路复用输出排队的时延抖动,但信用量值的设置必须考虑输入虚拟链路（VL）的时延抖动,否则可能导致已经聚合的流量中属于不同VL的帧的先后次序被破坏,反而造成更大的时延抖动。通过分析时延抖动对信用量设置的影响,归纳并给出流量管制信用量设置的注意事项。     

高温钛合金BTI-62421S激光焊接及超塑应用工艺研究

采用激光焊工艺能很好地保证钛合金超塑成形时的气密性要求,表明超塑成形结合焊接技术能够一次成形出多层中空结构零件,在型号产品上应用具有很大应用前景。     

名人富豪的私人飞机旅行——让人终身受益的日本健康之旅

私人飞机缩小了地球村的距离,生活在云端的名人富豪们可能今天在北京,明天在上海,后天又到了东京、纽约、巴黎……金鹿航空公务机公司客户的第一次私人飞机旅行全部选择了日本早期防癌健康之旅,让客户不但以独特视角和深度去感悟日本之美,更以世界领先的医疗服务为身体交出一份彻底、全面的健康答卷,也为肩负的家庭、企业、社会重任增加一份健康保险。     

陈求发一行检查指导探月工程后续工作

在中国航天科技集团公司全面开展深入学习实践科学发展观活动之际,3月31日下午,国家工业和信息化部副部长、国防科技工业局局长陈求发一行来到五院唐家岭试验中心检查指导探月工程后续工作。国防科工局副局长王毅韧、纪检组组长王双林、探月工程总设计师吴伟仁及国防科工局有关领导。集团公司总经理马兴瑞、副总经理雷凡培、纪检组组长李金生、总会计师吴艳华、副总经理袁家军,     

波音737NG飞机起动机孔探检查研究

本文分析了波音737NG飞机CFM56-7B发动机的起动机故障原因,提出在翼孔探检查可早期发现异常,并可对其进行及时处理,以避免发生重大安全事件.     

基于语音交互的航线检查单的开发及应用

飞机的维护保养中航线检查的频率最高,本文探讨了使用新型语音检查单替代传统纸质检查单的方法,机务人员只需佩戴蓝牙耳机并依据语音检查单的提示即可完成所有的检查任务,该方法有助于提升航线检查效率和检查效果。     

巩固,发展具有中国特色的航空器年度适航检查制度

我国民用航空器年度适航检查是借鉴美国联邦航空局(FAA)对通用航空小型航空器的做法,对航空器进行适航管理的卓有成效的方法之一,自1990年以来已经走过了六个年头,在这六年里年检工作经历了起步,摸     

基于Klocwork的C/C++软件静态检查

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。