周期系数线性系统的稳定性

利用柯西矩阵的性质,讨论了周期系数线性矩阵的稳定性问题.将矩阵稳定的条件减弱为拟稳定,利用矩阵的不等式运算性质,得到了各种周期系统平凡解稳定的判据,所得结论,推广了现有文献的结论.最后,利用Matlab模拟仿真,验证了所得结果的可行性.     

异质多智能体系统在固定拓扑下的分组一致性

研究了异质多智能体系统的分组一致性,针对固定通信拓扑情况,提出了一种基于邻接信息的分布式控制协议,并通过李雅普诺夫理论,推导出异质多智能体系统实现分组一致性的充分条件.最后利用数值仿真验证了理论分析的正确性.     

一类区间不确定时滞系统超前/滞后补偿器设计

针对一类具有全极点的区间不确定时滞系统,给出了相位超前/滞后补偿器的一种图解鲁棒设计方法.对滞后因子采用一阶Pade近似,应用广义Kharitonov定理,证明了图解法设计出的相位超前/滞后补偿器可以镇定区间不确定近似系统.通过仿真验证了该补偿器亦可镇定原区间不确定时滞系统,并保持良好的系统性能.该种图解设计方法选择参数灵活,便于实际应用.     

一类二维非线性周期微分方程在退化平衡点的约化

考虑一类二维周期微分方程在退化平衡点附近小扰动下的约化问题.通过引入外部参数,对系统进行仿线性周期变换,将问题化成具有外部参数的系统的约化问题,再由隐函数定理和拓扑度性质,得到原方程的一个约化的标准型.此外,在零点附近得到了一个周期解.     

内蒙古科技支持系统变动的时效性特征

智力支持系统能力水平决定区域性科技现代化程度。应用教育发展力指数、科技资源指数、科技贡献等指数和科技现代化模型对内蒙古科技系统进行地区间的比较与关联分析,该研究结果可以为我国其它区域和少数民族地区的科技进步和智力提升提供借鉴。     

p-基本限制李三系

群的Frattini理论具有非常重要的意义,本文平行于群建立了限制李三系的Frattini理论,定义了P-基本限制李三系,并进一步讨论了P-基本限制李三系的一些基本性质,以及一些充分与必要条件.     

执行器饱和的随机Markov切换系统的观测器设计

利用直接法对转移概率是部分未知的,并且具有执行器饱和现象的随机Markov切换系统进行稳定性分析.通过引入自由连接权矩阵降低系统的保守性.首先,针对此类随机Markov切换系统,充分考虑转移概率中元素之间的特性,通过构建参数依赖型Lyapunov函数,并设计观测器确保闭环饱和系统的随机稳定性.然后,在线性矩阵不等式的框架下,得到均方意义下的最大不变吸引域,并将其归结为求解一组线性矩阵不等式的可行性问题.最后,数值仿真算例验证本方法的有效性.     

无穷时间多维不确定线性二次最优控制

研究了一类无穷时间区间多维不确定系统的线性二次最优控制模型,推导出求解该模型的最优性方程,并证明了该模型最优控制存在的充分和必要条件.     

时滞反应扩散方程组周期解的存在性

利用上、下解方法及不动点理论研究了一类反应项非单调的时滞反应扩散方程组,构造了非单调反应项的上、下控制函数,并证明了所构造的函数满足Lipschitz条件及单调性,克服了反应项非单调无法利用单调迭代方法的局限性,为讨论反应项非单调的微分方程提供了一种有效方法,并获得了此系统边值问题周期解存在性的充分条件,推广了已有的一些结果.     

基于网络的模型库结构表示方法研究

针对现有方法存在的不能表示复杂模型关系以及模型组合与求解自动化程度低的局限性,在对模型库结构表示方式进行比较的基础上,从而进一步分析并提出了数据类型广义匹配的概念,将其应用于模型连接的表示,给出了模型库的网络结构表示的定义及其构造方法。分析了模型组合及模型库必须考虑的元素,并用网络结构表示模型库中元素间的静态连接结构;给出了模型库网络结构的形式化定义,模型间的连接通过引入类型转换实现。从而简化模型之间连接,使模型的连接判断由类型匹配判断转化为模型与转换和转换与模型之间的类型相等性判别,而类型匹配操作则通过转换自动完成。并且在组合模型求解过程中,转换过程也会自动完成,提高了模型组合与求解的自动化。