陳火旺：讓創造之火在系統軟件領域越燒越旺

陳火旺，一個樸素的名字，一個洋溢著生命熱情的名字，一個與中國“銀河”計算機事業緊密相連的名字。

在這一名字的后面，綴著一長條用知識、智慧、責任的花朵串成的炫目花環：國防科技大學計算機系教授、博士生導師、系副主任、研究生院副院長，中國計算機歷史上第一個Fortran編譯系統的設計者、第一臺億次巨型計算機軟件系統的總負責人，湖南省計算機學會會長、中國計算機學會計算機科學理論專業委員會主任，武漢大學軟件工程國家重點實驗室學術委員會主任，南京大學、北京航天大學、中國科學院軟件研究所計算機科學國家重點實驗室學術委員會委員，國家智能中心、東北大學軟件工程中心學術委員會委員，國家863計劃信息領域第一屆專家委員會委員，中國軟件行業協會副主任，國務院學位委員會計算機學科評議組成員，少將，數理邏輯學家，中國工程院院士。

貧寒求學：國內外合力培養的軟件人才

1936年2月5日，立春，這是一個象征農事開始的節氣。這天，在福建省安溪縣長坑鄉一個火焰通紅的鐵匠爐邊，衣衫襤褸、目不識丁的陳鐵匠，用他握慣鐵錘的大手，喜上眉梢地抱起剛剛出生的兒子，給他起了一個飽含著鐵匠質樸情懷與無限期望的名字：火旺。

陳鐵匠雖然給兒子取名火旺，卻沒有讓他子承父業，繼續守著旺旺的火爐干鐵匠的打算。相反，卻對他寄予厚望，希望他能斷文識字，走出鐵匠鋪，出人頭地。而母親，則以她做買賣時的精妙計算，默默影響和培養著兒子在數學方面的興趣。當陳火旺圍著鐵匠爐漸漸長大，能夠拿動火鉗與小鐵錘時，父親立即毫不猶豫地將他送進了學堂，讓他那雙還沒有握慣鐵錘和火鉗的小手拿起了紙筆。

陳火旺進入學校后，很快發現了一個與鐵匠鋪完全不同的世界。這個世界由拼音、漢字、阿拉伯數字組成，它可以通向知識與科學的殿堂。陳火旺對這個世界充滿了好奇，也充滿了渴望，很快被這個謎一樣的新奇世界迷住了。繼承了父親體魄與鐵匠韌性的陳火旺，也繼承了父親的毅力和耐性，同時繼承了母親的縝密和精準，默默在知識的世界里跋涉，追逐那一個又一個吸引他前進的知識亮點。很快，陳火旺就成為了一個勤奮而優秀的學生。

1953年，陳火旺高中畢業，在填報高考志愿時，他的目光被一所當時即已聲名赫赫的大學——復旦大學深深吸引，這個由《尚書·大傳》里的“旦復旦兮，日月光華”脫胎而出的大學校名，正如“日月光華”一般照亮了他求知的視野。于是，他毫不猶豫地選擇了這所大學，并以優異的成績考進了該校數學系。

在復旦大學這座知識殿堂里，他得到了當時聞名國內外的老教授蘇步青、陳建功、楊武之等的教誨與指導。老師們知識淵博，誨人不倦，常常把學生引入數學思維的自由空間，陳火旺獲益匪淺。在老師的教誨與指導下，數學基礎一直較好的他，仿佛置身于數學王國的大花園。陳火旺十分珍惜這一環境與機遇，他像一只辛勤的蜜蜂一樣，在百花叢中飛飛停停，盡情在數學理論的花蕊中吮吸，釀制芬芳甜蜜的數學之蜜。

天道酬勤，勤奮與好學終于迎來了陳火旺人生的第一件得意之事。1956年秋天，陳火旺以優異的成績提前一年畢業。

鑒于陳火旺學業突出，數學功底深厚，畢業后留校工作的他，于1958年被復旦大學選派到北京大學進修數理邏輯。數理邏輯是數學的一個分支，它主要研究推理、計算的問題，隨著它的發展，二進位的新辦法被廣泛應用，從而導致新技術革命尤其是計算機技術的誕生。盡管其在國外已發展得較為成熟，但在20世紀50年代中期的中國，它仍是一門新興學科。在北京大學，陳火旺有幸得到國內數理邏輯創始人、中國科學院學部委員胡世華和王憲鈞教授的親自教誨與悉心指導，一年半時間的系統學習和名師指教，為他日后從事計算機科學打下了堅實的基礎。

結束在北京大學的進修后，陳火旺回到復旦大學任助教。1965年初，在全國人民代表大會第三屆第一次會議上，周恩來首次提出了實現四個現代化的目標。為適應四個現代化建設的需要，培養高層次的科技人才，國家教育部決定陸續選派一些又紅又專的知識分子赴西歐一些國家進修、留學。1965年9月，陳火旺被教育部派往英國倫敦國家物理所，進修計算機軟件專業。英國國家物理所是西歐的一個老牌科研機構，也是世界上著名的研究所，該所曾有好幾位科學家獲得諾貝爾獎。20世紀60年代初，該所率先開展大型計算機的應用研究，至20世紀60年代中期，該所在計算機應用科學方面地研究，已遠遠走在了世界前列。

陳火旺非常珍惜這一難得的機遇，但他在國內從沒用過計算機，理論上也是一知半解，學習難度可想而知。“知恥而后勇”，困境激起了陳火旺強烈的求知欲望，他一頭扎進實驗室、圖書館，對學業之外的事視而不見，甚至連近在咫尺、風景秀麗的泰晤士河兩岸是何模樣都沒有留意過。終于，他憑著勤奮執著與厚實的數學功底，以百米沖刺的速度入門，并弄清了計算機軟件中宏指令發生器的奧秘，為檢驗自己的學習成果，他又模仿著做了一個宏指令發生器，裝到該所的計算機上進行測試，一試居然成功了。該所指派給他的輔導老師十分高興，繼續指導陳火旺系統鉆研計算機軟件理論與進行軟件開發實踐。

1967年初，文化大革命全面爆發，“史無前例”的“文革”風暴刮得工廠停工、學校停課、機關運轉不靈，很快，這一風暴也影響到了海外留學人員。原本有兩年進修期的陳火旺，接到中國駐英代辦處轉達的一紙通知，提前結束了進修，匆匆踏上了歸國的旅程。

另辟蹊徑：動亂歲月走通的成功之路

陳火旺一踏上祖國的土地，即感受到了一種無以名狀的混亂。回到復旦大學，迎接他的是一種讓他無法接受的狀況：原校領導和學校的專家教授或靠邊站，或被批斗，或被關押；教室、實驗室再也看不到他熟悉的情景，師生、研究人員無影無蹤，教學設施、實驗儀器上開始蒙上灰塵；校園里的宣傳欄和教學大樓、教職工宿舍墻壁等處，貼滿了造反派的大字報、傳單。

陳火旺惶惑了、驚呆了，他的心在顫抖、在流血：世界科技革命方興未艾，新技術浪潮風起云涌，而我們卻在干著扼殺科技、扼殺進步的蠢事，難道這幫人又要把中華民族帶回到愚昧、落后、封閉、無知的時代去嗎？然而，個人的力量畢竟太渺小了，無人計較陳火旺的態度。無事可做的陳火旺，自成一體，除了應付應付那些不能回避的政治學習，剩余時間，就悄悄地拿起書籍，繼續著計算機理論學習和自己在國外的軟件研究。好在陳火旺“根正苗紅”，即便造反派發現了，也不好把他當成造反的靶子。

1967年春，華東計算機所負責人在一個偶然的機會里，聽說復旦大學新近從英國歸來一位計算機軟件專家，正被冷落一邊，而其正是該所緊缺的人才。他們喜出望外地找到陳火旺，邀請他共同為中國計算機事業努力，陳火旺非常高興，雙方一拍即合。隨后，該所以“幫助鍛煉改造”的堂皇理由，向復旦大學發出借調函，復旦大學造反派只好放行。

當時的上海華東計算機研究所，基本上代表了我國計算機的發展水平。來到這里后，陳火旺很快發現，我國計算機軟件領域的研究和使用還處在拓荒階段：布滿“01010l”的專用紙帶就是計算機程序軟件，這種紙帶斷裂后，工作人員就用剪刀、糨糊將其修補粘接好，還用香煙去燒孔。落后的現狀激發了陳火旺奮起直追的斗志。在上海華東計算機研究所的安排下，陳火旺躲進實驗室，用了將近兩年的時間，主持設計了我國計算機軟件領域第一個符號宏匯編器，并成功的將其應用于“655”計算機上。同時，他提出的遞歸結構式的符號宏指令產生技術，相繼被中國科學院計算機研究所等單位采用。可以說，上海華東計算機研究所的幾年，奠定了陳火旺以后在計算機軟件領域發展、大顯身手的基石。

1970年，可以說是陳火旺計算機軟件事業的轉折點。原哈軍工計算機專家慈云桂教授受周恩來之托，組織人員研制遠望號測量船上的計算機。陳火旺是他組織到的人才之一。

時值“哈軍工”主體南遷長沙，更名為長沙工學院（后來改為國防科技大學），學院百廢待興。研制計算機的工作點，安置在郊區一座破爛的農校，那里實際上是幾間教室帶一個養鴨房。鴨房地上積著20多厘米厚的鴨糞，墻上涂著“砸爛狗頭”一類的標語……

條件雖然艱苦，但專家教授們的興致卻很高——在那個年代，能專心致志從事科研工作，畢竟是一件值得高興的事，何況他們從事的還是國防科研工作。

從此，陳火旺正式開始了他夢寐以求的計算機軟件事業。

在慈云桂教授推薦下，陳火旺主持了國內第一個符號匯編語言和宏指令產生器——Fortran編譯器的總體設計。這一任務直接來自國防科委，為了早日完成這一國防科研任務，陳火旺帶領課題組的專家們展開了Fortran編譯程序的會戰。1973年，陳火旺又領受了遠望號測量船中心計算機DJ151語言系統的研制重任。1974年， 441B—III 的Fortran編譯系統順利完成，這一成功極大地鼓舞了陳火旺，他以更加飽滿的熱情和更足的信心，全身心投入遠望號測量船中心計算機DJ151語言系統的研制工作。從1973年至1978年的5年間，除I975年他被硬性派往湘西農村支援農業學大寨外，其余4年，他無時無刻不盯在研制工作中。為了保證成果的先進性，他盡可能瞄準當時所能了解到的國際先進水平，并比照國際先進水平，設計了MPL和Fortran編譯器的全部框圖，提出了因子分解式全局優化技術，使目標碼運行效率大為提高，從而使這一系統成為國內第一個具備全局優化的編譯系統。

1978年，對于陳火旺來說，是一個初嘗成功甘飴的年份。這一年，遠望號測量船中心計算機DJ151語言系統MPL和Fortran編譯器的全部框圖完成，并達到了國際先進水平；1978年，陳火旺1974年主持完成的441B—III 的Fortran編譯系統獲得全國科學大會獎，享受到了一個科學家應有的榮耀。

飛躍新高：從銀河巨型計算機“軟總”開始加速

1978年3月，國家將自主研制每秒運行億次的“銀河”巨型計算機的任務交給了國防科技大學計算機研究所。

國防科技大學領受這一光榮而又艱巨的任務后，立即組織起一支由拔尖人才組成的攻關隊伍，陳火旺理所當然地成了“銀河”億次巨型計算機攻關的主將之一，被學校任命為項目軟件系統的總負責人。

有人將計算機的軟硬件做了一系列形象生動的比喻：如果把計算機硬件比作舞臺，軟件就是舞臺上演出的節目；如果把硬件比作人體，軟件則是這個人的知識和才能。而當時，我國巨型機的軟件系統領域還是一塊荒蕪的處女地。不改變這種狀況，即使巨型機研制出來，也不過是一座徒有虛名的舞臺，一個四肢發達而頭腦簡單的巨人。但要把巨型機的頭腦武裝起來，其工程量大得讓人難以想象。

深知責任重大的陳火旺，率領一支50余人的“軟”隊伍，進行了長達4年多的“硬”攻關。1983年12月，國家技術鑒定組對“銀河Ⅰ”億次巨型計算機的各項性能，進行了我國計算機史上最嚴格的技術考核后，通過了國家級鑒定。鑒定書確認：我國自行研制的第一臺億次電子計算機系統，系統穩定可靠，軟件較齊全，其主要技術指標均達到和超過了鑒定大綱的要求，具有國內先進水平，某些方面達到了國際水平。它的研制成功，填補了國內巨型電子計算機的空白。其中，軟件系統中向量Fortran目標效率和向量自動識別器的識別率高于當時一些發達國家的cray Fortran編譯器的水平。

1984年，“銀河I”億次巨型機獲國防科技特等成果獎，陳火旺個人獲國防科技一等獎，并榮立了二等功。

求名者，把成績當作炫耀的資本；奉獻者，則把成績當作奮斗的動力和基石。陳火旺又向新的高峰發起了進攻。為打破西方國家的技術封鎖，在“863高技術計劃”和國家自然科學基金資助下，陳火旺率領一批年輕學者，從1987年春天起，率先在國內開始了 “面向對象的集成化軟件開發環境”的艱難探索。一開始，他們就以保證成果不落后于國際先進水平為起點。陳火旺創造性地提出確定以VAX機作為基礎環境，應用C語言實現開發功能的途徑。1990年3月，“面向對象的集成化軟件開發環境”通過了由國家教委主持的成果鑒定。參加鑒定的國內計算機軟件專家們一致認為，該系統達到了20世紀80年代國際同類軟件開發環境的先進水平，在國內尚屬首創，具有實用價值和很好的應用前景。1990年12月，該成果獲國防科技進步一等獎。

在探索“面向對象的集成化軟件開發環境”的同時，陳火旺又率領另一支專家學者隊伍瞄準了國際前沿的另一目標——“非單調推理系統GKD—NMRS”。非單調推理理論系統的研究是20世紀80年代國際人工智能領域的主攻方向，被列入國家“863高技術計劃”，為了使這項智能計算機基礎語言與環境的課題趕超世界先進水平，陳火旺與王獻昌、王兵山、齊治昌、王廣芳等8位專家學者針對國內當時非單調推理理論所存在的問題，在Hom邏輯基礎上，把準缺邏輯推理的內核引入GKD—NMRS，使表達常識性的經驗知識和非單調推理在邏輯程序中成為可能，創立了新一代邏輯程序設計的理論、方法和技術。GKD—NMRS研究成果出來后，立即在國內外產生了強烈反響，30多篇理論文章在國內外一級刊物和會議上發表。其中一篇被1990年國際泛太平洋人工智能會議評為優秀論文，一篇被國際上頗有權威的AI會議IJCAI’91所錄用，一篇在1990年首屆國際計算機集成會議上發表后，受到了評委會成員、國際系統集成季刊主編的贊賞。1991年10月，國際聯機檢索結果表明，GKD—NMRS處于當前國際前沿，達到當時的國際先進水平，順利通過了國家“863高技術計劃”計算機專家組的鑒定。l993年初，該成果獲國防科技進步一等獎。

隨著時代的發展，計算機技術在我國得到蓬勃發展和廣泛運用，陳火旺的研究視野更加開闊，更多的將關注的目光投向一些有關我國計算機發展的帶全局性的問題。比如：2000年千年蟲問題、計算機智能技術的深度開發與應用、我國自主知識產權的系統軟件的開發、軟件開發人才的培養等。但不管何時何地，他的目光始終盯在本學科的最前沿。

心系未來：培養世界一流的博士

1984年1月，經國務院學位委員會批準，陳火旺成為國防科技大學計算機軟件專業學科第一位博士生導師。 “立足國內，培養世界一流的博士。”這是陳火旺在人才培養上給自己定下的目標。為此，他嚴把選拔、培養、成果3道關口。要求博士生 “要頂天立地，要博大精深，要德才兼備。”頂天立地，即在學術創新上爭創世界一流(頂天)，使研究成果適應社會需要(立地)；博大精深，即在打牢堅實寬廣根基的基礎上，追求學科前沿精深領域的突破，力爭占領制高點；德才兼備，即要求學生把振興中華的志向理想建筑在出類拔萃的綜合才能上。在這一要求和理念的約束下，陳火旺的博士生們絲毫不敢懈怠，扎扎實實打基礎，勤勤懇懇做學問，老老實實為人。

科研選題是博士培養的關鍵一步。選題分量重不重、水平高不高，在很大程度上左右學生的成績，也體現導師的水平。國內高校導師培養博士生的選題方法不外乎3種：一是給博士生定出選題范圍，博士生通過閱讀文獻、摸索方法，選定課題；二是由博士生從導師承擔的科研項目中，選取博士生自己感興趣的部分進行研究；三是導師給博士生以充分的自主權，由博士生獨立選題，充分發揮其才能與潛質。在博士培養的選題實踐中，前兩種方法運用比較普遍，后一種方法運用較少。但陳火旺在博士培養中，卻偏愛后一種選題方法。他認為：對于博士生來說，導師是指路人，而不是“保姆”；導師指導博士生，不是讓他們追隨，而是鼓勵他們創新，授予他們創新的能力。因此，他指導的博士生，幾乎人人都經受了反復選題的磨練，最終成為“頂天立地”的人才。殷博士，陳火旺指導的首批博士之一，國防科大計算機學院博士生導師、中國計算機學會理論計算機科學專業委員會常務委員兼秘書長，先后獲全國高校青年教師獎、國防科工委優秀教學成果獎、國防科技成果獎、湖南省自然科學成果獎各一項；王博士，1992年夏天畢業的博士。他在陳火旺指導下，瞄準當代計算機科學前沿課題——《面向智能體的人工智能程序設計語言及其環境的研究》，畢業后不久，就成為“頂天立地”的闖將。他在分布對象技術和Agent系統理論方面的研究，在國內保持領先水平，處于國際前沿。獲得了首屆“中創軟件基金優秀人才獎”，應邀參加了中國科協主辦的“青年科學家論壇”(1995.8)，目前是“863高技術計劃”信息領域主持重點課題的最年輕學者之一……

海到盡頭天作岸，山至絕頂我為峰。陳火旺告誡他的博士生：科學探索無窮無盡，作為金字塔尖上的博士應當搶占制高點，高瞻遠矚，總攬全局，將知識融會貫通，成為青出于藍而勝于藍的高新尖人才。作為協助導師，陳火旺還參與了指導國防科大計算機科學與技術博士后流動站第一批進站的趙沁乎博士的工作，協助他挺立世界研究潮流的前沿，緊密聯系我國計算機發展趨勢，開展“類比與歸納推理”的研究，使其一系列成果都達到了國際先進水平。趙沁乎博士出站后，即被破格晉升為教授，并先后擔任北京航空航天大學計算機系主任，北航業務副校長、國家教委“211工程辦”主任、國務院學位辦主任。

20多年來，陳火旺培養了近百名博士、碩士，并在博士后流動工作站對博士后的研究工作給予指導，培養、帶出了一批中青年人才。陳火旺編著的《程序設計語言編譯原理》被國內很多高校廣泛采用，成為計算機專業的本科教材，完成了陳火旺培養人才本科、碩士、博士、博士后的梯層結構。

付出總有回報，20世紀80年代以來，將主要精力放在教學教研、培養人才上的陳火旺，教學和教材工作相當出色，教學和教材先后多次榮獲全國特等獎、一等獎。言傳身教，陳火旺也成為學生們的楷模。

“讓我也擁有您那密智的思維，將科學的奧秘不斷破譯；讓我也邁出您那沉穩的步伐，在振興中華的征途上永不停息。啊，老師，您的目光是我的未來，您的希望是我的理想，您的開拓是我的榜樣，您的人生是我的航標。”這是陳火旺的一名學生對老師的由衷贊賞。

振聾發聵：中國必須要有自己的系統軟件

談起自己鐘愛的計算機事業，陳火旺給了它極高而又恰如其分的評價：開辟了一個新的時代——信息時代。人們可以用最少的人力財力物力和時間，辦好最多最大的事情；建立了一種新的產業——信息產業。它已經完全不同于傳統意義上的物質產業或精神產業；誕生了一門新的學科——計算機科學。它以全新的研究方法——數字模擬方法把各個學科聯系帶動起來。既不是純理論也不是純實驗的方法與手段；創造了一項新的文化——計算機文化。它以其特有的形式涵蓋了教科文衛體、社交、娛樂、語言藝術等各個領域。

然而，計算機和其它事物一樣，也是一柄雙刃劍，它在給人們帶來便利的同時，也會給人們帶來損害——泄露你的機密。

有著軍人和科學家雙重身份的陳火旺，當前在軟件業上首先考慮到的是國家的安全。他說：“系統軟件對國家的安全相當重要。現在我們用的普通基礎軟件都是別人的，這使得我們的安全很成問題。外國（比如mtel）產的CPU都具有標識碼。廠家每賣出一臺計算機就留下了這個標識碼。表面上他們是為了售后跟蹤服務（這方面他們確實做得不錯），但天底下哪有免費的午餐？實質上只要你一上國際互聯網，他們就可以通過這個標識碼，將你貯存的東西拿走，得到他們想要的一切。”

為此，陳火旺認為：系統軟件和與安全相關的東西都必須我們自己搞。要害部門上網后絕不能再用別人的軟件。 現在，我國搞計算機及其軟件開發的大小企業有數千家，搞軟件開發的科研人員有50多萬，相關的技術人員有150多萬，完全具備了全面開發自己的系統軟件的條件。

20多年前，陳火旺就參加了國家有關軟件的開發與發展規劃討論。目前，他還帶有10多個博士生、指導著博士后流動工作站的工作。他所帶的博士生、博士后畢業和出站后，大多很有成就，他從這些后輩身上看到了我國軟件業的未來，但對后輩的期許并沒有讓陳火旺放松對自己的要求。在繁重的教學教研工作的同時，陳火旺從來沒有放棄在系統軟件方面的研究，近年來他將主要精力放在了與網絡安全相關的基礎研究等方面。今年，他的兩個國家自然科學基金項目獲得通過。我們有理由相信，有陳火旺這樣的院士領軍，中國自主研發的系統軟件必定能在電腦時代大放異彩，中國自己的信息安全一定能得到有力保障。

在科研、教學上頗有建樹的陳火旺，在家庭生活上卻經歷了一番坎坷——2000年，與他相濡以沫的夫人吳明霞因肺癌去世。好在他現在的妻子祖沛南十分關心他、體貼他，為了能更好地支持陳火旺的工作、照顧陳火旺的生活，祖沛南辦理了內退手續，全力以赴做好賢內助。我們祝愿陳火旺的生活和他的事業一樣紅火。