“網(wǎng)構(gòu)軟件理論、方法與技術(shù)”入選2014年度高校十大科技進(jìn)展

本刊訊 由教育部科學(xué)技術(shù)委員會組織評選的2014年度“中國高等學(xué)校十大科技進(jìn)展”日前在京揭曉。由北京大學(xué)信息科學(xué)技術(shù)學(xué)院軟件研究所、高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室梅宏院士擔(dān)任負(fù)責(zé)人，北京大學(xué)為申報(bào)學(xué)校，南京大學(xué)為合作單位的項(xiàng)目“網(wǎng)構(gòu)軟件理論、方法與技術(shù)”榜上有名。這也是信息、電子、計(jì)算機(jī)領(lǐng)域唯一入選項(xiàng)目。

教育部對該項(xiàng)目的介紹如下：互聯(lián)網(wǎng)正在逐步演化成一個(gè)全球泛在的計(jì)算平臺，其開放、動態(tài)和難控的特性對軟件技術(shù)提出了一系列重大挑戰(zhàn)。以北京大學(xué)梅宏院士和南京大學(xué)呂建院士領(lǐng)銜的團(tuán)隊(duì)從2000年開始率先從軟件角度探討互聯(lián)網(wǎng)計(jì)算，提出一種互聯(lián)網(wǎng)軟件新范型—網(wǎng)構(gòu)軟件（Internetware），并在國家973計(jì)劃連續(xù)兩期項(xiàng)目的支持下，建立了一套網(wǎng)構(gòu)軟件技術(shù)體系，取得一系列重要突破：構(gòu)造了一個(gè)開放、協(xié)同的網(wǎng)構(gòu)軟件模型，用以描述和規(guī)約自主性、協(xié)同性、演化性、情境性、涌現(xiàn)性和可信性等互聯(lián)網(wǎng)應(yīng)用新特性；提出了支持按需協(xié)同和在線演化的容器系統(tǒng)結(jié)構(gòu)及相關(guān)機(jī)制，支持系統(tǒng)自治管理，設(shè)計(jì)實(shí)現(xiàn)了網(wǎng)構(gòu)軟件的運(yùn)行時(shí)支撐平臺；提出了全生命期軟件體系結(jié)構(gòu)驅(qū)動的網(wǎng)構(gòu)軟件開發(fā)和演化方法。作為中國學(xué)者自主提出的學(xué)術(shù)理念，網(wǎng)構(gòu)軟件研究整體處于國際先進(jìn)水平，在軟件構(gòu)件、軟件體系結(jié)構(gòu)、軟件自適應(yīng)等技術(shù)上處于國際領(lǐng)先行列。在軟件領(lǐng)域頂級國際會議和期刊發(fā)表近百篇學(xué)術(shù)論文，十多次入選最佳/優(yōu)秀/亮點(diǎn)論文，數(shù)十次在國際會議上做主題/特邀報(bào)告；獲得一批中國發(fā)明專利，形成多項(xiàng)國際、國家和行業(yè)標(biāo)準(zhǔn)；研制的工具和系統(tǒng)在國內(nèi)外眾多大中型信息系統(tǒng)中得到應(yīng)用；多次獲得國家和部委級科技成果獎。對我國軟件領(lǐng)域創(chuàng)新驅(qū)動發(fā)展戰(zhàn)略做出了重要貢獻(xiàn)。

其他入選項(xiàng)目還包括北京大學(xué)物理學(xué)院牽頭、浙江大學(xué)參與的“單個(gè)納米顆粒光學(xué)檢測新原理研究”，以及第二軍醫(yī)大學(xué)、哈爾濱工業(yè)大學(xué)、南京農(nóng)業(yè)大學(xué)、清華大學(xué)、燕山大學(xué)、浙江大學(xué)、中國海洋大學(xué)、中國石油大學(xué)（北京）等8所高校所牽頭申報(bào)的項(xiàng)目。