简介:研究具有反馈控制的单种群对数模型.通过构造适当的Lyapunov函数.我们让得系统的正平衡点是无条件全局稳定的.所得结果补充和完善了已有的结果.
简介:本文研究一类具有状态时滞和输入时滞的时变时滞线性中立型系统.首先,通过选取合适的Lya—punov—Krasovskii泛函。应用LMI方法和Lyapunov—Krasovskii稳定性定理对时滞相关的系统进行稳定性分析,并设计了相应的控制器.改进了时不变时滞线性系统方面的一些结果.最后用实例验证所得到结果.
简介:本文通过使用变量重排的方法,改变了多项式环中理想的Groebner基的计算过程,得到不同的过程的计算效率也不同,因此通过这种方法应该能够找出减少计算Groebner基时间的方法.
简介:四色问题又称四色猜想,是世界近代三大数学难题之一.1976年两位美国数学家Appel与Haken借助计算机给出了一个证明.时至今日,四色问题的正确性早已得到数学界所承认.但是围绕它的非计算机证明,在近几十年来涌现出了各种不同的研究成果.一方面丰富了图论的内容,另一方面又促进了图的染色理论的发展.本文从研究四色问题的意义出发;揭示了四色问题所隐藏的深刻规律,在此基础上提出了一个比四色问题更具有广泛意义的理论构想.主要目地为四色问题的非计算机证明提供一个研究方向.