基金Supported by National Natural Science Foundation of China Grants(11461021)National Natural Science Foundation of Guangxi Grant(2014GXNSFAA118028)+4 种基金Scientific Research Foundation of Guangxi Education Department(KY2015YB306)the open fund of Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis(HCIC201305)Scientific Research Project of Hezhou University(2012PYZK022015ZZZK16)Guangxi Colleges and Universities Key Laboratory of Symbolic Computation and Engineering Data Processing