1. School of Electronics Engineering and Computer Science, Peking University, Beijing, China
2. National Engineering Research Center for Software Engineering and the School of Software and Microelectronics, Peking University, Beijing, China
3. College of Mathematics and Statistics, Northwest Normal University, Lanzhou, China