一种基于二进制编码的蚁群优化算法及其收敛性分析