混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

基于LMI的混合系统的稳定性和鲁棒镇定研究

混合系统的稳定性分析,乃至镇定方法是混合系统研究的重要内容。线性多模态切换系统是一类重要的混合系统。针对线性多模态系统提出了一种基于线性矩阵不等式技术进行稳定性分析和鲁棒镇定的方法,通过求解一组线性不等式得出稳定性的判定条件,设计出的一组状态反馈控制律对系统的模态切换乃至有界模型不确定有鲁棒性。推导了控制律设计所对应的线性矩阵不等式组,并证明了其中的一致性关系,探讨了求解方法,应用实施也显示出该方     

面向精密制造的微材料特性检测机构

微机电系统(MEMS,Micro Electromechanical Systems)在航空航天、汽车、生物医学、环境监控、军事等领域中有着广泛的应用前景.其材料力学性能的测试目前是其性能测试的薄弱环节,它涉及到微位移、精密定位和载荷/位移测量.采用传统"机械"制造技术,由于摩擦、间隙、爬行和多环节传动误差积累等原因而无法实现.为此,提出了一种冗余驱动全柔性并联机构和压电陶瓷驱动器所组成的新型测量平台.在推导4RRR冗余驱动并联机构运动学逆问题方程的基础上,经过最佳拓扑选择、运动学分析,并基于动力学优化,确定了微位移/精密定位运动平台主要结构尺寸.实验表明:采用该平台,可以满足MEMS材料力学性能测量所需的微位移和精确定位要求.     

大型客机飞行员操作程序综合评价

机组对飞机的成功操作很大程度上依赖于一套精心编制的飞行员操作程序,不合理或不合逻辑的操作程序可能导致飞行员的违规操作,进而引发飞行事故.参考波音737NG飞行机组操作手册,分析进近和着陆阶段的任务功能流程后确定了评价指标体系的层次结构;采用德尔菲法对现役飞行员进行两轮咨询,建立了基于安全性的进近和着陆阶段飞行员操作程序综合评价指标体系;对飞行员进行咨询,采用序关系分析法确定了各指标的权重系数;应用模糊综合评价法对飞行员操作程序进行综合评价,得到了飞行员操作程序的评价等级和评价值.提出了一种将功能流程图法、德尔菲法、序关系分析法和模糊综合评价法相结合的飞行员操作程序综合评价方法,并应用于波音737NG飞机进近和着陆阶段的操作程序评价.评价结果说明了该综合评价方法的合理性.     

基于盲源分离技术的航空发动机振动信号分析

基于双转子航空发动机机匣拾取振动信号特征的分析,采用基于数学形态学滤波前处理的盲源分离识别方法进行特征提取.针对机匣拾取振动信号的特征,利用开—闭和闭—开组合数学形态滤波器在保留信号基本形状的前提下,滤除掉原始信号中的噪声分量.利用Fast ICA算法恢复高、低压转子源振动信号的波形.对实测数据的分析表明,该方法能够较好地恢复高、低压转子所激振动信号的频域结构信息,有利于提高故障定位的准确性.     

广义多圈Lambert算法求解多脉冲最优交会问题

基于一种高效高精度的Battin多圈Lambert算法提出一种考虑轨道摄动的广义多圈Lambert算法.与现有算法相比,本算法虽然原理复杂但计算流程非常简单,效率极高,分别通过几次内外循环就可满足精度要求.广义多圈Lambert算法结合一种可行解迭代交会模型构成了一个通用的多圈多脉冲交会规划框架,应用两步法求解此多变量的复杂工程优化问题,首先利用高效率的进化全局优化算法以及解析轨道模型作全局搜索,然后利用序列二次规划算法以及简化高精度轨道计算模型作局部搜索,此方法可以保证高效高精度的求解多圈多脉冲交会问题.算例表明此方法特别适用于满足实际工程约束的交会规划问题.     

基于STM32F429的全向运动平台的运动控制

全向运动平台系统是可以实现人体在各个方位行走的2D运动平台。针对实现人体在全向运动平台稳定行走的运动控制,采用加入观测器的一阶控制算法对平台运动控制进行探究。先通过MATLAB软件进行算法的仿真,验证方法的可行性;再通过现场测试,验证控制算法的有效性。最终试验表明,加入观测器的一阶控制算法可对全向运动平台实现有效的运动控制。此运动控制策略的探究为全向运动平台的运动控制提供了一种可行的控制思路和方案。     

整体油箱口盖的密封改进设计及失效分析

整体油箱不但可以充分利用飞机空间结构,还可以减轻飞机总重量。而飞机整体油箱的口盖密封性能对飞机安全性和续航能力有很大影响,为了分析整体油箱口盖的密封失效,同时提高油箱口盖的密封性能,设计了一种新型的油箱口盖密封方式,对其进行极限承载能力试验,通过试验验证新型油箱口盖密封方式的密封性能是否提高。同时,利用有限元软件ABAQUS对试验进行了模拟计算,通过对比试验与有限元分析结果,验证了试验结果的有效性和有限元分析的可靠性,并对其密封失效进行了讨论。     

先进表面活化剂改性胶接界面的技术研究

主要介绍了胶接技术的原理和如何采用表面活化剂(改性硅烷类偶联剂)对胶接界面进行活化,并对金属与复合材料胶接和金属与金属胶接性能受表面活化剂的影响进行了试验和分析,结果表明胶接界面采用表面活化剂后对胶接强度有很大的提高,已在某型号飞机典型零件上进行了验证.     

小型固定翼无人机绳钩回收过程动力学分析

绳钩回收作为小型固定翼无人机的一种精确定点拦阻无损回收技术,近年来在国内外得到迅速发展。本文以某型无人机的绳钩回收系统为研究对象,对绳钩回收系统进行了参数化处理并建立了两种动力学仿真模型。一是在考虑回收架柔性基础上建立了基于Lagrange方程的绳钩回收系统的动力学仿真模型,二是在考虑绳索变形和系统结构细节基础上建立了基于MSC.ADAMS的绳钩回收系统的多体动力学仿真模型。通过上述两种仿真模型的算例分析以及与某型无人机绳钩回收试验的测试数据作对比,验证了两种动力学仿真模型在绳钩回收系统不同设计阶段的适用性和有效性。