1. College of Computer Science and Technology, Jilin University, Changchun, Jilin, China
2. Symbol Computation and Knowledge Engineer of Ministry of Education, Jilin University, Changchun, Jilin, China
3. College of Software, Jilin University, Changchun, Jilin, China