About the Authors

Jianfang Cao

Roles Conceptualization, Funding acquisition, Project administration, Supervision, Writing – original draft

caojianfangcn@163.com

Affiliations Department of Computer Science & Technology, Xinzhou Teachers University, Xinzhou, China, School of Computer Science & Technology, Taiyuan University of Science and Technology, Taiyuan, China

Min Wang

Roles Data curation, Formal analysis, Methodology

Affiliation School of Computer Science & Technology, Taiyuan University of Science and Technology, Taiyuan, China

Yanfei Li

Roles Formal analysis, Resources, Software

Affiliation School of Computer Science & Technology, Taiyuan University of Science and Technology, Taiyuan, China

Qi Zhang

Roles Validation, Visualization, Writing – review & editing

Affiliation School of Computer Science & Technology, Taiyuan University of Science and Technology, Taiyuan, China

Competing Interests

The authors have declared that no competing interests exist.