1. College of Computer Science and Technology, Jilin University, Changchun, China. E-mails: ddniu15@mails.jlu.edu.cn, liulei@jlu.edu.cn, lus@jlu.edu.cn
2. Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun, China