1. College of Software, Jilin University, Changchun, Jilin 130012, PR China
2. Key Laboratory of Symbolic Computation & Knowledge Engineering of Ministry of Education, College of Computer Science & Technology, Jilin University, Changchun, Jilin 130012, PR China