1. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, China
2. BNRist, THUIBCS, KLISS, BLBCI, School of Software, Tsinghua University, Beijing, China
3. College of Earth Sciences, Jilin University, Changchun, China