About the Authors

Nan Sheng

Roles Conceptualization, Data curation, Formal analysis, Funding acquisition, Investigation, Methodology, Project administration, Resources, Software, Validation, Visualization, Writing – original draft

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

Yunzhi Liu

Roles Data curation, Formal analysis, Investigation, Methodology, Software, Validation

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

Ling Gao

Roles Formal analysis, Methodology, Software, Validation, Writing – review & editing

Affiliation College of Computer Science and Technology, Jilin University, Changchun, China

Wenju Hou

Roles Investigation, Visualization

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

Lan Huang

Roles Conceptualization, Funding acquisition, Project administration, Supervision, Writing – review & editing

huanglan@jlu.edu.cn (LH); wy6868@jlu.edu.cn (YW)

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

Yan Wang

Roles Conceptualization, Funding acquisition, Resources, Supervision, Writing – review & editing

huanglan@jlu.edu.cn (LH); wy6868@jlu.edu.cn (YW)

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

Competing Interests

The authors have declared that no competing interests exist.