免费视频淫片aa毛片_日韩高清在线亚洲专区vr_日韩大片免费观看视频播放_亚洲欧美国产精品完整版

打開APP
userphoto
未登錄

開通VIP,暢享免費電子書等14項超值服

開通VIP
中國工程院院士李德毅:從圖靈計算到網(wǎng)絡(luò)計算

中國工程院院士李德毅:從圖靈計算到網(wǎng)絡(luò)計算

  【搜狐IT消息】5月22日消息,為了弄清云計算,把握云計算的實質(zhì)內(nèi)涵及發(fā)展趨勢,探討云計算對產(chǎn)業(yè)、教育和社會發(fā)展的影響,交流國內(nèi)外云計算的最新研究成果,分享云計算應(yīng)用的實踐經(jīng)驗,在工業(yè)和信息化部、教育部、中國科協(xié)及相關(guān)部委的指導(dǎo)下,中國電子學(xué)會將于2009年5月22日在北京中國大飯店隆重舉辦首屆中國云計算大會。搜狐IT作為“獨家全程直播門戶”將全程直播此次大會。

  以下為中國工程院院士李德毅致辭:

 

  朋友們,今天我們聚集在一起,來探討一個新的名詞,新的現(xiàn)象,新的科學(xué)問題,這就是云計算。我的發(fā)言題目是從圖靈計算到網(wǎng)絡(luò)計算,將給大家討論以下幾點。

中國工程院院士李德毅

 

  1、互聯(lián)網(wǎng)改變了計算機(jī)和軟件的工作模式。我們這些老的軟件工程師在計算機(jī)上度過了我們一生,最最基礎(chǔ)的問題就是圖靈,我們回顧一下圖靈重要的1936年論,這是問題一個方面,現(xiàn)在網(wǎng)絡(luò)怎么超越了圖靈的計算。

  2、回顧一下十年來風(fēng)起云涌全世界網(wǎng)絡(luò)科學(xué)的發(fā)展,網(wǎng)絡(luò)科學(xué)的三個載體,社會網(wǎng)絡(luò)、生命科學(xué)的網(wǎng)絡(luò)、一個是圖靈網(wǎng)絡(luò)。我們認(rèn)真看一下圖靈操作是什么。

  3、云計算對網(wǎng)絡(luò)社會的影響。

  一、回憶一下從圖靈計算到網(wǎng)絡(luò)計算的歷史。

 

  從1936年圖靈論以后,到了現(xiàn)在73年了,我們看一下給我們?nèi)祟惲粝聦氋F財富的人物,圖靈論文,計算機(jī)和軟件工程都是在41年前了,獲得圖靈獎的著名人物,把興趣轉(zhuǎn)移到互聯(lián)網(wǎng)、萬維網(wǎng)和網(wǎng)絡(luò)科學(xué)上。我們又經(jīng)歷了一個從IP到WEB。我們看到為什么有這樣的變化呢?就是互聯(lián)網(wǎng)、萬維網(wǎng)和網(wǎng)絡(luò)科學(xué)的發(fā)展?,F(xiàn)在家庭的通信不成問題了,家庭的寬帶已經(jīng)達(dá)到很高了。

  通信尤其是光通信和移動通信,和網(wǎng)絡(luò)科學(xué),尤其是互聯(lián)網(wǎng),比可計算模型和軟件理論的發(fā)展快,而且很快滲透到人類生活中去,加快了從圖靈計算到網(wǎng)絡(luò)計算的轉(zhuǎn)變。

  IT大公司紛紛宣布了自己的云計算計劃,如此一致的行動在IT產(chǎn)業(yè)的歷史上是很難一見。

  我們看一下圖靈的這篇文章,如果大家認(rèn)真的閱讀文章的時候,你會很尷尬,因為這里面有一個字一般人翻譯不出來,因為它是一個德語,我們看一篇論文要看它的背景,這個德語,就是可計算數(shù)據(jù)對計算問題的應(yīng)用。是不是所有的數(shù)據(jù)問題都是在邏輯上解決的,圖靈的貢獻(xiàn)就是說有些數(shù)據(jù)問題是不可能解決的,有些數(shù)據(jù)不是在邏輯下可以全部解釋的,為了說明這個問題,在這個論文的腳注里面,圖靈給了一個簡單的模型,這個模型就是圖靈命題??梢哉f這篇文章叫歪打正著,腳注這個命題奠定了我們發(fā)表圖靈的基礎(chǔ)。而且從此設(shè)置了圖靈獎。獲得圖靈獎的人在圖靈以外的范圍內(nèi)也做了很多事。

  圖靈機(jī)是一條雙向可無限延長的機(jī)器。大家說圖靈先生是天才的數(shù)學(xué)家,英年早逝,但是馮諾伊曼把這個事情集成下來了,計算機(jī)的誕生是從1936年開始的,他按數(shù)據(jù)進(jìn)行存儲,自動完成程序所描述的處理工作,這就是圖靈機(jī)最基本的功能。

  按照馮諾伊曼制作的計算機(jī),我們就有一個CPU核,操作系統(tǒng)是包在核外面的一個系統(tǒng)軟件,我們重大專項和高基就是從這個思想來的。計算機(jī)由軟硬件組成的多級層次結(jié)構(gòu),由衛(wèi)程序級、一般機(jī)器級、操作系統(tǒng)級、匯編語言等組成。

  程序設(shè)計和軟件工程在每一個層次上都能夠進(jìn)行程序設(shè)計,高級語言程序設(shè)計過程是“分析問題,建立數(shù)需模型,數(shù)據(jù)結(jié)構(gòu),設(shè)計算法,編程,編譯器逐層向下編譯成為機(jī)器可執(zhí)行代碼的過程。在互聯(lián)網(wǎng)發(fā)明之下就是在這樣一個大貢獻(xiàn)作出我們的貢獻(xiàn)。

  這是互聯(lián)網(wǎng)之父,KAHN、CERT。

  這是萬維網(wǎng)之父,TIM。

  因為IT的發(fā)展,因為互聯(lián)網(wǎng)的發(fā)展,因為萬維網(wǎng)的發(fā)展,使我們已經(jīng)進(jìn)入一個無處不網(wǎng)、無時不網(wǎng)的時代。用運作為LOGO表示網(wǎng)絡(luò)環(huán)境和網(wǎng)絡(luò)資源早就有,是我們的一種習(xí)慣?,F(xiàn)在網(wǎng)民數(shù)量很多了,網(wǎng)民的特點有兩個,一是大眾,二是草根。這件事情推動了整個社會。

  人們已經(jīng)從一個封閉的,可控的圖靈模式,踏入到一個開放的,沒有統(tǒng)一調(diào)度的,自治、異構(gòu)的,互操作,共享公用的時代。

  30年前電腦被送進(jìn)千家萬戶,20年前網(wǎng)絡(luò)被送進(jìn)千家萬戶,現(xiàn)在,服務(wù)被送進(jìn)千家萬戶,變化是什么?我用三個典型案例說一下。

  想一想,Windows操作系統(tǒng)的變化。由于WINDOWS面向太多的企業(yè),服務(wù)器和個人等不同應(yīng)用,成為“千人一面”的操作系統(tǒng),軟件規(guī)模越來越龐大。在操作系統(tǒng)規(guī)模不斷擴(kuò)大當(dāng)中,除了千人一面,它的功能擴(kuò)大了很大的網(wǎng)絡(luò)功能。我以前搞計算機(jī)的時候,規(guī)模越來越多,網(wǎng)絡(luò)聯(lián)系越來越多,操作系統(tǒng)對硬件配置要求越來越高。

  現(xiàn)在從綠色基地思想來說,人們已經(jīng)意識到,尤其服務(wù)器中心、路由中心的建立,電腦能耗成為全球變暖的禍?zhǔn)字?。因為電腦開著就消耗電,用戶需要的是便宜的,簡單的,省電的,多元化的網(wǎng)絡(luò),很快可演化的網(wǎng)絡(luò)。

  想一想,軟件工程師建一個網(wǎng)頁要多久。我們原來把精細(xì)編程到現(xiàn)在的大塊編程,大塊編程可能一個禮拜才把網(wǎng)頁建起來,現(xiàn)在你的孩子一個下午就可以把一個漂亮的網(wǎng)頁做起來。我們就把一個軟件重新改變、沿用、捆綁又是一個新的。

  如果通信真的不是一個問題,如果網(wǎng)絡(luò)真不花錢,如果溝通不是問題,這三個層次是不一樣的,通信不是問題,網(wǎng)絡(luò)才不是問題,如果網(wǎng)絡(luò)不是問題,溝通才不是問題,這樣世界就小了,扁平化了。

  互聯(lián)網(wǎng)的計算以交互為中心,此計算機(jī)可以通過數(shù)據(jù)影響另外一臺計算機(jī)的運行狀態(tài),和物理距離幾乎無關(guān)。CPU只是網(wǎng)絡(luò)上一個個自治節(jié)點中的可計算部分。節(jié)點可以是異構(gòu)的,節(jié)點之間可存在弱耦合的關(guān)系,不存在集中統(tǒng)一調(diào)度。這個情況下,順序的確定的輸入,不能描述互聯(lián)網(wǎng)同時存在的人機(jī)、機(jī)機(jī)、機(jī)人交互,互聯(lián)網(wǎng)不等于統(tǒng)一臺虛擬的圖靈機(jī)模型。有一些網(wǎng)絡(luò)介紹的書說網(wǎng)絡(luò)就是一臺計算機(jī),這是錯誤的。

  二、網(wǎng)絡(luò)科學(xué)的十年形成對互聯(lián)網(wǎng)新的認(rèn)識。

  人們一般把1998年若斯發(fā)表的文章作為網(wǎng)絡(luò)科學(xué)的研究起始標(biāo)志時間,所以大家把2008年作為十周年紀(jì)念。

  2006年全球召開了網(wǎng)絡(luò)科學(xué)第一次大會,2007年、2008年又開了兩次。他們研究什么呢?他們把各種網(wǎng)絡(luò)進(jìn)行研究。怎么解釋計算機(jī)病毒的傳播,怎么解釋一個電站的崩潰是由幾個微量子造成的,他們就研究控制的方法。我們要研究就是讓一個病毒傳播開,或者怎么讓一個病毒閉掉。

  如果處理適當(dāng)?shù)脑?,基于互?lián)網(wǎng)溝通,互相利用,數(shù)據(jù)可以跟上我們?nèi)祟愋袨榈睦斫猓?/p>

  我們來看網(wǎng)絡(luò),嚴(yán)格來講網(wǎng)絡(luò)是一個無厘頭,怎么理解網(wǎng)絡(luò)呢?網(wǎng)絡(luò)科學(xué)告訴我們,有幾個點要理解,第一要研究每個網(wǎng)絡(luò)的自治性,第二,要研究網(wǎng)絡(luò)的影響力,第三,異構(gòu)性,第三,演化生產(chǎn)能力。

  因此如果把路由器看作節(jié)點,把光纜看作物理連接,這樣一個網(wǎng)絡(luò)是符合密度分布原理。

  我們可以把網(wǎng)絡(luò)看作不同層面的工程,把服務(wù)器看作節(jié)點,把網(wǎng)頁看作節(jié)點,就有很多可分析性。這種網(wǎng)絡(luò)的基礎(chǔ)系數(shù)都可以得到一些統(tǒng)一的結(jié)果。

  計算機(jī)工作者是一個承上啟下的作用,我們這些人已經(jīng)被PASS掉了,我們看一下70后的人們在干什么。喬恩寫了一本書叫《算法書》,他獲得了數(shù)學(xué)家最杰出的成就獎。

  任何人,作為網(wǎng)絡(luò)的端用戶,其端機(jī)上的資源,無論是計算機(jī),存儲資源,軟件資源和信息資源,和網(wǎng)絡(luò)上資源相比都是微不足道。

  無論用戶是在進(jìn)行網(wǎng)格計算,對等計算、還是信息搜索,哪些是由端機(jī)承擔(dān),哪些事情是由邊緣網(wǎng)格承擔(dān),這就是我們云計算要研究的東西。

  那就有一個問題,就是誰胖誰收?兩個極端狀況,網(wǎng)絡(luò)上沒有任何信息資源,網(wǎng)絡(luò)僅僅實現(xiàn)即時的交換,回到傳統(tǒng)通信的交換時代,所有信息資源都在主計算機(jī)上端機(jī)僅僅是人機(jī)即時交互,回到傳統(tǒng)的主機(jī)、終端模式。

  網(wǎng)格計算的發(fā)展可以用一個學(xué)術(shù)界熱,企業(yè)界不熱來形容,云計算是企業(yè)界熱,學(xué)術(shù)界不熱。

  什么原因?

  網(wǎng)格計算:依托專網(wǎng)或互聯(lián)網(wǎng),將部分處于不同地域的自愿參加的計算機(jī)組織起來,統(tǒng)一調(diào)度,利用閑散的計算資源,組成一臺虛擬的超級計算及,形成超級計算能力。這個是一個很理想的事情。

  云計算,廣大用戶依托互聯(lián)網(wǎng)某些節(jié)點強(qiáng)大的信息資源、包括存儲資源、計算資源、軟件資源、數(shù)據(jù)資源,管理資源萎我所用,強(qiáng)調(diào)需求驅(qū)動,用戶主導(dǎo),按需服務(wù),即用即付,用完即散,不對用戶集中控制,用戶不關(guān)心服務(wù)者在什么地方。

  網(wǎng)格計算和云計算的比較,網(wǎng)格計算有統(tǒng)一的速度,云計算不存在 集中統(tǒng)一控制。網(wǎng)格計算不承認(rèn)異構(gòu),云計算承認(rèn)異構(gòu)。網(wǎng)格計算完成特定任務(wù),云計算完成多樣化服務(wù)。網(wǎng)絡(luò)計算專網(wǎng)運營,云計算需求運作。

  有了云計算,廣大用戶不再需要自購軟硬件,不再需要知道是誰提供的服務(wù)。對大量中小企業(yè),不再需要一開始就花費大量的投資來購買部署計算機(jī)軟硬件設(shè)備和聘用維護(hù)人員,不必單位因為高估自身業(yè)務(wù)受歡迎的程度,而過渡部署造成資源浪費,或由于對廣受歡迎的業(yè)務(wù)部署不足錯失潛在的客戶。

  因此廣大的用戶買云計算干什么?買許可證干什么?買軟件干什么,我們需要的是服務(wù)。

  三、超出圖靈機(jī)的云計算。

  我們細(xì)細(xì)分析一下超出圖靈機(jī)的云計算。

  我們是無處不在的在線搜索,無處不在的實時交互,時刻發(fā)生的即時通訊和溝通,包括軟件開發(fā)在內(nèi)的各種基于網(wǎng)絡(luò)的虛擬社區(qū)。

  從以產(chǎn)品帶服務(wù),向以服務(wù)帶產(chǎn)品的方向發(fā)展。今天如果有中小企業(yè)軟件企業(yè)來講,你要堅持以服務(wù)帶產(chǎn)品。

  網(wǎng)絡(luò)的普及迫使軟件工程尋找新的解決辦法,從集中的軟件到分散的軟件,從單核計算到多核計算,從單體軟件到群體軟件的交互,我需要的只是服務(wù)。

  我們認(rèn)為需求獲取成為軟引工程的瓶頸。我們要強(qiáng)調(diào)軟件在網(wǎng)絡(luò)環(huán)境下工作,軟件工程向需求工程傾斜,軟件結(jié)構(gòu)用網(wǎng)絡(luò)拓?fù)浔硎?,問題的形式化向本題描述發(fā)展,強(qiáng)調(diào)軟件工程演化過程。

  我們看一下軟件工程危機(jī)走過四十年來我們得到一個很重要的經(jīng)驗,軟件工程太多的關(guān)注圖靈計算,忽視了人機(jī)交互,忽視了機(jī)器行為通過人群的參與引發(fā)的相互影響。

  盡管圖靈命題主要說的是數(shù)學(xué)的弱點,但是解決數(shù)學(xué)問題時圖靈機(jī)不能夠做什么,如停機(jī)的不可判定問題,但是計算機(jī)科學(xué)家們卻逐漸開始講圖靈機(jī)用來說明可計算能力的模型,進(jìn)而作為一種解決所有計算問題的模型,把圖靈機(jī)作用擴(kuò)大化了。

  圖靈自己也認(rèn)為圖靈機(jī)并不適合作為解決計算問題的通用模型,包括圖靈和圖靈獎獲得者米爾納等在內(nèi)的學(xué)者嘗試用交互機(jī)來擴(kuò)展圖靈機(jī)型。

  凡是有集中控制的高性能計算機(jī),集群計算機(jī)、虛擬機(jī)、網(wǎng)絡(luò)系統(tǒng),分布式系統(tǒng)等依然可以看作圖靈計算。

  互聯(lián)網(wǎng)不等于世界上最大的計算機(jī),按照圖靈機(jī)構(gòu)成的復(fù)雜網(wǎng)絡(luò),也不等于西格瑪,不是替代,而是相互作用。

  圖靈等人提出基于圖靈機(jī)的交互機(jī)器模型,如site機(jī)、交互機(jī)等,企圖擴(kuò)展圖靈機(jī)的機(jī)型。

  網(wǎng)絡(luò)計算強(qiáng)調(diào)把計算機(jī)嵌入到網(wǎng)絡(luò),通訊發(fā)展太快了,因此可以讓電腦消失,人們注意的中心回歸到要完成的任務(wù)本身。

  1991年施樂公司前首席科學(xué)家Wark提出普適計算思想,例如,他在辦公室門前建造了一個噴水池,用噴水量和水柱高度來模擬顯示網(wǎng)絡(luò)上當(dāng)前全球股價的走勢。

  類似于圖片識別等任務(wù)對于人來說是很簡單,但是轉(zhuǎn)化為圖靈機(jī)的可計算問題卻是很大的挑戰(zhàn),因此,在CMU攻讀博士學(xué)位的Luis 提出利用人工參與處理的計算模式來解決計算機(jī)很難處理的問題。這使每一個人不需要高教育培養(yǎng),普通大眾、每一個草民都可以,把一個圖片打進(jìn)去,看到信息再往下干活,讓老太太都會玩網(wǎng)絡(luò),玩游戲。

  類似于圖片識別等任務(wù)對于人來說很簡單,但要轉(zhuǎn)化為圖靈可計算問題確是很大的挑戰(zhàn),因此網(wǎng)絡(luò)環(huán)境出現(xiàn)了可信計算和可信軟件的研究,目前搜索引擎上的爬蟲程序索索的只是文字資料,難以實現(xiàn)圖片內(nèi)容搜索,而如果能夠讓網(wǎng)絡(luò)游戲者都能為這樣的圖片標(biāo)簽系統(tǒng)做貢獻(xiàn),甚至可以逐漸將整個圖片定位搜索。

  大眾既軟件的使用者,也是軟件的開發(fā)者,既是服務(wù)的消費者,也是服務(wù)的提供者,圖靈沒有考慮過這樣的群體智能產(chǎn)生模式。維基百科的創(chuàng)始人吉米想到的。

  云計算的興起,是自2007年開始的,天空中的大量云滴構(gòu)成的云,遠(yuǎn)觀有形,近觀無邊,千姿百態(tài),漂移不定,有時如朵朵棉花,有時一瀉千里。量子物理中的電子云,量子物理中的電子云,在原子核周圍運動的電子,不是一個確定的軌道,而是彌漫空間的運狀存在,形成一個概率分布的密度函數(shù)。

  云計算一定是基于網(wǎng)絡(luò),網(wǎng)絡(luò)為大眾提供了一個一個虛擬、豐富的按需即取的數(shù)據(jù)存儲池,軟件下載的維護(hù)池,計算能力池,提供了一個人與人溝通電子平臺。

  我對云計算的理解,先從水開始,水的生態(tài)當(dāng)中,里面上有水,還有水庫,我們可以成為若干個云數(shù)據(jù)中心看成是地面的水,水往外增長就是服務(wù)的方向,云滴更多就是云的聚合,降水就是按需即取。

  我想特別講一個克里斯蘭頓講過的一句話,生命的本質(zhì)在于物質(zhì)的組織形式,而不在于物質(zhì)自身。信息資源網(wǎng)絡(luò)的本質(zhì)在于信息資源之間的組織形式,而不在于承載信息的圖靈機(jī)替代。云計算提出有可能導(dǎo)致軟件工程的重大變革,突破圖靈機(jī)模型的束縛,不在于單臺圖靈機(jī)上的軟件,而存在網(wǎng)絡(luò)上軟件之間的相互作用,引發(fā)對計算機(jī)云計算的研究。

  軟件是永遠(yuǎn)的BETA版,軟件將沒有版本的概念,采用永遠(yuǎn)試用的軟件開發(fā)模式。軟件即服務(wù)的思想已經(jīng)被廣泛接受。

  這是網(wǎng)絡(luò)時代的軟件工程和圖靈時代的軟件對比表。

  目前太多的定義和太泛的解釋使得云計算有成為皇帝的新衣,迫切需要業(yè)界匯集智慧。

  四、我講一下云計算的影響。

  第一,信息產(chǎn)業(yè)面臨重新洗牌,大量的中小企業(yè)軟件開發(fā)商面臨著工作平臺,工作對象,工作方式的重組,在云計算的大潮中是做大做強(qiáng)還是被淘汰,要么做大做強(qiáng),成為大款,要么傍大款依附不能。

  第二,軟件產(chǎn)業(yè)結(jié)構(gòu)面臨調(diào)整。網(wǎng)絡(luò)基礎(chǔ)設(shè)施的發(fā)展使得信息服務(wù)的社會化成為可能。制造業(yè)中的服務(wù)化傾向也逐漸滲透到軟件產(chǎn)業(yè),催生新的服務(wù)業(yè)。

  第三,軟件生產(chǎn)組織方式面臨變革。軟件頻繁地被重用和重組,出現(xiàn)各種各樣的開源軟件。

  第四,大眾普遍參與形成群體智慧,海量的草根用戶在偏好依附發(fā)展,構(gòu)成網(wǎng)絡(luò)生態(tài)發(fā)展。

  第五,網(wǎng)絡(luò)端設(shè)備多元化個性化。端設(shè)備更加簡潔、多樣。

  我就講這些,謝謝大家。

本站僅提供存儲服務(wù),所有內(nèi)容均由用戶發(fā)布,如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請點擊舉報。
打開APP,閱讀全文并永久保存 查看更多類似文章
猜你喜歡
類似文章
我對云計算的認(rèn)識
數(shù)學(xué)的不完美之美——阿蘭·圖靈與圖靈機(jī)
理解計算(郝寧湘)
計算機(jī)不是只會“計算”,圖靈機(jī)也不是一臺“機(jī)器”
計算機(jī)不是只會 “計算”,圖靈機(jī)也不是一臺“機(jī)器” | AI那廝
大同小異的云計算“云”的定義
更多類似文章 >>
生活服務(wù)
分享 收藏 導(dǎo)長圖 關(guān)注 下載文章
綁定賬號成功
后續(xù)可登錄賬號暢享VIP特權(quán)!
如果VIP功能使用有故障,
可點擊這里聯(lián)系客服!

聯(lián)系客服