研究一类具有恢复率的随机HIV感染模型,利用It?公式证明了模型全局正解的存在唯一性;通过构造合适的Lyapunov函数,给出了疾病灭绝和存在平稳分布的阈值条件;最后,数值模拟验证了理论分析的正确性和有效性.