姓 名：

文志诚

性 别：

男

职 称：

教授、博士(后)

职 务：

毕业院校：

上海大学/中南大学

所在学科：

软件工程

教师类型：

硕士生导师

邮 箱：

zcwen@mail.shu.edu.cn

2.研究领域

软件工程、网络安全与管理、人工智能

3.学习和工作经历

1999.9-2002.6广西师范大学数学与计算机科学学院硕士研究生， 硕士

2003.3-2007.6上海大学计算机学院计算机软件与理论专业博士研究生，博士

2012.4-2016.2中南大学信息工程学院计算机科学与技术专业博士后， 博士后

2007.9至今 湖南工业大学计算机学院工作

4.科研项目

[1].张龙信,文志诚,彭成,曾志浩等.通信竞争异构系统中基于逆向分层的能耗与可靠性联合优化策略及方法(61702178), 2017年国家自然科学基金青年项目, 2018.1-2020.12. (国家级)

[2].张龙信,文志诚,袁鑫攀,曾志浩等.异构计算系统预算约束的并行任务可靠性与容错调度策略(2019JJ50123), 2019年湖南省自然科学基金项目, 2019.1-2021.12. (省级)

[3].文志诚,唐军,吴文慧,唐承亮,吴志辉,周浩,肖小克.列车通信网络传输系统可靠性控制技术研究(2016JJ5034). 2016年湖南省自然科学基金项目, 2016-2019.(省级)

5.学术论文

[1]. Yunxing Wang, Liyan Li and Zhicheng Wen*. A sample de-noising method for FCM clustering induced by Gauss kernel[J]. International Journal of Information and Communication Technology, 2021, 18(4): 404-415. (EI检索, 通信作者)

[2]. Jinping Hu, Qian Cheng and Zhicheng Wen∗. A massive images classification method based on MapReduce parallel fuzzy C-means clustering[J]. Journal of Computational Methods in Sciences and Engineering, 2021, 21(4): 999-1011, 2021. (EI检索,通信作者)

[3]. Dakun Huang, Jing Wang and Zhicheng Wen*. Parallel FCM clustering algorithm of fuzzy number based on cut set[J]. Journal of Computational Methods in Sciences and Engineering, 2021, 21(4): 989-997. (EI检索,通信作者)

[4]. Weiqing Wan, Yongqing Yu, Qingyan Zeng and Zhicheng Wen*. Checking the consistency of Object-Z formal specification based on theorem proof[J]. Journal of Computational Methods in Sciences and Engineering, 2020, 20(1): 217-226. (EI检索,通信作者)

[5]. Liang Shen and Zhicheng Wen*. Research on Anomaly Detection of Network Security Situation Based on Interval Estimation[J]. Journal of Computational Methods in Sciences and Engineering, 2020, 20(1): 13-24. (EI检索,通信作者)

[6]. Liang Shen and Zhicheng Wen*. Network security situation prediction in thecloud environment based on grey neural network[J]. Journal of Computational Methods in Sciences and Engineering, 2019, 19(1): 153-167.(EI检索,通信作者)

[7]. Longxin Zhang, Lan Wang, Zhicheng Wen*, Mansheng Xiao, and Junfeng Man. Minimizing Energy Consumption Scheduling Algorithm of Workflows With Cost Budget Constraint on Heterogeneous Cloud Computing Systems[J], IEEE Access, 2020, 8: 205099-205110. (SCI检索,通讯作者)

[8].文志诚,陈志刚,唐军.基于聚类分析的网络安全态势评估方法[J].上海交通大学学报, 2016, 50(9): 1407-1414, 1421. (EI: 20164202924592)

[9].文志诚,陈志刚,唐军.基于信息融合的网络安全态势量化评估方法[J].北京航空航天大学学报, 2016, 42(8): 1593-1602. (EI: 20163602766369)

[10].文志诚,陈志刚,唐军.基于时间序列分析的网络安全态势预测[J].华南理工大学学报(自然科学版), 2016, 44(5): 137-143,150. (EI: 20162702571464)

[11].文志诚,陈志刚.基于隐马尔可夫模型的网络安全态势预测方法[J].中南大学学报(自然科学版), 2015, 46(10): 3689-3695. (EI: 20160101750701)

[12].文志诚,陈志刚.构建广义立方体感知网络安全态势[J].北京航空航天大学学报, 2015, 41(10): 1966-1974. (EI: 20154701563164)

[13].文志诚,陈志刚,邓晓衡,刘安丰.基于多源多层次信息融合的网络安全态势感知方法[J].上海交通大学学报, 2015, 49(8): 1144-1152. (EI: 20154501525753)

[14]. Wen Zhicheng, Tang Jun. Quantitative assessment for network security situation based on weighted factors[J]. Journal of Computational Methods in Sciences and Engineering, 2016, 16(4): 821-833. (EI: 20170703348715)

[15]. Wen Zhicheng, He Pinjie. Network security situation abnormal detection method based on hypothesis test[J]. Journal of Computational Methods in Sciences and Engineering, 2016, 16(3):505-518. (EI: 20164603006023)

[16].文志诚,曹春丽,周浩.基于朴素贝叶斯分类器的网络安全态势评估方法[J].计算机应用, 2015, 35(8): 2164 -2168.(CSCD)

[17].文志诚,曹春丽.基于因子加权的网络安全态势感知方法[J].计算机应用, 2015, 35(5): 1393-1398. (CSCD)

[18].文志诚,李长云,满君丰.开放网络环境下软件运行时故障诊断研究[J].小型微型计算机系统, 2012, 33(5): 955-962. (CSCD)

[19].文志诚,李长云,满君丰.基于贝叶斯网的分布式软件行为运行时可信性分析[J].小型微型计算机系统, 2012, 33(3): 504-511. (CSCD)

[20].文志诚,李长云,满君丰.产生证明责任验证Object-Z规格说明的行为子类型继承[J].小型微型计算机系统, 2009, 30(6): 1049-1056. (CSCD)

[21].文志诚,李长云,满君丰.用带时钟变量的线性时态逻辑扩充Object-Z[J].计算机应用研究, 2009, 26(5): 1764-1769. (CSCD)

[22].文志诚,贾峰,胡纯蓉.一个Object-Z规格说明的证明责任产生器[J].计算机应用与软件, 2010, 27(5): 34-37. (CSCD)

[23].文志诚,缪淮扣,张新林.基于Object-Z的形式化验证方法[J].计算机科学, 2007, 34(5): 247-251. (CSCD)

[24].文志诚,缪淮扣,许庆国.一种从Object到CSP规格说明的转化方法[J].计算机科学, 2006, 33(11): 263-267. (CSCD)

[25].文志诚,缪淮扣,孙军梅.基于Object-Z多态推理[J].计算机科学, 2006, 33(7): 230- 232,256. (CSCD)

[26].文志诚,杨善朝. NA、PA样本下密度核估计的相合性[J].数学研究, 2002, 35(3): 309-319. (CSCD)

[27].文志诚,杨善朝. PA样本下密度核估计的相合性[J].广西师范大学学报, 2002, 20(4): 32-37. (中文核心)

[28].文志诚,曹春丽.网络安全态势异常检测技术研究[J].湖南工业大学学报, 2015, 29(2):64-68.(普刊)

[29].文志诚,肖小克.计算机类研究生人才培养模式改革研究[J].当代教育理论与实践, 2016, 8(9): 32- 34. (普刊)

[30].文志诚,文鸿.基于项目驱动的计算机类研究生实践和创新能力培养研究[J].福建电脑, 2015, 31(12): 39-40.(普刊)

[31].文志诚,李建设,曹春丽.以创新创业能力培养为核心的软件工程专业实践教学体系改革研究[J].福建电脑, 2015, 31(10): 64-65. (普刊)

[32].文志诚,曹春丽.软件工程专业的校企合作研究[J].计算机教育, 2015(9): 89-91. (核心)

[33].文志诚,曹春丽.以社会需求为导向的软件工程专业课程体系改革的研究[J].计算机教育, 2010, 4: 59- 62. (核心)

[34].文志诚,彭国星,朱文球等.计算机算法设计与分析双语教学[J].计算机教育, 2010, 12: 59-63. (核心)

[35]. Zhicheng Wen, Huaikou Miao. Generating Proof Obligation to Verify Object-Z Specification[C]. Proceedings of the International Conference on Software Engineering Advances, 2006, Tahiti, French Polynesia, IEEE CS press, pp: 38-43. (EI)

[36]. Zhicheng Wen, Huaikou Miao. An Approach to Extending Object-Z with Real-Time[C]. Proceedings of the third IEEE international workshop on Electronic Design, Test and Applications(DELTA06), 1, 2006, Kuala Lumpur, Malaysia, IEEE CS press, pp: 345-349. (EI: 070910447928)

[37].肖满生,文志诚,张居武,汪新凡.一种改进隶属度函数的FCM聚类算法[J].控制与决策, 2015, 30(12): 2270- 2274.( EI检索,通信作者)

6.专利与软件著作权

7.著作

[1].文志诚,缪淮扣著.面向对象软件的形式验证技术[M].上海大学出版社出版发行, 2011年3月第1版, ISBN: 978-7-81118-648-2/G·545.(专著)

[2].文志诚,王精明,徐云剑,郭艾寅主编.数据结构(C语言描述)[M].吉林大学出版社, 2015年7月第1版,普通高等教育“十二五”规划教材, ISBN: 978-7-5677-3956-7.(教材)

[3].龚炳江,文志诚主编. Java程序设计(慕课版)[M].人民邮电出版社, 2016年4月第1版, ISBN: 978-7-115- 41704-6. (教材)

[4].沈华,文志诚,杨晓艳,张明武主编.数据结构与算法(C语言描述)[M].机械工业出版社, 2015年10月第2版,高等学校计算机专业规划教材, ISBN: 978-7-1115-1142-7.(教材)

[5].恰汗•合孜尔主编,文志诚等副主编. C语言程序设计[M]. 中国铁道出版社, 2015年9月第2版,普通高等教育“十一五”国家级规划教材,高等院校计算机应用技术规划教材, ISBN: 978-7-113-19153-5.(教材)

8.获奖情况

[1]. 2015.9指导学生刘力玮等同学荣获湖南省第十一届“蓝狐网络杯”大学生计算机程序设计竞赛三等奖,证书编号:HNCPC2015-3-053. (省级)

[2]. 2015.9指导学生林旭等同学获湖南省第十一届“北大青鸟郴州科泰杯”软件应用作品竞赛三等奖,证书编号:HNCPC2015-3-045.(省级)

[3]. 2015.4指导学生卢俊锋同学荣获第六届蓝桥杯全国软件和信息技术专业人才大赛湖南赛区C/C++程序设计大学B组三等奖,编号: 020607931. (省级)

[4]. 2015.4指导学生刘昌恒同学荣获第六届蓝桥杯全国软件和信息技术专业人才大赛湖南赛区C/C++程序设计大学B组三等奖,编号: 020607886. (省级)

[5]. 2015.3指导学生钟智彦同学获得湖南省研究生科技创新项目,题目为:半色调图像特征提取方法研究,编号: CX2015B566,时间: 2015-2016. (省级)

[6]. 2010.6指导学生刘鑫标和曹贵芝同学参加湖南省大学生计算机作品赛荣获一等奖,作品:基于Android平台和JavaEE的手机安全防盗与跟踪系统. (省级)

[7] 2017.6指导学生周健获得”湖南工业大学2017届优秀本科毕业论文(设计)”称号,论文名称:基于Hadoop数据处理平台的设计与实现,证书编号: 201706032. (校级)

9.教改与质量工程项目

[1].张龙信,文志诚,满君丰,文鸿,翁艳彬,黄琼.科研项目驱动的信息类研究生创新能力培养研究(2019JGYB221). 2019年湖南省学位与研究生教育教学改革研究项目, 2019-2021. (省级)

[2].文志诚,李长云,吴岳忠,文鸿,彭成,曹春丽,周浩,肖小克.基于项目驱动的计算机类研究生实践和创新能力培养研究(JG2015B101). 2015年湖南省学位与研究生教育教学改革研究项目, 2015-2017. (省级)

[3].文志诚,李长云,曹春丽,周浩,肖小克,陈莉.以创新创业能力培养为核心的地方高校工科专业应用型人才培养模式研究(XJK015BGD025). 2015年湖南省“十二五”教育科学规划课题, 2015-2018. (省级)

[4].文志诚,李长云,曹春丽,文志强,肖小克.地方高校软件工程专业校企合作实践教学创新研究(314). 2014年湖南省普通高等学校教学改革研究项目, 2014-2017. (省级)

[5].文志诚.基于Python课程的人工智能专业师资队伍建设方案(待定，已立项). 2021年第二批产学合作协同育人项目, 2021-2023.(省级)

10.社会或学术兼职

11.研究生培养

自从2007年招生培养研究生以来，到目前为止共招收15届硕士研究生，计25余名，毕业后主要在高校或大型企事业单位工作。