28,807
次編輯
變更
陈火旺
,無編輯摘要
| 知名作品 = 《程序设计语言编译原理》
}}
'''陈火旺'''(1936年2月5日-2008年2月2日),[[福建]]安溪人,计算机软件专家<ref>[http://news.ustb.edu.cn/xueyuandongtai/zidonghua/2002-12-26/39208.html 罗续 中国工程院院士陈火旺教授受聘为我院客座教授 ], 搜狐北京科技大学, 20142002-0612-2726</ref>,少将军衔,[[中国工程院]]院士<ref>[http://www.cae.cn/cae/html/main/colys/18440061.html 陈火旺 ],中国工程院</ref>,国防科学技术大学计算机学院[[教授]]、博士生导师 。
1956年陈火旺从[[复旦大学]]毕业后留校任教 ,同年加入[[中国共产党]];1970年调到[[长沙]]工学院,历任(电子)计算机系副教授、系副主任、教授、博士生导师、研究生院副院长;1990年被授予少将军衔;1997年当选为中国工程院院士;2008年2月2日在长沙逝世,享年72岁 。
==人物简介==
1997年,当选为中国工程院院士,隶属于信息与电子工程学部。
2008年2月2日,因病医治无效,在长沙逝世,享年72岁 <ref>[http://www.gerenjianli.com/Mingren/10/gi4o55a5t5.html 陈火旺 ],名人简历网</ref> 。
==主要成就==
===科研成就===
'''科研综述'''
{{Infobox person
2003年10月,陈火旺作为"院士八闽行"活动的成员之一前往厦门,以《建设科技合作通道,提高公众科学素养》为主题,进行调研、指导工作和举办科普报告 。
==成就及荣誉==
1991年被授予国家有突出贡献中青年专家称号,同年获光华科学基金一等奖 <ref>[https://www.sohu.com/a/333283392_683019 安溪俊民中学校友风采——陈火旺 ],搜狐, 2019-08-12</ref> 。长期从事计算机软件和人工智能等方面的教学和研究。建立了有限函数空间上的能行运算和能行连续泛函理论;主持国内第一个符号汇编语言和宏指令产生器的设计与实现;主持中国第一个FORTRAN编译程序的设计,获1978年全国科学大会奖;参与领导中国第一台巨型计算机银河I的研制,负责软件系统总体设计,获特等国防科技成果奖;主持国内最早的一个面向对象集成化软件开发环境GWOSE的研制,获国防科工委科技进步一等奖;领导自然语言处理的研究,研制成功英汉机器编译系统MATRIX,获全国优秀软件二等奖;在人工智能方面主持研制的非单 调推理系统1993年获国防科工委科技进步一等奖 <ref>[http://www.cae.cn/cae/html/main/colys/18440061.html 陈火旺 ],中国工程院</ref> 。撰有《能行连续泛函》、《串行运算向量化》等论文、研究报告60余篇;主编有《数理逻辑与控制论》、《程序设计语言编译原理》、《程序设计方法学基础》等。
陈火旺院士为我国计算机软件与理论学科的建立和发展作出了贡献,为国家、军队和学校人才培养、科学研究作出了贡献。