Funding for this research was provided by:
National Natural Science Foundation of China (62572104)
National Natural Science Foundation of China (61103146)
National Natural Science Foundation of China (61402076)
National Natural Science Foundation of China (61502072)
Fundamental Research Funds for the Central Universities (DUT17JC04)
Project of the Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University (93K172017K03)