航天器微振动工装动力学特性 仿真分析与试验验证

微振动试验中为了模拟航天器的在轨自由边界,需要建立具备大承载低刚度的试验工装。文章提出一种简化的航天器与微振动工装组合体模型,引入考虑初始变形的模态分析理论对组合体模态频率特性进行仿真分析,并将某型号卫星微振动试验工装设计指标与试验测试指标进行对比。结果表明:用简化后的组合体模型计算得到的准刚体模态频率与实测值相近,简化模型提供的第六阶频率计算误差仅为0.3%,从而验证了分析模型与校核方法的有效性。     

PHM系统验证指标研究

在分析预测与健康管理(PHM)核查与验证技术发展现状的基础上,深入分析了PHM系统核查与验证指标,从故障诊断和故障预测两个方面对主要的PHM系统能力度量指标进行定义和诠释。     

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

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

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

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

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

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

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

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

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

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

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

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