28,843
次編輯
變更
陈火旺
,创建页面，内容为“{{Infobox person | 姓名 = 陈火旺 | 外文名 = | 图像 = File:陈火旺.jpg|缩略图 |center|[https://image.so.com/view?src=360pic_tex…”
{{Infobox person
| 姓名 = 陈火旺
| 外文名 =
| 图像 =
[[File:陈火旺.jpg|缩略图
|center|[https://image.so.com/view?src=360pic_text&q=%E9%99%88%E7%81%AB%E6%97%BA&correct=%E9%99%88%E7%81%AB%E6%97%BA&ancestor=list&cmsid=0d937f84bd2fa72e8c68877f5185e7ac&cmras=0&cn=0&gn=0&kn=0&crn=0&bxn=0&fsn=60&cuben=0&adstar=0&clw=282#id=f3e13c30176d2e8bdf6cb2790bee480a&currsn=0&ps=59&pc=59 原图链接] [http://www.81.cn/jwgz/2016-04/01/content_6986894.htm 图片来源中国军网]]]
| 图像说明 = 中国工程院院士
| 出生日期 = 1936年02月05日
| 出生地点 = 福建省泉州市安溪县
| 逝世日期 = 2008年2月2日
| 国籍 = 中国
| 别名 =
| 职业 = 教育科研工作者
| 知名作品 = 《程序设计语言编译原理》
}}
<ref>[html 罗续 ],搜狐, 2014-06-27</ref>
陈火旺(1936年2月5日-2008年2月2日)，福建安溪人，计算机软件专家，少将军衔，中国工程院院士，国防科学技术大学计算机学院教授、博士生导师 。
1956年陈火旺从复旦大学毕业后留校任教 ，同年加入中国共产党;1970年调到长沙工学院，历任(电子)计算机系副教授、系副主任、教授、博士生导师、研究生院副院长;1990年被授予少将军衔;1997年当选为中国工程院院士;2008年2月2日在长沙逝世，享年72岁 。
陈火旺长期从事计算机软件和人工智能等方面的教学和研究，是中国第一台亿次银河巨型计算机研制的主要设计者和领导者之一 。
==人物简介==
1956年毕业于上海复旦大学数学系，同年加入中国共产党，留校任助教。曾在北京大学数理逻辑专业、英国国家物理所进修。1970年调长沙工学院（后改名国防科技大学），历任（电子）计算机系副教授、系副主任、教授、博士生导师、研究生院副院长。1990年被授予少将军衔。 1997年当选为中国工程院信息与电子工程学部院士。是武汉大学软件工程国家重点实验室学术委员会主任，国务院学位委员会计算机学科评议组成员，全国工科院校计算机专业教学指导委员会主任，国家“863计划”信息领域第一届专家委员会委员，中国软件行业协会副主任委员。
==人物生平==
1936年2月5日，陈火旺出生于福建省泉州市安溪县长坑乡玉南村 。
1952年3月，考入上海复旦大学数学系学习 。
1956年3月，从复旦大学毕业后留校任教，先后担任助教、讲师(至1970年1月);同年加入中国共产党。
1956年9月-1959年2月，在北京大学数理逻辑专业进修。
1965年10月-1967年2月，在英国皇家物理所进修。
1970年1月，调到长沙工学院(1999年组建为中国人民解放军国防科技大学)，历任(电子)计算机系副教授、系副主任、教授、博士生导师、研究生院副院长。
1990年，被授予少将军衔。
1997年，当选为中国工程院院士，隶属于信息与电子工程学部。
2008年2月2日，因病医治无效，在长沙逝世，享年72岁 。
==主要成就==
===科研成就===
'''科研综述'''
{{Infobox person
| 图像 =
[[File:陈火旺2.jpg|缩略图
|center|[https://www.360kuai.com/pc/9ecc467d48cf2166b?cota=3&kuai_so=1&sign=360_57c3bbd1&refer_scene=so_1 原图链接] [https://www.360kuai.com/pc/9ecc467d48cf2166b?cota=3&kuai_so=1&sign=360_57c3bbd1&refer_scene=so_1 图片来源快资讯]]]
| 图像说明 = 陈火旺，我国计算机软件事业的开拓者
}}
陈火旺在中国国内率先实现计算机符号宏汇编器。20世纪70年代初主持全国Fortran编译程序会战，设计成功中国第一个Fortran编译系统。1979年-1983年担任银河-I巨型计算机软件总负责人，负责软件系统的总体设计，直接主持向量语言的设计、编译方案的制定和向量识别算法的研究与审定，"银河-I"获得1984年中央军委国防科技成果特等奖。1987年起主持面向对象集成化开发环境研制，建造了中国国内首例面向对象环境;1989年起领导并主持非单调推理系统研究，把PROLOG从单调发展到非单调，这两项目分别获得1991年、1993年国防科工委科技进步奖一等奖 。
'''学术论著'''
根据2019年11月中国工程院网站显示，陈火旺出版编(译)著4部，发表论文60余篇 。
1980.11-- 《结构程序设计》-- (英)O.J. Darl等著;陈火旺等译-- 北京:科学出版社
1980.11-- 《程序设计语言编译原理》-- 陈火旺编-- 北京:国防工业出版社
1984.06-- 《程序设计语言编译原理》-- 陈火旺等编-- 北京:国防工业出版社
1987.04--《程序设计方法学基础》-- 陈火旺编著-- 长沙:湖南科学技术出版社
2000.01--《程序设计语言 编译原理》-- 陈火旺等编著-- 北京:国防工业出版社
2004.10 --《程序设计语言 编译原理 第3版》-- 陈火旺等编著-- 北京:国防工业出版社
2010.06--《程序设计语言 编译原理 第3版》-- 陈火旺著-- 北京:国防工业出版社
===人才培养===
'''科普报告'''
2003年10月，陈火旺作为"院士八闽行"活动的成员之一前往厦门，以《建设科技合作通道，提高公众科学素养》为主题，进行调研、指导工作和举办科普报告 。
==成就及荣誉==
1991年被授予国家有突出贡献中青年专家称号，同年获光华科学基金一等奖。长期从事计算机软件和人工智能等方面的教学和研究。建立了有限函数空间上的能行运算和能行连续泛函理论；主持国内第一个符号汇编语言和宏指令产生器的设计与实现；主持中国第一个FORTRAN编译程序的设计，获1978年全国科学大会奖；参与领导中国第一台巨型计算机银河I的研制，负责软件系统总体设计，获特等国防科技成果奖；主持国内最早的一个面向对象集成化软件开发环境GWOSE的研制，获国防科工委科技进步一等奖；领导自然语言处理的研究，研制成功英汉机器编译系统MATRIX，获全国优秀软件二等奖；在人工智能方面主持研制的非单 调推理系统1993年获国防科工委科技进步一等奖。撰有《能行连续泛函》、《串行运算向量化》等论文、研究报告60余篇；主编有《数理逻辑与控制论》、《程序设计语言编译原理》、《程序设计方法学基础》等。
陈火旺院士为我国计算机软件与理论学科的建立和发展作出了贡献，为国家、军队和学校人才培养、科学研究作出了贡献。
==社会任职==
陈火旺先后担任武汉大学软件工程国家重点实验室学术委员会主任，国务院学位委员会计算机学科评议组成员，全国工科院校计算机专业教学指导委员会主任，国家"863计划"信息领域第一届专家委员会委员，中国软件行业协会副主任委员 。
==个人生活==
陈火旺的父亲是目不识丁的铁匠，父亲在火焰通红的铁匠炉边想到给他起名为"火旺" 。
==人物评价==
陈火旺是银河-I巨型计算机软件总负责人，为中国计算机软件与理论学科的建立和发展作出了贡献 。(中华人民共和国国防部评)
陈火旺是中国计算机软件事业的奠基人之一，为国家、军队和学校人才培养、科学研究作出了贡献 。(《人民日报》评)
==参考来源==
[[Category:教授]][[Category:科学家]]
| 姓名 = 陈火旺
| 外文名 =
| 图像 =
[[File:陈火旺.jpg|缩略图
|center|[https://image.so.com/view?src=360pic_text&q=%E9%99%88%E7%81%AB%E6%97%BA&correct=%E9%99%88%E7%81%AB%E6%97%BA&ancestor=list&cmsid=0d937f84bd2fa72e8c68877f5185e7ac&cmras=0&cn=0&gn=0&kn=0&crn=0&bxn=0&fsn=60&cuben=0&adstar=0&clw=282#id=f3e13c30176d2e8bdf6cb2790bee480a&currsn=0&ps=59&pc=59 原图链接] [http://www.81.cn/jwgz/2016-04/01/content_6986894.htm 图片来源中国军网]]]
| 图像说明 = 中国工程院院士
| 出生日期 = 1936年02月05日
| 出生地点 = 福建省泉州市安溪县
| 逝世日期 = 2008年2月2日
| 国籍 = 中国
| 别名 =
| 职业 = 教育科研工作者
| 知名作品 = 《程序设计语言编译原理》
}}
<ref>[html 罗续 ],搜狐, 2014-06-27</ref>
陈火旺(1936年2月5日-2008年2月2日)，福建安溪人，计算机软件专家，少将军衔，中国工程院院士，国防科学技术大学计算机学院教授、博士生导师 。
1956年陈火旺从复旦大学毕业后留校任教 ，同年加入中国共产党;1970年调到长沙工学院，历任(电子)计算机系副教授、系副主任、教授、博士生导师、研究生院副院长;1990年被授予少将军衔;1997年当选为中国工程院院士;2008年2月2日在长沙逝世，享年72岁 。
陈火旺长期从事计算机软件和人工智能等方面的教学和研究，是中国第一台亿次银河巨型计算机研制的主要设计者和领导者之一 。
==人物简介==
1956年毕业于上海复旦大学数学系，同年加入中国共产党，留校任助教。曾在北京大学数理逻辑专业、英国国家物理所进修。1970年调长沙工学院（后改名国防科技大学），历任（电子）计算机系副教授、系副主任、教授、博士生导师、研究生院副院长。1990年被授予少将军衔。 1997年当选为中国工程院信息与电子工程学部院士。是武汉大学软件工程国家重点实验室学术委员会主任，国务院学位委员会计算机学科评议组成员，全国工科院校计算机专业教学指导委员会主任，国家“863计划”信息领域第一届专家委员会委员，中国软件行业协会副主任委员。
==人物生平==
1936年2月5日，陈火旺出生于福建省泉州市安溪县长坑乡玉南村 。
1952年3月，考入上海复旦大学数学系学习 。
1956年3月，从复旦大学毕业后留校任教，先后担任助教、讲师(至1970年1月);同年加入中国共产党。
1956年9月-1959年2月，在北京大学数理逻辑专业进修。
1965年10月-1967年2月，在英国皇家物理所进修。
1970年1月，调到长沙工学院(1999年组建为中国人民解放军国防科技大学)，历任(电子)计算机系副教授、系副主任、教授、博士生导师、研究生院副院长。
1990年，被授予少将军衔。
1997年，当选为中国工程院院士，隶属于信息与电子工程学部。
2008年2月2日，因病医治无效，在长沙逝世，享年72岁 。
==主要成就==
===科研成就===
'''科研综述'''
{{Infobox person
| 图像 =
[[File:陈火旺2.jpg|缩略图
|center|[https://www.360kuai.com/pc/9ecc467d48cf2166b?cota=3&kuai_so=1&sign=360_57c3bbd1&refer_scene=so_1 原图链接] [https://www.360kuai.com/pc/9ecc467d48cf2166b?cota=3&kuai_so=1&sign=360_57c3bbd1&refer_scene=so_1 图片来源快资讯]]]
| 图像说明 = 陈火旺，我国计算机软件事业的开拓者
}}
陈火旺在中国国内率先实现计算机符号宏汇编器。20世纪70年代初主持全国Fortran编译程序会战，设计成功中国第一个Fortran编译系统。1979年-1983年担任银河-I巨型计算机软件总负责人，负责软件系统的总体设计，直接主持向量语言的设计、编译方案的制定和向量识别算法的研究与审定，"银河-I"获得1984年中央军委国防科技成果特等奖。1987年起主持面向对象集成化开发环境研制，建造了中国国内首例面向对象环境;1989年起领导并主持非单调推理系统研究，把PROLOG从单调发展到非单调，这两项目分别获得1991年、1993年国防科工委科技进步奖一等奖 。
'''学术论著'''
根据2019年11月中国工程院网站显示，陈火旺出版编(译)著4部，发表论文60余篇 。
1980.11-- 《结构程序设计》-- (英)O.J. Darl等著;陈火旺等译-- 北京:科学出版社
1980.11-- 《程序设计语言编译原理》-- 陈火旺编-- 北京:国防工业出版社
1984.06-- 《程序设计语言编译原理》-- 陈火旺等编-- 北京:国防工业出版社
1987.04--《程序设计方法学基础》-- 陈火旺编著-- 长沙:湖南科学技术出版社
2000.01--《程序设计语言 编译原理》-- 陈火旺等编著-- 北京:国防工业出版社
2004.10 --《程序设计语言 编译原理 第3版》-- 陈火旺等编著-- 北京:国防工业出版社
2010.06--《程序设计语言 编译原理 第3版》-- 陈火旺著-- 北京:国防工业出版社
===人才培养===
'''科普报告'''
2003年10月，陈火旺作为"院士八闽行"活动的成员之一前往厦门，以《建设科技合作通道，提高公众科学素养》为主题，进行调研、指导工作和举办科普报告 。
==成就及荣誉==
1991年被授予国家有突出贡献中青年专家称号，同年获光华科学基金一等奖。长期从事计算机软件和人工智能等方面的教学和研究。建立了有限函数空间上的能行运算和能行连续泛函理论；主持国内第一个符号汇编语言和宏指令产生器的设计与实现；主持中国第一个FORTRAN编译程序的设计，获1978年全国科学大会奖；参与领导中国第一台巨型计算机银河I的研制，负责软件系统总体设计，获特等国防科技成果奖；主持国内最早的一个面向对象集成化软件开发环境GWOSE的研制，获国防科工委科技进步一等奖；领导自然语言处理的研究，研制成功英汉机器编译系统MATRIX，获全国优秀软件二等奖；在人工智能方面主持研制的非单 调推理系统1993年获国防科工委科技进步一等奖。撰有《能行连续泛函》、《串行运算向量化》等论文、研究报告60余篇；主编有《数理逻辑与控制论》、《程序设计语言编译原理》、《程序设计方法学基础》等。
陈火旺院士为我国计算机软件与理论学科的建立和发展作出了贡献，为国家、军队和学校人才培养、科学研究作出了贡献。
==社会任职==
陈火旺先后担任武汉大学软件工程国家重点实验室学术委员会主任，国务院学位委员会计算机学科评议组成员，全国工科院校计算机专业教学指导委员会主任，国家"863计划"信息领域第一届专家委员会委员，中国软件行业协会副主任委员 。
==个人生活==
陈火旺的父亲是目不识丁的铁匠，父亲在火焰通红的铁匠炉边想到给他起名为"火旺" 。
==人物评价==
陈火旺是银河-I巨型计算机软件总负责人，为中国计算机软件与理论学科的建立和发展作出了贡献 。(中华人民共和国国防部评)
陈火旺是中国计算机软件事业的奠基人之一，为国家、军队和学校人才培养、科学研究作出了贡献 。(《人民日报》评)
==参考来源==
[[Category:教授]][[Category:科学家]]