演講者：Lenore＆manuel Blum博士(1999年圖靈獎獲得者)
Lenore：
非常感謝，我不知道他在說了一些，大家都笑作一團，我知道他介紹了我的家庭，包括我的孩子，但是我還沒有曾孫輩的孩子，我要感謝組織者，請我到中國來，尤其是能夠來 到北京，能夠見到各位。我想告訴各位，在79年第一次到中國來的時候，我當時想，也許那個時候你們還年紀非常小，但是我今天看到你們，可能那個時候還是孩子，甚至還沒有出生，所以1979年是很有意思的一年，當時大學重新開始招生了，好像是在79年，之后我們在97年又來到了北京，那一年也非常有意思，因為正好是在97年，香港從英國移交到了中國手中，接著是2002年，我想也是很有意思的一年。
所以，我們今天話題就是高可信度的計算技術，以及包括硬件軟件的透明度的問題。計算機的科學歷史表明，要想防止硬件軟件或者其它方面出現(xiàn)問題，最好實現(xiàn)的方式就是保持這個體系的公開、透明度。我們在這里要表示這尤其涉及到有關隱私安全和加密這三個問題。我們都是要進一步地促進透明度的提高，大家也知道，姚博士前面也介紹了，有關公共密鑰的加密就很好地顯示了過去我們在推進公開和透明度技術方面所取得的成功，我們在今天我想說的就是，給大家再進一步介紹一下公開而不是封閉的，私有技術的發(fā)展所取得的一些成就的范例，介紹一下在卡奈基梅隆大學所取得的進展，包括在北京卡奈基大學也有一些合作。我想向大家介紹一下阿拉丁中心。實際上阿拉丁聽上去沒有什么技術性，實際上技術性很強，主要是指有關的自制應和分散的一體化的系統(tǒng)，它是美國自然基金所贊助的一個項目，我們這個中心主要是促進技術的轉(zhuǎn)讓，當然我們也進行數(shù)學理論研究，通常這方面會有一些實質(zhì)，我們要出版一些文章，要做一些工作，也許在五年二十年以后才能運用有關的技術，我們希望加快這一進程，使得技術更快地發(fā)展，現(xiàn)實中的問題如何應該研究的理論。我們都是理論的研究者，所以我們要在很多不同的領域進行研究，包括生物學的領域，咱們看看二十一世紀所要研究的問題，包括機器、學習、計算機的安全，這只是舉一些例子，包括數(shù)據(jù)庫、物理等。包括網(wǎng)絡檢索等等，我們研究設計所有這些領域，這是我們的網(wǎng)站，也就是通過查WWW.阿拉丁的網(wǎng)址就可以查我們的情況，這是我們的幾個主任之一。我們希望能有這樣一個所謂的倉儲的堆建，我不知道在中國是不是有這樣的體系，你們是不是有一些各種各樣的后勤資源，有各種各樣的協(xié)調(diào)人來聯(lián)系，我們也希望有這樣一個資源庫，這樣的話我們就可以為整個社區(qū)提供資源，所以也應該是開放和透明度的體系。那么現(xiàn)在僅僅是在測試的階段，它還是非常原形的階段。
今天我想向大家介紹有關透明度方面三個案例，也是從一些項目當中提取出來的。我想把他們稱為針對問題的一些實驗。我們把它叫做Probes，有關蘑菇的一個研究。你們可以看這兩個人，Guy Blelloch和Gary Miller，他們都是這個項目當中精靈，主要為血液行動建模。我們是在計算機科學以外引入的一個問題，首先就是一個有關的機械設施設備，主要是用來檢查人體的身體健康的，大學醫(yī)療中心在運用這個設備，像一個小的泵，來控制血液的流量，大家可以看到這個小的圖片，它很小，而且很可靠，能耗很低，比其它以前的設備具有更少的傷害性。當然有一個挑戰(zhàn)，設計當中碰到的挑戰(zhàn)就是我們希望能夠克服以前的趨勢，就是有可能損害同血細胞，這是一個技術問題，計算科學和它有什么關系呢？我們來看看，第二個問題也是和第一個問題有點類似，也是跟血液病有關的，一些流動不足或者微循環(huán)出現(xiàn)問題，比如說糖尿病、癌癥、貧血等等。我們有的時候發(fā)現(xiàn)血液流動不足，如果我們能幫助解決這個問題，也可以更好。
作為計算機科學家，我們就要能夠建立有關的軟件和公式，能夠來精密測量這方面動態(tài)的變化，這樣我們就可以對血液流量進行建模，當然建模在這方面很困難，因為所有的這些細胞還有流量都是在持續(xù)不斷進行的。我們要不斷地研究血流的情況。所以我們大體的方向就是要了解如何進行測量，并且模擬流量，了解背后的數(shù)學和物理機制，建立各種等式，如何在計算機上找到一些等同的因子，所以就是要創(chuàng)造很好計算數(shù)學的工具和整合的工具，每一次在更新數(shù)據(jù)的時候，在計算機上也能實現(xiàn)這一點，這就是我們所說的“M”系統(tǒng)這一部分是如何完成的。這是我們通常使用的一種辦法，當然并不是非常常見的辦法。我們必須要建立相關的數(shù)學關系，來滿足這方面的需要，這也是Guy Blelloch一直研究的項目，他同時也在，研究其它的一些重要的項目，而且這兩個方法之間是有很大相關性的，他在研究這兩個方面的問題，只是向大家介紹一下透明度很高課題的研究。我們還有很多不同的人在項目上的共同合作，你在這里可以看到Gary Miller。我們的分享成果，分享編碼、數(shù)據(jù)庫，我們希望我們社區(qū)有一些數(shù)據(jù)庫和共同的界面，而且能把研究成果的信息傳達到社區(qū)以外。這是比較傳統(tǒng)的例子。