College of Mathematics and Computer Science, Fuzhou University, Fuzhou 350116, China;
Fujian Provincial Key Laboratory of Networking Computing and Intelligent Information Processing, Fuzhou 350116, China;
Key Laboratory of High Confidence Software Technologies (Ministry of Education), Beijing 100871, China;
School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;