◆吳盡昭◆

◎評(píng)《面向傳感網(wǎng)的服務(wù)構(gòu)建與并發(fā)控制》

復(fù)雜網(wǎng)絡(luò)的研究及應(yīng)用涉及工程、生物、自然與社會(huì)等多個(gè)領(lǐng)域，可以為真實(shí)復(fù)雜系統(tǒng)的分析與設(shè)計(jì)提供方法論和指導(dǎo)。無線傳感器網(wǎng)絡(luò)是由具有信息采集、通信等能力的節(jié)點(diǎn)自組織形成的網(wǎng)絡(luò)，是復(fù)雜網(wǎng)絡(luò)理論研究的重要應(yīng)用領(lǐng)域之一?！睹嫦騻鞲芯W(wǎng)的服務(wù)構(gòu)建與并發(fā)控制》一文充分利用了無線傳感器網(wǎng)絡(luò)的通信、計(jì)算能力等有限的特點(diǎn)，提出了基于推理的工作流技術(shù)來構(gòu)建服務(wù)，進(jìn)而改進(jìn)了Web服務(wù)請(qǐng)求的并發(fā)控制。該方法具有創(chuàng)新性，實(shí)驗(yàn)充分。與其他已有工作相比，該文首先通過提取傳感器數(shù)據(jù)的語義信息，實(shí)現(xiàn)了上層業(yè)務(wù)邏輯和底層傳感數(shù)據(jù)的松耦合以及有限的傳感網(wǎng)資源的重用；其次，通過擴(kuò)展SOAP消息，引入服務(wù)請(qǐng)求的重復(fù)和沖突檢測(cè)，避免重復(fù)和沖突的服務(wù)執(zhí)行，實(shí)現(xiàn)了更有效的傳感器網(wǎng)絡(luò)并發(fā)控制。

◎評(píng)《軟硬件協(xié)同設(shè)計(jì)復(fù)雜問題的計(jì)算模型和算法》

軟硬件劃分是嵌入式和片上復(fù)雜系統(tǒng)軟硬件協(xié)同設(shè)計(jì)的關(guān)鍵步驟，其基本任務(wù)是在滿足某些約束的條件下，將系統(tǒng)的功能、行為最優(yōu)地分配到一定的軟硬件系統(tǒng)結(jié)構(gòu)上。軟硬件劃分問題具有相當(dāng)?shù)膹?fù)雜性。近年來，很多研究者就該問題進(jìn)行了多角度的深入研究。《軟硬件協(xié)同設(shè)計(jì)復(fù)雜問題的計(jì)算模型和算法》一文就軟硬件劃分計(jì)算模型及算法領(lǐng)域，對(duì)近年來典型的研究成果進(jìn)行了系統(tǒng)的分析，總結(jié)了各種模型和算法的特點(diǎn)、優(yōu)點(diǎn)及其未來研究方向。

專家簡(jiǎn)介：吳盡昭，男，1965年生。博士、教授、博士生導(dǎo)師。計(jì)算機(jī)軟件與理論專業(yè)，長(zhǎng)期從事高效能、高可信計(jì)算與推理理論和工具的研究和開發(fā)，研究領(lǐng)域涉及符號(hào)計(jì)算、自動(dòng)推理、邏輯程序設(shè)計(jì)及推理數(shù)據(jù)庫、復(fù)雜并發(fā)系統(tǒng)形式化分析與驗(yàn)證及其交叉、融合與應(yīng)用。在《中國(guó)科學(xué)》《Acta Informatica》《ISSAC》《ICFEM》等國(guó)內(nèi)外重要學(xué)術(shù)刊物和國(guó)際會(huì)議論文集上發(fā)表科研論文103篇、研究報(bào)告16篇，出版學(xué)術(shù)專著3部，獲得軟件著作權(quán)6項(xiàng)，申請(qǐng)專利3項(xiàng)，近年來承擔(dān)國(guó)家自然科學(xué)基金、973計(jì)劃、863計(jì)劃等國(guó)家、省部級(jí)科研項(xiàng)目10余項(xiàng)，指導(dǎo)畢業(yè)博士研究生14名。德國(guó)“馬普學(xué)會(huì)獎(jiǎng)學(xué)金”獲得者，中國(guó)科學(xué)院“百人計(jì)劃(國(guó)外引入杰出人才)”入選者，國(guó)家首批“新世紀(jì)百千萬人才工程國(guó)家級(jí)人選”，四川省學(xué)術(shù)和技術(shù)帶頭人，獲國(guó)務(wù)院政府特殊津貼。