信息科學技術學院許進教授撰寫論文入選美國電氣電子工程師學會計算智能分會2016年度特色論文

近日，北京大學信息科學技術學院高可信軟體技術教育部重點實驗室許進教授所撰寫的《探針機》（Probe machine）一文被選為美國電氣電子工程師學會（the Institute of Electrical and Electronics Engineers, IEEE）計算智能分會（Computational Intelligence Society, CIS）2016年度特色論文（feature paper）。

IEEE計算智能分會專註於生物和語言驅動計算模式中的理論、設計、應用與開發，特別是神經網路、連接系統、遺傳演算法、進化編程、模糊系統和混合智能系統及其相關領域。按照慣例，分會每年度從已出版的旗下期刊中遴選特色論文，2016年度選出三篇，其中包括許進於7月發表於《IEEE神經網路與學習系統彙刊》（IEEE Transactions on Neural Networks and Learning Systems, 27(7): 1405-1416）的論文。

許進對計算機作出形如「計算機=數學計算模型+實現該模型的材料研製的機器」的分解性定義，即「電子計算機=圖靈機+電子器件」，提出人類首次超越電子計算機的圖靈機（Turing machine）模型——探針機（生物神經網路就是一種稀疏的固定通道型探針機），並指出圖靈機是探針機的特例。對於當今電子計算機無法處理的NP完全問題，利用探針機，只需一次探針運算，即可求出問題的全部解；由於基於圖靈機的所有NP完全問題在多項式時間內是等價的，這就意味著在探針機模型下不再有困惑人類的NP完全問題。文中還討論了探針機的硬體實現等。2016年11月，該論文還被《IEEE計算智能期刊》（IEEE Computational Intelligence Magazine）作為當期首個出版亮點（publication spotlight）推介。

許進課題組長期從事生物計算與新型計算機研究。2006年，他主導創建了生物計算——理論與應用國際會議（International Conference on Bio-inspired Computing: Theory and Applications），迄今已在中國、英國、澳大利亞、印度、馬來西亞等國家和地區召開11屆，極大推動了國內外生物計算方向的交流與發展，成為新興智能計算領域具有重要影響力的國際會議。由他作為第一完成人的項目「生物計算中數據編碼與模型構建理論方法研究」獲2013年度國家自然科學二等獎。

編輯：江南