何炎祥 :软件工程国家重点实验室教授

更新时间:2024-09-20 18:51

何炎祥,男,1952年1月出生,武汉大学毕业,博士学位。曾任武汉大学计算机学院院长,现为软件工程国家重点实验室教授、主任,同时也是国家级教学名师。

人物经历

男,前  武汉大学计算机学院院长,软件工程国家重点实验室教授、主任,国家级教学名师。1952年生,1973年毕业于武汉大学数学系计算数学专业1975年毕业于武汉大学数学系计算机软件研究生班。1984—1986年在美国俄勒冈州立大学计算机与信息科学系学习。获硕士学位:1997年3月—1997年9月在美国作为高级访问学者进行科研访问;1978年晋升为讲师。1989年晋升为副教授,1993年晋升为教授。1999年6月获武汉大学计算机科学系博士学位。现为武汉大学计算机科学系教授、博士生导师。武汉大学计算机学院院长,软件工程国家重点实验室主任,武汉大学校长助理,享受国家政府津贴。湖北省计算机学会副理事长。主要著作:先后在《计算机学报》.《计算机研究与发展》、《OPeratingSystemsRevlew》等杂志上发表学术论文60多篇其中有10多篇已分别由美国EI、英国科学文摘、俄罗斯科技文摘等杂志摘录。在高教社.科学出版社、海洋出版社等出版著作和教材10部,其中《编译原理》、《操作系统原理》被国内不少高等院校选作教材和教学参考书。

教育经历

工作经历

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

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

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和数据 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.“无线电话GPS”,湖北省科技重大攻关计划,2003,9-2005,12,主持人。

19“低速率死亡之Ping模型和防范研究”,国家自然科学基金,项目编号: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.何炎祥,沈凡凡,张军,江南,李清安,李建华。新型非易失性存储器架构的CPU缓存优化方法综述[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 华中科技大学 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 无线电话 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 汉语词类 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月兼任软件工程国家重点实验室主任。

湖北省计算机学会副理事长。

获得荣誉

参考资料

武汉大学.武汉大学官网.2021-03-24

何炎祥 (武汉大学计算机学院 计算机科学系 人工智能研究所 ).武汉大学计算机学院.2022-01-13

免责声明
隐私政策
用户协议
目录 22
0{{catalogNumber[index]}}. {{item.title}}
{{item.title}}
友情链接: