何炎祥

， 武漢計算院院，軟體程驗室授、，級。，畢業武漢系計算數學專業1975年畢業於武漢大學數學系計算機軟體研究生班。1984—1986年在美國俄勒岡大學計算機與信息科學系學習。獲碩士學位：1997年3月—1997年9月在美國作為高級訪問學者進行科研訪問；1978年晉陞為講師。1989年晉陞為副教授，1993年晉陞為教授。1999年6月獲武漢大學計算機科學系博士學位。現為武漢大學計算機科學系教授、博士生導師。武漢大學計算機學院院長，軟體工程國家重點實驗室主任，武漢大學校長助理，享受國家政府津貼。湖北省計算機學會副理事長。主要著作：先後在《計算機學報》．《計算機研究與發展》、《OPeratingSystemsRevlew》等雜誌上發表學術論文60多篇其中有10多篇已分別由美國EI、英國科學文摘、俄羅斯科技文摘等雜誌摘錄。在高等教育出版社．科學出版社、海洋出版社等出版著作和教材10部，其中《編譯原理》、《操作系統原理》被國內不少高等院校選作教材和教學參考書。

晉陞計算科系講，計算軟體研室科研。

武漢計科系副；晉陞計算科系副授。

1993年破格晉陞為計算機科學系教授。

1997年1月任武漢大學計算機學院副院長。

1997年9月任武漢大學計算機學院院長。

1999年4月任武漢大學校長助理。

2001年1月任（四校合併后）武漢大學計算機學院院長。

2006年武漢大學名師，武漢大學。

2009年9月湖北省名師，湖北省教育廳。

2009年9月國家教學名師，國家教育部。

2013年4月任武昌理工學院副校長，分管學校教學等。

2013年全國優秀工會積極分子，中華全國總工會。

研究領域

主要研究方向為分佈并行處理（含移動計算、網格計算與Web服務）、可信軟體、知識挖掘與數據開採、軟體工程等。

科研項目

1.“分散式多視點軟體需求工程研究”，國家教育部重點項目，1998，12—2000，12，主持人。

2.“基於網路的分散式KDD和Data Mining研究”，湖北省自然科學基金，1999，1—2000，12，主持人。

3.“基於多Agent的分佈開放計算環境模型研究”，湖北省科技發展計劃項目，1999，1—2000，12，主持人。

4.“語言處理集成系統”，國際合作項目（與美國ITA公司），1997，10—1998，10，主持人。

5.“基於狀態轉換原理的嵌入式編輯器”，與華為公司合作項目，2001，5—2001，8，主持人。

6.“商務智能系統研究”，與北京富基旋風科技公司合作項目，2000，10—2001，5，主持人。

7.“電子商務智能分析系統的研究與應用”，武漢市重點科技發展計劃項目，2001，3—2002，12，項目編號: 20011007087,主持人。

8.“分散式數據開採研究”，國家教育部骨幹教師基金，1999，9—2002，9，主持人。

9.“河南省電力公司MIS系統”，與河南省電力公司合作項目，1998，7—2000，7，項目負責人之一。

10.“電子商務智能分析系統的研究與應用”，武漢市重點科技計劃項目，2001，3—2002，12，項目編號: 20011007087,主持人。

11.“網上信息收集和分析的基礎問題和模型研究”,國家自然科學基金重大研究計,2002,1--2005,12,項目編號: 90104005，主要參加者。

12.“湖北省教育廳辦公自動化”,湖北省教育廳,2002,4--2002,10,主持人。

13.“電廠基建管理信息系統”,雲南麗江地區新建電廠,2002,7-2002,10,主持人。

14.“虛擬現實技術在製造業的應用研究”,湖北省科技發展計劃發展項目，2002,12-2003.12,主持人。

15.“基於移動Agent的服務框架模型研究”，軟體工程國家重點實驗室開放基金，2002，1—2003，12，項目編號: 20020208,主持人。

16.“Mobile-GPS項目開發”，與公司合作，2003，7－2004，6，主持人。

17.“機場生產運營系統”，武漢大學計算機學院－奔騰網路公司聯合開發，2004.8-2004.12,.主持人。

18.“Mobile-GPS”，湖北省科技重大攻關計劃，2003，9－2005，12，主持人。

19“低速率的拒絕服務攻擊模型和防範研究”，國家自然科學基金，項目編號:60642006，2007，1-2007，12，主持人。

論文

1．陳偉，何炎祥，彭文靈,“一種輕量級的拒絕服務攻擊檢測方法”,計算機學報， 2006。29(8)。

2．陳益峰，何炎祥，曹建農，“內容傳遞網路處理能力受限代理放置貪婪演演算法”，軟體學報，2007，18(1)。

3．Furu Wei, Wenjie Li, Qin Lu, and Yanxiang He. Applying Two-Level Mutual Reinforcement Ranking Algorithm in Query-Oriented Multi-document Summarization. Journal of the American Society for Information Science and Technology。(JASIST)，2009. 60(9)。

4．何炎祥，曹強，劉陶，韓奕，熊琦，一種基於小波特徵提取的低速率DoS檢測方法，軟體學報,2009,20(4)。

5．Furu Wei, Wenjie Li, Qin Lu, and Yanxiang He. A Document- Sensitive Graph Model for Multi-Document Summarization。 Knowledge and Information Systems. KAIS, 2010.22(2)。

6．何炎祥，劉陶，吳偉，“可信編譯器關鍵技術研究”，計算機工程與科學，2010,8，32(8)。

7．何炎祥，吳偉，劉陶等，“可信編譯理論及其核心實現技術：研究綜述”，計算機科學與探索，2011,1，5（1）。

8．劉陶，何炎祥，熊琦，“一種基於Q學習的LDOS攻擊實時防禦機制及其CPN實現”，計算機研究與發展，2011,3，48（3）。

9.何炎祥，陳勇，吳偉等,“基於編譯支持錯誤跟蹤的測試用例自動化生成方法”，計算機研究與發展，2012.9，49（9）。

10.何炎祥，吳偉，陳勇等，“基於SMT求解器的路徑敏感程序驗證”，軟體學報，2012，23(10)。

11.徐超，何炎祥，吳偉等,“基於模擬關係的編譯優化實現正確性驗證方法”,電子學報,2012,40(11)。

12.Yanxiang He, Wei Wu, Yong Chen，An efficient method for detecting concurrency errors in object-oriented programs. SCIENCE CHINA Information Sciences，2012,55(12)。

13.何炎祥，沈華，一種基於隨機Petri網的Web服務組合性能瓶頸定位策略[J].計算機學報Vol.36,No.10，2013.10.1953-1966。

14.He Y X, Wu W, Chen Y. An efficient method for detecting concurrency errors in object-oriented programs[J].Science China Information Sciences,2012,55(12):2774-2784。

15．何炎祥，江南，李清安，張軍，沈凡凡。一個機器檢測的Micro-Dalvik虛擬機模型[J].軟體學報,2015,26(2):364-379.。

16.何炎祥，沈凡凡，張軍，江南，李清安，李建華。新型非易失性存儲器架構的緩存優化方法綜述[J].計算機研究與發展,2015,41(6):1225-1241。

17.江南，何炎祥，張曉瞳.mJava到Micro-Dalvik虛擬機的編譯驗證[J].電子學報,2016,44(7):1619-1629。

18.何炎祥，張軍，沈凡凡，江南，李清安，劉子駿。通用圖形處理器線程調度優化方法研究綜述。計算機學報[J]. 2016,9,39(9):1733-1749。

19.張軍，何炎祥，沈凡凡，江南，李清安。基於2階段同步的GPGPU線程塊壓縮調度方法[J].計算機研究與發展,2016,53 (6):1173-1185。

20.何炎祥，孫松濤，牛菲菲，李飛，用於微博情感分析的一種情感語義增強的深度學習模型，計算機學報，2017, 40(4):773-790。

21.何炎祥，陳木朝，李清安等，PCRAM損耗均衡研究綜述，計算機學報，2018,10,41（41）:2295-2317。

著作

1．何炎祥等，《計算機等級考試----一級考試模擬試題集》，華中科技大學出版社，1998。

2．何炎祥等，《計算機等級考試----二級考試模擬試題集》，華中科技大學出版社，1998。

3．何炎祥，宋文欣，彭鋒，《高級操作系統》，科學出版社，1999，國家九五重點計劃教材。

4．何炎祥主編，《編譯原理》，（普通高等教育“十一五”國家級規劃教材），華中科技大學出版社，2000，2003，2005，2010。

5．何炎祥主編，《操作系統原理》，上海科技文獻出版社，2000。

6．何炎祥主編，《操作系統原理學習與解題指南》，華中科技大學出版社，2001。

7．何炎祥，陳莘萌，《Agent和多Agent系統的設計與應用》，武漢大學出版社,2001，武漢大學學術叢書。

8．何炎祥，熊前興主編，《操作系統原理》，華中科技大學出版社，2001。

9．何炎祥，朱曉峰，《操作系統原理學習指導與題解》，華中科技大學出版社，2003。

10．Liu Yunsheng, He Yanxiang 主編,Proceedings of International Symposium on Future Software Technology 2002 (ISFST’2002), Published by HUST press 華中科技大學出版社,Wuhan, China,2003。

11．朱福喜，何炎祥，《并行分佈計算中的調度演演算法理論與設計》，武漢大學出版社,2003，武漢大學學術叢書。

12．何炎祥，李飛，李寧，《計算機操作系統》，（普通高等教育“十一五”國家級規劃教材），清華大學出版社，2004。

13．何炎祥，《操作系統原理》，科學出版社，2004。

14．何炎祥，《編譯原理》，高等教育出版社，2004。

15．何炎祥，李飛，李寧，《編譯原理及其習題解答》，武漢大學出版社，2004。

16．何炎祥，《分散式操作系統》，高等教育出版社，2005。

17．何炎祥主編，《第八屆全國高校計算機系主任（院長）論壇論文集》，高等教育 出版社，2005。

18．Xiaohua Jia, Jie Wu,Yanxiang He (Eds.), Proceeding of Mobile Ad-hoc and Sensor Networks , First International Conference, MSN 2005 , Wuhan, China, December13-15,2005。

19．何炎祥，石瑩，王娜，《程序設計基礎》，（普通高等教育“十一五”國家級規劃教材），清華大學出版社，2006。

20．蕭國政，何炎祥，孫茂松主編，《中文計算技術與語言問題研究》，第七屆中文信息處理國際會議論文集，北京，電子工業出版社，2007。

21．Yanxiang He, Guozheng Xiao, Maosong Sun (Chief Editors), Recent Advance of Chinese Computing technologies, Proceedings of ICCC2007, Wuhan, China, October13-15,2007。

22．何炎祥，伍春香，王漢飛，《編譯原理》，北京，機械工業出版社，2010。

23．何炎祥，劉陶，《降質服務攻擊及其防範方法》，北京，機械工業出版社，2011。

24．何炎祥，吳釗，《動態Web服務組合關鍵技術與性能分析》，北京，清華大學出版社，2011,10。

25.何炎祥，吳偉，《可信編譯構造理論與關鍵技術》，北京，科學出版社，2013,1。

26.何炎祥，陳勇著，《面向嵌入式系統的綠色編譯理論與方法研究》，北京，科學出版社，2014。

27.何炎祥，沈凡凡著，《面向片上緩存子系統的功耗優化方法》,北京，科學出版社，2018。

發明專利

申請號：200810237473.8（Web服務匯流排設計及其應用方法）；授權專利號200810237473（2011年1月19日授權）。

申請號：200910062970.3（開放網路的信任體系結構及其建立方法）。

軟體著作權：登記號2009SR00953(Web服務匯流排設計軟體)；登記號2009SR046959（基於本體的web服務組合需求獲取軟體）。

本科生《編譯原理》《計算機導論》《操作系統原理》。

1997年3月—1997年9月在美國作為高級訪問學者進行科研訪問。

1997年11月兼任軟體工程國家重點實驗室主任。

湖北省計算機學會副理事長。