陈火旺

✍ dations ◷ 2025-06-24 08:17:04 #1936年出生,2008年逝世,中国工程院信息与电子工程学部院士,福建人,陈姓,安溪人

陈火旺(1936年1月19日-2008年2月2日),福建安溪人,中国工程院院士,著名计算机科学家。中国计算机软件科技事业的重要先驱者和开拓者之一,中国第一代超级计算机银河-I巨型机软件总负责人。

1956年毕业于复旦大学数学系。毕业后历任复旦大学、长沙工学院、国防科大助教、讲师、教授等职务。60年代末在国内率先实现计算机符号宏汇编器。70年代初主持全国Fortran编译程序会战,设计成功我国第一个Fortran编译系统。1979—1983年任银河-I巨型计算机软件总负责人,负责软件系统的总体设计,直接主持向量语言的设计、编译方案的制定和向量识别算法的研究与审定,“银河—Ⅰ”获1984年中央军委国防科技成果特等奖。1987年起主持面向对象集成化开发环境研制,建造了国内首例面向对象环境;1989年起领导并主持非单调推理系统研究,把PROLOG从单调发展到非单调。这两项目分别获1991年、1993年国防科工委科技进步奖一等奖。领导完成的英汉机器翻译系统,达到国际先进水平。编(译)著4部,发表论文60余篇。

1990年,被授予少将军衔。1997年当选为中国工程院院士。


相关

  • Er4f12 6s22, 8, 18, 30, 8, 2蒸气压3, 2, 1 (第一:589.3 kJ·mol−1 第二:1150 kJ·mol−1 第三:2194 kJ·mol主条目:铒的同位素铒是一种化学元素,它的化学符号是Er,它的原子
  • 硬骨鱼硬骨鱼(学名:Osteichthyes)是鱼类的一个主要类别,大部分鱼类属于硬骨鱼类,广义的硬骨鱼类也包括了陆生脊椎动物。其分类层级随着研究而不断调整,先后有“纲”、“总纲”及“高纲”
  • 加拿大女王加拿大君主是立宪君主,是西敏制议会民主制度在加拿大的体现,为加拿大国家元首。现任君主是伊丽莎白女王二世,于1952年2月6日即位。加拿大君主除了统治加拿大外,也是另外15个英联
  • 金牌客运金牌客运股份有限公司(英文:Champion Transportation Compamy,Ltd.),简称:金牌客运,成立于2011年,主要经营台湾好行狮山线、新竹市公车、新竹县市区公车及苗栗县高铁快捷公车。2012
  • 性别特征性别特征(英语:Sexual characteristics)是生物体(通常是两性异形生物体)的身体上或行为特征,其表示为生物性别。区分物种的性别可以包括用于繁殖的性器官和第二性征表征,第二性征不
  • 焦亚硫酸钠偏亚硫酸氢钠,化学式Na2S2O5,是一种无机化合物。它当用作消毒剂、抗氧化剂及防腐剂。白色或微黄色结晶,溶于水,水溶液呈酸性。此外亦溶于甘油,微溶于乙醇。在空气中易被氧化为硫
  • 曲纹蝴蝶鱼曲纹蝴蝶鱼,又称巴氏蝴蝶鱼,俗名天王蝶、天皇蝶、曲纹蝶、葵扇蝶,为辐鳍鱼纲鲈形目蝴蝶鱼科的其中一种。本鱼分布于印度西太平洋区,包括斯里兰卡、泰国、马来西亚、菲律宾、印尼
  • 得克萨斯州诉约翰逊案得克萨斯州诉约翰逊案(英语:Texas v. Johnson,491 U.S. 397 (1989))是美国联邦最高法院于1989年3月开始审理并在同年6月21日作出判决的一个非常重要的司法案件。在这一案件的判
  • 约翰·托拜厄斯·比格约翰·托拜厄斯·比格(德语:Johann Tobias Bürg;1766年12月24日-1835年11月15日),有时也被称为“约翰内斯·伯格” ,是一位奥地利天文学家。比格出生于维也纳,是克恩顿州克拉根福镇
  • 巴罗莎德语巴罗莎德语(德语:Barossadeutsch,英语:Barossa German)是德语的一种方言,曾流行于南澳大利亚州巴罗莎山谷一带。虽然一些南澳大利亚英语的单词源于巴罗莎德语,但这门方言现已濒临灭