1. Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing 100190, People's Republic of China
2. School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing 100049, People's Republic of China
3. Department of Mathematics, School of Applied Science, Beijing Information Science and Technology University, Beijing 100192, People's Republic of China