各位老铁们好,相信很多人对陈火旺的介绍都不是特别的了解,因此呢,今天就来为大家分享下关于陈火旺的介绍以及陈火旺的问题知识,还望可以帮助大家,解决大家的一些困惑,下面一起来看看吧!
本文目录
陈火旺的介绍陈火旺的成就及荣誉陈火旺(1936 02.05- 2008 02.02)福建省安溪县长坑乡玉南村人。中国工程院院士,国防科学技术大学计算机学院教授、博士生导师,于2008年2月2日因病医治无效,在长沙逝世,享年72岁。计算机软件专家。是我国第一台亿次银河巨型计算机研制的主要设计者和领导者之一。
1991年被授予国家有突出贡献中青年专家称号,同年获光华科学基金一等奖。长期从事计算机软件和人工智能等方面的教学和研究。建立了有限函数空间上的能行运算和能行连续泛函理论;主持国内第一个符号汇编语言和宏指令产生器的设计与实现;主持中国第一个FORTRAN编译程序的设计,获1978年全国科学大会奖;参与领导中国第一台巨型计算机银河I的研制,负责软件系统总体设计,获特等国防科技成果奖;主持国内最早的一个面向对象集成化软件开发环境GWOSE的研制,获国防科工委科技进步一等奖;领导自然语言处理的研究,研制成功英汉机器编译系统MATRIX,获全国优秀软件二等奖;在人工智能方面主持研制的非单调推理系统1993年获国防科工委科技进步一等奖。撰有《能行连续泛函》、《串行运算向量化》等论文、研究报告60余篇;主编有《数理逻辑与控制论》、《程序设计语言编译原理》、《程序设计方法学基础》等。
陈火旺院士为我国计算机软件与理论学科的建立和发展作出了贡献,为国家、军队和学校人才培养、科学研究作出了贡献。
关于陈火旺的介绍,陈火旺的介绍到此结束,希望对大家有所帮助。