欧美在线一级ⅤA免费观看,好吊妞国产欧美日韩观看,日本韩国亚洲综合日韩欧美国产,日本免费A在线

    <menu id="gdpeu"></menu>

  • 唐稚松

    唐稚松

    唐稚松先生是中國(guó)計(jì)算機(jī)科學(xué)和軟件領(lǐng)域的主要學(xué)術(shù)帶頭人,在結(jié)構(gòu)程序設(shè)計(jì)理論、程序語(yǔ)言、形式文法、漢字信息處理、軟件工程等多個(gè)方面均有卓越建樹(shù)。他在關(guān)鍵時(shí)刻發(fā)表的指導(dǎo)性的論文,對(duì)中國(guó)計(jì)算機(jī)科學(xué)和軟件理論的發(fā)展有著重要影響。

    計(jì)算機(jī)科學(xué)與軟件工程專家。湖南長(zhǎng)沙人。1950年畢業(yè)于清華大學(xué)哲學(xué)系,1952年同系研究生畢業(yè)。中國(guó)科學(xué)院軟件研究所研究員。60年代中從事自動(dòng)機(jī)理論研究,證明計(jì)算機(jī)轉(zhuǎn)移命令的許多結(jié)構(gòu)性性質(zhì),如轉(zhuǎn)移命令可用循環(huán)代替,它比Bohm-Jacopi定理早一年。70年代中從事結(jié)構(gòu)程序設(shè)計(jì)與結(jié)構(gòu)化語(yǔ)言的研究,推動(dòng)了國(guó)內(nèi)這方面工作的開(kāi)展。80年代初開(kāi)始從事時(shí)序邏輯語(yǔ)言XYZ/E及以它為基礎(chǔ)的軟件工程工具與環(huán)境系統(tǒng)XYZ系統(tǒng)的研究,將時(shí)序邏輯理論與軟件工程技術(shù)有機(jī)結(jié)合起來(lái),以提高軟件開(kāi)發(fā)自動(dòng)化的水平,從而提高其生產(chǎn)率。其中時(shí)序邏輯語(yǔ)言XYZ/E是世界上第一個(gè)可執(zhí)行的時(shí)序邏輯語(yǔ)言。1991當(dāng)選為中國(guó)科學(xué)院院士。2008年7月21日3時(shí)31分在北京逝世,享年83歲。

    唐稚松 - 人物簡(jiǎn)介

    唐稚松先生是中國(guó)計(jì)算機(jī)科學(xué)和軟件領(lǐng)域的主要學(xué)術(shù)帶頭人,在結(jié)構(gòu)程序設(shè)計(jì)理論、程序語(yǔ)言、形式文法、漢字信息處理、軟件工程等多個(gè)方面均有卓越建樹(shù)。他在關(guān)鍵時(shí)刻發(fā)表的指導(dǎo)性的論文,對(duì)中國(guó)計(jì)算機(jī)科學(xué)和軟件理論的發(fā)展有著重要影響。

    唐稚松

    唐院士主要從事數(shù)理邏輯、自動(dòng)機(jī)理論、程序語(yǔ)言與編譯方法、形式語(yǔ)義、軟件開(kāi)發(fā)方法、工具與環(huán)境等方面的研究。1980年任中國(guó)科學(xué)院計(jì)算所及軟件研究所研究員并任第一批博士生導(dǎo)師,1991年起任中國(guó)科學(xué)院院士。先后獲得國(guó)家自然科學(xué)一等獎(jiǎng)和1996年何梁何利科學(xué)與技術(shù)進(jìn)步獎(jiǎng)。

     早在1965年,唐稚松先生在《數(shù)學(xué)學(xué)報(bào)》發(fā)表了一篇關(guān)于計(jì)算機(jī)指令系統(tǒng)性質(zhì)的論文,提出轉(zhuǎn)移指令可用循環(huán)替代。這一重要結(jié)果比國(guó)外同行的類似結(jié)果早發(fā)表一年。二十世紀(jì)七十年代中期,分析總結(jié)了國(guó)際上結(jié)構(gòu)程序設(shè)計(jì)研究方面的大量資料,完成了長(zhǎng)篇論文“結(jié)構(gòu)程序設(shè)計(jì)與結(jié)構(gòu)程序語(yǔ)言”。在此基礎(chǔ)上,他設(shè)計(jì)了一個(gè)廣譜的結(jié)構(gòu)程序語(yǔ)言,取名為系列化語(yǔ)言族,簡(jiǎn)稱XYZ系統(tǒng)。1978年,唐稚松先生在IFIP(國(guó)際信息處理協(xié)會(huì))專家組會(huì)議上,介紹了XYZ系統(tǒng)的概念及設(shè)計(jì)思想,引起與會(huì)者的強(qiáng)烈反響。1980年,他成為來(lái)自中國(guó)的第一位IFIP專家組成員。

    唐稚松(1925-2008)先生是中國(guó)科學(xué)院院士、著名的計(jì)算機(jī)科學(xué)家、中國(guó)科學(xué)院軟件研究所研究員、計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室名譽(yù)主任,中國(guó)計(jì)算機(jī)科學(xué)和軟件工程研究的先驅(qū)和開(kāi)拓者之一。為中國(guó)科學(xué)事業(yè)的振興兢兢業(yè)業(yè)奮斗近六十載,貢獻(xiàn)了畢生精力,于2008年7月21日3時(shí)31分在北京因病醫(yī)治無(wú)效逝世,享年83歲。唐稚松先生的一生是光輝的一生。

    唐稚松 - 學(xué)術(shù)成就

     唐稚松先生的研究工作得到了包括圖靈獎(jiǎng)獲得者Pnueli教授在內(nèi)的眾多國(guó)外著名學(xué)者的高度評(píng)價(jià)。1995年,由斯坦福大學(xué)Z.Manna教授提議,國(guó)際學(xué)術(shù)界為慶祝唐稚松先生70壽辰在北京召開(kāi)了學(xué)術(shù)研討會(huì)。會(huì)議論文集由WorldScientific出版社出版。

    唐稚松先生在國(guó)內(nèi)外發(fā)表學(xué)術(shù)論文逾百篇,并著有詩(shī)詞作品集《桃蹊詩(shī)存》(桃蹊是他的筆名)。專著《時(shí)序邏輯程序設(shè)計(jì)與軟件工程》上、下冊(cè)(科學(xué)出版社1999、2001)獲2003年國(guó)家圖書獎(jiǎng)?wù)姜?jiǎng)和全國(guó)優(yōu)秀科技圖書獎(jiǎng)一等獎(jiǎng)。唐稚松先生曾任《計(jì)算機(jī)學(xué)報(bào)》、《軟件學(xué)報(bào)》、《自然科學(xué)進(jìn)展》、《JournalofSymbolicComputation》等雜志的編委,中國(guó)軟件行業(yè)協(xié)會(huì)顧問(wèn)、中文信息處理學(xué)會(huì)常務(wù)理事、自然辯證法學(xué)會(huì)理事等;曾任武漢大學(xué)、重慶大學(xué)、中南工業(yè)大學(xué)名譽(yù)教授,中國(guó)科學(xué)技術(shù)大學(xué)、西北大學(xué)、貴州大學(xué)等校兼職教授。

    1979年,唐稚松先生應(yīng)邀訪問(wèn)了美國(guó)斯坦福大學(xué)。此后又應(yīng)邀先后到歐美和日本等國(guó)的30多所大學(xué)、科研機(jī)構(gòu)講學(xué)和訪問(wèn)。在此期間,他為XYZ建立了時(shí)序邏輯基礎(chǔ)。1983年IFIP巴黎大會(huì)上,他提出了世界上第一個(gè)可執(zhí)行時(shí)序邏輯語(yǔ)言XYZ/E。該語(yǔ)言第一次將狀態(tài)轉(zhuǎn)換的控制機(jī)制引入到邏輯系統(tǒng)之中,又第一次將這種時(shí)序邏輯形式化理論與最新軟件技術(shù)結(jié)合起來(lái)。這一成果被國(guó)際著名計(jì)算機(jī)專家稱為軟件工程領(lǐng)域中發(fā)展可執(zhí)行時(shí)序邏輯的先驅(qū)。由于在基于時(shí)序邏輯的軟件工程環(huán)境理論和系統(tǒng)方面的研究成就,他榮獲1989年國(guó)家自然科學(xué)獎(jiǎng)一等獎(jiǎng)和1996年何梁何利科學(xué)技術(shù)進(jìn)步獎(jiǎng)。

    唐稚松 - 人生歷程

    1925年8月7日(農(nóng)歷),唐稚松先生出生于湖南長(zhǎng)沙。因生父唐子誠(chéng)貧病早逝,自幼過(guò)繼給寡伯母朱純軒為子。其祖父唐成之,以藏中醫(yī)書聞名湖南,是清末民初在長(zhǎng)沙最早創(chuàng)辦新型學(xué)校的人士之一。

    1940-1944年,唐稚松先后在湖南長(zhǎng)沙著名的明德中學(xué)初中部和省立第一中學(xué)高中部學(xué)習(xí),1945-1950年在西南聯(lián)合大學(xué)及清華大學(xué)哲學(xué)系本科學(xué)習(xí)。在學(xué)期間,他文理各科成績(jī)均很突出,尤以詩(shī)詞受重于師長(zhǎng)。

    1950-1952年,唐稚松先生在清華大學(xué)研究生院學(xué)習(xí),專業(yè)為數(shù)理邏輯。1952年8月至1956年10月,任中國(guó)人民大學(xué)數(shù)學(xué)教研室講師;1956年10月至1962年10月,任中國(guó)科學(xué)院數(shù)學(xué)研究所邏輯室助理研究員;1962年10月至1985年3月,先后任中國(guó)科學(xué)院計(jì)算技術(shù)研究所助理研究員、副研究員和研究員;1985年3月起任中國(guó)科學(xué)院軟件研究所研究員;1991年當(dāng)選為中國(guó)科學(xué)院學(xué)部委員(院士)。

    唐稚松 - 人物評(píng)價(jià)

    唐稚松先生治學(xué)嚴(yán)謹(jǐn),極力維護(hù)科學(xué)的尊嚴(yán),對(duì)學(xué)術(shù)腐敗現(xiàn)象深惡痛絕。他培養(yǎng)了大批優(yōu)秀的計(jì)算機(jī)理論和軟件方面的人才,為我們留下許多寶貴的精神財(cái)富。他經(jīng)常教導(dǎo)學(xué)生,作為科研人員,首先應(yīng)具備科學(xué)的人生觀與世界觀,科學(xué)研究是探索真知,來(lái)不得半點(diǎn)虛假與投機(jī)取巧。

    唐稚松先生熱愛(ài)祖國(guó),為了中華民族的復(fù)興奮斗了一生。在他訪問(wèn)斯坦福大學(xué)將近結(jié)束時(shí),曾有美國(guó)記者問(wèn)他,以他所具備的條件,為什么不爭(zhēng)取留在美國(guó)?他回答很簡(jiǎn)單:“我愛(ài)中國(guó),她是我的祖國(guó),我在美國(guó)沒(méi)有根!保~約時(shí)報(bào)雜志,1981年11月15日)。他早在1949年從香港啟程回北京時(shí)以及八十年代初訪問(wèn)美國(guó)時(shí)的詩(shī)作都明確地表示了這種心跡:“劉郎不是天臺(tái)種,愿與蒼生共有無(wú)”,“蠶為獻(xiàn)絲甘自縛,蛾因戀火以身投”。他認(rèn)為這是一百多年來(lái)受盡欺凌的中華民族兒女義不容辭的責(zé)任。

    唐稚松先生用他無(wú)私的奉獻(xiàn)精神、偉大的愛(ài)國(guó)熱忱和過(guò)人的聰明才智譜寫了精彩的人生,為我們樹(shù)立了光輝榜樣。他的逝世是軟件所的重大損失,也是我國(guó)科學(xué)界的重大損失。我們深切懷念唐稚松先生,沉痛悼念唐稚松先生!

    唐稚松 - 名人教誨

    唐稚松院士寄語(yǔ)畢業(yè)生:尊德行而道問(wèn)學(xué)

    中科院中科院軟件研究所2007屆研究生畢業(yè)典禮前夕,中國(guó)科學(xué)院資深院士,著名計(jì)算機(jī)軟件科學(xué)家唐稚松研究員,在寓所接受了軟件所團(tuán)委和研究生會(huì)的采訪,并寄語(yǔ)畢業(yè)生:“善于把握人生的發(fā)展機(jī)會(huì)”。如今已經(jīng)進(jìn)入耄耋之年的唐稚松院士,還念念不忘即將畢業(yè)的科學(xué)院學(xué)生。得知要向畢業(yè)生談一點(diǎn)人生體會(huì),他即刻說(shuō)了這樣一番話。他說(shuō),自己原先在人民大學(xué)當(dāng)老師,后來(lái)國(guó)家出臺(tái)了科學(xué)院發(fā)展戰(zhàn)略,正好需要數(shù)理邏輯方面的專家,正是緣于這樣一個(gè)機(jī)會(huì),他才能來(lái)科學(xué)院工作!皣(guó)家特地調(diào)了一位老師去人大教書,這才把我換出來(lái),到科學(xué)院工作!碧圃菏恐两癫煌(dāng)年的場(chǎng)景!皺C(jī)會(huì)存在于國(guó)家需要之中,我正是有了這樣一個(gè)機(jī)會(huì),才能取得今天這樣的成績(jī),機(jī)緣就是這樣產(chǎn)生的!碧圃菏空f(shuō)“機(jī)會(huì)可遇而不可求,在機(jī)會(huì)到來(lái)之前要做好準(zhǔn)備才能抓住他!碧圃菏恳簧依顫M天下。他說(shuō):“我很看重學(xué)生。如果有一個(gè)不爭(zhēng)氣的學(xué)生,我會(huì)很生氣。如果學(xué)生很有成就,我會(huì)很自豪。我們這一代人,人生的價(jià)值,就是在學(xué)生身上!睂W(xué)生成才,不僅要有作為,更要學(xué)會(huì)做人,人品要好。提到自己的得意門生,唐院士首推軟件所計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室主任林惠民院士。他告誡年輕學(xué)子:“千萬(wàn)不要貪圖虛名!千萬(wàn)不要取得一點(diǎn)成績(jī)就洋洋得意!”他援引《中庸》中的四句話來(lái)勉勵(lì)后生:“尊德行而道問(wèn)學(xué),致廣大而盡精微,極高明而道中庸,溫故而知新!

    唐稚松 - 相關(guān)詞條

    梁思禮 匡定波 李衍達(dá) 雷嘯霖 林尊琪
    干福熹 黃宏嘉 李啟虎 陸汝鈐 劉盛綱
    郭雷 黃民強(qiáng) 李未 侯洵 劉永坦
    郭光燦 黃琳 簡(jiǎn)水生 李志堅(jiān) 劉頌豪
    高慶獅 何積豐 侯朝煥 林惠民 闕端麟

     

     

     

     

    唐稚松 - 參考資料

    1、http://www.lcs.ios.ac.cn/tzs2.htm

    2、http://info.datang.net/T/T0412.htm

    TAGS: 中國(guó)科學(xué)家 中國(guó)科學(xué)院院士 中國(guó)計(jì)算機(jī)科學(xué)家 中科院院士 信息技術(shù)科學(xué)部院士 數(shù)學(xué)物理部院士 科學(xué) 科學(xué)家
    名人推薦
    • 佟振合
      人物簡(jiǎn)介  佟振合1937年生于山東省梁山縣,為中國(guó)著名有機(jī)化學(xué)家,科學(xué)院理化技術(shù)研究所研究員,學(xué)術(shù)委員會(huì)主任,中國(guó)化學(xué)會(huì)光化學(xué)委員會(huì)主任,亞...
    • 唐叔賢
      唐叔賢,男,出生于香港,原籍上海。材料表面科學(xué)與技術(shù)專家。曾出任香港城市大學(xué)常務(wù)副校長(zhǎng),2001年當(dāng)選為中國(guó)科學(xué)院院士。
    • 湯定元
      湯定元(1920.5.12-),出生于江蘇省金壇縣。物理學(xué)家。中國(guó)半導(dǎo)體學(xué)科和紅外學(xué)科創(chuàng)始人之一。1957年加入九三學(xué)社。1991年當(dāng)選為中國(guó)科學(xué)院院士。湯...
    • 涂治
      涂治,農(nóng)業(yè)科學(xué)家,農(nóng)業(yè)教育家,植物病理學(xué)家。新疆現(xiàn)代農(nóng)業(yè)科學(xué)技術(shù)的開(kāi)創(chuàng)者之一,中國(guó)科學(xué)院學(xué)部委員。長(zhǎng)期從事邊疆少數(shù)民族地區(qū)農(nóng)業(yè)科教工作。1...
    • 滕吉文
      原籍河北黃驊縣滕莊子鄉(xiāng),1934年3月14日生于黑龍江哈爾濱。中國(guó)科學(xué)院院士。1956年畢業(yè)于東北地質(zhì)學(xué)院地球物理系。1962年獲蘇聯(lián)科學(xué)院大地物理研究...
    • 田在藝
      田在藝 田在藝,石油地質(zhì)學(xué)家,中國(guó)科學(xué)院院士。是大慶油田的重要發(fā)現(xiàn)人之一,作為主要完成者之一的“大慶油田發(fā)現(xiàn)過(guò)程中的地球科學(xué)工作”成果獲國(guó)...
    名人推薦