1. School of Information and Control Engineering, China University of Mining and Technology, Xuzhou 221116, China.
2. School of Information and Control Engineering, China University of Mining and Technology, Xuzhou 221116, China; and also with the Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China.