混合系统的形式化验证

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

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

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

应用遗传算法的气动优化设计

首先对简单遗传算法进行改进,并对改进前、后算法的计算效率进行了比较;然后以跨音速翼型为例,应用改进的遗传算法进行气动优化设计。经过优化的翼型气动特性垢改善,表明了遗传算法在优化设计中的有效性。在优化设计的过程中,翼型用解析函数的线性叠加表示,目标函数和个体和适应值由欧方程的流场解来提供。     

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

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

高焓电弧风洞试验热化学非平衡流场数值模拟

针对高焓电弧风洞内部流动的热化学非平衡效应及气体组分和振动能量冻结效应导致的试验数据外推困难问题,基于高焓风洞喷管/试验段/试验模型一体化数值模拟的思路,通过数值求解三维热化学非平衡Navier-Stokes方程,开展了FD-15高焓电弧风洞典型运行状态下流场的数值模拟,与典型试验状态的气动热数据进行了对比验证,研究了试验数据外推飞行条件的方法及有效性问题,分析了提高驻室总压对试验数据外推的影响。研究表明:（1）风洞试验段来流离解度高,热化学非平衡效应及其冻结现象严重;（2）热流校核试验测量数据位于一体化数值模拟的完全催化热流和非催化热流之间,分布合理,验证了计算方法和程序的正确性;（3）试验模型安放位置对模型表面压力和热流存在影响,模型与喷管出口的距离越大,模型表面压力和热流越低;（4）当驻室总压较低时,通过双尺度模拟准则（模拟飞行条件总焓和双尺度参数ρ_∞L）外推热流失效,使用部分模拟准则（模拟飞行条件总焓和驻点压力）外推热流也会出现较大差异,在非催化条件下这一现象更加明显;（5）当驻室总压较高时,使用双尺度模拟准则或部分模拟准则外推飞行条件,产生的热流差异明显减小。     

天基监视雷达的距离游走和距离重叠补偿研究

为了实现天基雷达杂波消除、高分辨率的角度估计和广域监视功能,采用三通道相位中心偏置天线（DPCA）/monopulse（单脉冲）信号处理系统。天基雷达的运动和地球自转,使得地球上每一点的杂波都产生了附加的多普勒成分——距离游走效应。距离游走与距离重叠效应相结合,显著地降低DPCA处理算法的杂波抑制性能。针对距离游走效应在相干处理阶段进行反向补偿、在非相干积累阶段采用线性内插的方法进行校正,针对距离重叠效应采用基于普罗米修斯结构的波形分集技术进行校正。实验结果显示,提出的距离游走和距离重叠综合补偿方案显著提高杂波抑制效果。
     

法兰环缝局部真空电子束焊机的研制

对所研制的法兰环缝局部真空电子束焊机作了简要介绍，对焊机的微机控制系统和电子 枪极坐标行走的控制、二次电子焊缝对中、焊接轨迹的示教再现、真空系统和焊接工艺的微机控制等关键技术作了较为详细的阐述。通过焊接工艺试验，用法兰环缝局部真空电子束焊机焊接出了成形良好、焊缝内部质量符合GJB1718－93Ⅰ级标准的铝合金法兰环缝典型工艺件。     

H_∞滤波算法及其在GPS/SINS组合导航系统中的应用

 在对 H∞ 估计问题进行数学描述的基础上,建立了一种 H∞ 次优滤波算法的迭代方程。定性讨论了H∞滤波算法与传统 Kalman滤波器的关系,通过在 GPS/SINS组合系统中的实际应用进一步从精度、鲁棒性等性能指标方面对 H∞ 滤波和 Kalman滤波算法进行了比较。仿真结果表明,在理想条件下,Kalman滤波方法具有较高的精度;但是,当系统模型和外部干扰统计特性发生变化时,H∞ 滤波算法明显具有良好的鲁棒性能,同时,估计精度也较高,有效地克服了 Kalman滤波器存在的局限性。     

精密轴套内孔的研磨

随着航空工业的发展,一些精密测试设备的主要件,如轴、轴套、轴承座的精度和光洁度相应地提出了较高的要求。在这些精密零件的加工工艺中,常常采用研磨加工。这里,以轴套为例谈一点体会。研磨图示一类轴套,内孔的椭圆度、锥度均在0.001毫米以内,光洁度达▽12。