符合民机适航标准的形式化方法研究

描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法对需求进行形式化建模,通过形式化分析发现需求模型的缺陷。对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义。     

基于升压原理的整流电路设计

为了提高微波无线输能系统接收装置中整流电路的RF-DC转换效率，本文提出了一种新的基于升压原理的整流电路设计方法。首先，通过对整流电路的工作原理进行分析，得到整流电路的等效电路模型。然后，通过推导整流电路转换效率的公式，分析了影响整流效率的关键因素。在分析了影响整流二极管能量损耗因素的基础上，提出了用提高整流电路中整流二极管输入端的电压幅值来提升整流效率的方法。在相同的输入功率下，通过升高二极管的输入电压幅值，可以降低流过整流二极管的电流，从而减小整流二极管的能量损耗。仿真结果表明，在整流电路与功率源匹配良好的情况下，通过提高二极管的输入电压幅值明显提升了整流电路的效率，在输入功率为20 dBm时得到了最高81.25%的整流效率。该设计方法能为快速提升整流电路的效率提供指导。     

变截面悬臂梁结构动载荷辨识方法

在航空航天领域，作用在结构上动载荷的确定对结构健康监测是非常必要和重要的。为此，本文以类似机翼结构的变截面悬臂梁结构为研究对象，提出了一种基于光纤光栅传感器与卡尔曼滤波器的动载荷识别方法。首先，根据变截面梁单元形式，推导出变截面梁的质量矩阵与刚度矩阵，建立动力学运动方程。然后，以光纤光栅传感器测得的应变信息作为观测信号，通过卡尔曼滤波器生成的增益矩阵、新息序列矩阵以及协方差矩阵，得到灵敏度矩阵和估计力的增益矩阵。在此基础上，利用广义回归模型及其最小二乘算法，估算出动载荷大小、判断出动载荷激励位置。借助数值仿真与实验手段，分别验证了该方法对于单点正弦激励、方波激励、锯齿波激励以及多点同时激励等工况下的动载荷识别效果。结果表明，本文所提算法具有较好的动载荷识别效果和噪声抑制能力，能够为未来风洞试验和真实飞行试验环境中诸如大展弦比机翼表面气动压力等载荷实时辨识、气动外形自适应控制以及结构健康监测提供技术支撑。     

考虑失效阈值随机性的退化-冲击竞争失效建模

针对大多竞争失效可靠性研究未考虑失效阈值随机性的情况，提出一种随机失效阈值影响下的竞争失效系统可靠性评价模型。分析冲击影响下退化过程中退化量及退化率的变化，并在此基础上考虑阈值随机性。讨论累积退化影响下的冲击过程，以系统所能承受的强度分布描述冲击失效阈值，并结合累积退化量的期望水平建立随时间变化的冲击失效阈值，从而明确描述了冲击失效阈值与退化过程之间的依赖关系，给出竞争失效过程的可靠性函数。以微电机系统为例进行对比及敏感性分析，验证了随机失效阈值的引入更能反映系统真实运行状态。     

Analytical solutions of cracks emanating from an elliptical hole under shear

Based on the complex variable method, the analytical solutions of stress functions and stress intensity factors（SIFs） are provided for the plane problem of two collinear edge cracks emanating from an elliptical hole in an infinite plate under shear. The stress distribution along the horizontal axis is given in graphical forms, which conforms to Saint-Venant＇s principle. The influences of crack length and ellipse shape on the stress intensity factors are evaluated. Comparing the analytical solutions with finite element method（FEM） results shows good coincidence. These numerical examples show that the present solutions are accurate.     

变循环压缩系统涵道流动计算模型及模式转换倒流判据研究

为了研究双外涵变循环压缩系统的涵道流动匹配规律，发展了涵道流动的计算模型，对压缩系统模式转换过程中外涵道倒流问题的发生机理和影响因素进行了深入分析，总结了压缩系统的倒流判断准则，并基于简化计算模型和全三维计算结果对倒流判据进行了验证。研究结果表明，对于一定的压缩系统匹配状态，存在一个决定涵道匹配状态的临界核心机驱动风扇级(Core Driven Fan Stage, CDFS)总压比，当CDFS的实际工作压比高于临界压比时，压缩系统第二外涵道将发生倒流，反之则系统不倒流。复杂涵道系统内的流动损失和堵塞等特性对临界CDFS总压比有显著影响，为了准确判断压缩系统的匹配状态，需要对其进行精确模化。基于简化模型得到的压缩系统倒流临界线可以推广至全三维状态，本文提出的倒流判别准则具有较高的可靠性和可行性。     

电动静液作动器的新型变阻尼级联滑模控制

为改善电动静液作动器（EHA）的动态性能，提出了一种基于新型准自适应变阻尼滑模控制（DV-SMC）和PID控制的级联控制（CC）算法。所提算法将高阶EHA分为液压和机械2个低阶系统，分别对2个低阶系统采用了DV-SMC和双环PID控制策略。DV-SMC方法能够自适应调整滑模面阻尼。在起始阶段采用欠阻尼、末段自适应调节为过阻尼，从而在保证EHA快速性的同时也能够完全抑制超调现象。通过仿真验证了所提算法的有效性，并讨论给出了DV-SMC滑模面最优参数。      

层次分析法在航空产品设计评审中的应用

采用层次分析法计算影响设计评审因素的权重,进而对权重值较高的影响因素采取相应的管理措施,从而提高设计评审的有效性。