New pheromone trail updating method of ACO for satellite control resource scheduling problem | IEEE Conference Publication | IEEE Xplore