Funding for this research was provided by:
National Natural Science Foundation of China (61673285)
Sichuan Science and Technology Program of China (2022ZYD0001, 2021YJ0085)
National Science Foundation of Sichuan Province of China (2022NSFSC0929)
Joint Research Project of Laurent Mathematics Center of Sichuan Normal University and National-Local Joint Engineering Laboratory of System Credibility Automatic Verification (ZD20220101)
Article History
Received: 9 November 2022
Revised: 2 March 2023
Accepted: 5 March 2023
First Online: 2 May 2023
Declarations
:
: The authors declare that they have no conflict of interest.