3月31日上午，計(jì)算機(jī)與信息學(xué)院江克勤副教授在龍山校區(qū)A樓303教室作了一場(chǎng)題為“An Introduction to Membrane Computing”的專題學(xué)術(shù)講座。計(jì)算機(jī)與信息學(xué)院2012級(jí)卓越工程師班的全體同學(xué)和部分畢業(yè)班和研究生同學(xué)聆聽(tīng)了報(bào)告。

膜計(jì)算是自然計(jì)算的一個(gè)新分支，江克勤老師首先從膜計(jì)算的研究背景入手，指出膜計(jì)算是從生命細(xì)胞的結(jié)構(gòu)與功能中以及從組織和器官等細(xì)胞群的協(xié)作中抽象出的新的計(jì)算模型。膜計(jì)算系統(tǒng)（也稱P系統(tǒng)）是一種分布式并行計(jì)算模型，該模型被證明具有不弱于圖靈機(jī)的計(jì)算能力。在深入淺出給出膜計(jì)算的相關(guān)概念及一些變體的P系統(tǒng)后，江老師以脈沖神經(jīng)膜計(jì)算系統(tǒng)（簡(jiǎn)稱SN P系統(tǒng)）為例，著重介紹了這類膜系統(tǒng)的計(jì)算能力和計(jì)算效率。詳細(xì)分析了通過(guò)模擬注冊(cè)機(jī)進(jìn)行通用性證明的過(guò)程，并介紹了各種變體的SN P系統(tǒng)的一些研究成果。江克勤副教授的講座內(nèi)容翔實(shí)、淺顯易懂，開(kāi)闊了同學(xué)們的視野和對(duì)本學(xué)科前沿研究領(lǐng)域的了解。（計(jì)算機(jī)與信息學(xué)院）