1936年(nian)2月5日,陳(chen)火旺出生于福建(jian)省泉州市安溪(xi)縣長坑鄉玉南村。
1952年3月,考入上海復(fu)旦大學(xue)數學(xue)系學(xue)。
1956年3月,從復旦大(da)學畢業(ye)后(hou)留(liu)校任(ren)教,先后(hou)擔任(ren)助教、講師(至1970年1月);同年加入中國共產黨。
1956年9月(yue)—1959年2月(yue),在北京大學(xue)數理邏輯專業進修。
1965年(nian)10月—1967年(nian)2月,在(zai)英國(guo)皇(huang)家物理(li)所進修。
1970年1月,調到(dao)長沙工學院(yuan)(1999年組建為中國(guo)人民解放軍國(guo)防科技大學),歷任(電子)計算(suan)機系(xi)副教授(shou)、系(xi)副主(zhu)任、教授(shou)、博士生導(dao)師(shi)、研究生院(yuan)副院(yuan)長。
1990年,被(bei)授(shou)予少(shao)將軍(jun)銜。
1997年(nian),當(dang)選為中國工程院(yuan)院(yuan)士,隸屬于(yu)信息與電子工程學部。
2008年2月(yue)2日,因病醫治無效,在長沙(sha)逝世(shi),享(xiang)年72歲。
科研綜述
陳(chen)火旺(wang)在中(zhong)國國內率先實現計(ji)(ji)算機(ji)符號宏匯(hui)編(bian)器。20世紀(ji)70年代初主持(chi)(chi)全(quan)國Fortran編(bian)譯(yi)程序(xu)會戰(zhan),設(she)計(ji)(ji)成(cheng)功中(zhong)國第(di)一個Fortran編(bian)譯(yi)系統。1979年—1983年擔任銀河-I巨型計(ji)(ji)算機(ji)軟件(jian)總(zong)負責人,負責軟件(jian)系統的總(zong)體設(she)計(ji)(ji),直接主持(chi)(chi)向量(liang)(liang)語言的設(she)計(ji)(ji)、編(bian)譯(yi)方案的制定和向量(liang)(liang)識別(bie)(bie)算法的研究(jiu)與審定,“銀河-I”獲得(de)1984年中(zhong)央軍委(wei)國防科(ke)技成(cheng)果特等獎。1987年起(qi)主持(chi)(chi)面向對象集成(cheng)化開發(fa)環(huan)境研制,建(jian)造了中(zhong)國國內首(shou)例面向對象環(huan)境;1989年起(qi)領導并(bing)主持(chi)(chi)非單調推理系統研究(jiu),把PROLOG從(cong)單調發(fa)展到(dao)非單調,這兩項目分(fen)別(bie)(bie)獲得(de)1991年、1993年國防科(ke)工委(wei)科(ke)技進步獎一等獎。
學術論著
根據2019年11月(yue)中國工程院網站(zhan)顯(xian)示,陳火旺出(chu)版(ban)編(譯)著(zhu)4部,發表論文60余篇(pian)。
出(chu)版日期(qi) 名稱 作者 出(chu)版社
1980.11 《結構程序設(she)計(ji)》 (英)O.J. Darl等著;陳火(huo)旺等譯 北京:科(ke)學出版社
1980.11 《程(cheng)序設(she)計語言(yan)編譯原理》 陳火旺編 北京:國防工業(ye)出版社
1984.06 《程(cheng)序設計語言(yan)編譯原理》 陳(chen)火旺等編 北京(jing):國防(fang)工業出(chu)版(ban)社
1987.04 《程序設(she)計方法學基礎(chu)》 陳火旺編著 長沙:湖南科學技(ji)術(shu)出版社
2000.01 《程序設計語言 編譯原(yuan)理(li)》 陳火旺等(deng)編著(zhu) 北(bei)京:國防工業出版社
2004.10 《程序設計語言 編譯原理(li) 第3版(ban)》 陳(chen)火旺等編著 北(bei)京:國防工業(ye)出版(ban)社
2010.06 《程序設(she)計語言(yan) 編(bian)譯(yi)原理 第3版》 陳火(huo)旺(wang)著 北(bei)京:國防(fang)工業出版社
科普報告
2003年10月,陳火旺作為“院士(shi)八閩行”活動(dong)的成員之一前往廈門(men),以《建(jian)設科(ke)技合(he)作通道(dao),提(ti)高公眾科(ke)學(xue)素養》為主題,進行調研、指導工(gong)作和舉(ju)辦科(ke)普報告(gao)。
時間 榮譽(yu)表(biao)彰(zhang) 授(shou)予(yu)單位
1985年 二(er)等(deng)功
1991年 國(guo)家有(you)突(tu)出貢獻中(zhong)青年專(zhuan)家稱號(hao) 中(zhong)華人民共和國(guo)國(guo)務院
1991年 光華(hua)科(ke)學基金一等獎(jiang) 中國(guo)光華(hua)科(ke)技基金會(hui)
1997年 中(zhong)國工程(cheng)院(yuan)院(yuan)士 中(zhong)國工程(cheng)院(yuan)
陳火旺先后擔任武漢(han)大(da)學(xue)(xue)(xue)軟(ruan)件工程國家(jia)重點(dian)實驗室學(xue)(xue)(xue)術委員(yuan)(yuan)會主(zhu)任,國務院(yuan)學(xue)(xue)(xue)位委員(yuan)(yuan)會計算機學(xue)(xue)(xue)科評議(yi)組成員(yuan)(yuan),全(quan)國工科院(yuan)校計算機專業教(jiao)學(xue)(xue)(xue)指導委員(yuan)(yuan)會主(zhu)任,國家(jia)“863計劃”信息領域第(di)一(yi)屆(jie)專家(jia)委員(yuan)(yuan)會委員(yuan)(yuan),中國軟(ruan)件行業協會副主(zhu)任委員(yuan)(yuan)。
陳火旺(wang)是銀河-I巨型(xing)計(ji)算機軟件總負責人,為中(zhong)(zhong)國計(ji)算機軟件與理論學(xue)科的建立和(he)發展作出(chu)了貢獻。(中(zhong)(zhong)華(hua)人民共和(he)國國防部評)
陳火旺是中國計(ji)算機軟件事業的奠(dian)基(ji)人(ren)(ren)之一,為(wei)國家(jia)、軍隊和學(xue)校人(ren)(ren)才培養、科(ke)學(xue)研(yan)究(jiu)作(zuo)出(chu)了(le)貢獻。(《人(ren)(ren)民日報》評(ping))