1. College of Computer Science and Technology, Jilin University,Key Laboratory for Symbol Computation and Knowledge Engineering of National Education Ministry,Changchun,China
2. College of Computer Science and Technology; Zhuhai Laboratory of Key Laboratory for Symbol Computation and Knowledge Engineering of Ministry of Education Jilin University; Zhuhai College of Science and Technology,Key Laboratory for Symbol Computation and Knowledge Engineering of National Education Ministry,Zhuhai,China