1. Institute of Intelligent Information and Quantum Information, Sichuan Normal University, Chengdu, 610011, China
2. Research Center of Sichuan Normal University, National-Local Joint Engineering Laboratory of System Credibility, Automatic Verification, Chengdu, 610011, China
3. School of Mathematical Sciences, Sichuan Normal University, Chengdu, 610011, China