1. Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing 100190, China
2. Department of Mathematics, School of Applied Science, Beijing Information Science and Technology University, Beijing 100192, China