具有外部干扰的耦合时滞神经网络固定时间二分同步

针对结构平衡图与结构非平衡图的网络拓扑,考虑了一类具有外部干扰的耦合时滞神经网络模型,分别设计了其固定时间同步控制协议.借助固定时间稳定性理论与不等式技巧,获得了耦合网络在固定时间内达到同步的充分性判据,给出了具体的收敛时间上界,并验证了固定时间同步网络的鲁棒性与抗干扰性.为了扩大网络模型的适用性,考虑的神经网络激活函数为非连续的函数,可借助微分包含与集值李导数理论解释非连续微分方程的动力学行为.最后,分别在结构平衡图和非平衡图下对耦合神经网络的固定时间二分同步进行了数值仿真,验证了控制算法的有效性及理论结果的正确性.     

一类具有毒素和状态依赖时滞的离散种群模型的持久性

研究一类具有毒素和状态依赖时滞的离散种群模型,运用一些引理,得到了保证系统永久持续生存的充分条件。最后通过举例子验证了所得结论的可行性。     

基于Web的含无关项卡诺图自动化简系统

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在ASP.NET环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步骤展示其化简过程.输入表达式的语法验证采用改进的算法优先分析法,化简过程采用广度优先搜索模仿人工搜索卡诺圈的过程,网页作图由rapheal框架实现.测试结果表明,系统可在常用浏览器下正常运行,可正确的按步骤展示卡诺图化简逻辑函数的过程.     

一类二阶泛函微分方程正解的存在性

研究了Banach空间中二阶泛函微分方程四点边值问题正解的存在性。在-1<ω≤0及-r<ω≤0两种情形下,通过在Banach空间中构造一个合适的锥,并在锥中定义一个正算子,利用锥上的不动点定理,证明了该问题正解的存在性。最后,作为主要结果的应用,建立了两个具体的泛函微分方程多重正解的存在性结果。     

中立随机马尔科夫跳变系统延迟反馈控制器设计

本文研究了具有时变时滞的中立随机马尔科夫跳变系统的延迟状态反馈控制问题.主要目标是在漂移项和扩散项部分都设计模态相依的延迟状态反馈控制器使得闭环中立随机马尔科夫跳变系统满足随机稳定.通过构造模态相依的Lyapunov-Krasovskii候选泛函,借助线性矩阵不等式技术,得到了闭环中立随机马尔科夫跳变系统随机稳定的充分条件.仿真例子说明了所采用的方法的有效性和实用性.     

一类非自治变时滞Logistic方程的全局吸引性

主要研究一类可变时滞非自治Logistic方程的全局吸引性,通过分别研究非振动解和振动解的性质并使用一定的分析技巧结合不等式的方法,得到了方程的正平衡态为全局吸引子的新的充分条件,这些条件便于验证.所得到的结果推广并改进了相关文献中的一些结果,也完善并补充了非自治变时滞Logistic方程的全局吸引性问题的研究工作.     

时滞测试能量函数的局限性分析和改进模型

针对时滞试能量函数，分析了它在无冒险强健测试矢量生成时存在局限性和表达式较复杂的不足。在此基础上建立了无冒险条件下的时滞试能量函数，从而完善了Chakradhar提出的时滞测试能量和相应的测试生成算法。     

具有时滞的非自治的Lotka-Volterra生态系统的全局稳定性

考虑一个具有时滞的非自治的捕食——食饵生态系统。该系统是由一个捕食，二个食饵种群所构成我们给出了系统的周期解是全局稳定的充分条件。     

中立型时滞双曲微分方程的振动准则

建立了一类中立型非线性时滞双曲微分方程的若干新的振动准则,结论推广和改进了一些文献中的定理.