[1] College of Computer Science and Technology, Jilin University, Changchun,130012, China
[2] Symbol Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun,130012, China
[3] College of Applied Technique, Changchun University of Science and Technology, Changchun,130022, China
[4] Military Veterinary Institute, Academy of Military Medical Science, Changchun,130122, China