多输出量测量模型的不确定度评定方法

本论文基于GUM不确定度评定方法,提出了多输出量测量模型的测量不确定度评定方法,并对如何获得多输出量测量模型的包含范围进行了举例说明。     

基于迟滞鲁棒性的自动车队队列稳定性控制

基于车辆纵向迟滞动态模型,对自动车队队列稳定性以及控制方法进行分析研究.建立考虑迟滞因素的车辆纵向迟滞动态模型,在此模型的基础上建立基于固定时间间距策略的滑模控制器和比例积分微分(PID,Proportion Integration Differentiation)控制器,然后依据队列稳定性判断准则分别对两种控制器进行队列稳定性分析并分别得到相关的队列稳定性条件.定量比较分析和仿真比较分析结果显示,PID控制器具有更强的迟滞鲁棒性.     

一种改进的频率步进雷达信号性能分析

在分析目标运动对频率步进信号一维距离像影响的基础上,提出了一种改进的频率步进信号,即参差脉冲重复间隔频率步进信号,研究了这种信号的数学模型和处理方法。理论分析和仿真结果表明,与频率步进信号相比,参差脉冲重复间隔频率步进信号的多普勒性能有了很明显的改善,一维距离像不会随目标的运动而产生失真。另外,根据参差脉冲重复间隔频率步进信号的特点,提出了利用距离微分法实现速度粗补偿和利用脉组误差函数法实现速度精补偿的方法和步骤,仿真结果证明,这两种方法是有效、稳健、可靠的。     

球状三嵌段共聚物在平面薄膜间的自组装

采用动态密度泛函理论（DDFT）对ABA型球状三嵌段共聚物在平板间的相行为进行了模拟研究。考查了不同强度的表面诱导对三嵌段共聚物自组装的影响。通过逐渐增大衬底作用,发现了多种偏离于本体的新结构,如浸润层相、平行柱状相、穿孔层相、层状相。发现浸润层相存在的表面场范围与短链的熵效应密切相关,同时熵效应的大小则依赖于长短链段的长度之比。在很多实际存在的嵌段共聚物中,如果在适当的实验条件下,应可以观察到模拟计算所预言的相结构。     

变分法在微分——超越系统中的应用

本文讨论微分—超越系统的最优控制问题。对控制量受限且分段连续的情形,进行了数学上的处理,应用变分方法,证明了最优性的必要条件。     

多飞行器突防打击一体化微分对策制导律设计

针对多进攻弹突防弹群拦截再打击目标的交战场景,提出了一种可应用于对手信息不完全情况下的微分对策制导方法。建立多飞行器交战的线性化模型,并依据不同对抗组进行模型降阶。引入时间算子统一所有分组的终端时间,基于二人零和微分理论给出制导律。利用扩展卡尔曼滤波(EKF)实现对拦截弹和目标的状态估计,并将估计应用于所提制导律。在对手状态信息已知时,仿真突防脱靶量大于5 m,拦截脱靶量小于0.1 m。而在只给定粗糙有噪声观测的不完全信息下,滤波器对拦截弹与目标的状态估计误差可接受,仿真结果依然保持相近的脱靶精度。仿真结果表明,所提制导律能有效导引进攻弹规避拦截,并准确打击目标。      

稀疏拟谱最优控制法求解Goddard火箭问题

提出了一种新的基于直接转化法的求解基于常微分方程(ODE)和微分代数方程(DAE)的最优控制问题的数值方法.该方法通过Legendre-Gauss拟谱法同时离散化状态变量和控制变量,把最优控制问题转化为一个非线性规划问题,并利用改进的多相处理方法避免优化无控段,同时基于稀疏矩阵探索其一阶导数信息.数值结果表明,与传统的直接转换法相比,该方法是一种通用高效的精度较高的ODE/DAE最优控制直接数值求解法.最后,从工程观点出发,应用该方法成功求解了终端自由有路径约束的奇异最优控制问题Goddard火箭问题.     

航空泵试验台驱动变结构控制

飞机液压系统泵源需进行地面试验,采用变频调速器＋异步电机＋增速箱的驱动形式是航空泵进行地面试验最先进有效的方法之一.建立了矢量控制变频调速驱动下航空泵试验台驱动系统的数学模型,针对航空泵试验时由于负载变化泵转速不能保持恒定的问题,采用积分滑模面的滑模变结构控制策略,并构造Lyapunov函数证明其稳定性.为降低输出抖振现象,提出采用模糊控制监督下的滑模变结构控制和伪微分反馈(PDF, Pseudo Derivative Feedback)控制相结合的控制策略,仿真及实验结果表明,该控制方法有很高的控制精度,在保持滑模变结构控制鲁棒性强的前提下降低了输出抖振现象.      

基于微分平坦方法的三维制导律设计

针对强耦合条件下的三维制导问题提出了一种新的设计框架。滚动引起的俯仰、偏航通道之间的强耦合关系,使得双通道解耦的三维制导律设计困难,使用微分平坦方法可以克服这一困难。首先使用矢量建立了导弹的一般运动学描述,并由此证明导弹制导系统是微分平坦的。依据系统的平坦输出设计比例-微分(PD)控制律可以实现目标静止或机动时的制导。进一步,通过对PD参数的适当约束可以实现任意落角及任意入射方位角的制导。仿真结果验证了该设计的优点。     

象征型拟微分算子的L~2－有界性

证明了象征型拟微分算子的一个Ｌ２有界性定理，其中象征ａ（ｘ，ξ）关于ｘ的正则性条件被进一步减弱了。在某种意义下，该结果给出了定理Ａ与定理Ｂ之间的联系。