1. College of Computer Science and Technology, Jilin University, Changchun 130012, China
2. State Key Laboratory of Automotive Simulation and Control, Jilin University, Changchun 130022, China
3. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China