[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
[3] College of Physics, Jilin University, Changchun 130022, China
[4] Jilin Songyuanshi Telecom Branch, China Telecom Group Co., Ltd., Songyuan 138000, China