1. School of Computer and Control Engineering, Yantai University, Yantai, Shandong 264005, China
2. School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China
3. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China