补记记中国工程院院士、国防科技大学教授陈火旺

桃溪钓徒

记中国工程院院士、国防科技大学教授陈火旺

1997年12月，国务院批准公布了中国工程院新增选院士名单，国防科技大学教授陈火旺名列其中。熟悉陈火旺经历的人们都由衷佩服，这个闽南山村铁匠的后代，在几十年的矢志追求中，生命之火越烧越旺：



61年前立春的那天，闽南山区安溪县长坑乡，火焰通红的铁匠炉边，那位衣衫褴褛、目不识丁的陈铁匠喜上眉梢，为刚刚出生的儿子起名为“火旺”。

60多年来，陈火旺没有辜负父辈的期望，他的生命之火越烧越旺：由陈铁匠家祖祖辈辈中第一个中学生、第一个大学生、第一个出国留学生，成为中国电脑历史上第一个 Fortran编译系统的设计者、第一台亿次巨型电脑软体总负责人、“ 863高技术计划”资讯领域第一届专家委员会委员……

让我们穿越时空，去探寻他那能给人以启迪的成才足迹吧——

勤奋痴迷使他打下厚实的根基

1953年秋天，陈火旺中学毕业后，以优异的成绩考入复旦大学数学系。

在复旦大学这座知识殿堂里，陈火旺多次聆听了闻名国内外的老教授讲课：微分几何学派的创立者苏步青教授为他们这一届学生讲微分几何；著名数学家陈建功先生教函数论，著名教育家杨武之教高等代数。老师们知识渊博，诲人不倦，常常把学生们引入数学思维的后花园。数学基础一直较好的陈火旺更是珍惜机遇，自强不息，饥渴而贪馋地吸吮于百花丛中，酿制芬芳馥郁的数学之蜜。

春风得意马蹄疾。陈火旺以优异的成绩结束了在复旦大学数学系的学业，随即被选拔到北京大学进修数理逻辑。在燕园，他又有幸得到国内数理逻辑创始入、中国科学院院土胡世华和王宪钧教授的亲自教诲。

数理逻辑是数学的一个分支，它主要研究推理、计算的问题。它们的发展提出了二进位的新办法，从而导致新技术革命尤其是计算技术的诞生，在50年代中期的中国，它尚是一门新兴学科。一年半时间的系统学习和名师指教，为陈火旺日后从事电脑科学打下了厚实的基础。

1965年初，周总理首次提出了我国实现四个现代化的目标。为了培养高层次的科技人才，时任助教的陈火旺作为复旦大学德才兼备的苗子，于1965年 9月受教育部派遣前往英国伦敦国家物理所进修。这是西欧的一个老牌科研机构，也是世界上著名的研究所，该所曾有好几位科学家获得诺贝尔奖，进入60年代，这里的电脑应用科学已远远走在世界前列。陈火旺非常珍惜这难得的机遇。他下定决心要努力掌握当代世界最先进的电脑科学，为祖国早日迈向现代化目标作贡献。在国内，他从没用过电脑，理论上也是一知半解。电脑科学领域许多基础知识他都没掌握，指导他的教授Ｍ•伍哲建议他用半年时间入门实习。半年中，陈火旺拿出百米冲刺的劲头。拼搏在电脑实验室里，他阅读著、消化著纷繁复杂而生疏新颖的电脑教材，观察著、解剖著眼花缭乱而神奇深奥的电脑实体。求知欲望使他忘却了周围发生的一切，连泰晤士河两岸何等模样都没留意过。终于，他凭著勤奋痴迷与厚实的数学功底弄清了电脑软体中巨集指令发生器的奥秘，又模仿著做了一个，装到该所的电脑上一试，居然成功了。伍哲教授亲自检验后，十分高兴，随即爽快地指导他系统地钻研电脑软体理论与实践。

赴英进修原为两年，但因国内“文革”动乱，海外学子自然难以为继，中国驻英代办处转达的一纸通知，使陈火旺提前结束了进修，匆匆归国听命。

动乱年代跳槽的“燧人氏”

十年动乱，乌云漫天。陈火旺回到上海复旦，校领导和专家教授早已“靠边站”，或被批斗，或被关押；教室、实验室全部尘封，校园里高音喇叭鼓噪不休，造反派的大字报铺天盖地。

面对这种状况，满怀报国之志的陈火旺心在颤抖、在流血：世界上科技革命浪潮叠涌，西方发达国家已将电脑科技作为一种战略产业在加速发展、推进。而我国刚刚起步的电脑科学研究竟被政治风暴摧折了。“天予不取，必受其殃；时至不收，必遭其咎”。中华民族难道又要倒退回到愚昧、落后、封闭、无知的洪荒地步吗？

铁匠后代的陈火旺因“根红苗正”，幸免成为造反派的靶子。他想起了一位伟人的名言：走自己的路，让别人去说吧！便悄悄地找个僻静之处温习和钻研电脑理论。

机遇偏爱有准备的头脑。纵使在十年“文革”大夜弥天之际，国防科研战线仍有少量院所在坚持重大项目的研究，当时上海华东电脑研究所就是属于少数坚持科学攻关的单位之一。1967年春天，一个偶然的机会，华东电脑所负责人听说复旦大学新近从英国归来一位元电脑软体专家，正是该所紧缺的人才，喜出望外。他们找到陈火旺提出邀请，一拍即合——陈火旺巴不得有一处施展身手的舞台。随后该所以“帮助锻炼改造”的堂皇理由借调，复旦大学“造反”派只好放行。这样，陈火旺跳出了“停课闹革命”的是非之地。

到华东电脑研究所，陈火旺就发现，当时国内电脑软体还处在拓荒阶段：布满“010101”的专用纸带就是电脑程式软体，这种纸带断裂后，工作人员就用剪刀、浆糊将其修补粘接好，还用香烟去烧孔。原始的“钻木取火”式的技术，鞭策著陈火旺奋起直追的使命感。在大街上贴满“打倒资产阶级学术权威”等标语的氛围中，他“躲进小楼成一统，管他春夏与冬秋”，用将近两年时间主持设计了我国电脑软体领域第一个符号巨集组译器，并成功地应用于“ 655”电脑上。他提出的递回结构式的符号巨集指令产生技术，也相继被中国科学院电脑研究所、上海电脑研究所等单位采用。

蹉跎岁月进入七十年代，原哈军工电脑专家慈云桂为组建远望号测量船专用电脑攻关队伍到沪上“招兵买马”，通过内线找到了陈火旺。陈火旺得知这是国家重点工程。二话没说就答应“跳槽”——反正慈云桂能包办一切调动手续，连陈火旺那分居10年的妻子吴明霞也被他从中科院电子学研究所调来了。

时值“哈军工”南迁长沙，学院百废待兴。研制电脑的工作点，安置在郊区一座破烂的农校养鸭棚里。地上积满了20多厘米厚的鸭粪，墙上涂著“砸烂狗头”一类的标语……这环境，跟当年居里夫人熬炼沥青渣的破旧漏雨棚相差无几。

条件差，改变它！陈火旺和众多专家教授们一起，持锹挑担，清除了鸭棚的积粪；用白灰浆刷净墙上的污言秽语；没有电，自己接线安装。家眷搬来了，没有宿舍，把教室用三合板隔成几个小家。一盏灯瞧著几家人，一婴哭饿，全队闻声不安。当地蛇多，夜里下班回家怕踩著，手中拿一根竹杆或树枝，像避躲挂弦地雷一样，边拨拉边走。

苦中有乐，陈火旺劲头十足，他终于登上了为国争光的大舞台。在慈云桂教授推荐下，国防科委指派他主持和领导国内第一个 Fortran编译程序会战，负责编译器的总体设计，并于1974年完成了441B-Ⅲ的Fortran编译系统（该成果在1978年获全国科学大会奖）。

1973年至1978年，陈火旺肩负起远望号测量船中心电脑 DJ151语言系统的研制重任。除1975年被硬性要求派往湘西农村支援农业学大寨，其余 4载春夏秋冬，他作为符号巨集组译系统（MPL）和Fortran编译系统设计师，尽可能瞄准当时能了解到的国际先进水准，设计了 MPL和Fortran 编译器的全部框图，提出了因数分解式全局优化技术，使目标码运行效率大为提高，成为国内第一个具备全局优化的编译系统。

第一台巨型电脑“软老总”



山不在高，有仙则名，水不在深，有龙则灵。慈云桂、周兴铭、陈火旺、陈福接、胡守仁等一批电脑专家的卓越贡献，使国防科大成为国内一流的电脑科学研究基地。

1978年 3月，邓小平同志亲自决断，把研制每秒运行亿次的巨型电脑的任务下达给国防科大电脑研究所。

刚过不惑之年的陈火旺成了亿次巨型电脑攻关主将，被任命为软体系统总负责人。

陈火旺深知责任重大。如果把电脑硬体比作舞台，软体就是舞台上演出的节目；如果把硬体比作人体，软体则是这个人的知识和才能。但当时我国巨型机的软体系统就像一块贫瘠而荒芜的土地。不改变这种“荒芜”，巨型机就是一座徒有其名的舞台，一个四肢发达而头脑贫乏的巨人。

巨型机的软体工程不是单枪匹马或几个人能完成的。要把巨型机的头脑武装起来，工程量巨大得让人难以想像，而软体人员寥若晨星。最初只有20来人，后来八方支援，逐渐增强到50余人，为了装备中国巨型机的头生子，陈火旺率领这支“软”队伍投入了长达 4年多的硬攻关。

陈火旺的妻子吴明霞当时担任软体研究室副主任，也义不容辞地挑起负责组合语言系统研制的重担。好一个投身于巨型机软体攻关的夫唱妇随“二人转”：黎明即起，就忙开了，一个背诵科技英语点炉子，一个购买早点途中想“程式”。晚上，一拾掇完碗筷，夫妇俩就把两个未成年的孩子扔在家里，双双赶到机房去加班。对他们又说，饭菜可以将就，衣著、家具可以凑合，但巨型机的“程式”必须是最优的。

1980年上半年，他们的大儿子走到了人生的十字路口：高考前夕。班主任找上门来了：“你们哪怕抽一丁点儿时间辅导一下孩子，还有希望考上大学。”吴明霞动心了。她找了一块小黑板，挂在家里，给孩子辅导数学。一连 3个晚上。立竿见影，孩子的几何测验得到了从未有过的一百分！

正在攻关节骨眼上的陈火旺冲著妻子嚷起来：“你这是干吗？你的程式都编完了？”吴明霞分辩说：“我没有影响工作。”确实，为了弥补辅导孩子所失去的时间，她那几天夜夜工作到钟敲三更，脸色已经苍白。

“可你这样能坚持多久呢？”陈火旺又提出疑问，吴明霞默然了。

鱼与熊掌不可兼得。吴明霞含泪收起了小黑板。她硬起心肠不去看儿子哀怨失望的目光，一吃完晚饭又钻进了实验室。

寒暑交替，春种秋收。 4年中，陈火旺完成了巨型机软体系统的总体设计；提出了一整套用软体工程方法研制大型软体的方案和规划，贯彻于工程始末；直接主持了向量 Fortran语言和向量识别器的设计与实现；探索了DO回圈向量化的万法，为向量识别器的研制奠定了基础；提出了适应单指令流和多资料流程的目标代码生成方法、适应指节链结的回圈组织法和降低树高大基本块优化技术。与此同时，他率领的软体攻关队伍高标准地完成了60万条程式组成的软体工程，为中国电脑软体事业作出了开拓性的贡献。

1983年12月，亿次巨型机通过了国家级鉴定。鉴定书确认：“我国自行研制的第一台亿次电子电脑系统，系统稳定可靠、软体较齐全，其主要技术指标均达到和超过了规定的要求，具有国内先进水准，某些方面达到了国际水准。它的研制成功，填补了国内巨型机的空白。”

由陈火旺负责的这台巨型机软体系统被肯定为达到当时的国际先进水准，其向量 Fortran目标效率和向量自动识别器的识别率高于当时一些发达国家 CrayFartran编译器的水准。

1984年，“银河 -Ⅰ”亿次巨型机获特等国防科技成果奖，陈火旺个人获国防科技一等奖，并荣立了二等功。

快马加鞭未下鞍

人到中年，陈火旺在电脑科学事业上焕发的能量越来越大，生命之火越烧越旺，祖国和人民赋予他的使命也越来越重。

80年代，国防科委任命他为国防科技大学计算系兼电脑研究所副主任；国务院学位委员会批准，他成为国防科技大学电脑软体专业学科博士生导师；中国软体行业协会推选为副主任委员；并当选国家“863高技术计划”资讯领域第一届专家委员会委员。

1987年 8月至1992年10月，他被中央军委任命为国防科技大学研究生院副院长，……

求名者，把成绩当作炫耀的资本；奉献者，把使命作为奋发的动力。一项项任命，一副副重担，陈火旺都当作鞭策自己争作贡献的力量。为了祖国的电脑科学事业跻身世界前列，他似乎总有一股使不完的劲头，常年累月在这个当代世界方兴未艾的科学莽原上开拓驰骋。

在高性能电脑软体研制领域，为支援面向物件的软体生产过程，需要有相应工具的支援，这些工具与语言的集成便构成了一个软体发展环境。美国、日本等国曾投入了大量人力和财力研制面向物件的软体发展环境，推出了许多系统，其中最有代表性和最为流行的Smalltalk-80系统。该系统在一些国家已商品化，但我国在80年代中期提出引进时，对方却因该系统属于高技术产品不愿提供。

为打破西方国家的技术封锁，陈火旺率领一批年轻学者，在“ 863高技术计划”和国家自然科学基金资助下，从1987年春天起步，在国内率先开始了研制“面向物件的集成化软体发展环境”的艰难探索。

为与国际先进标准接轨，他们选择Smalltalk-80系统作为开发的原型。但当时对该系统究竟是什么样的程式设计、内部结构、运行环境，只能凭手头一点商品广告内容去分析。陈火旺在集思广益之后，创造性地提出所要开发环境的功能及实现途径，确定以 VAX机作为基础环境，应用C语言实现。

参加这一课题的几位年轻人是正在攻读硕士学位的研究生，他们在陈火旺指导和启发下，发挥了极大的主动性和创造性，把实践中的探索同理论上突破紧密结合起来，撰写了一批高品质的论文，在国内重要刊物和学术会议上发表。

“面向物件的集成化软体发展环境”研制成功后，于1990年 3月通过了由国家教委主持的成果鉴定。参加鉴定的国内电脑软体专家们一致认为，该系统达到了国际80年代同类软体发展环境的先进水准，在国内尚属首创，具有实用价值和很好的应用前景（1990年12月，该成果获国防科技进步一等奖）。

几乎在探索“面向物件的集成化软体发展环境”的同时，陈火旺又率领另一支中青年专家学者组成的课题组，开始了向国际前沿的另一目标—“非单调推理系统GKD-NMRS”的进击。

陈火旺与王献昌、王兵山、齐治昌、王广芳等 8位中青年专家学者针对国内当时非单调推理理论所存在的问题，在Horn逻辑基础上把准缺逻辑推理的内核引入GKD-NMRS，使表达常识性的经验知识和非单调推理在逻辑程式中成为可能，创立了新一代逻辑程式设计的理论、方法和技术。

作为一项集理论、技术于一体的高科技成果，GKD-NMRS一露角头，就在国内外产生了重要影响，30多项理论研究成果在国内外一级刊物和会议上发表，其中一篇被1990年国际泛太平洋人工智慧会议评为优秀论文；另一篇被国际上最有权威的AI会议 IJCAI’91所录用；还有一篇论文在首届国际电脑集成会议上发表后，受到了评委会成员、国际系统集成季刊主编 Ng•Peter教授的赞赏。

1991年10月的国际联机检索表明，GKD-NMRS处于当前国际前沿，达到国际先进水准，它对于我国的非单调研究向实用化方向发展，以及对于国家“ 863计划”智慧电脑系统的开发都起到了表率作用。这一重要成果通过国家“ 863计划”电脑专家鉴定后，于1993年初获国防科技进步一等奖。

随著90年代中国电脑科技的蓬勃兴起，陈火旺受到国内外许多专家、学者、电脑产业界的瞩目，越来越多的学术团体请他指导，继担任武汉大学软体工程国家重点实验室学术委员会主任之后，他又先后受聘为南京大学、北京航太大学、中国科学院软体研究所电脑科学国家重点实验室学术委员会委员；国家智慧中心、东北大学等单位软体工程中心学术委员会委员；国务院学位委员会电脑科学评议组成员。在广泛而深刻的学术活动中，他的目光始终盯在本学科最前沿，率领志士仁人不断奋进。

“立足国内，培养世界一流的博士”

“让我也拥有您那睿智的思维，将科学的奥秘不断破译；让我也迈出您那沉稳的步伐，在振兴中华的征途上永不停息。啊，老师，您的目光是我的未来，您的希望是我的理想，您的开拓是我的榜样，您的人生是我的航标。”

这是陈火旺教授一名学生心中的歌。

陈火旺教授是国防科技大学电脑软体专业学科点第一位博士生导师，10多年来，他先后培养了博士生29名（其中19名已毕业），硕土生36名。

从担任博士生导师之时起，他就开始了在人才培养上与国际接轨的实践。

80年代中期，“银河 -Ⅰ”巨型电脑等高科技成果使国防科技大学名声大振。陈火旺编著的《程式设计语言编译原理》是国内许多高校电脑专业教材，因而全国各地许多大学毕业生慕名而来报考他的研究生，其中不乏北京、上海等地高校老同学同事或名人权威推荐的，陈火旺坚持“严格选拔，宁缺毋滥”，从不碍于情面而降低标准。1983年40多名考生中，被他选中的只有 2名。

科研选题是研究生入门后最关键的一步。选题份量如何，在很大程度上左右学生的成绩，也体现导师的水准。陈火旺认为，对于研究生来说，导师是指路人，而不是“保姆”；指导研究生，不是让他们追随，而应鼓励他们创新。因此，他指导的博士生几乎人人都经受了反复选题的磨炼。许多硕士毕业的佼佼者，尽管过五关斩六将考取了他的博士生，在选题阶段，也得最大限度地挖掘创新思维潜能，独立自主地瞄淮在学术上争创世界一流的方向。

陈火旺曾录写了一幅对联赠给他的博士生：海到尽头天作岸，山至绝顶我为峰。其寓意是科学探索无穷无尽，作为金字塔尖上的博士应当抢占制高点，高瞻远瞩，纵览全局，将知识融会贯通，成为青出于蓝而胜于蓝的高材生。

名师出高徒。经过陈火旺教授近乎苛刻的要求和卓尔不群的指导，许多博士生毕业后，在各自的岗位上建功立业，几乎都成了开拓创新，出类拔萃的风流人物。

殷博士，是陈教授指导的首批博士之一，现任国防科大电脑学院副教授、中国电脑学会理论电脑科学专业委员会常务委员兼秘书长，先后获全国高校青年教师奖、国防科工委优秀教学成果奖、国防科技成果奖、湖南省自然科学成果奖各一项，1997年入选《中华人物辞海、当代大文化卷》。

王博士，在陈火旺教授指导下的 4年学位攻读中，瞄准当代电脑科学前沿课题前进——《面向智慧体的人工智慧程式设计语言及其环境的研究》，毕业后在分布物件技术和多 Agent系统理论方面的研究处于国际前沿。在国内保待领先水准，获首届“中创软体基金优秀人才奖”。

景博士，是陈火旺教授培养的一位跨学科博士，他首先将电脑理论基础打扎实，然后在交叉学科、边缘学科上从事创新突破性研究，将理论攻关成果与工程实施融为一体。他的博士论文不仅被权威人士誉为“在该领域取得了突破性成绩，达到国际先进水准”，其工程成果还获得了部委级科技成果二等奖，多次被国内和国际学术会议公认为本领域的权威学者。

陈火旺培养的博土生，有许多尚未毕业，就成了国内外高校或科研机构预约聘请的重点对象。例如黄博士1995年底一毕业，英国的纽卡斯尔大学立即来信聘请他去做博士后，连工作许可证都寄来了。原来是一年前他访问牛津大学时作了一场学术报告，使该校专家顿生“抢才”之心。报国心切的黄博士自然谢绝了跨国伯乐的好意。仅两年多时间，他在电脑软体理论和实践上已是硕果累累，日前成了第二届“中创软体基金优秀人才奖”的得主（全国仅 4人）。

作为协助导师，陈火旺还参与了指导国防科大电脑科学与技术博士后流动站第一批进站的赵沁平博士，协助他挺立世界研究潮流的前沿，紧密联系我国电脑发展趋势开展“类比与归纳推理”的研究，使一系列成果都具有国际先进水准。赵沁平博士出站后，即被破格晋升为教授，并先后担任北京航空航太大学电脑系主任，北航业务副校长。现担任国家教委“ 211工程办”主任，国务院学位办主任。

羲和走驭趁年光，不许人间日月长。

遂使四时都似电，争教两鬓不成霜。（白居易诗）

陈火旺教授虽已年逾花甲，但志壮不减当年，目光更高更远。他决心在中国工程院院士的行列中，再风风火火干好十年，二十年！