简介：本文讨论了一类满足Lipschitz条件的非线性时滞系统的镇定与跟踪控制问题．基于非线性状态反馈控制器，利用Lyapunov—Krasovskii泛函和矩阵理论，得到了系统时滞相关全局渐近镇定的新判据，并且保证了输出和状态跟踪控制的误差全局渐近收敛于零．本文推广了文献所得到的结论．因此，本文所研究的模型及所给出的判定条件更具有一般性和实用性．

简介：为了缓解城市交通拥堵,建立以延误时间最短、停车次数最少为目标函数的非线性优化模型,用遗传算法进行计算求解.计算结果表明,所得的优化信号配时,降低了平均延误时间,减少了平均停车次数,提高了交叉口通行能力.

简介：本文研究一类具有状态时滞和输入时滞的时变时滞线性中立型系统．首先，通过选取合适的Lya—punov—Krasovskii泛函。应用LMI方法和Lyapunov—Krasovskii稳定性定理对时滞相关的系统进行稳定性分析，并设计了相应的控制器．改进了时不变时滞线性系统方面的一些结果．最后用实例验证所得到结果．

简介：四色问题又称四色猜想，是世界近代三大数学难题之一．1976年两位美国数学家Appel与Haken借助计算机给出了一个证明．时至今日，四色问题的正确性早已得到数学界所承认．但是围绕它的非计算机证明，在近几十年来涌现出了各种不同的研究成果．一方面丰富了图论的内容，另一方面又促进了图的染色理论的发展．本文从研究四色问题的意义出发；揭示了四色问题所隐藏的深刻规律，在此基础上提出了一个比四色问题更具有广泛意义的理论构想．主要目地为四色问题的非计算机证明提供一个研究方向．

简介：对给定的复数a，本文引入一个用来刻画两个亚纯函数的重数相同的公共a值点的比重的量τk，并把有关这一量与拟亏量或者权分担相结合的条件附加到两个具有四个分担值的亚纯函数上，得到了两个关于亚纯函数唯一性的定理．

简介：研究了含p-Laplacian算子的奇异四阶四点边值问题,利用上下解方法与Schauder不动点定理,获得了至少一个C~3[0,1]正解的存在性结果.

简介：本文研究下面的分数阶微分方程四点边值问题解的存在性，这里2〈d≤3，∞e[0，1），l≤p≤＋m，1/p＋1/q=1：Caput0分数阶导数，t｜-K：[0，1]--LP[0，1]，A．借助于格林函数的性质，应用锥拉伸和锥压缩不动点定理给出了一个正解的存在性定理．

简介：确立了某类分块矩阵[M（11）M12XM21YM23ZM32M33]的最大秩公式,其中,X,Y和Z是三个受限于四元数线性矩阵方程A1X=C1,XB1=C2,A2Y=D1,YB2=D2,A3Z=E1,ZB3=E2的变量矩阵.作为该公式的一项应用,我们推导出上述矩阵方程解集等同于某类四元数三次矩阵方程组A1X=C1,XB1=C2,A2Y=D1,YB2=D2,A3Z=E1,ZB3=E2,XYZ=J解集的条件.

简介：设G是一个阶数大于等于4的简单连通图．代4（G）和d4（G）分别表示G的第四大无符号拉普拉斯特征值和第四大度．本文证明了K4（G）≥d4（G）一2．