基于MDADT方法的离散切换系统L_2增益分析

主要研究一类离散时间的线性切换系统的稳定性和L_2增益问题,将应用一种模式依赖平均驻留时间(MDADT)的方法来分析这类离散时间线性切换系统的L_2增益属性。模式依赖平均驻留时间是指在系统每个切换模式下都有自己的平均驻留时间,这使得驻留时间与系统的模式相关。因此,旨在找到一个准确的可容许的切换信号下的MDADT值,使得整个系统是稳定的。利用多Lyapunov函数方法得到系统稳定及L_2增益属性的充分条件,该条件是典型的线性矩阵不等式,可用LMIs直接来求解。MDADT方法的引入,使得驻留时间小于一般情况下的平均驻留时间,从而使得系统全局一致指数稳定的条件具有更少的保守性。     

考虑多晶圆流的集束型设备群调度方法

为有效解决集束型设备群多品种晶圆调度问题,构建考虑多晶圆流集束型设备群调度算法.统筹考虑多晶圆流、驻留和资源约束等特征,并以系统Makespan最小为目标,建立数学模型.集束型设备群调度分解为外层晶圆序列决策和内层机械手调度两个阶段,采用蚁群寻觅结合双向搜索策略,将蚁群算法融合到晶圆时间约束集搜索算法迭代过程中.在此基础上,提出了ASTC(ant systems and time constraints)调度算法.对该调度算法进行仿真实验分析,结果表明该算法的有效性.     

切换系统有限时间稳定的事件触发滑模控制

构建了一个事件触发滑模曲面用来处理事件触发过程中的网络传输延迟现象.对传输产生的延时采用模型转换法,将原时变时滞的不确定性从原系统中分离出来,分解为两个常时滞组成的近似项和有界误差项,并经过事件触发滑模控制器消除延时带来的不利影响.用李雅普诺夫函数和平均驻留时间(ADT)方法推导出系统的输入输出有限时间稳定的充分条件,并通过线性矩阵不等式(LMI)求解得到滑模控制律的增益矩阵.实例证明:系统闭环曲线稳定,且输入输出有限时间满足设定要求.     

多时变时滞切换系统的指数稳定性分析(英文)

笔者主要研究了一类多时变时滞切换系统的指数稳定性问题。通过采用一类特殊的限定时滞的上界与下界的分段Lyapunov-Krasovskii函数,使用平均驻留时间的方法,分析了在任意切换时间下的多时变切换系统的指数稳定性以及鲁棒指数稳定性问题。首次以线性矩阵不等式的形式给出一个新的稳定性准则。由于未引进多余的加权矩阵,在估计泛函微分上界时未忽略有用信息,即充分考虑时滞上下界信息,使得所得结果具有较小保守性,同时为了获得更小保守性的结果,引入了积分不等式的放缩方法以及线性矩阵不等式方法,以及使用线性变换降低了文章计算的复杂性。结果是以线性矩阵不等式形式给出,方便利用Matlab工具箱求解矩阵不等式,并且最后的结果可以通过数值例子证明其有效性与真实性。     

带驻留约束及双臂机械手的集束型设备群调度算法

根据集束型设备群的特点,对调度问题域进行描述,并提出了带驻留约束的双臂集束型设备群调度算法.该算法利用分解方法将集束型设备群分解为多个单集束型设备,并在此基础上提出一种基于机械手无冲突约束的搜索调度算法,调度目标是使到达晶圆在最短基本周期内完成加工.仿真实验分析结果表明,用所提出的算法进行集束型设备群的晶圆处理是有效的.     

一个实用的自释放内存TSR程序的设计要素

在实时系统中可利用驻留程序来监测网络主机的工作情况，一旦主机出现异常，则让有盘工作站及时接管主机的工作，着重分析了设计具有释放自身的所占用的内存的监测驻留程序的要素。     

局部性强弱的量化方法及其应用

为实现局部性强弱分析的定量化,分析了进程工作集发生迁移时,现有工作集管理算法因未考虑局部性强弱因素而反复调整驻留集大小从而导致系统发生颠簸的现象,提出了采用采样周期内使用位求和结果和缺页次数作为指标的局部性强弱量化计算方法,并对该方法进行了算法设计和系统实施.结果表明,文中量化计算方法在不影响系统性能的情况下,减轻了系统进程切换时各进程工作集大小的波动,降低了系统资源需求,说明该算法是有效的.     

近空间飞行器鲁棒自适应Backstepping控制

针对变体近空间飞行器(near space vehiele, NSV)大包络、多模态的特性,研究其姿态的鲁棒自适应跟踪控制问题。首先,提出标称变体NSV切换非线性系统的单一且光滑主控制器设计方法,以解决因飞行模态切换引起的主控制舵面跳变。其次,针对切换瞬间复合干扰存在不连续的问题,给出一组同步切换的改进干扰观测器设计方法。将改进干扰观测器的输出与光滑的主控制律相结合组成不确定变体NSV切换非线性系统的复合控制器。采用平均驻留时间分析法证明所提出的控制方法可以保证闭环不确定变体NSV切换非线性系统的稳定性。最后,仿真结果验证了所提方法的有效性。