1. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education and the College of Computer Science and Technology, Jilin University, Changchun, China
2. College of Software, Jilin University, Changchun, China
3. College of Earth Sciences, Jilin University, Changchun, China
4. Science and Technology on Underwater Vehicle Laboratory, Harbin Engineering University, Harbin, China