研究了一类具有非连续免疫策略的非线性传染SIR计算机病毒模型.运用右端不连续函数性质及微分包含相关知识,给出了该模型的Filippov解的定义,证明了该非连续模型的平衡点存在唯一性.通过计算得到模型的基本再生数R0,通过构造合适的Lyapunov函数及运用Lasalle不变集原理,证明了当R0>1时,满足初始条件的每一个解都在有限时间内收敛于有病平衡点;当R0<1时,相同的方法可证明模型的解都在有限时间内收敛于无病平衡点.运用Matlab软件进行了数值模拟,验证了理论结果的正确性.
科研之友
微信
新浪微博
Facebook
分享链接
