College of Computer Science and Technology;
Jilin University;
Changchun 130012;
China;
Key Laboratory of Symbolic Computation and Knowledge Engineering;
Ministry of Education Jilin University;
Changchun 130012;
China;
Aviation University of Air Force;
Changchun 130062;
China;