1. College of Computer Science and Technology, Jilin University, Changchun, Jilin, PR China
2. College of Computer Science and Technology, Inner Mongolia Minzu University, Tongliao, Inner Mongolia, PR China
3. Department of Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, College of Computer Science and Technology, Jilin University, Changchun, Jilin, PR China