探針計算機
時間：2018年11月14日（周三）上午9：00-11:00
地點：計算所254科學家俱樂部
報告人：許進
摘要：提出了一種用電子器件研制的新型計算機，稱為探針計算機，其數(shù)學計算模型為探針機，體系結(jié)構(gòu)為探針機體系結(jié)構(gòu)。證明了：探針機的數(shù)目與實數(shù)集對應(但圖靈機的數(shù)目與自然數(shù)集對應)，并用該計算機求解頂點數(shù)1000，顏色數(shù)為4的一個圖的著色，在0.017秒求出第一個解，35秒內(nèi)求出9449個解，11個小時求出全部12288000個解。該圖用8核，4.7GHz的電子計算機，采用大型優(yōu)化求解器Gurobi運行46天，未找到一個解；用10核，2.4GHz的工作站運行了11天，未找到一個解。上述事實預示：一種超越馮諾依曼體系結(jié)構(gòu)的新型計算機已經(jīng)問世。
報告人簡介：許進，北京大學教授，博士生導師。理學、工學雙博士。發(fā)表學術(shù)論文300余篇，出版學術(shù)專著3部、譯著2部。先后主持國家自然科學基金重點項目、重大國際合作項目、重大儀器專項、面上項目、973項目、863項目、國防預研項目等數(shù)十項。作為第一完成人，分別獲國家自然科學二等獎1項、省部級自然科學一等獎3項。任第一、二、四、五、七、八屆國際生物計算機大會主席；多學報編委；軍委科學技術(shù)委員會專家；中國電路與系統(tǒng)學會副主任委員；生物計算與生物處理專業(yè)委員會理事長；教育部網(wǎng)絡空間安全教咨委委員。主要研究領域為圖論與組合優(yōu)化，新型計算機，生物計算機，信息安全等。