国家自然科学基金61402076,61572104,61103146;吉林大学符号计算与知识工程教育部重点实验室项目93K172017K03;中央高校基本科研业务项目DUT17JC04资助 Supported by National Natural Science Foundation of China61402076,61572104,61103146;Project of Key Laboratory of Symbolic Computation and Knowledge Engineering of Jilin Uni-versity93K172017K03;Fundamental Research Funds for Central UniversitiesDUT17JC04