胡守仁、張景中獲2021年「CCF終身成就獎」!他們為中國計算機事業的發展做出了卓越貢獻

語言: CN / TW / HK

作者 | 西西

編輯 | 陳彩嫻

昨日,中國計算機學會(CCF)釋出2021年「CCF終身成就獎」評選結果公告, 國防科技大學胡守仁教授、廣州大學張景中教授 入選!

「CCF終身成就獎」始設於2010年,授予70歲以上的在電腦科學、技術和工程領域取得重大突破,有卓著成就與巨大貢獻的資深中國計算機科技工作者,由CCF理事長會議推薦候選人,每年評選一次,每次不超過2人。

從2010年至今,「CCF終身成就獎」的獲得者均是推動中國計算機事業發展的著名科學家,他們的名單如下:

  • 2010年: 張效祥 院士,上世紀50年代末主持研製成功我國第一臺大型通用電子計算機——104機; 夏培肅 院士,1960年支援研製成功我國第一臺自行設計的通用電子數字計算機——107機;

  • 2011年: 徐家福 教授,我國最早的兩位計算機軟體博士生導師之一,在國內自行研製的J-501機上研製出中國第一個ALGOL編譯系統; 楊芙清 院士,中國軟體領域奠基人之一,支援研製了中國第一臺百萬次積體電路計算機150機作業系統;

  • 2012年: 金怡濂 院士,上世紀70年代主持研製了國內首臺雙處理器架構的大型計算機,80年代中期領導開展我國第一臺10億次巨型機的研製; 汪成為 院士,我國863計劃與國防973計劃的重要成員與傑出貢獻者;

  • 2013年: 陳俊亮 院士,有線600/1200波特及無線600波特資料傳輸裝置的主要研製者之一,研製出我國第一臺「DS-2000程控數字市話交換機」; 董韞美院 士,上世紀60年代中期主持研製出國內最早的實用高階程式語言BCY;

  • 2014年: 陸汝鈐 院士,我國知識工程和基於知識的軟體工程領域奠基性者,設計並主持研製了知識工程語言TUILI和大型專家系統開發環境「天馬」,首次把異構型DAI和機器辯論引進人工智慧領域,發表了國際上第一篇異構型分散式人工智慧文章; 張鈸 院士,將數學方法引入人工智慧,提出基於統計推斷的啟發式搜尋、基於拓撲的空間規劃、基於關係矩陣的時間規劃,以及基於規劃的神經網路學習等新方法;

  • 2015年: 倪光南 院士,參與研製我國自行設計的第一臺電子管計算機(119機),提出並實現在漢字輸入中應用聯想功能,主持開發的聯想式漢字系統較好地解決了漢字處理中許多技術問題; 周興銘 院士,主持研製了我國第一臺全數字實時模擬計算機“銀河-仿1”和我國第一臺面向科學/工程計算的10億次級“銀河-II”並行巨型計算機系統;

  • 2016年: 沈緒榜 院士,中國晶片計算機的開拓者和倡導者,上世紀70年代成功研製出大規模積體電路16位微計算機,實現了中國晶片計算機的歷史性突破;唐 唐澤聖 教授,中國計算機圖形學及相關領域的開創者、引領者,上世紀80年代率先在國內開展計算機圖形學及CAD技術和科學計算視覺化的研究;

  • 2017年: 胡啟恆 院士,中國在模式識別與人工智慧領域最早的探索者之一,中國網際網路早期發展的重要推手; 李伯虎 院士,我國計算機模擬技術和製造業資訊化的開拓者之一,參與研製了我國首臺航天用M2大型模擬機、領導研製了M6混合機的自動尋優機;

  • 2018年: 何新貴 院士,上世紀70年代在國產計算機上成功研製出多個FORTRAN編譯系統,在編譯、資料庫、模糊邏輯、最優化處理和軍用軟體等領域做出了突出貢獻; 周巢塵 院士,我國分散式程式設計理論研究的先驅者和開拓者之一,上世紀90年代提出的時段演算理論開創了實時系統形式設計的新途徑;

  • 2019年: 沈昌祥 院士,為發展我國的資訊保安和可信計算技術做出了系統性和創造性的重大貢獻; 魏道政 教授,我國計算機電路測試和容錯計算領域的開拓者之一,他提出的主路徑敏化法是70年代電子測試技術領域具有里程碑意義的成果,在計算機電路測試領域做出了系統性和創造性的重大貢獻;

  • 2020年: 陳國良 院士,在平行計算的理論研究、工程應用和教學等方面做出了卓越貢獻,建立了中國第一個國家高效能運算中心; 孫永強 教授,我國第一代計算機軟體科研工作者,20世紀60年代領導實現了國內首批高階程式語言編譯器——911編譯程式系統

由此可見,2021年「CCF終身成就獎」的獲獎者也是人中龍鳳。

1

胡守仁

1926年出生,浙江江山人,1949年畢業於浙江大學電機系,1952年到哈爾濱軍事工程學院工作,歷任助教、教研室主任、系副主任,1958年開始涉足計算機領域,40年來一直從事計算機的教學與研究,主持了多臺計算機系統的研究與開發。

後來,他又擔任國防科技大學教授、計算機研究所副所長,中國計算機學會理事。共獲國家級獎勵3項,部委級獎勵10 多項,出版專著4 部,編有《計算機概論》,合編有《巨型計算機系統結構》等,發表學術論文百篇以上。

他獲得「CCF終身成就獎」的理由是:

胡守仁教授是我國第一代計算機體系結構的科技工作者,長期從事高效能運算機系統的研究工作,作為負責人之一完成了151—Ⅳ百萬次大型計算機和我國首臺億次巨型計算機「銀河Ⅰ」的研製,為我國高效能運算機事業做出了卓越貢獻。

1984年,銀河機獲國防科技成果獎特等獎。

關於胡守仁教授的研究經歷,百度百科有一段動人的描述:

胡教授的時間從來是以分秒計算的。40 多年來,他焚舟破釜,殫誠畢慮,在我國計算機科研領域奮勇開拓並取得卓越成就。1951 年,這位浙江大學電機系畢業的高材生,在西子湖畔被老師和同學送上了隆隆北去的火車,一個星期後抵達吉林通化,從此穿上軍裝,開始了在國防科研領域的艱難跋涉。

1958 年是胡守仁人生的一次轉折。他到海上實習, 目睹了我國海軍裝備的落後狀況。那時,人民海軍處在建立階段,我們從蘇聯引進的魚雷快艇,僅靠一個機械式的三角杆作計算器,這種古老陳舊的計算方法根本無法適應實戰、夜戰、近戰的需要。部隊的同志說,魚雷快艇高速行駛,顛簸厲害,指揮員用拉桿計算目標引數很不準確,在夜間幾乎不能指揮作戰。胡守仁的心被強烈地震撼了, 他暗暗地萌發了自己研製魚雷快艇指揮儀的念頭。

此時, 中央軍委決定研製我國自己的計算機,並把這一任務交給了胡守仁所在的「哈軍工」。學校成立了電子數字計算機研製組,胡守仁被任命為該專案的主要負責人。胡守仁說,當時他連計算機的一般概念都不知道,起步十分艱難。為了實現零的突破,他和戰友們邊學習,邊討論,邊研究,邊實踐。懷著對祖國的赤子之心,他們像打仗的戰士安營紮寨,吃住都在實驗室,工作不分晝夜,實在累了就睡一下,爬起來又接著幹。經過半年多的日夜奮戰, 中國第一臺計算機終於問世了!

砥兵礪伍,眾志成城。此後,胡守仁在計算機領域一發不可收: 1959 年他負責籌辦我國高等院校第一個計算機專業,開始了我國最早的計算機教學;1962 年,他主持研製出了我國第一臺教學計算機;1968 年他主持研製出了我國第一臺車載靶場———資料錄取和處理計算機;1970 年他參加了我國第一臺百萬次———“遠望一號”測量船中心計算機的攻關,並作為計算機系副主任兼任“718”研究室主任和該任務的技術總體組組長,第一次提出了變結構的思想,大大提高了計算機的運算速度和可靠性;1976 年以後,他相繼參加了我國第一臺億次巨型計算機“銀河Ⅰ”、第一臺數字模擬機“銀河模擬Ⅰ”的研製,兩次擔任技術總體組組長……這一個個“中國第一”,像串珠一般,寫照著胡守仁為使我國計算機事業能在世界上佔有一席之地而奮鬥不息的壯麗人生。

2

張景中

1936年出生於河南汝南縣,本科畢業於北京大學數學力學系,歷任中國科學技術大學數學系講師與副教授、中國科學院研究員,1993年擔任博士生導師,1995年當選中國科學院院士,1996年初創辦了廣州大學(原廣州師範學院)計算機教育軟體研究所並擔任所長、教授,主要從事機器證明、教育數學、距離幾何及動力系統研究。

他獲得「CCF終身成就獎」的理由是:

張景中教授提出了定理機器證明的數值並行方法,解決了初等圖形在歐氏空間嵌入等問題,建立了幾何定理可讀證明自動生成的原理和方法,推動了機器定理證明智慧化技術的發展。長期致力於科普工作並做出了突出貢獻。

他在幾何定理可讀機器證明、教育數學、距離幾何及動力系統、學科教育資訊科技學科領域以及數學科普做出了突出的貢獻。主要成果包括:

  • 計算機自動推理:(1)提出以面積方法為基礎的消點法,實現了幾何定理可讀證明的自動生成,使計算能夠給出容易理解和檢驗的推理演算或證明過程,被國際同行譽為「是自動推理領域三十年來最重要的進展,是計算機處理幾何問題道路上的里程碑」;(2)提出用近似計算獲取準確值的理論和基本方法;(3)建立了復係數多項式的完全判別系統;(4)提出了幾何定理可讀證明自動生成的點幾何方法。

  • 度量幾何與幾何不等式:(1)給出初等圖形在歐氏空間實現的充要條件;(2)發現並證明了有限質點組的基本的不等式;(3)證明了高維單形上Bernstein多項式凸性定理的逆定理;(4)解決了古典的單位圓規基本作圖問題。

  • 動力系統與迭代:(1)給出逐段單調連續函式迭代根存在充要條件;(2)給出單調連續函式生成的迭代半群的唯一性準則;(3)給出費根堡函式方程連續解構造方法。

  • 教育數學:提出教育數學的基本觀點和理論,致力於通過把數學變得更容易而改革數學教育。建立有章可循的幾何解題方法和相應的公理體系、提出不用極限概念的微積分學基本理論與方法。

  • 教育資訊科技:提出學科智慧教育平臺的概念和基本理論方法,並將數學機械化的思想方法和成果用於教育軟體研發,創作了《Z+Z智慧教育平臺》,獲香港國際發明博覽會金獎。

張景中教授堅持產學研結合的發展道路。2002年,他在廣州大學的支援下創立了廣州景中教育軟體有限公司並擔任公司董事長。

訊息連結:

https://mp.weixin.qq.com/s/9TtRNoY-HIg1EJzcUyUqEA

雷峰網 (公眾號:雷峰網)

雷峰網版權文章,未經授權禁止轉載。詳情見 轉載須知

「其他文章」