About the Authors

Shenjie Cheng

Roles Conceptualization, Methodology, Software, Validation, Writing – original draft

Affiliation School of Software, Henan Polytechnic University, Jiaozuo, China

Panke Qin

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

qinpanke@hpu.edu.cn

Affiliations School of Software, Henan Polytechnic University, Jiaozuo, China, Hebi National Optoelectronic Technology Co, Ltd, Hebi, China

Baoyun Lu

Roles Funding acquisition, Project administration, Resources, Writing – review & editing

Affiliation School of Software, Henan Polytechnic University, Jiaozuo, China

Jinxia Yu

Roles Funding acquisition, Project administration, Resources, Writing – review & editing

Affiliation School of Software, Henan Polytechnic University, Jiaozuo, China

Yongli Tang

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

Affiliation School of Software, Henan Polytechnic University, Jiaozuo, China

Zeliang Zeng

Roles Software, Validation, Visualization

Affiliation School of Software, Henan Polytechnic University, Jiaozuo, China

Sensen Tu

Roles Validation, Visualization

Affiliation School of Software, Henan Polytechnic University, Jiaozuo, China

Haoran Qi

Roles Formal analysis

Affiliation School of Software, Henan Polytechnic University, Jiaozuo, China

Bo Ye

Roles Investigation

Affiliation School of Software, Henan Polytechnic University, Jiaozuo, China

Zhongqi Cai

Roles Data curation

Affiliation School of Software, Henan Polytechnic University, Jiaozuo, China

Competing Interests

The authors have declared that no competing interests exist.