基于GSPN的机载液压作动系统可靠性模型

机载液压系统具有余度降级、故障检测、隔离等动态时序过程,传统基于两元可靠性模型很难描述其动态行为和性能降级过程.针对这一问题,采用分层聚类和广义随机Petri网相结合建立了机载液压系统可靠性模型.利用该模型,详细分析了故障检测装置的故障检测率对系统可靠性的影响.分析结果表明,由于故障检测装置故障检测率的影响,机载液压作...     

微分中值定理的一种统一证明方法

利用闭区间上连续函数的介值定理、单调有界定理及极限的性质,统一地证明了广义微分中值定理,其余的微分中值定理可以作为广义微分中值定理的特例给出。     

Generalized Kutta–Joukowski theorem for multi-vortex and multi-airfoil flow with vortex production——A general model

By using a special momentum approach and with the help of interchange between singularity velocity and induced flow velocity, we derive in a physical way explicit force formulas for twodimensional inviscid flow involving multiple bound and free vortices, multiple airfoils, and vortex production. These force formulas hold individually for each airfoil thus allowing for force decomposition, and the contributions to forces from singularities(such as bound and image vortices,sources, and doublets) and bodies out of an airfoil are related to their induced velocities at the locations of singularities inside this airfoil. The force contribution due to vortex production is related to the vortex production rate and the distance between each pair of vortices in production, thus frameindependent. The formulas are validated against a number of standard problems. These force formulas, which generalize the classic Kutta–Joukowski theorem(for a single bound vortex) and the recent generalized Lagally theorem(for problems without a bound vortex and vortex production) to more general cases, can be used to identify or understand the roles of outside vortices and bodies on the forces of the actual body, optimize arrangement of outside vortices and bodies for force enhancement or reduction, and derive analytical force formulas once the flow field is given or known.     

一类非线性椭圆型方程非平凡解和分歧点的存在性

本文给出了所谓集中到列紧原理的另一形式,并利用它讨论了一类非线性椭圆型方程广义银和分歧点的顾在性。     

计算大型实对称特征问题的 Lanczos-QR 算法

为了计算大型实对称特征值问题Ｋｘ＝λＭｘ的少数低阶特征值对,本文给出Ｌａｎｃｚｏｓ－ＱＲ迭代方法。首先,给定初始迭代向量ｖ１,作ｍ步Ｌａｎｃｚｏｓ分解：ＫＶｍ＝ＭＶｍＴｍ＋ｈｍｅｍＴ。取Ｔｍ的ｄ个最大特征值为移位量,对Ｔｍ进行ｄ步带原点位移的ＱＲ分解。然后,修改初始迭代向量ｖ１。迭代地重新开始这一过程,迫使初始迭代向量ｖ１进入需求的特征子空间,从而使残量‖Ｋｘ－θＭｘ‖→０。数值例子表明,该方法收敛性强,且稳定、有效。     

基于EKF方法的橡胶隔震支座参数识别实验研究

采用Bouc-Wen模型建立橡胶隔震支座的非线性动力学方程,基于已有研究成果,缩减模型参数简化模型,建立不同数量参数的迟滞模型模拟橡胶隔震支座的非线性特性。对橡胶隔震支座进行振动台实验,基于测得的加速度信号和广义卡尔曼滤波(Extended Kalman filter,EKF)方法在线识别橡胶隔震支座的参数和位移。对不同参数数量的Bouc-Wen模型在不同地震波激励下,EKF方法识别得到的橡胶隔震支座模型参数一致,且识别的位移和实际测量得到的位移曲线吻合良好,验证了本文所得模型参数的有效性和准确性及模型简化的合理性,也证明了EKF方法在橡胶隔震支座参数识别中的有效性。     

圆心松弛的圆环格点阵及其灵敏度优化研究

针对目前综合孔径辐射计圆环格点阵圆心位置固定,不能最大程度利用圆环中可布阵区域的问题,提出圆环格点阵圆心优化方法,在不增大布阵区域的前提下,增加了布阵自由度,为阵列性能进一步优化提供了基础。基于圆心松弛的圆环格点阵,提出一种满足给定无混叠视场范围和空间角分辨率要求的广义圆环格点阵设计方法。基于广义圆环格点阵,当给定阵元数时,依据阵列退化因子优化灵敏度。仿真结果表明:优化后的阵列具有更高的辐射测量灵敏度。     

陀螺稳定平台漂移误差参数的辨识方法研究

给出了一种平台工作在惯性稳定状态下的静态多位置测漂方案 ,建立了包含陀螺漂移、地球自转因素在内的平台漂移数学模型和系统状态方程 ,解决了三轴开路状态下的耦合问题。取框架角传感器的输出作为观测量 ,利用广义Kalman滤波器对含有噪声的测量数据进行处理 ,将参数辨识问题转化为状态估计 ,仿真结果表明 ,此方法可以获得较好的辨识效果