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

  • 2022 年 1 月 27 日
  • AI


作者 | 西西
編輯 | 陳彩嫻
昨日，中國電腦學會（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年，他在廣州大學的支援下創立了廣州景中教育軟體有限公司並擔任公司董事長。
消息鏈接：

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


雷峰網


Tags:

VirMach 便宜 VPS