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

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

混合系统的形式化验证

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

平板边界层转捩的数值模拟

对于自由湍流引起的压力梯度为零的平板边界层转捩过程的数值模拟,本文提出了一个单方程湍流模型 (VL M模型),对湍流粘性系数和湍流长度尺度都进行了修正以正确引入低雷诺数效应。数值计算表明,该模型在自由来流湍流度为 0.03～8%的大范围内能正确模拟边界层转捩全过程,包括转捩区起点位置和转捩区长度、边界层内的平均及脉动参数分布等。本文还提出了上述转捩过程的时均化五阶段模型。      

机载合成孔径雷达运动补偿研究

论述了运动误差对合成孔径雷达（SAR）成像的影响及运动补偿的任务;综述了国内外SAR运动补偿的研究状况;指出全球定位系统和惯性导航系统构成的组合导航系统通过卡尔曼滤波器可以形成一种高性能的运动补偿系统。     

数据收集系统下行频偏校准与点频值计算

风云二号（ＦＹ－２）卫星在轨运行期间本振源必定产生一定的频率偏移,这就影响了数据收集平台接收系统（ＤＣＰＲ）相应于各种平台的报文锁相环路的频率捕获范围,严重时将无法解调出各种平台收集的气象数据,整个系统也将无法正常工作。为解决上述问题,介绍了ＤＣＰＲ下行频偏校准及点频值计算的方法。通过ＦＹ－２卫星在轨测试表明,在随机干扰比较严重的情况下,ＤＣＰＲ对各种平台报文接收解调的成功率优于９８％,取得了令人满意的结果。     

氯化钾镀锌大规模生产故障分析

本文对氯化钾镀锌在大规模生产中存在的故障进行系统的研究和分析，发现镀锌层的主要故障有发花、发雾、碰伤、掉膜、淋漆等。选择好的光亮添加剂、加强镀锌后清洗，改进下挂方式、调整浸漆工艺等，并加强管理是有效提高产品一次性合格率的主要措施。     

大级间引气对轴流压气机级间性能的影响

级间引气能够显著改变压气机的级间性能匹配,是压气机设计中常用的性能调试方法。通过对一台9级压气机开展引气结构设计、大级间引气试验测量和基于试验测量数据的子午流面参数计算,研究了大级间引气对轴流压气机级间性能的影响。研究结果表明：当级间引气量从13%变化到24%时,压气机堵塞流量变化较小,喘振裕度减小;过大的引气量会导致引气位置后面级出现较大的流动分离和效率降低,级间匹配变差,从而使得压气机总压比降低,喘振裕度下降。     

小型BVA 石英谐振器的研制

传统的BVA石英谐振器在老化率和Q值方面具有优良的性能,但其体积大,抗振可靠性较差,限制了其推广和应用。本文介绍了一种新结构的BVA石英谐振器,通过优化电容片和石英晶片的结构设计,研制出更小尺寸的异型石英晶片和电容片,整个小型BVA谐振器的尺寸减小到HC-40/U,性能指标与传统BVA石英谐振器相当,同时具有较高的抗振可靠性。     

软管锥套式空中加油系统建模与特性分析

针对自主空中加油研究中软管锥套运动模型过于简化,现有建模方法又存在成本高、计算量大、软管长度恒定等缺陷的问题,根据集中参数法原理,提出了一种长度可变的多级串联理想单摆系软管锥套运动模型.同时考虑软管收放、加油机牵连运动、重力、定常流、大气扰动、加油机尾流等内外部因素,推导了迭代形式的变长度软管锥套三维运动方程.由摆长约束导出了求解软管拉力的代数线性方程组,进而给出了模型稳定性证明和适用条件.通过数值仿真,测试了锥套阻力、平衡位置、软管收放等稳态特性,分析了加油机滚转运动、尾涡流场对软管锥套的动态影响以及软管甩鞭现象的产生机理.数值仿真结果验证了所建模型的有效性.