本文基于HIV病毒在人体内的动态变化过程和人体的两类免疫机制,提出了一种具有体液免疫和细胞免疫的反应扩散HIV病毒模型.利用比较原理和极值原理证明了该模型非负解的存在性及有界性.通过定义不同患病阶段下两个关键阈值,并利用李亚普诺夫理论分析了无病平衡点和两类患病平衡点的全局动力学行为.最后,利用数值实例子验证了理论结果正确性.