陈火旺 编辑

陈火旺陈火旺

陈火旺(1936年2月5日—2008年2月2日),福建安溪人,计算机软件专家,少将军衔,中国工程院院士,国防科学技术大学计算机学院教授、博士生导师。1956年陈火旺从复旦大学毕业后留校任教,同年加入中国共产党;1970年调到长沙工学院,历任(电子)计算机系副教授、系副主任、教授、博士生导师、研究生院副院长;1990年被授予少将军衔;1997年当选为中国工程院院士;2008年2月2日在长沙逝世,享年72岁。陈火旺长期从事计算机软件和人工智能等方面的教学和研究,是中国第一台亿次银河巨型计算机研制的主要设计者和领导者之一。

人物生平

编辑

陈火旺

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岁 。

主要成就

编辑

科研成就

  • 科研综述

    陈火旺在中国国内率先实现计算机符号宏汇编器。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月,陈火旺作为“院士八闽行”活动的成员之一前往厦门,以《建设科技合作通道,提高公众科学素养》为主题,进行调研、指导工作和举办科普报告 。

    荣誉表彰

    时间

    荣誉表彰

    授予单位

    1985年

    二等功

    1991年

    国家有突出贡献中青年专家称号

    中华人民共和国国务院

    1991年

    光华科学基金一等奖

    中国光华科技基金会

    1997年

    中国工程院院士

    中国工程院

  • 社会任职

    编辑
    陈火旺先后担任武汉大学软件工程国家重点实验室学术委员会主任,国务院学位委员会计算机学科评议组成员,全国工科院校计算机专业教学指导委员会主任,国家“863计划”信息领域第一届专家委员会委员,中国软件行业协会副主任委员 。

    出版图书

    编辑

    程序设计语言编译原理

    作者名称 陈火旺

    作品时间2004-10

    《程序设计语言:编译原理》(第3版)是在陈火旺、钱家骅、孙永强三位教授编写的《程序设计语言编译原理》的基础上,结合编译技术的最新研究成果和作者多年的教学经验编写而成的。《程序设计语言:编译原理》(第3版)比较全面、系统地介绍了编译程序构造的一般原理和基本实现方法,内容包括词法分析、语法分析、属...

    个人生活

    编辑
    陈火旺的父亲是目不识丁的铁匠,父亲在火焰通红的铁匠炉边想到给他起名为“火旺” 。

    人物评价

    编辑
    陈火旺是银河-I巨型计算机软件总负责人,为中国计算机软件与理论学科的建立和发展作出了贡献 。(中华人民共和国国防部评)

    陈火旺是中国计算机软件事业的奠基人之一,为国家、军队和学校人才培养、科学研究作出了贡献 。(《人民日报》评)

    下一篇 编译原理

    上一篇 自动程序设计