題目 ：探針機：一種從底層全并行的計算模型
主講人：許進（北京大學，教授）
時間：2016年7月5日下午3:00-5:30
地點：主樓6樓
主講人介紹：
許進是北京大學一級教授；作為第一完成人，獲國家自然科學2等獎1項，省部級自然科學1等獎3項；軍委科技委創新局生物計算領域組長；教育部網絡空間安全教咨委委員；中國電子學會電路與系統學會副主任、中國電子學會圖論與系統優化專業委員會理事長；發表學術論文300余篇，被SCI檢索200篇左右。軍委科技委重大專項首席科學家，負責完成或在研國家自然基金重點項目、重大國際合作項目、重大儀器專項、國家863項目、973項目以及自然科學基金面上項目數十項。主要研究方向為社交網絡、生物計算、信息安全、圖論與組合優化等。
內容介紹：
國際權威雜志IEEE Trans. On Neural Networks and Learn System在2016年第7期首篇，報道北京大學信息科學技術學院許進教授在計算機科學領域重大突破性文章“Probe Machine”(探針機)，該文提出了人類首次超越電子計算機的圖靈機模型，稱為探針機。探針機由數據庫、探針庫、數據控制器、探針控制器、探針運算、計算平臺、檢測器、真解存儲器及殘支回收器等九個部分組成。
文章指出，對當今電子計算機無法處理的NP-完全問題，如圖的Hamilton問題，圖的頂點著色問題等，用探針機求解，只需一次探針運算即可求出問題的全部解。由于基于圖靈機的所有NP-完全問題在多項式時間內是等價的，這就意味著，在探針機模型下，不再有困惑人類的NP-完全問題。
對于用什么材料來制造出探針計算機，文章也給出了討論。文中提出了，對于連接型探針計算機，擬采用以納米顆粒與DNA分子構成的復合材料作為數據，以DNA分子作為探針的一種探針計算機的實現技術——納米DNA計算機；對于傳遞型探針計算機模型的實現，也提出一種構想：其數據由一種復合體構成，數據纖維中的信息由神經遞質構成，諸如乙酰膽堿(Ach)等，而探針則由類似于生物神經系統中的“動作電位”實現。文章證明了電子計算機的數學計算模型——圖靈機僅僅是探針機的一種特殊情況。
（承辦：能源與環境政策研究中心，科研與學術交流中心）
