利用随机过程理论, 对人工蜂群算法收敛性进行理论分析, 给出人工蜂群算法的一些数学定义和蜜源位置 的一步转移概率, 建立人工蜂群算法的Markov 链模型, 分析此Markov 链的一些性质, 论证了人工蜂群状态序列是有 限齐次Markov 链, 且状态空间是不可约的. 结合随机搜索算法的全局收敛准则, 证明了人工蜂群算法能够满足随机 搜索算法全局收敛的两个假设, 保证算法的全局收敛.