人物簡(jiǎn)介
高慶獅,中國(guó)科學(xué)院院士,男,漢族,福建漳州人,生于1934年8月,2011年5月15日凌晨2點(diǎn)在京去世,享年77歲。中國(guó)計(jì)算機(jī)領(lǐng)域最早兩名院士之一(1980年當(dāng)選);中國(guó)第一顆人造衛(wèi)星地面計(jì)算控制中心早期設(shè)計(jì)負(fù)責(zé)人之一。
高慶獅院士從事大型和巨型計(jì)算機(jī)體系結(jié)構(gòu)研究和工程設(shè)計(jì)(57一80),并行算法(73-),機(jī)器翻譯(80-),人類(lèi)智能及其模擬和應(yīng)用(80-)和網(wǎng)絡(luò)安全(00-)。
高慶獅院士是中國(guó)第一臺(tái)自行設(shè)計(jì)的大型通用電子管和第一臺(tái)大型通用晶體管計(jì)算機(jī)體系結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人之一:中國(guó)第一臺(tái)十萬(wàn)次/秒以上晶體管計(jì)算機(jī)(專(zhuān)為兩彈一星服務(wù)被譽(yù)為”功勛計(jì)算機(jī)”的109丙機(jī))體系結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人;我國(guó)第一臺(tái)超大型向量計(jì)算機(jī)新體系結(jié)構(gòu)原理提出者和總體設(shè)計(jì)負(fù)責(zé)人;我國(guó)第一個(gè)管理程序(在109丙機(jī)上)總體設(shè)計(jì)負(fù)責(zé)人;是第一個(gè)防病毒的新體系結(jié)構(gòu)提出者。
高慶獅院士發(fā)表70多篇學(xué)術(shù)論文;向機(jī)器翻譯50多年的方法挑戰(zhàn),研制無(wú)語(yǔ)無(wú)倫次,無(wú)正錯(cuò)混雜的實(shí)用機(jī)器翻譯系統(tǒng)。
個(gè)人履歷
1957年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系。1980年被選為中國(guó)科學(xué)院院士。第五屆及第六屆全國(guó)人民代表大會(huì)代表。曾任:中國(guó)科學(xué)院計(jì)算技術(shù)研究所研究員,加拿大Alberta大學(xué)和TUNS大學(xué)高級(jí)訪問(wèn)教授,以及美、加、日等國(guó)的大學(xué)和研究所的訪問(wèn)教授。曾擔(dān)任中國(guó)第一顆人造衛(wèi)星地面控制中心設(shè)計(jì)負(fù)責(zé)人之一(負(fù)責(zé)計(jì)算機(jī)系統(tǒng)設(shè)計(jì),后來(lái)移交給軍方),F(xiàn)任北京科技大學(xué)教授,兼任:中國(guó)科學(xué)院計(jì)算技術(shù)研究所兼職首席研究員,以及大連理工大學(xué)、中國(guó)科學(xué)院科學(xué)技術(shù)大學(xué)、廈門(mén)大學(xué)等客座教授,深圳大學(xué)名譽(yù)教授。1978年被評(píng)為全國(guó)科技大會(huì)先進(jìn)工作者,1984年被國(guó)家科委授予第一批有突出貢獻(xiàn)專(zhuān)家稱(chēng)號(hào)。教學(xué)方面:指導(dǎo)過(guò)70多名博士、碩士研究生。
在1956年6月國(guó)家制定頒布《十二年科學(xué)發(fā)展規(guī)劃》時(shí),于同年9月獲得機(jī)會(huì),參加中科院計(jì)算所與北大、清華合辦的第一屆計(jì)算機(jī)訓(xùn)練班,并順利進(jìn)入中國(guó)第一個(gè)計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)研究與設(shè)計(jì)小組。此后,他成為中國(guó)第一顆人造衛(wèi)星地面計(jì)算控制中心早期設(shè)計(jì)負(fù)責(zé)人之一,成為“兩彈一星”任務(wù)中我國(guó)第一臺(tái)具有分時(shí)中斷系統(tǒng)的晶體管計(jì)算機(jī)——“功勛計(jì)算機(jī)”的體系結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人。在“文革”期間,他被指為“走資派的掌上明珠”、“鄧小平伸到科學(xué)院的黑手”,前者的指控因衛(wèi)星任務(wù)不在研究所幸免陪斗,后者因私人幫助“及時(shí)”再次躲過(guò)一劫。1978年全國(guó)科學(xué)大會(huì)召開(kāi)之后,他因取得一系列重要科研成果,當(dāng)選為中國(guó)計(jì)算機(jī)領(lǐng)域最早的兩名中科院院士之一,也是當(dāng)時(shí)技術(shù)科學(xué)部最年輕的院士,并成為第五屆、第六屆全國(guó)人民代表大會(huì)代表。 高慶獅
高慶獅是計(jì)算機(jī)領(lǐng)域最早兩名中國(guó)科學(xué)院院士之一,也是當(dāng)時(shí)技術(shù)科學(xué)部最年青的院士。第五屆和第六屆全國(guó)人民代表大會(huì)代表。曾任我國(guó)第一顆人造衛(wèi)星地面計(jì)算控制中心早期設(shè)計(jì)負(fù)責(zé)人之一(負(fù)責(zé)計(jì)算機(jī)部分,后由中科院移交給軍方)。1957年-1994年在中科院計(jì)算技術(shù)研究所擔(dān)任從實(shí)習(xí)研究員到正研究員,F(xiàn)任北京科技大學(xué)教授、所長(zhǎng)(從1994年開(kāi)始),中國(guó)科學(xué)院計(jì)算技術(shù)研究所終身研究教授,大連理工大學(xué)兼職教授。
從事大型和巨型計(jì)算機(jī)體系結(jié)構(gòu)研究和工程設(shè)計(jì)(1957-80)、串行算法并行化(1973至今)、機(jī)器翻譯(1980至今)、人類(lèi)智能及其模擬和應(yīng)用(1980至今)和網(wǎng)絡(luò)安全(2000-02)。
中國(guó)科學(xué)院院士、著名計(jì)算機(jī)體系結(jié)構(gòu)專(zhuān)家高慶獅研究員因病于2011年5月15日凌晨2點(diǎn)在京去世,享年77歲。
早年學(xué)習(xí)
1953年,他以數(shù)學(xué)100分、物理97分的分?jǐn)?shù)考入北京大學(xué)數(shù)學(xué)力學(xué)系。
高慶獅認(rèn)為自己很幸運(yùn),有機(jī)會(huì)直接聆聽(tīng)許許多多共和國(guó)功勛科學(xué)家們的直接教誨。他的第一位功勛科學(xué)家老師就是錢(qián)學(xué)森。他1956年給他們講工程控制論課程。錢(qián)老自學(xué)的數(shù)學(xué)使他們十分驚訝,不僅幾乎覆蓋了北大數(shù)學(xué)系學(xué)生所學(xué)全部數(shù)學(xué)課程,而且運(yùn)用自如,使他們實(shí)際領(lǐng)會(huì)到數(shù)學(xué)的實(shí)用性。錢(qián)老從力學(xué)直覺(jué)角度看數(shù)學(xué)方程,使數(shù)學(xué)與力學(xué)融為一體。他們以后在飛行體模擬計(jì)算中,數(shù)十人使用計(jì)算工具、花半年時(shí)間算出5個(gè)有效位,與實(shí)驗(yàn)對(duì)比,結(jié)果沒(méi)有1個(gè)正確。而錢(qián)老一個(gè)人使用筆和紙、用兩星期時(shí)間即算出了2個(gè)有效位,并能與實(shí)驗(yàn)吻合。
高慶獅
高慶獅回憶:“我本喜歡抽象數(shù)學(xué),但為了國(guó)家需要兩次被動(dòng)員改行。”第一次是從抽象數(shù)學(xué)改讀計(jì)算數(shù)學(xué)專(zhuān)業(yè),這是當(dāng)時(shí)中國(guó)第一個(gè)與計(jì)算機(jī)科學(xué)有關(guān)的專(zhuān)業(yè)。第二次是從計(jì)算數(shù)學(xué)到計(jì)算機(jī)總體設(shè)計(jì)。由此,他得以進(jìn)入中國(guó)第一個(gè)計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)研究與設(shè)計(jì)小組。
進(jìn)入中國(guó)第一個(gè)計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)研究與設(shè)計(jì)小組后,他和后來(lái)也當(dāng)選中科院院士的沈緒榜以及總參的曲佩蘭,自學(xué)了前蘇聯(lián)的M—3和БЭСМ的翻譯資料,弄清了原理之后,便集中思考一個(gè)問(wèn)題:決定計(jì)算機(jī)發(fā)展變化的因素是什么?基礎(chǔ)——器件部件發(fā)展變化;需求——應(yīng)用需求的不同和發(fā)展;程序語(yǔ)言及其編譯的特點(diǎn);以及計(jì)算機(jī)本身系統(tǒng)硬軟融合的發(fā)展。
他們認(rèn)識(shí)到,在系統(tǒng)結(jié)構(gòu)設(shè)計(jì)之前必須首先分析用戶程序。
關(guān)注中國(guó)計(jì)算機(jī)發(fā)展的人知道,中國(guó)從1958年開(kāi)始研制的第一臺(tái)自行設(shè)計(jì)的大型通用電子管計(jì)算機(jī)——119、中國(guó)第一臺(tái)自行設(shè)計(jì)的大型通用晶體管計(jì)算機(jī)——109乙機(jī)、中國(guó)通用第一臺(tái)十萬(wàn)次/秒109丙機(jī)、中國(guó)第一臺(tái)向量計(jì)算機(jī)757的系統(tǒng)結(jié)構(gòu)設(shè)計(jì),都是使用這條途徑成功設(shè)計(jì)的。前兩臺(tái),高慶獅是系統(tǒng)結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人之一,后兩臺(tái)他是系統(tǒng)結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人。
研究?jī)?nèi)容
在系統(tǒng)結(jié)構(gòu)研究和工程設(shè)計(jì)方面,他是我國(guó)第一臺(tái)自行設(shè)計(jì)的大型通用電子管*和第一臺(tái)大型通用晶體管計(jì)算機(jī)體系結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人之一,(都是負(fù)責(zé)其指令形式和指令系統(tǒng)設(shè)計(jì)、實(shí)現(xiàn)該指令形式及指令系統(tǒng)的指令部件結(jié)構(gòu)和運(yùn)算部件的運(yùn)算算法)。中國(guó)第一臺(tái)具有分時(shí)-中斷系統(tǒng)和管理程序的計(jì)算機(jī),也是第一臺(tái)十萬(wàn)次/秒以上晶體管計(jì)算機(jī)(專(zhuān)為兩彈一星服務(wù),被譽(yù)為“功勛計(jì)算機(jī)”的109丙機(jī))體系結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人,我國(guó)第一臺(tái)大型向量計(jì)算機(jī)*(該機(jī)獲國(guó)家科技進(jìn)步一等獎(jiǎng)和科學(xué)院科技進(jìn)步特等獎(jiǎng))新體系結(jié)構(gòu)原理提出者和總體設(shè)計(jì)負(fù)責(zé)人,我國(guó)第一個(gè)管理程序(在109丙機(jī)上)總體設(shè)計(jì)負(fù)責(zé)人。
高慶獅
1973年5月,當(dāng)時(shí)國(guó)內(nèi)實(shí)際研制計(jì)劃200-500萬(wàn)次/秒離飛行體設(shè)計(jì)的需要相差甚遠(yuǎn)的背景下,設(shè)計(jì)了適合國(guó)情的,能夠全部(包括芯片)國(guó)產(chǎn)化的縱橫加工流水線向量?jī)|次巨型機(jī)方案(該原理與之后美國(guó)公布的,被譽(yù)為新一代巨型機(jī)GRAY-I相同)。1978年,提出了“虛共存細(xì)胞結(jié)構(gòu)縱橫加工向量機(jī)”原理,在此基礎(chǔ)上,設(shè)計(jì)了十億次和百億次巨型機(jī)方案。1993年,他在美國(guó)國(guó)際會(huì)議發(fā)表的“素?cái)?shù)地址快速計(jì)算”,在不增加任何器件條件下,徹底克服美國(guó)素?cái)?shù)存儲(chǔ)系統(tǒng)巨型機(jī)浪費(fèi)存儲(chǔ)空間的缺點(diǎn),被美國(guó)ComputerArchitectureNews,21(2)所收錄。之后在國(guó)際上已經(jīng)證明線性無(wú)沖突并行存儲(chǔ)方法不可能的時(shí)候,提出了“分段線性無(wú)沖突斜排存儲(chǔ)系統(tǒng)”,簡(jiǎn)化了實(shí)現(xiàn)的復(fù)雜性。
在并行算法方面,當(dāng)他發(fā)現(xiàn)1973年國(guó)際上提出的一類(lèi)遞推方程的并行算法效率隨規(guī)模N的增大而趨向于零的時(shí)候,1974年提出了常數(shù)效率的“縱橫加工并行算法”(比美國(guó)雜志上相近的論文早13年),90年代又全面擴(kuò)大常數(shù)效率算法的使用范圍,并提出全面推廣著名的Bitonic和Odd-even排序的“k-bitonic排序算法”。
1980年,科學(xué)院轉(zhuǎn)向面向未來(lái)智能領(lǐng)域應(yīng)用的巨型機(jī)系統(tǒng),其主要目的之一是探索計(jì)算機(jī)協(xié)助人類(lèi)進(jìn)行創(chuàng)造性勞動(dòng)的途徑。(1986年,這項(xiàng)研究工作得到錢(qián)學(xué)森的支持,經(jīng)過(guò)所內(nèi)、院內(nèi)、民口(科學(xué)院和教委)和軍民聯(lián)合論證后,最后再經(jīng)過(guò)在中南海論證,被列入863計(jì)劃。)他發(fā)現(xiàn)半個(gè)世紀(jì)人工智能的研究中,沒(méi)有提出任何一個(gè)人工系統(tǒng)(軟件、硬件或者混合)有一丁點(diǎn)智能。因此,他開(kāi)始研究人類(lèi)智能及其模擬和應(yīng)用,并且從研究人類(lèi)智能活動(dòng)基本模式入手,提出了人類(lèi)智能活動(dòng)的基本模式之一“宏變換”,發(fā)表了一組有關(guān)論文(包括多項(xiàng)式、線性、常數(shù)和局部搜索算法,全部比美國(guó)的同類(lèi)算法早)。
在機(jī)器翻譯方面,開(kāi)始是把人類(lèi)的語(yǔ)言能力作為人類(lèi)智能活動(dòng)基本能力進(jìn)行研究,一個(gè)小孩放在北京、東京、倫敦,他很快就學(xué)會(huì)了普通話、日語(yǔ)、英語(yǔ),不需要?jiǎng)e人“調(diào)他們的程序”。后來(lái),從東京出版的小冊(cè)子里,使他注意到自然語(yǔ)言處理,特別是機(jī)器翻譯有巨大的社會(huì)效益和經(jīng)濟(jì)效益前景。1980年末,他才開(kāi)始把機(jī)器翻譯作為獨(dú)立研究課題,1980-84他發(fā)現(xiàn)句子不是由詞線性排列構(gòu)成,而是由帶類(lèi)型變量的語(yǔ)義單元(語(yǔ)言模式)表示,和不帶類(lèi)型變量的語(yǔ)義單元表示(義元)像地圖拼盤(pán)那樣構(gòu)成。提出基于帶與不帶類(lèi)型變量的語(yǔ)義單元表示的條件文法。1985-89,組織和指導(dǎo)由他的博士生、碩士生及協(xié)作人員組成的20名研究開(kāi)發(fā)小組進(jìn)行開(kāi)發(fā)。
90年代又提出基于變換的多語(yǔ)言互譯新方法,并與公司合作進(jìn)行實(shí)驗(yàn)。從2000年開(kāi)始,提出國(guó)際上第一個(gè)不需要事先切分,其速度與語(yǔ)言知識(shí)組塊多少無(wú)關(guān)的多語(yǔ)言機(jī)器翻譯方法,及提高自然語(yǔ)言口語(yǔ)識(shí)別和文字手寫(xiě)(包括在線非在線)及印刷體識(shí)別的識(shí)別率的有效方法,并且前后申請(qǐng)了三個(gè)發(fā)明專(zhuān)利。一步一步向鎖定的實(shí)用(無(wú)語(yǔ)無(wú)倫次和無(wú)正錯(cuò)混雜)目標(biāo)推進(jìn)。因?yàn)闄C(jī)器翻譯巨大經(jīng)濟(jì)效益和社會(huì)效益的前提就是不能有無(wú)語(yǔ)無(wú)倫次和無(wú)正錯(cuò)混雜。他清楚看到,傳統(tǒng)方法和外國(guó)人的“新潮流”是不可能解決的。
在機(jī)器翻譯方面,他發(fā)現(xiàn)并提出句子不是由詞線性排列構(gòu)成,而是由帶類(lèi)型變量對(duì)語(yǔ)義單元的語(yǔ)言模式,以及不帶類(lèi)型變量的語(yǔ)義單元,即“義元”,像地圖拼盤(pán)那樣構(gòu)成。1985~1989年間,他組織20多人進(jìn)行開(kāi)發(fā);1990年之后,由他的學(xué)生陳肇雄博士組織另外兩個(gè)協(xié)作單位,進(jìn)行改進(jìn)和產(chǎn)品化,即EC-863,該成果獲國(guó)家科技進(jìn)步獎(jiǎng)一等獎(jiǎng)。上世紀(jì)90年代,他又提出基于變換的多語(yǔ)言互譯新方法。自2000年開(kāi)始,他全力研究實(shí)用(無(wú)語(yǔ)無(wú)倫次和無(wú)正錯(cuò)混雜)的多語(yǔ)言機(jī)器翻譯系統(tǒng),并且獲得了一組發(fā)明專(zhuān)利。
任務(wù)艱巨
1973年3月,計(jì)算所所長(zhǎng)被“解放”復(fù)出,便帶領(lǐng)研究所科技處處長(zhǎng)和他到錢(qián)學(xué)森處領(lǐng)取了巨型機(jī)的研究任務(wù)。錢(qián)老指出,發(fā)展中國(guó)飛行體任務(wù)急需巨型機(jī)。這項(xiàng)任務(wù)他已經(jīng)布置了多年,回答是中國(guó)條件不可能,研制計(jì)劃只有200萬(wàn)~500萬(wàn)次/秒。錢(qián)老希望,在中國(guó)的技術(shù)條件下,20世紀(jì)70年代提交億次巨型機(jī),80年代提交10億和百億次巨型機(jī),90年代提交千億和萬(wàn)億次巨型機(jī)。
中科院計(jì)算所把這項(xiàng)任務(wù)交給了高慶獅。
1973年5月,高慶獅在分析美國(guó)巨型機(jī)的優(yōu)缺點(diǎn)之后,提出了實(shí)現(xiàn)向量語(yǔ)言的縱橫加工向量巨型機(jī)原理、可全部實(shí)現(xiàn)國(guó)產(chǎn)化的4-流水線和20兆電路的億次巨型機(jī)方案。高慶獅知道,巨型機(jī)都是基于并行計(jì)算的,但是計(jì)算題目并不都適合并行計(jì)算。由于串行算法嚴(yán)重影響巨型機(jī)的使用效率和使用范圍,高慶獅在研究巨型計(jì)算機(jī)的同時(shí)研究了串行算法并行化。
1974年,他提出了縱橫加工并行算法,比美國(guó)雜志上相近的論文早13年。此后,他又提出了后來(lái)被全面推廣使用的Bitonic和Odd-even兩種排序的k-bitonic排序算法。隨后,他與其他科學(xué)家一起提出了757模型機(jī)的研究,并在1975年7月通過(guò)全國(guó)論證會(huì)后正式撥款上馬。但不久,老所長(zhǎng)被擠出計(jì)算所,造反派打著“四人幫”的“反對(duì)資產(chǎn)階級(jí)法權(quán)”的旗號(hào)進(jìn)行阻擾,研制工作停頓,他無(wú)法完成國(guó)家巨型機(jī)任務(wù)。
在這種情況下,他得到了錢(qián)老的指點(diǎn):鼓足勇氣給鄧小平寫(xiě)信。他們沒(méi)有想到,鄧小平真的作了批示。不久,胡耀邦調(diào)入中科院工作,很快開(kāi)始幫助解決問(wèn)題。然而,好景不長(zhǎng),“四人幫”再次發(fā)起了“反擊鄧小平右傾翻案風(fēng)”,高慶獅立刻變成了“鄧小平伸到科學(xué)院的黑手”。當(dāng)造反派準(zhǔn)備批斗他時(shí),“四人幫”卻倒臺(tái)了,他又躲過(guò)了一劫。
輝煌成就
1978年,他提出了虛共存細(xì)胞結(jié)構(gòu)縱橫加工向量機(jī)原理,在此基礎(chǔ)上,設(shè)計(jì)了十億次和百億次巨型機(jī)方案。他發(fā)表在國(guó)際系統(tǒng)結(jié)構(gòu)年會(huì)的“素?cái)?shù)地址快速計(jì)算”,克服美國(guó)素?cái)?shù)巨型機(jī)浪費(fèi)存儲(chǔ)空間的缺點(diǎn),被美國(guó)《計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)新聞》(ComputerArchitectureNews)收錄。在串行算法并行化方面,他1974年提出了優(yōu)化的縱橫加工并行算法,比美國(guó)雜志上相近的論文早13年。之后又全面擴(kuò)大優(yōu)化算法的使用范圍,并提出全面推廣著名的Bitonic和Odd-even排序的k-bitonic排序算法。
1980年,中國(guó)科學(xué)院轉(zhuǎn)向面向未來(lái)智能領(lǐng)域的巨型機(jī)系統(tǒng),1986年被列入“863”計(jì)劃。在這項(xiàng)研究中,他發(fā)現(xiàn),人類(lèi)智能活動(dòng)的基本方法的模式之一是“宏變換”。在此研究中,他在國(guó)際會(huì)議及國(guó)內(nèi)外學(xué)報(bào)上,發(fā)表了一組有關(guān)宏變換和選擇跳躍搜索的論文,包括多項(xiàng)式算法、線性算法、局部搜索和常數(shù)算法,這些算法都比美國(guó)同類(lèi)算法早。
2000年,他開(kāi)始研究網(wǎng)絡(luò)安全問(wèn)題,提出了國(guó)際上第一個(gè)從計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)角度來(lái)防止病毒攻擊和盜竊的方案,并獲得了發(fā)明專(zhuān)利。接著,他又提出了提高自然語(yǔ)言口語(yǔ)識(shí)別和文字手寫(xiě),其中,包括在線非在線及印刷體識(shí)別的識(shí)別率的有效方法,再次獲得了發(fā)明專(zhuān)利。
在網(wǎng)絡(luò)安全方面,1999年底2000年初,他看到靠鑒別認(rèn)證軟件來(lái)發(fā)現(xiàn)病毒難于事先進(jìn)行,于是提出了如果病毒進(jìn)入了計(jì)算機(jī)系統(tǒng),從系統(tǒng)結(jié)構(gòu)角度采取措施(虛擬空間隔離)來(lái)防止“病毒對(duì)系統(tǒng)內(nèi)需要保護(hù)的軟硬件進(jìn)行盜竊或破壞”比較容易。提出了在國(guó)際上第一個(gè)防止病毒攻擊和盜竊的計(jì)算機(jī)體系結(jié)構(gòu),申請(qǐng)并獲得了兩個(gè)相關(guān)的發(fā)明專(zhuān)利。
2004年,他發(fā)現(xiàn)1965年Zadeh提出的模糊集合論不完備(不能正確描述客觀世界中的各種模糊現(xiàn)象)和不可能有補(bǔ)集等兩個(gè)缺點(diǎn)。Zadeh先生誤把“共軛”定義成為“補(bǔ)集”導(dǎo)致了思維、邏輯和概念混亂的錯(cuò)誤。Zadeh先生沒(méi)能接受數(shù)學(xué)家們的批評(píng),反而把錯(cuò)誤說(shuō)成為“對(duì)傳統(tǒng)的挑戰(zhàn)”、“擺脫傳統(tǒng)的約束”,誤導(dǎo)了人們錯(cuò)誤地以為模糊集合論必須與經(jīng)典數(shù)學(xué)理論相悖的更嚴(yán)重錯(cuò)誤,導(dǎo)致40年后的今天,模糊集合論仍然不是一門(mén)嚴(yán)格的數(shù)學(xué)理論。他指出模糊集合之間存在著關(guān)系(獨(dú)立、不相交、包含、相交而不包含),在提出模糊集合之間的相關(guān)系數(shù)(ζB/A(u)=mA?B(u)/mA(u))及隸屬度統(tǒng)一計(jì)算公式的基礎(chǔ)上,提出與概率論的基本部分同構(gòu),與經(jīng)典集合論一致,與通常邏輯、思維和概念相一致的新模糊集合論(突出統(tǒng)計(jì)背景的C-,屏蔽統(tǒng)計(jì)背景的C*-)。把模糊集合論扳回精確科學(xué)軌道?朔薢adeh模糊集合論的全部錯(cuò)誤和缺點(diǎn)。并且證明了它們可以成為“一套理論,多種解釋”。一套理論,就是概率論。多種解釋?zhuān)褪歉怕收摻忉、模糊集合論解釋、可信度解釋、可能度解釋、?quán)函數(shù)解釋?zhuān)鹊雀鞣N“不確定度量”的解釋。最近又發(fā)現(xiàn)J.?ukasiewicz多值(命題)邏輯理論犯有類(lèi)似毛病和相似的克復(fù)方法。
他指導(dǎo)過(guò)或正在指導(dǎo)的博士碩士研究生有近百名。曾經(jīng)參加并指導(dǎo)兩批研究生及有關(guān)人員創(chuàng)匯百萬(wàn)美元以上。在國(guó)內(nèi)外一級(jí)學(xué)報(bào)、及國(guó)外國(guó)際會(huì)議等發(fā)表過(guò)70多篇學(xué)術(shù)論文,其中第一作者約50篇。此外還有30多篇有關(guān)重大工程的論證報(bào)告。近幾年來(lái),已經(jīng)申請(qǐng)六項(xiàng)發(fā)明專(zhuān)利(其中三個(gè)已獲,三個(gè)在審理中)。獲國(guó)家級(jí)一等獎(jiǎng)兩個(gè)(集體,一項(xiàng)他是新原理提出者和總體設(shè)計(jì)負(fù)責(zé)人,另一項(xiàng)他是系統(tǒng)結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人之一)?茖W(xué)院特等獎(jiǎng)一個(gè)(集體)。獲全國(guó)科學(xué)大會(huì)科學(xué)重大成果獎(jiǎng)的項(xiàng)目中,有一項(xiàng)他是負(fù)責(zé)人,一項(xiàng)是系統(tǒng)結(jié)構(gòu)負(fù)責(zé)人,一項(xiàng)是系統(tǒng)結(jié)構(gòu)負(fù)責(zé)人之一,還有一項(xiàng),他參加其總功能指標(biāo)的確定。1978年被評(píng)為全國(guó)科學(xué)大會(huì)先進(jìn)工作者(全國(guó)勞模),1984年被國(guó)家科委授予第一批有突出貢獻(xiàn)專(zhuān)家稱(chēng)號(hào)。
科研成果
從事大型、巨型計(jì)算機(jī)體系結(jié)構(gòu)(1958~1980),并行算法(1973年起),自然語(yǔ)言及其處理(1980年起),人類(lèi)智能及其模擬和應(yīng)用(1980年起),網(wǎng)絡(luò)安全(2000年起)等等的科學(xué)研究工作和工作設(shè)計(jì),為中國(guó)第一臺(tái)自行設(shè)計(jì)的大型通用電子管和第一臺(tái)大型通用晶體管計(jì)算機(jī)體系結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人之一;中國(guó)第一臺(tái)10萬(wàn)次/秒以上晶體管計(jì)算機(jī)(專(zhuān)為兩彈一星研制的被譽(yù)為“功勛計(jì)算機(jī)”的109丙機(jī))體系結(jié)構(gòu)設(shè)計(jì)負(fù)責(zé)人;中國(guó)第一臺(tái)超大型向量計(jì)算機(jī)新體系結(jié)構(gòu)原理提出者和總體設(shè)計(jì)負(fù)責(zé)人;中國(guó)第一個(gè)管理程序(在109丙機(jī)上)總體設(shè)計(jì)負(fù)責(zé)人。研究并指導(dǎo)過(guò)兩批博士碩士研究生創(chuàng)匯300多萬(wàn)美元。獲國(guó)家級(jí)一等獎(jiǎng)兩個(gè)(集體一項(xiàng)是理論提出者和總體設(shè)計(jì)負(fù)責(zé)人,另一項(xiàng)是體系設(shè)計(jì)負(fù)責(zé)人之一);科學(xué)院特等獎(jiǎng)一個(gè)(集體);
全國(guó)科學(xué)大會(huì)重大成果獎(jiǎng)四個(gè)。目前主要研究方向?yàn)椋?、計(jì)算機(jī)應(yīng)用;2、并行算法與并行處理;3、自然語(yǔ)言及其處理;4、人類(lèi)智能及其模擬與應(yīng)用。專(zhuān)著有3部:《向量計(jì)算機(jī)》(科學(xué)出版社,1984)、《計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)論文選編》(新華出版社,1985)、《智能系統(tǒng)基礎(chǔ)與技術(shù)》(北京大學(xué)出版社,1990)。在國(guó)內(nèi)外一級(jí)學(xué)報(bào)及國(guó)際會(huì)議等發(fā)表過(guò)《一個(gè)帶有可變結(jié)構(gòu)的總線的常數(shù)排序處理機(jī)陣列》、《無(wú)沖突存取系統(tǒng)的一類(lèi)斜排方法》,TechnicalAnalysisMacranslation,ThePrincipleofMacro-Transform,AVectorComputerforSparseMatrixOperations等70多篇學(xué)術(shù)論文,此外還有如《通用大型晶體管計(jì)算機(jī)109乙機(jī)系統(tǒng)設(shè)計(jì)與邏輯設(shè)計(jì)》、《通用大型電子管計(jì)算機(jī)119機(jī)系統(tǒng)設(shè)計(jì)與邏輯設(shè)計(jì)》等30多篇有關(guān)重大工程的論證報(bào)告。
人物論文
專(zhuān)著:新模糊集合論(Zadeh模糊集合論與?ukasiewicz多值邏輯的缺點(diǎn)和錯(cuò)誤及其克服),機(jī)械工業(yè)出版社,2006。 “基于語(yǔ)義單元表示樹(shù)剪枝的高速多語(yǔ)言機(jī)器翻譯方法”,軟件學(xué)報(bào),Vol.16,No.11,pp.1909-1919,2005.(withX.Y.Gao)
發(fā)明專(zhuān)利:ZL01131689.6;200310114331.X;200410062566.3.
“類(lèi)人機(jī)器翻譯原理,”計(jì)算機(jī)研究與發(fā)展,Vol.26,No.2,pp.1-8,1989.
人類(lèi)智能及其模擬(1980-現(xiàn)在):
并行算法(1973-2004):
“一類(lèi)廣函數(shù)----縱橫矩陣加工廣函數(shù),”計(jì)算機(jī)學(xué)報(bào),Vol.28,No.11,pp.1967-1977,2005.
“K-Bitonicsort”,ScienceinChina(E),Vol.42,pp.157-164.1999.
“Sloping-and-Shaking----MultiwayMergingandSorting,”SCIENCEINCHINA(E),40(1997),3,pp.225-234.
“一類(lèi)遞推方程的另一種(常數(shù)效率的)有效的并行算法,”計(jì)算機(jī)應(yīng)用與應(yīng)用數(shù)學(xué)學(xué)報(bào),Vol.2,No.8,1974.
并行巨型機(jī)系統(tǒng)結(jié)構(gòu)(1973-1994):
“無(wú)沖突存取系統(tǒng)的一類(lèi)斜排方法”,中國(guó)科學(xué)(A),24(1994),10,pp.1099-1107.
專(zhuān)著:“向量巨型計(jì)算機(jī),”科學(xué)出版社,1984.
“虛共存縱橫加工細(xì)胞結(jié)構(gòu)向量巨型機(jī),”計(jì)算機(jī)學(xué)報(bào),Vol.2,No.1,1979.(全文被轉(zhuǎn)載于AustralianComputerScienceCommunications,Vol.1,No.4,1979.)(“AnotherApproachtoMakeaSupercomputerbyMicroprocessorswithVirtualCommonMemory,”P(pán)roceedingsofthe1980InternationalConferenceonParallelProcessing,USA,1980.)
“縱橫加工流水線向量計(jì)算機(jī),”計(jì)算機(jī)學(xué)報(bào),Vol.1,No.1,1978.(“TheArchitectureoftheFirstVectorComputerofChina,”P(pán)roceedingsofthe1979InternationalConferenceonParallelProcessing,USA,1979.)
計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)(1957-1973):
“內(nèi)外一致語(yǔ)言,”1963全國(guó)計(jì)算機(jī)年會(huì)文集,1963.(“InternalandExternalUniformLanguage--ADirectly-ExecutedHighLevelLanguageComputer,”P(pán)roceedingsoftheInternationalWorkshoponHighLevelLanguageComputerArchitecture,USA,1980.)
“高速多位一除原理,”中科院計(jì)算技術(shù)研究所內(nèi)部報(bào)告,1959.(1962年提講師的答辯論文,已收入1984專(zhuān)著“向量巨型計(jì)算機(jī)”中).
人物評(píng)價(jià)
從“鄧小平伸到科學(xué)院的黑手”,到至今活躍在計(jì)算科學(xué)前沿的中科院院士,高慶獅的30年濃縮了中國(guó)科學(xué)事業(yè)一段極不平凡的發(fā)展歷程。30年過(guò)去了,一個(gè)新的30年正待起航,已經(jīng)74歲的高慶獅仍然躊躇滿志。
目前,已近古稀之年的高慶獅院士仍然致力于人類(lèi)智能及其模擬和應(yīng)用的研究。他向記者表示,雖然這是一個(gè)短期內(nèi)無(wú)法攻克的難題,需要經(jīng)過(guò)幾代人的艱苦努力才能完全解決,但只要在有生之年能為后人做一些基礎(chǔ)性工作也無(wú)怨無(wú)悔。