專欄評述

◆吳盡昭◆

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

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

◎評《軟硬件協(xié)同設(shè)計復雜問題的計算模型和算法》

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

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