About the Authors

Ying Li

Roles Conceptualization, Project administration, Supervision

Affiliations College of Computer Science and Technology, Jilin University, Changchun, People’s Republic of China, Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, People’s Republic of China

Yanyu Geng

Roles Formal analysis, Investigation, Methodology, Resources, Software, Validation, Visualization, Writing – original draft

Gengyy11@hotmail.com

Affiliations College of Computer Science and Technology, Jilin University, Changchun, People’s Republic of China, Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, People’s Republic of China

Huankun Sheng

Roles Data curation, Writing – review & editing

Affiliations College of Computer Science and Technology, Jilin University, Changchun, People’s Republic of China, Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, People’s Republic of China

Competing Interests

The authors have declared that no competing interests exist.