1. College of Physics, Jilin University, Changchun, China
2. College of Computer Science and Technology, Jilin University, Changchun, China + Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun, China