2n阶边值问题的正解

通过运用锥不动点定理来讨论2n阶边值问题[multiply fro i=1 to n(-(d~2/dt~2) λ_i)]u=f(t,u),0-π2,i=1,2,…,n。f是非负连续函数。     

火星巡视器动力学建模研究与仿真平台实现

火星巡视器是执行复杂的火星表面探测任务的重要载体,为保证巡视器的可靠性,本文对火星巡视器动力学原理进行了研究.首先,分析了巡视器的结构组成,介绍了巡视器动力学建模的相关理论基础.然后根据巡视器有向Span树的轴链系统,基于拉格朗日递归动力学分析方法,得到了多轴系统拉格朗日方程,通过遍历巡视器轴链拓扑完成了巡视器动力学模...     

航空发动机鲁棒PI控制频域设计

针对航空发动机高、低压转速和压比控制回路,研究中考虑执行机构动态的高阶开环传递函数,根据推广到时滞系统的棱边定理,采用频域方法设计有参数不确定性的非精确模型的鲁棒PI控制器;并利用不确定范围内的发动机非线性模型构成的棱边系统和不确定系统族,验证了鲁棒控制器作用下的系统性能。仿真结果表明,该频域设计方法能使闭环系统的性能指标和鲁棒性均达标。     

中心对称平面三连杆的同步运动

研究中心对称平面三连杆的运动.该模型是常见的力学系统,可以近似描述外层空间中弱引力条件下带有太阳能板的卫星的运动状况.然而,由于该系统是不可积系统,一般的运动状况比较复杂.在本文中对该模型建立Lagrange运动方程,主要研究其同步运动,求出同步运动的精确解,并分析其运动规律,证明了在一定条件下存在周期解.本文的结果为进一步研究该系统的在同步运动附近的复杂性打下了基础.      

基于反馈定理的IB-LB方法(英文)

格子波尔兹曼方法(Lattice Boltzmann method,LBM)和浸入边界方法(Immersed boundary method,IBM)皆为近年来发展的可替代Navier-Stokes(N-S)方程求解复杂流体力学问题的数值模拟方法。本文采用浸入边界-格子波尔兹曼方法(IB-LBM),将IBM作为一种边界处理格式应用到LBM中,模拟了静止单圆柱及并排双圆柱绕流,与文献对比结果吻合良好,证明该方法具有模拟复杂边界物体绕流的能力。与采用虎克定理、直接力法计算体积力项的传统方法不同的是本方法运用反馈定理,即采用流场和流场内物体之间的速度、位移反馈来计算体积力项,使得该方法易于实施并具有优良的并行性。     

常p-Laplace系统在次p-次条件下周期解的存在性

运用临界点理论中P. H. Rabinowitz的鞍点定理证明了常p-Laplace系统在(▽F(t,x),Vx)≤μF(t,x),|x|≥M下周期解的存在性.     

基于神经网络的一类非线性系统自适应回馈递推控制

文章针对一类非线性系统,研究了一种基于回馈递推法的自适应神经网络控制方法.首先基于隐函数定理和中值定理推导出模型跟踪误差的动态特性,再利用多层感知器神经网络并设计适当的权值调整规则使其能够自适应的逼近和补偿误差提高系统的鲁棒性.基于Lyapunov方法证明了闭环系统所有信号有界且跟踪误差收敛到一个很小的邻域,所得到的闭环系统是一致稳定的.仿真结果验证了所研究算法的有效性.     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

高超声速飞行器刚体／弹性体耦合动力学建模

高超声速飞行器广泛采用升力体、乘波体等气动布局和轻质复合材料、薄壁结构等,导致结构振动与刚体运动频率非常接近,给飞行器制导控制系统设计带来了巨大挑战.针对该类飞行器的特点,考虑结构的横向位移,将机身前后体简化为于质心处固联的2根悬臂梁,并从统一的能量观点出发,基于拉格朗日方程与虚功原理,在纵向平面推导出适合高超声速飞行器的刚体/弹性体耦合动力学模型.通过对比耦合模型与传统刚体模型的极点分布情况,发现结构振动与刚体短周期模态紧密耦合,离心力的引入影响了高度与长周期模态,对高超声速飞行器航迹运动的作用不可忽视.最后分析了飞行速度与结构阻尼变化对耦合模型动态性能的影响.结果证明飞行速度对刚体运动模态影响显著,而结构阻尼的变化主要改变弹性模态.     

基于四元数平方根容积卡尔曼滤波的姿态估计

针对飞行器姿态确定中乘性扩展卡尔曼滤波(MEKF,Multiplicative Extended Kalman Filter)在较大初始姿态误差角情况下存在估计精度低及收敛速度慢的问题,提出了一种四元数平方根容积卡尔曼滤波(QSCKF,Quaternion Square-root Cubature Kalman Filter)算法.在推导姿态确定系统四元数非线性误差模型的基础上,采用容积数值积分理论来计算非线性函数的均值与方差,同时使用平方根的形式来提高数值稳定性;针对四元数规范化问题,采用拉格朗日代价函数法求解四元数加权均值.仿真结果表明:在初始姿态误差较大的情况下,该算法相比较于MEKF以及无迹四元数估计法(USQUE,Unscented Quaternion Estimator),估计精度高且收敛速度快,滤波稳定性好,同时估计时间比USQUE缩短了1/3.