1. College of Computer Science and Technology, Jilin University, Changchun, Jilin, China
2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, Jilin, China
3. Department of Software and Big Data, Changzhou College of Information Technology, Changzhou, Jiangsu, China
4. School of Foreign Languages, Changchun University of Technology, Changchun, Jilin, China