1. College of Computer Science and Technology, Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, Jilin 130012, China
2. College of International Education, Jilin University, Changchun, Jilin 130012, China
3. Faculty of Electrical and Computer Engineering, University of Iceland, Reykjavik 102, Iceland