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