張鈸

　人物簡(jiǎn)介

　　張鈸

　　張鈸，福建福清人。計(jì)算機(jī)科學(xué)與技術(shù)專(zhuān)家，中國(guó)科學(xué)院院士，清華大學(xué)教授，河南科技大學(xué)兼職院士。祖父乃清朝秀才，為發(fā)展家鄉(xiāng)的教育事業(yè)曾創(chuàng)辦敦睦小學(xué)于清河書(shū)院。張鈸從小在濃厚的家學(xué)氛圍中耳濡目染，學(xué)習(xí)成績(jī)門(mén)門(mén)突出。1950年7月畢業(yè)于福清融美中學(xué)（現(xiàn)福清三中），后就讀福州英華中學(xué)。1953年張鈸報(bào)考清華大學(xué)，以數(shù)理化三門(mén)都滿(mǎn)分的優(yōu)異成績(jī)被錄取，以“三個(gè)一百”聞名于家鄉(xiāng)一帶。

　　人生經(jīng)歷

　　張鈸(1935，03—)福建福清人。教授，中國(guó)科學(xué)院院士。1958年清華大學(xué)自動(dòng)控制系畢業(yè)留校，1960年2月加入中國(guó)共產(chǎn)黨。先后在自動(dòng)控制系、計(jì)算機(jī)科學(xué)與技術(shù)系任教，歷任講師、副教授、教授、“智能技術(shù)與系統(tǒng)”國(guó)家重點(diǎn)實(shí)驗(yàn)室主任、校學(xué)位委員會(huì)副主任、信息科學(xué)與技術(shù)學(xué)院學(xué)術(shù)委員會(huì)主任。還擔(dān)任中國(guó)自動(dòng)化學(xué)會(huì)智能控制專(zhuān)業(yè)委員會(huì)主任和機(jī)器人專(zhuān)業(yè)委員會(huì)副主任，《計(jì)算機(jī)學(xué)報(bào)》副主編、國(guó)家高技術(shù)“863”計(jì)劃智能機(jī)器人主題專(zhuān)家組成員。2011年德國(guó)漢堡大學(xué)授予自然科學(xué)名譽(yù)博士。長(zhǎng)期從事自動(dòng)控制理論及技術(shù)的教學(xué)和研究。80年代以后，主要從事人工智能和計(jì)算機(jī)應(yīng)用技術(shù)的研究。他針對(duì)人工智能問(wèn)題求解計(jì)算復(fù)雜性、指數(shù)爆炸的主要困難，提出了問(wèn)題分層求解的商空間理論，解決了不同粒度空間的描述、它們之間相互轉(zhuǎn)換、復(fù)雜性分析等理論問(wèn)題。在此基礎(chǔ)上提出統(tǒng)計(jì)啟發(fā)式搜索算法，基于拓?fù)涞目臻g規(guī)劃方法和關(guān)系矩陣的規(guī)劃算法，對(duì)克服計(jì)算量的指數(shù)爆炸很有成效。還提出了研究不確定性處理、定性推理、模糊分析、證據(jù)合成等新原理。指導(dǎo)并參加建成了陸地自主車(chē)、圖像與視頻檢索等實(shí)驗(yàn)平臺(tái)。已培養(yǎng)博士60多名，獲北京市優(yōu)秀教學(xué)成果一等獎(jiǎng)。“智能技術(shù)與系統(tǒng)”國(guó)家重點(diǎn)實(shí)驗(yàn)室創(chuàng)建者之一。著有《問(wèn)題求解理論及應(yīng)用》(中、英文各一部)，合著《Researchon Frontiersin Computing》，均獲得國(guó)家教委頒發(fā)的高校出版社優(yōu)秀學(xué)術(shù)專(zhuān)著特等獎(jiǎng)(1992)，后者還獲得全國(guó)優(yōu)秀科技圖書(shū)一等獎(jiǎng)(1992年，第二作者)。研究成果，還獲得國(guó)家自然科學(xué)三等獎(jiǎng)、教委科技進(jìn)步獎(jiǎng)一、二等獎(jiǎng)各一項(xiàng)，電子部科技進(jìn)步獎(jiǎng)一等獎(jiǎng)一項(xiàng)，發(fā)表論文一百余篇，其中一篇獲ICL歐洲人工智能獎(jiǎng)。[1]

　　教育歷程

　　入校時(shí)張鈸就讀于電機(jī)系電機(jī)電器專(zhuān)業(yè)，1956年因建設(shè)新專(zhuān)業(yè)需要，轉(zhuǎn)讀自動(dòng)控制，兩年后作為國(guó)家第一批自動(dòng)控制專(zhuān)業(yè)的優(yōu)秀畢業(yè)生留校任教。當(dāng)時(shí)國(guó)際上剛剛興起的機(jī)器人是自動(dòng)化領(lǐng)域中的新事物，也是人工智能從最初的理論研究走向?qū)嶋H應(yīng)用的產(chǎn)物。20世紀(jì)70年代初，美國(guó)麻省理工學(xué)院率先開(kāi)發(fā)了專(zhuān)家系統(tǒng)，計(jì)算機(jī)可以代替專(zhuān)家進(jìn)行統(tǒng)計(jì)分析及醫(yī)療診斷等活動(dòng)，風(fēng)行一時(shí)。隨后，日本和俄羅斯等國(guó)也相繼躋身先進(jìn)的行列，研制出各種工業(yè)機(jī)器人，甚至制造出具有傳感和發(fā)聲系統(tǒng)的人形機(jī)器人。

　　智能技術(shù)的研究

　　然而這20多年中，我國(guó)這方面的研究還處于空白狀態(tài)。直到1978年，改革開(kāi)放的政策給了人們開(kāi)闊眼界的機(jī)會(huì)，張鈸和同事們成了國(guó)內(nèi)最早接觸到人工智能的研究者，成為我國(guó)在這方面的首批專(zhuān)家。從零起步的階段是艱難的，5年后，他們幾經(jīng)周折才從國(guó)外買(mǎi)到一部機(jī)械手用來(lái)做研究的基礎(chǔ)設(shè)備。誰(shuí)能想到，今天的智能技術(shù)與系統(tǒng)國(guó)家重點(diǎn)實(shí)驗(yàn)室就是從這樣一部貌不驚人的機(jī)械手起家的。實(shí)驗(yàn)室是張鈸的驕傲，作為國(guó)家的重要科研基地，這個(gè)優(yōu)秀的團(tuán)體連續(xù)三次在專(zhuān)家評(píng)審中都獲得了“優(yōu)”的評(píng)價(jià)，是全國(guó)近150個(gè)實(shí)驗(yàn)室中成績(jī)最好的，張鈸作為該實(shí)驗(yàn)室主任也因貢獻(xiàn)突出獲得了國(guó)家科委和計(jì)委頒發(fā)的個(gè)人金牛獎(jiǎng)。

　　張鈸在學(xué)術(shù)研究上的主要貢獻(xiàn)是提出問(wèn)題分層求解的商空間理論，通過(guò)代數(shù)的方法，系統(tǒng)地解決了不同層次求解空間的問(wèn)題表達(dá)、復(fù)雜性分析、不同層次空間之間信息、算子及推理機(jī)制等的相互轉(zhuǎn)換關(guān)系。在上述理論基礎(chǔ)上，他進(jìn)一步提出了統(tǒng)計(jì)啟發(fā)式搜索算法，基于拓?fù)涞目臻g規(guī)劃方法以及基于關(guān)系矩陣的時(shí)間規(guī)劃算法等，極大降低了計(jì)算復(fù)雜性，具有重要的應(yīng)用價(jià)值。其專(zhuān)著《問(wèn)題求解理論及應(yīng)用》全面總結(jié)了他在人工智能理論研究中的成果，其英文版于1992年由Elsevier Science PublishersB.V.(Nortn-Holland)出版，中文版獲國(guó)家教委頒發(fā)的高校出版社優(yōu)秀學(xué)術(shù)專(zhuān)著特等獎(jiǎng)。澳大利亞專(zhuān)家Ronald Walts在計(jì)算機(jī)雜志《The Australian Computer Journal（1995）》對(duì)《問(wèn)題求解理論及應(yīng)用》（英文版）的評(píng)論為“這是一部在重要研究領(lǐng)域的優(yōu)秀著作”。美國(guó)學(xué)者Harold S.Stone認(rèn)為，張鈸等在統(tǒng)計(jì)啟發(fā)式搜索等方面的工作，是“最近幾年中國(guó)學(xué)者作出的很有意義的貢獻(xiàn)”，“將新一代計(jì)算技術(shù)的前沿向前推進(jìn)了”。

　　基礎(chǔ)理論扎實(shí)是張鈸的學(xué)術(shù)研究特色，在扎實(shí)的理論基礎(chǔ)上，他積極推進(jìn)計(jì)算機(jī)應(yīng)用技術(shù)的研究。由于我國(guó)人工智能研究的起步比國(guó)外晚了20多年，張鈸和同事們努力地追趕著國(guó)際人工智能發(fā)展的腳步。1987年至1994年，他擔(dān)任國(guó)家“863”高技術(shù)計(jì)劃智能機(jī)器人主題專(zhuān)家組織成員，在智能行為的微觀建模、知識(shí)工程、神經(jīng)網(wǎng)絡(luò)、智能機(jī)器人以及人機(jī)交互等應(yīng)用技術(shù)的研究方面作出了貢獻(xiàn)。其中，根據(jù)商空間理論建立的導(dǎo)航路徑規(guī)劃的商空間方法，在國(guó)防科工委等支持下正進(jìn)一步開(kāi)發(fā)成實(shí)用技術(shù)。在他主持下研制的清華智能車(chē)是我國(guó)“863”計(jì)劃的一項(xiàng)重要成果，這種新一代智能移動(dòng)機(jī)器人，能夠進(jìn)行道路跟蹤和躲避障礙的自主駕駛。2003年6月，經(jīng)教育部組織的專(zhuān)家鑒定，智能車(chē)的車(chē)道線自動(dòng)跟蹤技術(shù)居國(guó)內(nèi)領(lǐng)先，并且達(dá)到了國(guó)際先進(jìn)水平。鑒于張鈸卓越的科研成果，這些年來(lái)他先后被授予ICL歐洲人工智能獎(jiǎng)，國(guó)家教委科技進(jìn)步一等獎(jiǎng)、二等獎(jiǎng)，電子部科技進(jìn)步一等獎(jiǎng)、福建省王丹萍科技獎(jiǎng)等榮譽(yù)。1994年當(dāng)選為俄羅斯自然科學(xué)院外籍院士，1995年當(dāng)選為中國(guó)科學(xué)院院士。

　　張鈸院士的科研工作是與教書(shū)育人的實(shí)踐緊密聯(lián)系的，50多年來(lái)，他一直任教于清華大學(xué)，為自動(dòng)控制系、計(jì)算機(jī)系培養(yǎng)了大批人才，盡管現(xiàn)在年已75歲，但仍忙碌在教學(xué)第一線。他笑言其它專(zhuān)業(yè)的導(dǎo)師可以吃老本，唯獨(dú)計(jì)算機(jī)不行，因?yàn)樾袠I(yè)的飛速發(fā)展導(dǎo)致新技術(shù)日新月異，一天不讀論文不看資料就可能聽(tīng)不懂學(xué)生的問(wèn)題。

　　談起在校學(xué)習(xí)時(shí)與圖書(shū)館的故事，張鈸院士的情緒一下高漲起來(lái)，對(duì)當(dāng)年到老館自習(xí)室“搶”座位的軼事津津樂(lè)道，還提及自己任助教時(shí)到老館四樓的外文期刊室查閱內(nèi)部文獻(xiàn)的諸多細(xì)節(jié)，一時(shí)間沉浸在回憶往事的快樂(lè)中。在捐贈(zèng)給圖書(shū)館的個(gè)人專(zhuān)著扉頁(yè)上，張?jiān)菏恳槐颈竟すふ睾炆厦郑鴮?duì)于我們希望他為圖書(shū)館推薦一些國(guó)內(nèi)外自動(dòng)化、計(jì)算機(jī)方面經(jīng)典著作的請(qǐng)求，也非常認(rèn)真慎重地對(duì)待，表示要細(xì)細(xì)推敲后再行薦購(gòu)。

　　在人工智能這條充滿(mǎn)未知的探索之路上，張鈸院士的心永遠(yuǎn)是年輕的，他不知疲倦，不曾停歇，繼續(xù)譜寫(xiě)著耀眼的華章。

　　研究方向

　　張鈸從事人工智能理論、人工神經(jīng)網(wǎng)絡(luò)、遺傳算法、分形和小波等理論研究；以及把上述理論應(yīng)用于模式識(shí)別、知識(shí)工程、智能機(jī)器人與智能控制等領(lǐng)域的應(yīng)用技術(shù)研究。在國(guó)內(nèi)外發(fā)表或合作發(fā)表論文100多篇。

　　教學(xué)成果

　　教學(xué)主講研究生課程《專(zhuān)家系統(tǒng)》，指導(dǎo)碩士、博士研究生，獲北京市優(yōu)秀教學(xué)成果一等獎(jiǎng)，北京市優(yōu)秀教師等稱(chēng)號(hào)。張鈸從事人工智能理論、人工神經(jīng)網(wǎng)絡(luò)、遺傳算法、分形和小波等理論研究；以及把上述理論應(yīng)用于模式識(shí)別、知識(shí)工程、智能機(jī)器人與智能控制等領(lǐng)域的應(yīng)用技術(shù)研究。

　　人物成就

　　共發(fā)表論文60余篇，中文專(zhuān)著一部，英文兩部，被國(guó)內(nèi)外引用達(dá)83次。先后獲ICL歐洲人工智能獎(jiǎng)，教委科技進(jìn)步一等獎(jiǎng)、二等獎(jiǎng)，電子部科技進(jìn)步一等獎(jiǎng)，高校出版社優(yōu)秀學(xué)術(shù)著作特等獎(jiǎng)，1991年獲北京市優(yōu)秀教師稱(chēng)號(hào)。獲ICL歐洲人工智能獎(jiǎng)，國(guó)家自然科學(xué)三等獎(jiǎng)，教委科技進(jìn)步一等獎(jiǎng)、二等獎(jiǎng)，電子部科技進(jìn)步一等獎(jiǎng)等。兩次獲教委高校出版社優(yōu)秀學(xué)術(shù)專(zhuān)著特等獎(jiǎng)，一次中國(guó)優(yōu)秀科技圖書(shū)一等獎(jiǎng)。獲計(jì)委、科委頒發(fā)的個(gè)人‘金牛’獎(jiǎng)，“為國(guó)家重點(diǎn)實(shí)驗(yàn)室做出重大貢獻(xiàn)的先進(jìn)工作者”等獎(jiǎng)勵(lì)。1980年至1982年作為訪問(wèn)學(xué)者在美國(guó)伊利諾依大學(xué)進(jìn)行人工智能、智能機(jī)器人的研究工作。

　　2015年1月31日，張鈸獲得2014CCF終身成就獎(jiǎng)。[2]

　　發(fā)表專(zhuān)著

　　出版英文專(zhuān)著：

　　Theory and Applications of Problemsolving，Elsevier Science Publishers，B.V.North-Holland，1992.

　　中文專(zhuān)著：《人工神經(jīng)網(wǎng)絡(luò)理論及應(yīng)用》，浙江科技出版社，1997.在國(guó)內(nèi)外雜志發(fā)表論文約100篇。“Researchon Frontiersin Computing”，以及《人工神經(jīng)網(wǎng)絡(luò)理論及應(yīng)用》等?？萍汲晒@得國(guó)家自然科學(xué)、國(guó)家科技進(jìn)步等多項(xiàng)獎(jiǎng)勵(lì)。

　　1994年當(dāng)選為俄羅斯自然科學(xué)院外籍院士，1995年當(dāng)選為中國(guó)科學(xué)院院士。

　　行業(yè)貢獻(xiàn)

　　早期從事自動(dòng)控制理論與系統(tǒng)研究，1979年開(kāi)始計(jì)算機(jī)科學(xué)與技術(shù)研究。提出人工智能問(wèn)

　　題求解的商空間理論，解決不同粒度空間的問(wèn)題描述、它們之間的相互轉(zhuǎn)換以及復(fù)雜性分析等理論問(wèn)題。以該理論為指導(dǎo)，提出多層信息綜合、多層規(guī)劃與搜索等新的研究方法，形成新的算法，如基于拓?fù)涞囊?guī)劃算法、基于關(guān)系矩陣的時(shí)間規(guī)劃方法和統(tǒng)計(jì)啟發(fā)搜索算法等，對(duì)降低計(jì)算復(fù)雜性很有成效。從多粒度的商空間理論出發(fā)，還提出了研究不確定性處理、定性推理、模糊分析的信息融合的新原理。此外，還指導(dǎo)和參加了人工神經(jīng)網(wǎng)絡(luò)理論及應(yīng)用、知識(shí)工程、智能機(jī)器人、智能控制以及人機(jī)交互技術(shù)等應(yīng)用技術(shù)研究，完成多項(xiàng)高技術(shù)研究任務(wù)。1995年當(dāng)選為中國(guó)科學(xué)院院士。在人工智能理論上，系統(tǒng)地提出了問(wèn)題分層求解的熵空間理論；解決了不同粒度空間描述、相互轉(zhuǎn)換及復(fù)雜性分析等問(wèn)題；提出了多層信息綜合、不確定性處理、定性推理、規(guī)劃與搜索等新的研究原理，有效地降低了計(jì)算的復(fù)雜性。在人工智能網(wǎng)絡(luò)方面，系統(tǒng)地分析了典型神經(jīng)網(wǎng)絡(luò)模型，給出了該網(wǎng)絡(luò)各項(xiàng)性能的定量結(jié)果；對(duì)當(dāng)前神經(jīng)網(wǎng)絡(luò)模擬人類(lèi)智能的能力及其局限性，提出了理論論據(jù)，并提出了一組新的學(xué)習(xí)機(jī)制，有效地提高了神經(jīng)網(wǎng)絡(luò)的性能。