飞行员操作程序的形式化描述

本文提出用状态转移表这种形式化方法描述飞行员操作程序,并在此基础上开发了POP测试用例标准解生成软件。用形式化方法描述飞行员操作程序,可以向系统软件设计者提供完备的、一致的和严密的软件需求规范,可用软件工具进行自动处理。     

涡扇发动机低转速部件特性扩展和风车状态性能模拟

借助涡扇发动机风车特性研究的最新成果,开展了某型涡扇发动机的风车性能数值模拟研究.首先,基于不可压流理论,附以可压缩效应修正的指数法发展了补充慢车转速以下部件特性的计算模型和计算程序;其次,根据流量连续、压力平衡、功率平衡、燃烧室进出口总温相等及转速相等等约束条件建立了风车状态时涡扇发动机高低压转子及整机的共同工作方程;最后发展了具有一定计算精度的涡扇发动机风车状态特性计算模型和程序,并以某型涡扇发动机为例,计算分析了不同飞行条件下发动机的风车特性,从计算结果看,其趋势是合理的.     

采用状态分析法实现值机柜台的行李控制流程

本文详细分析了机场行李自动分检系统中值机柜台部分行李的控制处理流程，采用状态转移图的方法对其控制流程进行了描述，并以此完成了该部分PLC控制程序的设计。     

航空燃气涡轮发动机状态监控和技术诊断

论述了航空燃气涡轮发动机状态监控和技术诊断科学产生的背景和意义。阐述了技术状态诊断任务分类、技术状态分析和诊断算法。介绍了一些典型航空发动机状态监控和技术诊断系统的现状和发展远景。     

T-S模糊系统的部分状态反馈H∞控制

基于部分状态信息的控制器是一类特殊的静态输出反馈控制器, 一般难以利用线性矩阵不等式工具求解. 本文研究T-S模糊系统的部分状态反馈镇定及部分状态反馈H∞控制问题. 首先, 通过矩阵变换, 将T-S模糊系统的部分状态反馈镇定问题转换成求解一组线性矩阵不等式(LMIs); 然后, 以此为基础得到基于LMI的部分状态反馈H∞控制器设计方法; 最后, 通数值例子验证所给方法的有效性.     

场面监视雷达系统在民用机场的应用

本文论述场面监视雷达系统的结构、原理以及在民用机场应用的冲突告警原则，并简述骨行引导功能的应用前景。     

具有随机偏差的两段卡尔曼估值器

本文考虑了同时具有状态偏差和测量偏差的两段卡尔曼估值器及其最优条件问题，首先给出了增广状态的最优卡尔曼滤波和两段卡尔曼估值器。     

改进模糊C均值的客机空调系统退化评估算法

针对使用快速存储记录器(Quick access recorder,QAR)数据进行大型客机空调系统健康评估与异常检测时面临的数据不平衡与先验知识不足的问题,本文提出一种基于改进模糊C均值(Fuzzy C-means,FCM)的大型客机空调系统退化评估算法。该算法计算故障状态与正常状态的距离,并基于大型客机空调系统的物理特性优化了FCM算法的距离函数,引入了左右空调组件的状态差作为评估标准。本算法有效地解决了现行方法存在的过拟合问题,并且对于部件的前期退化有更高的敏感性,能够有效的反映性能退化的中间过程。为航空公司安排航班计划与维修计划,降低运行成本提供了有力的技术支持。     

基于视觉与边界元法的复杂曲面砂带磨削接触状态快速获取

机器人砂带磨削具有高的加工表面质量与效率,但是在加工复杂曲面部件时,难以确定的局部接触状态导致加工过程的精度难以保证,限制了其在高端产业的应用。目前的局部接触状态计算方法难以满足加工中对计算效率的要求。因此,本研究首先对比分析了FEM与BEM在计算接触状态方面的结果,提出采用机器视觉识别砂带上的磨削痕迹得到磨削区宽度,并将其作为BEM的边界条件,最终实现了局部接触状态的快速获取。该方法能够在1 s内计算得到18 mm×18 mm区域大小,精度0.2 mm点云轮廓的接触状态,与FEM计算结果对比,最大误差不超过5.6%。     

基于数字孪生的无人机状态监测方法

当今无人机产业迅速发展,无人机状态监测对保障无人机的正常运行至关重要。依据数字孪生的构建框架,分别对无人机的物理模型、几何模型、行为模型、规则模型和数据模型方面进行构建,实现了具有实时交互能力的无人机数字孪生模型,从无人机的物理实体、数字孪生体与无人机的数据信息等方面出发,构建了一种实时数据驱动的无人机的数字孪生模型。并依据无人机机翼主梁的光纤应变传感器数据对主梁承受的载荷进行统计,根据雨流计数法成功计算出主梁所受的载荷大小,实现了对无人机状态的实时监测。