Research on Optimal Scheduling Problem of Mine Water Based on Swarm Intelligence | IEEE Conference Publication | IEEE Xplore