zhu-郑州大学计算理论与先进计算技术研究室

zhu

2020-04-09 作者：点击：

朱维军


	朱维军
	副教授、博士（后）
	E-mail1: zhuweijun@zzu.edu.cn; E-mail2: zhuweijun76@163.com;

6C5

如果当前看到的是PDF版，扫描以上二维码可访问网页版

教育背景

★ 郑州大学，计算机科学系，本科
★ 郑州大学，信息工程学院计算机科学系，硕士
★ 西安电子科技大学，计算机学院，博士

学术经历

★ 北京大学，（一年期）访问学者，（教育部“高等学校青年骨干教师国内访问学者计划”）
★ 清华大学，（一年期）访问学者
★ 郑州大学，副教授、硕士生导师、"2017学科交叉博士生合作导师"、"2019博士后合作导师"
★ 郑州大学计算理论与先进计算技术研究室，主任，（为师生学术服务，非行政职务）
★ 中兵通讯公司，二站博士后（已出站）
★ 郑州大学，一站博士后（已出站）

研究兴趣

☆ 形式化方法与模型检测
☆ 机器学习应用
☆ 生物信息与生物计算
☆ 信息安全
☆ 区块链

服务社会

☆ 校外某事业单位，挂职锻炼一年（已圆满完成）;
☆ 教育部学位中心，博硕学位论文通讯评议专家;
☆ 中国计算机学会（CCF）形式化方法专委会，执行委员 & 首届委员;
☆ CCF YOCSEF郑州，副主席(2015-2016);
☆ 河南省计算机学会，理事;
☆ 河南工业大学兼职教授，（收到有关负责人亲手颁发的聘书）;
☆ 周口师范学院客座教授，（收到有关负责人亲手颁发的聘书）;
☆ 西电河南校友会，副会长，（曾担任一届）;
☆ 《IEEE Access》（IEEE期刊），审稿人;
☆ 《IET Information Security》（CCF推荐期刊），审稿人;
☆ 《计算机学报》，审稿人.

指导学生

☆ 指导在读本科学生做研究：点击这里了解详情。
☆ 指导或实际指导（在读+已毕业）硕士生：10人。
☆ 实际指导在读博士生：2人。

研究论文

(注：姓名后带星号者为通信作者,每篇论文有且仅有一位第一作者（不存在“共同一作”），其中多篇论文的合作者包括IEEE会士或国家杰青或海外终身正教授

W Zhu*, H Wu, M Deng (2019), LTL Model Checking Based on Binary Classification of Machine Learning [J], IEEE access, 2019, 7: 135703-135719. (SCI, JCR Q1区, IEEE期刊)
W Zhu*, Z Gao, Y Wang (2022), A novel approach for audible acoustic quick response codes [J], SCIENTIFIC REPORTS, 2022, 12, DOI: 10.1038/s41598-022-09858-7. (SCI, JCR Q1区)
W Zhu, X Liu, M Xu* (2019), Predicting the results of RNA molecular specific hybridization using machine learning [J], IEEE/CAA Journal of Automatica Sinica, 2019, 6(6): 1384-1396. (SCI, JCR Q1区, IEEE期刊)
W Zhu*, M Deng, Q Zhou (2018), An intrusion detection algorithm for wireless networks based on ASDL [J], IEEE/CAA Journal of Automatica Sinica, 2018, 5(1): 92-107. (SCI, JCR Q1区, IEEE期刊)
M Deng, H Cao, W Zhu* (2019), Benchmark test for the model-checking-based IDS algorithms [J], IEEE access, 2019, 7: 135479-135498. (SCI, JCR Q1区, IEEE期刊)
W Zhu*, Y Han, Q Zhou (2019), Performing CTL model checking via DNA computing [J], Soft Computing, 2019, 23(12): 3945-3963. (SCI, JCR Q2区, CCF推荐英文期刊)
W Zhu*, C Feng, H Wu (2017), Model Checking Temporal Logic Formulas Using Sticker Automata [J], BioMed Research International, 2017, DOI: 10.1155/2017/7941845. (SCI, JCR Q2区)
W Zhu, Y Han, H Wu* (2020), Predicting the results of molecular specific hybridization using boosted tree algorithm [J], Concurrency and computation: practice and experience, 2020, DOI: 10.1002/cpe.4982. (SCI, JCR Q3区, CCF推荐英文期刊)
W Zhu*, Q Zhou, W Yang (2013), A novel algorithm for intrusion detection based on RASL model checking [J], Mathematical Problems in Engineering, 2013, DOI: 10.1155/2013/621203. (SCI, JCR Q3区)
W Zhu, M Xu* (2020), A Novel Method for Detecting Disk Filtration Attacks via the Various Machine Learning Algorithms [J], China Communications, 2020, 17(4): 99-108. (SCI, JCR Q3区)
W Zhu*, Q Zhou, H Zhang (2012), Translating linear temporal logic formulas into automata [J], China Communications, 2012, 9(6): 100-113. (SCI, JCR Q3区)
W Zhu*, Z Wang, H Zhang (2011), Intrusion detection algorithm based on model checking interval temporal logic [J], China Communications, 2011, 8(3): 66-72. (SCI, JCR Q3区)
W Zhu, J Rodrigues*, J Niu, M Xu (2019), Mimic automata: A novel formal model for mimic computing [J], Cognitive Systems Research, 2019, 57: 54-65. (SCI, JCR Q3区, SSCI)
W Zhu, J Rodrigues, J Niu, M Xu* (2019), Detecting air-gapped attacks using machine learning [J], Cognitive Systems Research, 2019, 57: 92-100. (SCI, JCR Q3区, SSCI)
W Zhu*, H Wu (2022), CTL Model Checking Based on Binary Classification of Machine Learning [J], INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2022, 19(2): 249-260. (SCI, JCR Q4区)
朱维军*, 周清雷, 李永亮 (2016), 以DNA为载体的线性时序逻辑模型检测[J], 电子学报, 2016, 44(6): 1265-1271. (CCF推荐A类中文期刊)
朱维军*, 张海宾, 周清雷 (2010), 离散时间区间时序逻辑可满足性的判定[J], 电子学报, 2010, 38(5): 1039-1045. (CCF推荐A类中文期刊)
朱维军, 游庆光*, 杨卫东, 周清雷 (2017), 基于统计差分的轨迹隐私保护[J], 计算机研究与发展, 2017, 54(12): 2825-2832. (CCF推荐A类中文期刊)
朱维军*, 郭渊博, 黄伯虎 (2019), 动态异构冗余结构的拟态防御自动机模型 [J], 电子学报, 2019, 47(10): 2025-2031. (CCF推荐A类中文期刊)
朱维军*, 周清雷, 张钦宪 (2016), 基于DNA计算的线性时序逻辑模型检测方法 [J], 计算机学报, 2016, 39(12): 2578-2597. (CCF推荐A类中文期刊)

基金项目

国家自然科学基金联合基金（U1204608）, 项目主持人。
国家自然科学基金面上项目（61572444）—— 博后在站期间与合作导师共同申请并获批立项；合作导师署名第一，管理人、财、物，负责平台团队建设，承担管理负责人的角色；本人署名第二，独立酝酿选题、提出idea、撰写项目申请书，承担学术负责人的角色。
国家自然科学基金面上项目（62276091）—— 与师兄共同申请并获批立项；师兄署名第一，管理人、财、物，负责平台团队建设，承担管理负责人的角色；本人署名第二，独立酝酿选题、提出idea、撰写项目申请书，承担学术负责人的角色。
中国博士后科学基金（2012M511588），项目主持人。
中国博士后科学基金（2015M572120），项目主持人。
国家重点研发计划（2016YFB0800100）， “研究骨干”、郑大参研团队研究负责人，与多家985高校专家教授团队共同执行该项目的课题1。
国家科技支撑计划（2013BAH23F01）， “课题骨干”。

获奖荣誉

CCF杰出会员，by 中国计算机学会, 2023年入选，（CCF历史上，截至到2023年为止，省内高校界共有来自6家高校的7名学者先后获此荣誉，其他6人均为正教授职称）

河南省自然科学学术奖一等奖：“离散时间区间时序逻辑可满足性的判定”，成果第一完成人，2011

河南省自然科学学术奖一等奖：“Translating linear temporal logic formulas into automata”，成果第一完成人，2013
"河南省高等学校青年骨干教师", by 河南省教育厅，2018

发明专利

朱维军、樊永文、等，基于二分类机器学习的时序逻辑近似模型检测方法及系统，国家知识产权局，专利号ZL201810487191.7，2021年4月授权

作风特点

★ 努力践行“撸起袖子加油干”——长期泡在实验室，二十年从事一线研究。

★ 努力践行“功成不必在我，功成必定有我”——结合本职岗位，个人对此一点初步认识（也是我对自己的自觉要求）：我们的教学科研工作不一定要“署名”归于我，拼搏路上付出的辛勤汗水陪伴着我。

★ 做研究：常有一些想法、idea。