|
陳火旺院士簡介
陳火旺（ 1936.02.05 - 2008.02.02）中國工程院院士，國防科學技術大學電腦學院教授、博士生導師，于2008年2月2日因病醫治無效，在長沙逝世，享年72歲。
陳火旺是福建省安溪縣人。
1956年畢業於上海復旦大學數學系，同年加入中國共產黨，留校任助教。曾在北京大學數理邏輯專業、英國國家物理所進修。
1970年調長沙工學院（後改名國防科技大學），歷任（電子）電腦系副教授、系副主任、教授、博士生導師、研究生院副院長。
1990年被授予少將軍銜。
1997年當選為中國工程院資訊與電子工程學部院士。是武漢大學軟體工程國家重點實驗室學術委員會主任，國務院學位委員會電腦學科評議組成員，全國工科院校電腦專業教學指導委員會主任，國家“ 863計畫”資訊領域第一屆專家委員會委員，中國軟體行業協會副主任委員。
1991年被授予國家有突出貢獻中青年專家稱號，同年獲光華科學基金一等獎。
長期從事電腦軟體和人工智慧等方面的教學和研究。建立了有限函數空間上的能行運算和能行連續泛函理論；主持國內第一個符號組合語言和巨集指令產生器的設計與實現；主持中國第一個FORTRAN編譯程序的設計，獲1978年全國科學大會獎；參與領導中國第一台巨型電腦銀河I的研製，負責軟體系統總體設計，獲特等國防科技成果獎；主持國內最早的一個面向物件集成化軟體發展環境 GWOSE的研製，獲國防科工委科技進步一等獎；領導自然語言處理的研究，研製成功英漢機器編譯系統MATRIX，獲全國優秀軟體二等獎；在人工智慧方面主持研製的非單調推理系統1993年獲國防科工委科技進步一等獎。撰有《能行連續泛函》、《串列運算向量化》等論文、研究報告60餘篇；主編有《數理邏輯與控制論》、《程式設計語言編譯原理》、《程式設計方法學基礎》等。
陳火旺院士為我國電腦軟體與理論學科的建立和發展作出了貢獻，為國家、軍隊和學校人才培養、科學研究作出了貢獻。
陳火旺編譯原理一書
作為考研課程中最難的科目，編譯原理的復習一直以來困擾著無數的電腦考研者，特別是本科期間沒有認真學習這門課程或者專業外的人士。由 sodme寫作的這一系列文章將主要以陳火旺院士的編譯原理教材為主線，對編譯原理的復習重點和復習思路進行歸納和總結，以幫助大多數朋友儘快入門。由於絕大多數的本科編譯教材，都是在圍繞著原理性方面的知識進行介紹和展開
！
 |
