何炎祥

何炎祥，男，前 武汉大学计算机来自学院院长，软件工程国家重点实验室教授、主任，国家级教学名师。代表作品氢育电突移教住济有《编译原理》、《操作系统原理》

• 中文名称 何炎祥
• 国籍 中国
• 毕业院校 武汉大学
• 职业 老师
• 代表作品 《编译原理》、《操作系统原理》

人物履历

　　男，前 武汉大学计算致手研府章声特善机学院院长，软件工程国家重点实验室教授、主任手般易存率井品沉，国家级教学名师。1952年生，1973年毕业于武汉大学数学系计算数学专来自业1975年毕业于武汉大学数学系计算机360百科软件研究生班。1984-1986年在美国俄勒冈大学计算机与伯权旧信息科学系学习。获硕士学始路居送首氢位:1997年3月-1997年9月在美国作为高级访问学者进行科研访问;1978年晋升为讲师。生饭式工部格1989年晋升为副教授，1993年晋升为教授作素销华合调形线承慢。1999年6月获武汉大学计算机科学系博士学位。现为武汉大学计算机科学系教授认济令许价入改、博士生导师。武汉大学计算机学院院长，软件工程国家重点实验室主任，武汉大学校长助理，享受国家政府津贴。湖北省计算机学会副理事长 。主要形货展有线验养著作:先后在《计算机学报》.《采范职输北紧后属千计算机研究与发展》政红细杆那识轴尼物汉杆、《OPeratingSystemsRevlew》等杂志上发表学术论文60多篇其中有10多篇已分别由美国EI、英国科学文摘、俄罗斯科技文摘等杂志摘录。在高等教育出版社.科学出版社、海洋出版社等出版著作和教材件旧兴液10部，其中《编译原理》、《操作系统原理》被国内不少高等院校选作教材和教学参考指看记书。

　　1973年毕业于武汉大学数原国学系计算数学专业;

　　1975岁配非剧强孩地振年毕业于武汉大学数学系计算机软件研究生班，后留校筹建计华汽胞升差算机科学系;

　　1978年晋升为计算机科学系讲师，在计算机软件教研室从事教学和科研工作;

　　1987年4月任武汉大学计科系副主任;1989年晋升为计算机科学系副教授;

　　199满白待影丝令亮3年破格晋升为计算机科学样体钢都系教授;

　　1997年1月任武汉大学计算机学院副院长;

　　1997年9月任武汉大学计算机学院院长，

　　1997年11月兼敌张往独企请几点解煤任软件工程国家重点实验室主任;

　　1999年4月任武汉大学校长助理;

　　1999年6月博士毕业于武汉大学计算机科学系，获博士学位;博士生导师;

　　2001年1月任(四校合并后)武汉大学计算机学院院长;

　　2013年4月任武昌理工学院副校长，分管学校教学等;

研究方向

　　分布并行处理、数据挖掘、移动计算、网格计算、自然语言处理、软件工程等。

科研课题

　告群适火家　主要科研项目

　　1. "分布式多视点软件来自需求工程研究"，360百科国家教育部重点项目，1998，12-2000，12，主持人。

　愿训了女马抗害六　2. "基于网络的分布式KDD和D案布题包持啊距ata 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，项目编号: 200110070迫井法临诗消87, 主持人。

　　11. "网上信息收集和分析的基础问题和模水车钢传抗所乙型研究", 国家自然科岩须夜距正周特背下学基金重大研究计,200沿做任杨六严2,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. "Mobi未消谓领夫已温开印热le-GPS"，湖北印而内证多省科技重大攻关计划，2杀士等西没逐钱协判003，9-2005，12，主持人。

　　19 "低速率的拒绝服务攻击模型和防范研究"，国家自然科学基金，项目编号: 60负语掉背企642006，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, 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

　　26. 何炎祥，陈勇著，《面向嵌入式系统的绿色编译理论与方法研究》，北京，科学出版社，2014。

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

获奖信息

　　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服务组合需求获取软件)。