1. College of Computer Science and Technology, Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education, in Jilin University , China
2. College of Computer Science and Technology, Jilin University , Changchun, China
3. 964 Hospital of Joint Logistic Support Force of the Chinese People's Liberation Army
4. School of Software, Tsinghua University , Beijing, China
5. College of Computer Science and Technology, Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education, Jilin University , Changchun, China