1. College of Computer Science and Technology, Jilin University, Jilin 130012, China
2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Jilin 130012, China
3. Department of Computer, Aviation University of Air Force, Jilin 130022, China
4. Engineering Training Center, Changchun Institute of Engineering, Jilin 130012, China