1. College of Computer Science and Technology, Jilin University, Changchun 130012, China
2. Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China
3. School of Computer Science and Information Technology, Northeast Normal University, Changchun 130117, China