何炎祥

何炎祥，男，前武漢大學計算機學院院長，軟體工程國家重點實驗室教授、主任，國家級教學名師。

基本介紹

• 中文名：何炎祥
• 國籍：中國
• 畢業院校：武漢大學
• 代表作品：《編譯原理》、《作業系統原理》

基本信息

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

基本經歷

1973年畢業於武漢大學數學系計算數學專業；

1975年畢業於武漢大學數學系計算機軟體研究生班，後留校籌建計算機科學系；

1978年晉升為計算機科學系講師，在計算機軟體教研室從事教學和科研工作；

1987年4月任武漢大學計科系副主任；1989年晉升為計算機科學系副教授；

1993年破格晉升為計算機科學系教授；

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

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

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

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

1999年6月博士畢業於武漢大學計算機科學系，獲博士學位；博士生導師；

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

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

研究方向

分布並行處理、數據挖掘、移動計算、格線計算、自然語言處理、軟體工程等。

科研課題

主要科研項目

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)。

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, December 13-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, October 13-15,2007。

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

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

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

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

獲獎信息

1．“寶鋼優秀教師獎”，寶鋼教育獎，1998，（個人）。

2．“湖北省青少年科技教育工作先進個人” ，湖北省科學技術協會，湖北省教育廳，湖北省體育局，中國共產主義青年團湖北省委員會，湖北省婦女聯合會，2000, (個人）。

3．“面向21世紀高級彙編課程教學改革的創新研究與實踐”，湖北省高等學校優秀教學成果三等獎，2001，排名第2。

4．《高級作業系統》，武漢大學優秀教材獎，2002，（個人）。

5．“編譯原理”課程教學的綜合改革, 武漢大學優秀教學成果一等獎，2002, (排名第一)。

6．《編譯原理》, 武漢大學名牌課程，2004, (課程組組長，排名第1)。

7．湖北省優秀研究生導師，2004，湖北省人民政府學位委員會、湖北省教育廳。

8．《編譯原理》, 湖北省精品課程，2004，(課程組組長，排名第1)。

9．“《編譯原理》課程教學改革”，2005，湖北省高等學校教學成果二等獎，(排名第1)。

10．軟體質量保證支撐系統SQAS，湖北省科技進步一等獎，(排名第2)，2005。

11．武漢大學優秀博士後合作導師，武漢大學，2005。

12．《編譯原理》, 國家精品課程，2005，(課程組組長，排名第1)。

13．武漢大學名師，武漢大學，2006。

14．“軟體開發維護過程中若干關鍵方法與技術研究”，湖北省自然科學二等獎，(排名第2)，2006。

15．“對象代理資料庫管理系統TOTEM”, 高等學校科技進步二等獎，(排名第2)，2006。

16．“Web信息獲取、分析、測試過程中若干關鍵技術的研究與實現”, 湖北省自然科學二等獎，(排名第2)，2008。

17．湖北省名師，湖北省教育廳，2009，9。

18．國家教學名師，國家教育部，2009，9。

19．第四屆“尊師愛學”我最喜愛的十佳優秀教師，武漢大學，2009，10。

20．2010-2011年度武漢大學師德標兵。

21.“秉承創新理念，建設系統軟體優質課程群，培養計算機學科拔尖人才”，武漢大學教學成果一等獎， 排名第1，2010。

22.“堅持特色辦學思想，建設信息安全專業”，湖北省教學成果一等獎， 排名第1，2012。

23.“創建信息安全專業培養體系，引領信息安全專業建設”，高等教育國家級教學成果一等獎，排名第1，2014，

24.“可信軟體的構造方法與技術”，湖北省科技進步一等獎，項目主持人，2014

25.全國優秀工會積極分子， 中華全國總工會，2013

26.寶鋼教育獎優秀教師特等獎，2014

申報國家發明專利

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

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

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