文志誠

文志誠，男，漢族，1972.11出生於湖南東安，中共黨員，教授，博士(後)，碩士研究生導師，湖南工業大學中青年骨幹教師。2002.6廣西師範大學數學與計算機科學學院碩士研究生畢業，2007.6上海大學計算機學院計算機軟體與理論專業博士研究生畢業，同年調入湖南工業大學工作，2015年中南大學計算機科學與技術專業博士後流動站出站。現任計算機與通信學院軟體工程系主任，主要研究方向：網路安全與管理、軟體工程。

基本介紹

• 中文名：文志誠
• 民族：漢族
• 出生地：湖南東安
• 出生日期：1972.11
• 職業：高校教師
• 畢業院校：上海大學/中南大學

學術論文

[1]. 文志誠, 陳志剛, 唐軍. 基於聚類分析的網路安全態勢評估方法[J]. 上海交通大學學報, 2016, 50(9): 1407-1414, 1421. (EI: 20164202924592)

[2]. 文志誠, 陳志剛, 唐軍. 基於信息融合的網路安全態勢量化評估方法[J]. 北京航空航天大學學報, 2016, 42(8): 1593-1602. (EI: 20163602766369)

[3]. 文志誠, 陳志剛, 唐軍. 基於時間序列分析的網路安全態勢預測[J]. 華南理工大學學報(自然科學版), 2016, 44(5): 137-143,150. (EI: 20162702571464)

[4]. 文志誠, 陳志剛. 基於隱馬爾可夫模型的網路安全態勢預測方法[J]. 中南大學學報(自然科學版), 2015, 46(10): 3689-3695. (EI: 20160101750701)

[5]. 文志誠, 陳志剛. 構建廣義立方體感知網路安全態勢[J]. 北京航空航天大學學報, 2015, 41(10): 1966-1974. (EI: 20154701563164)

[6]. 文志誠, 陳志剛, 鄧曉衡, 劉安豐. 基於多源多層次信息融合的網路安全態勢感知方法[J]. 上海交通大學學報, 2015, 49(8): 1144-1152. (EI: 20154501525753)

[7]. 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)

[8]. 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)

[9]. 文志誠, 曹春麗, 周浩. 基於樸素貝葉斯分類器的網路安全態勢評估方法[J]. 計算機套用, 2015, 35(8): 2164 -2168.(CSCD)

[10]. 文志誠, 曹春麗. 基於因子加權的網路安全態勢感知方法[J]. 計算機套用, 2015, 35(5): 1393-1398. (CSCD)

[11]. 文志誠, 李長雲, 滿君豐. 開放網路環境下軟體運行時故障診斷研究[J]. 小型微型計算機系統, 2012, 33(5): 955-962. (CSCD)

[12]. 文志誠, 李長雲, 滿君豐. 基於貝葉斯網的分散式軟體行為運行時可信性分析[J]. 小型微型計算機系統, 2012, 33(3): 504-511. (CSCD)

[13]. 文志誠, 李長雲, 滿君豐. 產生證明責任驗證Object-Z規格說明的行為子類型繼承[J]. 小型微型計算機系統, 2009, 30(6): 1049-1056. (CSCD)

[14]. 文志誠, 李長雲, 滿君豐. 用帶時鐘變數的線性時態邏輯擴充Object-Z[J]. 計算機套用研究, 2009, 26(5): 1764-1769. (CSCD)

[15]. 文志誠, 賈峰, 胡純蓉. 一個Object-Z規格說明的證明責任產生器[J]. 計算機套用與軟體, 2010, 27(5): 34-37. (CSCD)

[16]. 文志誠, 繆淮扣, 張新林. 基於Object-Z的形式化驗證方法[J]. 計算機科學, 2007, 34(5): 247-251. (CSCD)

[17]. 文志誠, 繆淮扣, 許慶國. 一種從Object到CSP規格說明的轉化方法[J]. 計算機科學, 2006, 33(11): 263-267. (CSCD)

[18]. 文志誠, 繆淮扣, 孫軍梅. 基於Object-Z多態推理[J]. 計算機科學, 2006, 33(7): 230- 232,256. (CSCD)

[19]. 文志誠, 楊善朝. NA、PA樣本下密度核估計的相合性[J]. 數學研究, 2002, 35(3): 309-319. (CSCD)

[20]. 文志誠, 楊善朝. PA樣本下密度核估計的相合性[J]. 廣西師範大學學報, 2002, 20(4): 32-37. (中文核心)

[21]. 文志誠, 曹春麗. 網路安全態勢異常檢測技術研究[J]. 湖南工業大學學報, 2015, 29(2): 64-68.(普刊)

[22]. 文志誠, 肖小克. 計算機類研究生人才培養模式改革研究[J]. 當代教育理論與實踐, 2016, 8(9): 32- 34. (普刊)

[23]. 文志誠, 文鴻. 基於項目驅動的計算機類研究生實踐和創新能力培養研究[J]. 福建電腦, 2015, 31(12): 39-40. (普刊)

[24]. 文志誠, 李建設, 曹春麗. 以創新創業能力培養為核心的軟體工程專業實踐教學體系改革研究[J]. 福建電腦, 2015, 31(10): 64-65. (普刊)

[25]. 文志誠, 曹春麗. 軟體工程專業的校企合作研究[J]. 計算機教育, 2015(9): 89-91. (普刊)

[26]. 文志誠, 曹春麗. 以社會需求為導向的軟體工程專業課程體系改革的研究[J]. 計算機教育, 2010, 4: 59- 62. (普刊)

[27]. 文志誠, 彭國星, 朱文球等. 計算機算法設計與分析雙語教學[J]. 計算機教育, 2010, 12: 59-63. (普刊)

[28]. 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)

[29]. 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)

[30]. 肖滿生, 文志誠, 張居武, 汪新凡. 一種改進隸屬度函式的FCM聚類算法[J]. 控制與決策, 2015, 30(12): 2270-2274.(通信作者) (EI)

科研項目

[1]. 文志誠, 唐軍, 吳文慧, 唐承亮, 吳志輝, 周浩, 肖小克. 列車通信網路傳輸系統可靠性控制技術研究(2016JJ5034). 2016年湖南省自然科學基金項目, 2016-2019.(省級)

[2]. 文志誠, 李長雲, 吳岳忠, 文鴻, 彭成, 曹春麗, 周浩, 肖小克. 基於項目驅動的計算機類研究生實踐和創新能力培養研究(JG2015B101). 2015年湖南省學位與研究生教育教學改革研究項目, 2015-2017. (省級)

[3]. 文志誠, 李長雲, 曹春麗, 周浩, 肖小克, 陳莉. 以創新創業能力培養為核心的地方高校工科專業套用型人才培養模式研究(XJK015BGD025). 2015年湖南省“十二五”教育科學規劃課題, 2015-2018. (省級)

[4]. 文志誠, 李長雲, 曹春麗, 文志強, 肖小克. 地方高校軟體工程專業校企合作實踐教學創新研究(314). 2014年湖南省普通高等學校教學改革研究項目, 2014-2017. (省級)

[5]. 文志誠. 基於數據融合的網路態勢感知技術研究(114006). 2012年中南大學第三批博士後科研啟動基金項目, 2012-2014. (廳級)

[6]. 文志誠, 王玲, 周浩, 肖小克, 李欣. 基於數據融合的網路態勢感知技術研究(16C0480). 2016年湖南省教育廳科研項目, 2016.9-2018.8. (廳級)

[7]. 文志誠, 向華政, 梁愛南, 胡純蓉, 唐承亮, 賈峰. 基於語義Web服務動態演化的可信軟體模型研究(08C284). 2009年湖南省教育廳科研項目, 2009.1-2010.1. (廳級)

[8]. 文志誠, 鄧曉衡, 文志強, 陳莉. 計算機算法設計與分析雙語教學. 2008年湖南工業大學雙語教學示範課程建設項目, 2008.9-2011.6. (廳級)

[9]. 文志誠, 鄧曉衡, 文志強, 滿君豐, 向華政等. 2008年計算機算法設計與分析雙語教學探素與實踐. 湖南工業大學教學研究與改革項目, 2008.9-2009.8. (廳級)

公開出版專著與教材

[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.(教材)

[6]. 恰汗·合孜爾 主編, 文志誠, 古麗孜拉, 吐爾遜·買買提副主編. C語言程式設計習題集與上機指導(第四版). 中國鐵道出版社, 2015年12月第2版, 普通高等教育“十一五”國家級規劃教材, ISBN: 978-7-113- 21163-9. (教材)

獲獎情況

[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]. 2009.6指導學生宋欣德同學參加湖南省大學生計算機作品賽榮獲全省二等獎, 作品: 鐵路客車安全監控系統. (省級)

[8] 2009.6指導學生王飛和劉勝同學參加湖南省大學生計算機作品賽榮獲全省三等獎, 作品: 校園網分散式計算平台. (省級)

[9]. 2009.5指導學生王飛同學參加第八屆“挑戰杯”湖南省大學生課外學術科技作品競賽榮獲全省三等獎, 作品: 網路準入系統與校園計算格線的集成實現. (省級)