2022
黃 罡 教授
信息技術(shù)科學(xué)獎(jiǎng)
2022年
1.獲獎(jiǎng)項(xiàng)目： 面向網(wǎng)構(gòu)軟件的軟件體系結(jié)構(gòu)建模理論、方法及應(yīng)用
梅宏，1963年5月出生于貴州，計(jì)算機(jī)軟件專(zhuān)家，中國(guó)科學(xué)院院士，發(fā)展中國(guó)家科學(xué)院院士，歐洲科學(xué)院外籍院士，國(guó)際電氣與電子工程學(xué)會(huì)會(huì)士（IEEE Fellow）。1984年和1987年于南京航空航天大學(xué)分獲學(xué)士和碩士學(xué)位；1992年在上海交通大學(xué)獲博士學(xué)位，同年進(jìn)入北京大學(xué)進(jìn)行博士后研究工作。歷任北京大學(xué)講師、副研究員、教授，信息科學(xué)技術(shù)學(xué)院副院長(zhǎng)、院長(zhǎng)，上海交通大學(xué)副校長(zhǎng)，北京理工大學(xué)副校長(zhǎng)、常務(wù)副校長(zhǎng)?，F(xiàn)任軍事科學(xué)院副院長(zhǎng)，高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室（北京大學(xué)）主任，中國(guó)計(jì)算機(jī)學(xué)會(huì)理事長(zhǎng)。主要研究領(lǐng)域?yàn)檐浖こ毯拖到y(tǒng)軟件，在構(gòu)件化軟件中間件、開(kāi)發(fā)方法學(xué)和工具環(huán)境等方面取得了系列成果。曾擔(dān)任國(guó)家重點(diǎn)基礎(chǔ)研究計(jì)劃（973）首席科學(xué)家和國(guó)家自然科學(xué)基金創(chuàng)新研究群體帶頭人。曾獲國(guó)家技術(shù)發(fā)明一等獎(jiǎng)和二等獎(jiǎng)、國(guó)家自然科學(xué)二等獎(jiǎng)、國(guó)家科技進(jìn)步二等獎(jiǎng)及全國(guó)優(yōu)秀博士后獎(jiǎng)、國(guó)家杰出青年科學(xué)基金、中國(guó)青年科技獎(jiǎng)、何梁何利基金科學(xué)與技術(shù)進(jìn)步獎(jiǎng)、IEEE CS Technical Achievement Award等個(gè)人學(xué)術(shù)榮譽(yù)。
黃罡，1975年10月出生于湖南，計(jì)算機(jī)軟件專(zhuān)家。1997年和2000年于西北工業(yè)大學(xué)分獲學(xué)士和碩士學(xué)位，2003年在北京大學(xué)獲博士學(xué)位。2004年至今，歷任北京大學(xué)講師、副教授、教授?，F(xiàn)任北京大學(xué)人工智能研究院副院長(zhǎng)，北京大數(shù)據(jù)先進(jìn)技術(shù)研究院首席科學(xué)家。長(zhǎng)期從事系統(tǒng)軟件領(lǐng)域的教學(xué)與科研工作，研制的自適應(yīng)軟件技術(shù)與系統(tǒng)在云計(jì)算、大數(shù)據(jù)和數(shù)聯(lián)網(wǎng)等領(lǐng)域得到廣泛應(yīng)用。發(fā)表學(xué)術(shù)論文100余篇，獲國(guó)際期刊/會(huì)議優(yōu)秀論文榮譽(yù)10余次。曾擔(dān)任國(guó)家自然科學(xué)基金中美軟件合作研究項(xiàng)目和歐盟第七框架大規(guī)模集成項(xiàng)目中方負(fù)責(zé)人。曾獲國(guó)家技術(shù)發(fā)明一等獎(jiǎng)和二等獎(jiǎng)、國(guó)家自然科學(xué)二等獎(jiǎng)及國(guó)家杰出青年科學(xué)基金、國(guó)家高層次人才特殊支持計(jì)劃、中國(guó)青年科技獎(jiǎng)、全國(guó)優(yōu)秀博士學(xué)位論文、中國(guó)計(jì)算機(jī)學(xué)會(huì)青年科學(xué)家獎(jiǎng)、科學(xué)探索獎(jiǎng)等個(gè)人學(xué)術(shù)榮譽(yù)。
隨著互聯(lián)網(wǎng)演變成全球泛在的計(jì)算平臺(tái)，對(duì)軟件理論、方法與技術(shù)帶來(lái)全方位挑戰(zhàn)，互聯(lián)網(wǎng)平臺(tái)開(kāi)放、動(dòng)態(tài)、難控的特性需要軟件在基本形態(tài)、行為特征、開(kāi)發(fā)方法、運(yùn)行機(jī)制和質(zhì)量保障等方面發(fā)生相應(yīng)改變。我國(guó)學(xué)者率先從軟件技術(shù)視角系統(tǒng)地考察和研究互聯(lián)網(wǎng)計(jì)算，于2000年提出面向互聯(lián)網(wǎng)計(jì)算的軟件范型-網(wǎng)構(gòu)軟件（Internetware）。
該項(xiàng)目經(jīng)過(guò)十多年研究與實(shí)踐，揭示了網(wǎng)構(gòu)軟件系統(tǒng)高層結(jié)構(gòu)之多階段復(fù)雜性關(guān)聯(lián)，提出全生命周期軟件體系結(jié)構(gòu)（Software Architecture，SA）概念及其建模理論和 ABC （Architecture Based component Composition）方法，將軟件生命期各階段的核心制品與活動(dòng)統(tǒng)一為SA模型及其迭代細(xì)化和轉(zhuǎn)換，大幅提高軟件開(kāi)發(fā)和演化效率及質(zhì)量；揭示了網(wǎng)構(gòu)軟件系統(tǒng)運(yùn)行時(shí)體系結(jié)構(gòu)機(jī)理與性質(zhì)，提出運(yùn)行時(shí)軟件體系結(jié)構(gòu)（Runtime Software Architecture， RSA）概念，將SA從開(kāi)發(fā)階段拓展到運(yùn)行階段，建立了基于模型雙向變換和代碼自動(dòng)生成的網(wǎng)構(gòu)軟件RSA構(gòu)造與演化方法；揭示了系統(tǒng)設(shè)計(jì)、實(shí)現(xiàn)與運(yùn)行間的逆向追蹤性質(zhì)，提出基于程序、文檔和運(yùn)行數(shù)據(jù)分析的SA模型恢復(fù)方法，發(fā)明了客戶端驅(qū)動(dòng)的SA資源反射方法與機(jī)制，支持逆向理解和重構(gòu)系統(tǒng)RSA并實(shí)時(shí)監(jiān)測(cè)與控制；發(fā)明了人機(jī)協(xié)同的互操作接口自動(dòng)化生成方法，代碼生成率超 95%；實(shí)現(xiàn)了多種常見(jiàn)信息孤島業(yè)務(wù)數(shù)據(jù)和功能互操作接口的自動(dòng)化生成和運(yùn)行服務(wù)，信息孤島開(kāi)放效率平均提升2個(gè)數(shù)量級(jí)，顛覆了傳統(tǒng)互操作技術(shù)的“白盒”途徑。研制的系統(tǒng)平臺(tái)和工具在國(guó)家大數(shù)據(jù)戰(zhàn)略若干重大工程和任務(wù)中得到廣泛應(yīng)用，相關(guān)技術(shù)進(jìn)入數(shù)字對(duì)象架構(gòu)標(biāo)準(zhǔn)。
2.獲獎(jiǎng)人簡(jiǎn)介：
梅宏，1963年5月出生于貴州，計(jì)算機(jī)軟件專(zhuān)家，中國(guó)科學(xué)院院士，發(fā)展中國(guó)家科學(xué)院院士，歐洲科學(xué)院外籍院士，國(guó)際電氣與電子工程學(xué)會(huì)會(huì)士（IEEE Fellow）。1984年和1987年于南京航空航天大學(xué)分獲學(xué)士和碩士學(xué)位；1992年在上海交通大學(xué)獲博士學(xué)位，同年進(jìn)入北京大學(xué)進(jìn)行博士后研究工作。歷任北京大學(xué)講師、副研究員、教授，信息科學(xué)技術(shù)學(xué)院副院長(zhǎng)、院長(zhǎng)，上海交通大學(xué)副校長(zhǎng)，北京理工大學(xué)副校長(zhǎng)、常務(wù)副校長(zhǎng)?，F(xiàn)任軍事科學(xué)院副院長(zhǎng)，高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室（北京大學(xué)）主任，中國(guó)計(jì)算機(jī)學(xué)會(huì)理事長(zhǎng)。主要研究領(lǐng)域?yàn)檐浖こ毯拖到y(tǒng)軟件，在構(gòu)件化軟件中間件、開(kāi)發(fā)方法學(xué)和工具環(huán)境等方面取得了系列成果。曾擔(dān)任國(guó)家重點(diǎn)基礎(chǔ)研究計(jì)劃（973）首席科學(xué)家和國(guó)家自然科學(xué)基金創(chuàng)新研究群體帶頭人。曾獲國(guó)家技術(shù)發(fā)明一等獎(jiǎng)和二等獎(jiǎng)、國(guó)家自然科學(xué)二等獎(jiǎng)、國(guó)家科技進(jìn)步二等獎(jiǎng)及全國(guó)優(yōu)秀博士后獎(jiǎng)、國(guó)家杰出青年科學(xué)基金、中國(guó)青年科技獎(jiǎng)、何梁何利基金科學(xué)與技術(shù)進(jìn)步獎(jiǎng)、IEEE CS Technical Achievement Award等個(gè)人學(xué)術(shù)榮譽(yù)。?
黃罡，1975年10月出生于湖南，計(jì)算機(jī)軟件專(zhuān)家。1997年和2000年于西北工業(yè)大學(xué)分獲學(xué)士和碩士學(xué)位，2003年在北京大學(xué)獲博士學(xué)位。2004年至今，歷任北京大學(xué)講師、副教授、教授?，F(xiàn)任北京大學(xué)人工智能研究院副院長(zhǎng)，北京大數(shù)據(jù)先進(jìn)技術(shù)研究院首席科學(xué)家。長(zhǎng)期從事系統(tǒng)軟件領(lǐng)域的教學(xué)與科研工作，研制的自適應(yīng)軟件技術(shù)與系統(tǒng)在云計(jì)算、大數(shù)據(jù)和數(shù)聯(lián)網(wǎng)等領(lǐng)域得到廣泛應(yīng)用。發(fā)表學(xué)術(shù)論文100余篇，獲國(guó)際期刊/會(huì)議優(yōu)秀論文榮譽(yù)10余次。曾擔(dān)任國(guó)家自然科學(xué)基金中美軟件合作研究項(xiàng)目和歐盟第七框架大規(guī)模集成項(xiàng)目中方負(fù)責(zé)人。曾獲國(guó)家技術(shù)發(fā)明一等獎(jiǎng)和二等獎(jiǎng)、國(guó)家自然科學(xué)二等獎(jiǎng)及國(guó)家杰出青年科學(xué)基金、國(guó)家高層次人才特殊支持計(jì)劃、中國(guó)青年科技獎(jiǎng)、全國(guó)優(yōu)秀博士學(xué)位論文、中國(guó)計(jì)算機(jī)學(xué)會(huì)青年科學(xué)家獎(jiǎng)、科學(xué)探索獎(jiǎng)等個(gè)人學(xué)術(shù)榮譽(yù)。?