Binary-Coding-BasedAntColonyOptimizationandItsConvergence基于二进制编码的蚁群优化算法及其收敛性