1. Jilin University, College of Computer Science and Technology, Changchun
2. Northeast Electric Power University, College of Computer Science, Jilin
3. Ministry of Education, Jilin University, Key Laboratory of Symbolic Computation and Knowledge Engine