陶红伟

姓名

陶红伟

职称

教授

学科/专业学位类别

软件工程、人工智能

研究方向

可信软件与大数据分析

1.导师基本情况

郑州轻工业大学计算机科学与技术学院教授，2011年博士毕业于华东师范大学软件学院，获工学博士学位。现任中国人工智能学会人工智能逻辑专委会副秘书长、中国工程学会模糊数学与模糊系统专委会委员。主要从事大数据分析、可信软件和信息安全方面的研究和教学工作，相关成果应用于航天、轨道交通等多个安全攸关领域。

2.代表性成果

奖励：

[1]陈仪香, 陶红伟, 漆莲芝, 张敏, 郭兴林,王江涛. 软件系统可信性量化评估方法及应用. CCF（中国计算机学会）科技进步二等奖, 2022.

学术专著和教材：

[2]陈仪香, 陶红伟. 软件可信性度量评估与增强规范, 科学出版社, 2019. (国家科学技术学术著作出版基金专著)

[3]甘勇, 陶红伟. 大数据导论, 中国铁道出版社, 2023. (河南省十四五规划教材)

[4]庞建民, 陶红伟, 刘晓楠, 岳峰. 编译与反编译技术, 机械工业出版社, 2016.

专利：

[5]陶红伟, 袁书泽, 胡英辉,   张秋闻, 王晓,   马江涛. 一种基于深度学习的推荐算法系统, ZL202110868848.6, 2023.

[6]陶红伟,胡英辉,   赵杰, 张静,   尚松涛, 王晓,   马江涛, 陈浩然,   蒋敏. 基于区块链的食品安全上链数据可信性度量方法, ZL202110876616.5, 2023.

[7]陶红伟, 付连友, 陈浩然,   牛晓旭, 曹巧玲,   尚松涛, 李艳婷,   咸阳, 耿镇昊,王涛.基于迁移学习的跨项目软件缺陷数量预测方法, CN202311043463.1,   2023.

[8]陶红伟, 咸阳, 陈浩然,   尚松涛, 赵杰,   蒋敏. 一种食品质量安全追踪溯源系统及算法, CN202211450014.4, 2022.

论文：

[9]Hongwei Tao, Yixiang Chen, Hengyang Wu. Theoretical and Empirical Validation of Software Trustworthiness Measure Based on Decomposition of Attributes. Connection   Science, 34(1):1181-1200, 2022. (SCI)

[10]Hongwei Tao, Qiaoling Cao, Haoran Chen, Yang Xian, Songtao Shang Xiaoxu Niu. A Novel   Software Trustworthiness Evaluation Strategy via Relationships between   Criteria. Symmetry, 14(11):2458,   2022. (SCI)

[11]Hongwei Tao, Xiaoxu Niu, Lianyou Fu, Shuze Yuan, Xiao Wang, Jiaxue Zhang, Yinghui Hu. DeepRS: A Library of Recommendation Algorithms Based on Deep Learning. International Journal of   Computational Intelligence Systems, (2022) 15:45,2022. (SCI)

[12]Hongwei Tao, Yixiang Chen, Han Liu, Hengyang Wu, Yinghui Hu. Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. Journal of Internet   Technology, 23(3): 583-592, 2022. (SCI).

[13]Hongwei Tao, Lianyou Fu, Yixiang Chen, Lin Han, Xiao Wang. Improved Allocation and   Reallocation Approaches for Software Trustworthiness Based on Mathematical   Programming. Symmetry, 14(3):1-25,2022. (SCI)

[14]Hongwei Tao, Yinghui Hu, Hui Li, Deqiang Fan, Haoran Chen.The Credibility   Measurement Model of Food Safety On-chain Data Based on Blockchain. Journal of Internet Technology, 23(4):719-725, 2022. (SCI)

[15]Hongwei Tao,Yixiang Chen, Hengyang Wu. A Reallocation Approach for Software   Trustworthiness Based on Trustworthy Attributes. Mathematics, 8(14): 1-15 , 2020. (SCI)

[16]Hongwei Tao,Hengyang Wu, Yixiang Chen. An Approach of Trustworthy Measurement Allocation Based on Sub-Attributes of Software. Mathematics, 7(3): 1-15, 2019. (SCI)

[17]Hongwei Tao, Jie Zhao. Source Codes Oriented Software Trustworthiness Measure Based on Validation. Mathematical Problems in Engineering,1: 1-10, 2018. (SCI)

[18]Hongwei Tao, Yixiang Chen. A New Metric Model for Trustworthiness of Softwares.   Telecommunication System, 51(2-3):95-105, 2012. (SCI)

[19]Hongwei Tao, Yixiang Chen, Hengyang Wu, Rumei Deng. A Survey of Software Trustworthiness Measurements. International Journal of Performability Engineering, 15(9): 2364-2372, 2019. (EI)

[20]Hongwei Tao, Yixiang Chen. A Survey of Software Trustworthiness Measurement Validation. International Journal of Performability Engineering, 14(9): 2016-20615, 2018. (EI)

[21]陶红伟, 赵杰. 改进的基于属性的软件可信性度量模型研究.武汉大学学报(理学版),   63(2): 151~157, 2017.

[22]Hongwei Tao, Yixiang Chen. Complexity Measure Based on Program Slicing and Its Validation. Wuhan University Journal of Natural Sciences, 19(6): 512-518, 2014. (Mathematical Reviews)

[23]Hongwei Tao. Software Trustworthiness Evaluation Method based on Relationships Between Criteria. Proceedings of 9th International Conference on Dependable Systems   and Their Applications (DSA), IEEE Computer Society Press,Wulumuqi, China, pp. 403-408, 2022.(EI)

[24]Hongwei Tao, Yixiang Chen, Hengyang Wu. Decomposition of attributes oriented software trustworthiness measure based on axiomatic approaches. Proceedings of the 20th IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), IEEE Computer Society Press, pp.308-315, Macau, China, 2020. (EI)

3.在研项目

[1]基于机器学习的软件缺陷预测关键技术研究, 河南省科技攻关项目, 2023-01至2024-12, 主持;

[2]开源软件版本间兼容性可信性量化分析研究, 华为技术有限公司横向项目课题, 2023-06至2024-12, 主持;

[3]数字助力-河南 AI 人才培养,中华思源工程基金会公益项目, 2022.08至2023.12, 主持;

[4]分层可信的韧性系统架构, 华为技术有限公司横向项目, 2021-06至2022-08, 序2;

[5]软件代码级可信性度量与增强关键技术研究, 河南省科技攻关项目, 2021-01至2022-12, 主持;

[6]基于可信双链的食品质量安全追踪溯源关键技术研究, 河南省科技攻关项目, 2020-01至2021-12, 主持;

[7]可信度量方法, 华为技术有限公司横向项目, 2020-03至2021-03，序2;

[8]面向源代码的软件可信性度量及系统研发, 河南省科技攻关项目, 2018-01至2019-12,主持;

[9]软件可信性计算模型与分级评估技术研究，九院十二所外协项目课题, 2017-11至2018-10, 主持;

[10]软件可信度量评估与增强规范, 国家科学技术学术著作出版基金项目, 2018-12至2019-12,序2.