模糊代数系统

引入模糊代数系统及其强解的概念,给出其特有性质.定义proper和V-proper模糊代数系统,并给出其解的一般表达形式.建立模糊代数系统与模糊上下文无关文法相互转化法则.最后得出结论:任一proper和V-proper模糊代数系统都存在唯一强解.模糊上下文无关文法生成的模糊语言和其对应的模糊代数系统的强解的某个分量是相等的.     

凸多面体非线性系统的逆次优控制

对于一类多输入凸多面体非线性系统,研究了其逆次优控制问题.基于鲁棒控制Lyapunov函数和空间分解技术,给出了系统的逆次优控制器存在的充分条件,并进一步给出了逆次优控制器的构造方法.最后指出,作为系统的渐近镇定控制器,逆次优控制器具有较小的保守性.     

一类非线性微分代数系统的零动态

控制系统的零动态是系统一种内部动态品质,其行为与系统的许多性质相联系,如系统的稳定性,反馈镇定与输出跟踪等.针对一类非线性微分代数系统,提出了输出零子流形和零动态的概念.利用M-导数方法,探讨了此类系统的输出零子流形的性质,并给出了此类系统的输出零子流形和零动态算法,也讨论了该算法的一些性质.最后,给出一个例子说明如何利用系统的零动态来讨论系统的反馈稳定化问题.     

二阶非线性系统概周期解的存在性

该文研究某些二阶非线性系统, 利用平均法给出了非线性系统概周期解存在性的某些充分条件, 推广了已知结果. 二个特殊系统用于说明其结果的可行性和更一般性.     

不确定半马尔可夫跳变系统的滑模观测器设计

考虑了相位型半马尔可夫跳变系统的滑模观测器设计问题.利用补充变量法及模型转化,将有限相位型半马尔可夫过程转换为其伴随马尔可夫链.因此,相位型半马尔可夫跳变系统可等价地转换为其伴随马尔可夫跳变系统.针对这类系统设计了滑模观测器并给出了观测器可解的充分条件.最后,通过数值算例表明了文章给出方法的有效性.     

有界噪声扰动下平面微分系统周期轨的分支

本文研究有界噪声扰动下平面微分系统周期轨的分支问题.首先介绍平面微分系统周期轨的三类经典分支:叉型分支、鞍结分支和跨临界分支,并给出其分支方向以及分支出的周期轨的稳定性.然后讨论有界噪声扰动下平面微分系统周期轨的分支现象,考虑该扰动系统极小正向不变集的个数随参数值变化而变化的规律,证明该系统在一定条件下发生所谓的硬分支现象,并给出分支参数值的阶数估计.最后给出具体的例子并进行数值模拟,形象直观地说明本文结果.     

向量递归迭代函数系统及其不变测度

本文阐述了RIFS和IFS之间的关系,并对定义在一组紧空间上的向量递归迭代函数系统(VRIFS),定义了Markov算子,给出Markov算子是压缩算子的条件,描述了其不动点即广义递归迭代函数系统的不变测度.文中还给出了相应的拼贴定理.     

一类具有随机扰动竞争系统生存分析的研究

通过引入白噪声,提出了一类具有随机扰动的经典竞争系统,并对其生存分析进行了研究.不仅给出了保证灭绝性和弱持久性的充分条件,还得到了弱持久性和灭绝性之间的阀值.最后,给出数值模拟验证了理论分析结果.     

超Li系统的Bargmann对称约束和双非线性化

给出超Li系统的一个显式对称约束和关于其Lax对的双非线性化.在此对称约束下,超Li系统的时间部分和空间部分分别被约化为有限维Liouville可积超Li系统.     

复合有限自动机系统的不透明度

本文研究了由两个有限自动机组成的复合系统的不透明度的性质.利用J.-Y.Yao在其工作中给出的单个有限自动机系统的基本性质与算法,得到了复合系统是透明的和不透明的充要条件.     

Couette-Taylor流三模系统的混沌行为及其仿真

研究了旋流式Couette-Taylor流三模态类Lorenz系统的动力学行为及其数值仿真问题.给出了此系统平衡点存在的条件,证明了其吸引子的存在性,给出了吸引子的Hausdorff维数上界的估计,数值模拟了系统分歧和混沌等的动力学行为发生的全过程,基于分岔图与最大Lyapunov指数谱和庞加莱截面以及功率谱和返回映射等仿真结果揭示了此系统混沌行为的普适特征.     

输入带有时滞的线性系统的镇定

考虑带有输入时滞的线性系统的镇定问题.通过把时滞写成一阶传播方程,带有输入时滞的镇定问题转化为常微分方程和一阶双曲方程组成的串联系统的镇定问题.与现有Backstepping方法不同,文章给出了新的变换,其核函数是一阶倒向向量值常微分方程,这使得控制的设计更加简单.文章给出了新的状态反馈控制器,并证明了闭环系统解的适定性和指数稳定性.数值模拟说明,给出的方法是非常有效的.     

一类资源分配与排序问题

给出与研究1 rj=bj-ajuj,∑uj U-∑uj+Cm ax型资源分配与排序问题.对于系统中加工顺序确定的情况给出并证明一个寻求其最优资源分配的多项式算法;就系统参量的某些特殊情况研究系统的最优排序.     

一类非自治系统的稳定性

通过构造 Liapunov函数给出了一类非自治系统的稳定性的判定准则 .并给出了其有关的应用实例     

Petrovsky系统边界控制的正则性

讨论了具有Dirichlet边界控制和同位观测的Petrovsky系统的正则性,给出了相应的直接传输算子,证明了系统在G.Weiss意义下是正则的,且其直接传输算子为零.     

不确定二阶多智能体系统的鲁棒最优一致

针对不确定二阶多智能体系统,研究了其鲁棒最优一致性问题.首先,基于每个智能体所获得的邻居信息,设计了一个使多智能体系统达到一致的控制协议.其次,研究了多智能体系统的最优一致性问题,给出了系统在满足一定性能指标下达到一致的条件.再次,基于该条件,利用Schur补引理和线性矩阵不等式技术,给出了不确定系统达到鲁棒最优一致的条件.最后,通过仿真验证了所得结果的可行性.     

小参数时变非线性系统的技术稳定性

分析一类含小参数的时变非线性系统关于给定状态约束集合的技术稳定性.根据向量微分比较原理和基本的单调性准则,利用向量V函数方法给出由系统系数表达的技术稳定性判据.并讨论了基于派生系统和线性化方法研究非线性系统技术稳定性的条件.另外,对于派生时变线性系统的指数稳定性给出了简单的代数判据.最后给出示例说明文中方法.     

Hamilton算子矩阵的半群生成定理

研究了Hamilton算子矩阵的半群生成问题,得到其生成C_0半群的若干充分必要条件,并给出其成为半群无穷小生成元时的谱分布.作为应用,基于Hamilton系统的半群方法,给出一类四阶微分方程混合问题的古典解.     

奇异摄动系统的一致稳定和镇定（英文）

针对一类线性时不变奇异摄动系统,研究其在稳定和镇定性方面关于小参数的一致性问题.当小参数处于有界而非闭区间时,将奇异摄动系统视为参数系统.同时,进一步地讨论该系统对小参数的依赖性.最后,利用线性矩阵不等式方法,给出了系统关于小参数具有一致性的稳定和镇定条件.     

正熵系统的稳定集

本综述将讨论正熵系统的稳定集研究的一些新的进展,主要侧重于稳定集与混沌的关联、稳定集的熵和维数等相关的一些主题.特别地,本文对符号系统的稳定集给出了其Hausdorff维数的下界估计.本文的目的是简介相关的一些进展,给出相应的参考文献,并提出几个未解决的问题.