提高A380可维修性的设计思想和工艺方法

在A380的设计阶段,空客主要从设计制度和从新材料新技术的应用两个层面,保证和提高了A380的可维修性.     

中国民用航空学院更名为中国民航大学

根据《高等教育法》、《普通高等学校设置暂行条例》的有关规定以及全国高等学校设置评议委员会评议结果，并经教育部批准，中国民用航空学院更名为中国民航大学。中国民航大学目前已发展成为中国唯一一所民航学科专业门类齐全、将航空科学技术与交通运输工程两大学科群交叉融合的高等学府，被誉为中国民航人才的摇篮、科学技术研究的中心、国际文化交流的窗口。     

基于UML的任务空间概念模型动态行为验证研究

动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向.论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的.该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性.     

真空实验舱数字式压力控制系统设计与验证

针对脉冲等离子体推力器测试所需的容积大于60m3的大型真空实验舱对气压控制的要求,设计了数字式压力控制系统.该控制系统采用旋片泵组和罗茨泵构成两级串联的组合抽气方式对实验舱进行抽真空,具有较高的效率.基于双曲正切函数构建了变增益函数,从而实现对不同压力范围的变增益比例、积分和微分(PID)调节.试验结果表明,这一数字式...     

直流电阻箱半自动检定系统

简要介绍了直流电阻箱半自动检定系统的构成、工作原理、测量方法及软件设计,并对该系统的可行性进行了验证.     

系统形式化分析在AILS研发中的应用

系统形式化分析（system formal analysis）是近些年在航空系统研发中所应用的一种安全评价方法。原理是运用数学建模，对研发航空软件系统所有假设条件下的输入集元素的有效性及系统算法逻辑性进行验证，其本质是假设合理性及算法正确性的数学检验，可弥补传统的模拟、试飞等安全评价手段的局限性，并将逐步成为未来航空系统研发中安全评价的重要步骤和手段。介绍了系统形式化分析在机载横向间隔信息系统（AILS）研发中的安全评价应用，通过假设检验、建模验证AILS告警算法等，给出了该系统的安全性论断并提出了相关建议。     

国内外航天产品热真空试验标准简析

通过调研国内相关标准,并结合我国热环境技术的发展现状和应用需求,对比分析我国热真空环境试验相关标准与GSFC-STD-7000中的热真空试验验证部分标准的差异和适用性,并提出采标结论与建议。     

一种构建大规模网络的新方法

根据交叉立方体网络的结构特征,给出了节点扩展和边扩展的概念,提出了一种由较小网络扩展成为大规模网络的设计理念。探讨了网络扩展前后的节点数和边数的对应关系,证明了扩展后网络的传输延迟仅增加1,计算了扩展后网络的连通度比扩展前的连通度多2。重点分析了扩展后网络的最小路由选择,分情况讨论了网络中任意两顶点之间最短路的确定方法,并具体给出了每一条最短路的长度。     

遗传算法在通信设备密集布阵优化过程中的应用

在系统介绍遗传算法的基础上,分析了电台密集布阵过程中造成电台之间相互影响的几个关键因素。利用遗传算法实现了电台的优化布阵计算,能够一定程度地解决布阵不当而造成电台之间的相互干扰。