研究一类具有饱和发生率、免疫接种和时滞的HIV/AIDS模型.运用Routh-Hurwitz判据、LaSalle不变集原理、Beretta和Kuang的几何判别准则.首先,研究了系统无病平衡点的局部稳定性和全局稳定性;然后讨论了系统正平衡点的唯一存在性,并研究了正平衡点分别在系统有无时滞时稳定需要满足的充分条件;最后,对所得结果进行了数值模拟.