1. College of Mathematics and Computer Science, Guangxi University for Nationalities, Nanning 530006, China
2. Guangxi Key Laboratory of Hybrid Computational and IC Design Analysis, Nanning 530006, China
3. School of Mathematical Sciences, Monash University, Caulfield East, VIC 3800, Australia