本文研究了两类时滞HIV-1感染模型,主要利用Hurwitz定理、Lyapunov稳定性理论和LaS alle不变原理等理论对这两类模型的动力学行为进行了研究,主要包括两类模型解的正性、有界性、平衡点的稳定性等.研究结果表明,基本再生数对模型在平衡点的稳定性起着至关重要的作用.全文共分为三章:第一章,介绍了艾滋病研究的历史背景和意义,并对HIV动力学的研究现状进行了综述.最后,简要介绍了本文的主要研究内容及需要用到的相关知识.第二章,考虑了一类具有潜伏期和吸收效应的时滞HIV-1感染模型,首先,我们证明了该模型解的正性、有界性.然后,我们通过对平衡点对应的特征方程的分析,得到了满足平衡点局部稳定性的条件.通过构造合适的Lyapunov泛函和利用LaSalle不变原理,我们得到了无感染平衡点的全局稳定性以及感染平衡点全局渐近稳定的充分条件.最后,数值模拟验证了我们的部分理论分析结果.第三章,构建了一类具有细胞间传播以及免疫损害的时滞HIV-1感染模型,首先分析了模型解的正性、有界性和平衡点的存在性.然后计算出了模型的基本再生数R0和免疫应答基本再生数R1.最后,我们通过构造合适的Lyapunov泛函并利用LaSalle不变原理,研究了无感染平衡点和无免疫应答感染平衡点的全局渐近稳定性.对于免疫应答感染平衡点,我们证明了当τ=0时的全局渐近稳定性.