Navigation Planning of Submarine in 3D Space Based on Space Contraction Ant Colony Algorithm | IEEE Conference Publication | IEEE Xplore