本文根据Song、Neumann和Bairagi、Adak提出的两类饱和感染率的形式建立了两个分别考虑自调节CTL免疫反应以及感染时滞的HIV动力学模型，并研究了模型的动力学行为及其生物意义.　　本文第一章首先介绍了有关HIV的背景知识、病毒动力学研究进展、饱和感染率的提出及本文的理论依据.　　本文第二章建立了一个考虑自调节CTL免疫反应及由Song和Neumann提出的一种饱和发生率形式的HIV动力学模型，并对这个模型进行了全局稳定性分析.通过Hurwitz条件并构造Lyapunov函数，我们证明得到模型的动力学性念完全由病毒的基本再生数决定.当R0＜1时，无病平衡点是全局渐近稳定的;当R0＞1时，地方性平衡点是全局渐近稳定的.　　第三章建立了一个考虑由Bairagi和Adak提出的一种饱和发生率形式和感染时滞的HIV动力学模型，同样对这个模型进行了全局稳定性分析.我们引入病毒的基本再生数和CTL免疫基本再生数，并证明得到模型的动力学性态完全由这两个基本再生数决定.通过利用参考文献[13]中定理3.1及定理3.2的证明方法，并且通过构造Lyapunov泛函，我们证明得到:当R0＜1时，模型有一个无病平衡点，并且它是全局渐近稳定的;当Rc＜1＜R0时，模型有一个无免疫平衡点，且它是全局渐近稳定的;当Rc＞1时，模型有一个正平衡点，而且它是全局渐近稳定的.