TIAN Di1,2, GU Bin bing1,2, SUN Ji gui1,2, MENG Wei1,2, LIU Jin ming1,2
1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China