基于基本病毒感染模型,本文引入了一个包含免疫项的艾滋病病毒(HIV)感染模型.该模型有一个病毒清除平衡点和一个持续带毒平衡点.证明如果病毒感染的基本再生数R【1,则病毒清除平衡点是全局渐近稳定的.该结果说明若一个HIV感染者其R【1,则即使被感染大量的HIV最终仍然能自愈.基于该模型本文提出了一个抗HIV感染治疗模型.本文定理暗指若抗HIV感染治疗时,患者的R【1则迟早患者体内的HIV可以清除.反之数值的仿真模拟表明患者R】1时,患者体内的HIV不能被彻底清除.患者的依从性是抗HIV感染成功的重要因素之一.