1. College of Computer Science and Technology, Jilin University, Changchun, Jilin, China
2. Chang Guang Satellite Technology co., LTD, Changchun, Jilin, China
3. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, Jilin, China