辑录陈火旺院士

桃溪钓徒

陈火旺院士简介



陈火旺（ 1936.02.05 - 2008.02.02）中国工程院院士，国防科学技术大学电脑学院教授、博士生导师，于2008年2月2日因病医治无效，在长沙逝世，享年72岁。

陈火旺是福建省安溪县人。

1956年毕业于上海复旦大学数学系，同年加入中国共产党，留校任助教。曾在北京大学数理逻辑专业、英国国家物理所进修。

1970年调长沙工学院（后改名国防科技大学），历任（电子）电脑系副教授、系副主任、教授、博士生导师、研究生院副院长。

1990年被授予少将军衔。

1997年当选为中国工程院资讯与电子工程学部院士。是武汉大学软体工程国家重点实验室学术委员会主任，国务院学位委员会电脑学科评议组成员，全国工科院校电脑专业教学指导委员会主任，国家“ 863计划”资讯领域第一届专家委员会委员，中国软体行业协会副主任委员。

1991年被授予国家有突出贡献中青年专家称号，同年获光华科学基金一等奖。

长期从事电脑软体和人工智慧等方面的教学和研究。建立了有限函数空间上的能行运算和能行连续泛函理论；主持国内第一个符号组合语言和巨集指令产生器的设计与实现；主持中国第一个FORTRAN编译程序的设计，获1978年全国科学大会奖；参与领导中国第一台巨型电脑银河I的研制，负责软体系统总体设计，获特等国防科技成果奖；主持国内最早的一个面向物件集成化软体发展环境 GWOSE的研制，获国防科工委科技进步一等奖；领导自然语言处理的研究，研制成功英汉机器编译系统MATRIX，获全国优秀软体二等奖；在人工智慧方面主持研制的非单调推理系统1993年获国防科工委科技进步一等奖。撰有《能行连续泛函》、《串列运算向量化》等论文、研究报告60余篇；主编有《数理逻辑与控制论》、《程式设计语言编译原理》、《程式设计方法学基础》等。

陈火旺院士为我国电脑软体与理论学科的建立和发展作出了贡献，为国家、军队和学校人才培养、科学研究作出了贡献。

陈火旺编译原理一书

作为考研课程中最难的科目，编译原理的复习一直以来困扰著无数的电脑考研者，特别是本科期间没有认真学习这门课程或者专业外的人士。由 sodme写作的这一系列文章将主要以陈火旺院士的编译原理教材为主线，对编译原理的复习重点和复习思路进行归纳和总结，以帮助大多数朋友尽快入门。由于绝大多数的本科编译教材，都是在围绕著原理性方面的知识进行介绍和展开
！