摘要

在假设梅毒疫苗已经成功研制而且获得的免疫是终身免疫的情况下建立数学模型,用下一代矩阵方法求得基本再生数,通过构造Lyapunov函数证明了无病平衡点以及地方病平衡点的全局渐进稳定性.