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