計算機軟體新技術國家重點實驗室(南京大學)

計算機軟體新技術國家重點實驗室(南京大學)

徠南京大學計算機軟體新技術國家重點實驗室是在南京大學計算機科學與技術系和計算機軟體研究所多年進行軟體研究的基礎上建立的,1986年底通過專家論證,1987年開始籌建,1990年建成,並通過國家驗收,向國內外開放。迄今已通過全部五次評估(1993、1997、2002、2007、2012年),並在2007年和2012年進行的第四、五次評估中被評為信息科學領域優秀類國家重點實驗室(計算機學科唯一優秀類實驗室)。中科院院士呂建教授任實驗室主任,中科院院士孫鍾秀教授(已故)任學術委員會主任。中國計算機軟體學先驅,中國計算機科學奠基人之一徐家福教授任名譽主任。

實驗室概況


實驗室所在,南京大學仙林校區計算機系
實驗室所在,南京大學仙林校區計算機系
計算機軟體新技術國家重點實驗室依託南京大學建設,在南京大學計算機科學與技術系和計算機軟體研究所多年進行軟體研究的基礎上建立。1987年籌建,1990年建成,並通過國家驗收,向國內外開放。1993年通過第一次評估,1997年通過第二次評估,2002年3月通過第三次評估。在2007年和2012年進行的第四、五次評估中被評為信息科學領域優秀類國家重點實驗室(計算機學科唯一優秀類實驗室)。
計算機軟體技術與產業是信息技術與產業的靈魂。計算機軟體新技術國家重點實驗室以國家重大需求為導向,堅持“研究力求原創,技術取得突破,成果促進產業”的指導思想,立足於應用基礎研究,從軟體新方法和新技術的探索、軟體高新技術的研究與開發、以及關鍵軟體產品和應用的產業化促進三個層次開展軟體新技術的研究與應用工作。

評估情況


年份評估結果備註
1993年通過第一次評估
1997年通過第二次評估
2002年通過第三次評估
2007年通過第四次評估,信息科學領域優秀類國家重點實驗室計算機學科唯一優秀類實驗室
2012年通過第五次評估,信息科學領域優秀類國家重點實驗室計算機學科唯一優秀類實驗室 

科學研究


主要研究方向
新型程序設計與軟體方法學、分佈計算與并行處理、軟體質量保障與自動化技術、系統軟體及信息安全、以及智能化與多媒體軟體支撐技術。
具體研究內容包括主體化與可信化的軟體方法學框架、機器學習與智能化軟體支撐技術、普適化的分散式計算與應用支撐技術、以及人本化的多媒體信息處理技術及其應用等;旨在以軟體方法學與機器學習為切入點,研製一套面向Internet的軟體方法與技術支撐體系。
總體目標
以國家重大需求為導向,密切結合計算機軟體新技術發展的新趨勢和新方向,以基礎共性的軟體新方法與新技術為切入點,在軟體新方法與新技術前瞻性和原創性探索方面取得突破與進展,發表一批高水平的學術論文,力爭產生較大的國際影響;在軟體高新技術的研究與開發方面不斷取得進展,研製與開發一批高水平的新型軟體支撐平台與系統並取得知識產權,在軟體核心技術與平台的自主創新方面形成特色;積極拓寬研究成果的轉化與應用渠道,在關鍵軟體技術與系統的應用與產業化促進方面取得實際成效;從而把本實驗室建設成為軟體新方法與新技術領域共性基礎問題的系統性與持續性的研究基地、軟體高新技術與系統的研發與應用基地、軟體高水平人才的培養基地、以及軟體新技術的自主創新與實踐基地;不僅為我國在國際軟體高新技術領域佔有一席之地做出貢獻,而且為我國軟體產業的跨越式發展發揮積極的促進作用。
部分已完成科研項目
項目名稱編號負責人起止時間類型
基於Agent的網構軟體模型、方法與可信性計算框架研究2002CB312002呂建2002.12-2007.8973計劃
網構軟體形式化理論與方法研究2002CB312001李宣東2002.12-2007.8973計劃
模式識別、人工智慧60325207周志華2004.1-2007.12國家傑出青年科學基金
軟體工程學60425204李宣東2005.1-2008.12國家傑出青年科學基金
基於手繪草圖的智能化構思環境及其關鍵技術研究60373065孫正興2004.1-2006.12國家自然科學基金
軟體自保護模型、機制和工具的研究60373064茅兵2004.1-2006.12國家自然科學基金
知識網格環境下認知協作的工作流原理、集成方法與原型系統研究60303025竇萬春2004.1-2006.12國家自然科學基金
實時系統的軟體可靠測試與驗證60233020王戟,李宣東2003.1-2006.12國家自然科學基金(重點基金)
併發時間自動機檢驗演演算法中的空間壓縮技術60203009趙建華2003.1-2005.12國家自然科學基金
UML模型分析技術和支撐根據的研究60273036鄭國梁2003.1-2005.12國家自然科學基金
計算系統的軟體抗衰與自愈技術研究60273035許滿武2003.1-2005.12國家自然科學基金
基於軟體Agent的軟體服務協同模式與中間件技術研究60273034呂建2003.1-2005.12國家自然科學基金
神經網路集成技術的研究及其應用60273033陳兆乾2003.1-2005.12國家自然科學基金
軟體的特徵交互及互操作性的研究60233010梅宏,呂建2003.1-2006.12國家自然科學基金
多示例學習及其應用的研究60105004周志華2002.1-2004.12國家自然科學基金
網際網路上端到端多播擁塞控制演演算法研究60103013王箭2002.1-2004.12國家自然科學基金
多Agent信念修正理論研究60103012高陽2002.1-2004.12國家自然科學基金
實時和混成系統的組合模型驗證研究60073031李宣東2001.1-2003.12國家自然科學基金
Web信息過濾的智能化方法與協作技術研究60073030張福炎2001.1-2003.12國家自然科學基金
VLSI布局設計的研究60073029陳貴海2001.1-2003.12國家自然科學基金
面向Agent的行動推理研究60003010駱斌2001.1-2003.12國家自然科學基金
擴展語義數據類型69973047蔣穎,宋方敏2000.1-2002.12國家自然科學基金
基於Java/CORBA的可視化對象建模研究69973020許滿武2000.1-2002.12國家自然科學基金
基於數據倉庫的方案設計智能化方法及工具研究69903006孫正興2000.1-2002.12國家自然科學基金
中英網格實驗平台核心技術及應用研究——CNGrid遠程測試環境南京大學節點建設2005AA119010陶先平2005.6-2006.6863計劃
基於Agent的軟體協同新技術研究2005AA113160陶先平2005.6-2006.6863計劃
軟體開發公共技術支撐體系的若干關鍵技術研究和系統集成2005AA113030馬曉星2005.4-2006.3863計劃
系統平台安全評估技術研究與開發2004AA147070曾慶凱2004.9-2005.12863計劃
面向奧運的日漢機器翻譯引擎2004AA117010-05陳家駿2005.1-2005.10863計劃
伺服器安全關鍵技術的研究與開發2002AA141090曾慶凱2002.9-2003.12863計劃
面向內容管理的Web頁面智能處理技術2002AA117010-10武港山2002.5-2004.12863計劃
受限領域的日漢機器翻譯技術研究2002AA117010-04陳家駿2002.5-2004.12863計劃
基於MDA的VML模型轉換技術和支撐工具的研究2002AA116090趙建華2002.5-2004.12863計劃
WebService的應用集成與可信性管理技術及中間件平台2002AA116010呂建2002.5-2004.12863計劃
基於Linux的操作系統安全增強技術的研究與開發2001AA144010茅兵2001.11-2002.10863計劃
信息安全主動防禦體系結構研究2001AA144110顧慶2001.10-2003.1863計劃
基於多策略的日漢/漢日Internet機器翻譯系統2001AA114102陳家駿2001.10-2002.10863計劃
智能中文信息處理平台2001AA114040武港山2001.1-2003.12863計劃
實時和混成系統系統模型檢驗的關鍵技術研究2001AA113203李宣東2001.9-2003.12863計劃
信息可視化語言成份及環境機制的設計與應用2001AA113161蘇新寧#,許滿武2001.10-2003.12863計劃
基於Agent的軟體服務協同技術及其中間件平台2001AA113110陶先平2001.10-2003.12863計劃
基於CMM的軟體質量保障平台研究及應用2004AA112090陳道蓄2004.10-2005.10863計劃
基於CMM的軟體質量保障平台及應用2001AA113090陳道蓄2001.10-2004.10863計劃
應用伺服器的運行、管理與調度技術2001AA113050陸桑璐2001.10-2004.10863計劃 
代表性成果
1、對象化與主體化軟體協同技術與平台。所承擔的國家自然科學基金項目“基於軟體Agent的軟體服務協同模式與中間件技術研究(60273034)”在2006年的結題評審中被評為特優;研究成果“面向對象與移動Agent技術研究”獲得2004年度教育部提名國家科學技術獎自然科學一等獎;研究成果“對象化與主體化的軟體協同技術、平台與應用”獲2006年度國家科技進步二等獎。
2、軟體質量保障關鍵技術及其支撐工具。研究成果被德國、法國、加拿大、愛爾蘭、印度、澳大利亞、義大利、巴西等國學者他引10餘次,先後獲得2002年教育部提名國家科學技術獎自然科學二等獎、2004年教育部提名國家科學技術獎科技進步二等獎。
3、分佈計算模型、支撐技術及應用。研究成果被美國,加拿大、德國,法國、日本,瑞典等國學者他引20餘次。申請專利13項,已獲批准1項。獲江蘇省科技進步一等獎1項。
4、集成學習的關鍵技術研究。該成果在2002-2006年間發表論文60餘篇,被SCI、EI收錄90餘篇次。論文發表的刊物包括《ArtificialIntelligence》、《ACMTransactionsonInformationSystems》、《IEEETransactionsonKnowledgeandDataEngineering》、《IEEETransactionsonNeuralNetworks》、《IEEETransactionsonInformationTechnologyinBiomedicine》、《IEEETransactionsonSystem,ManandCybernetics-B》、《AICommunications》、《ArtificialIntelligenceinMedicine》、《PatternRecognition》等。獲國家發明專利4項,在國際會議做特邀報告4次。承擔國家傑出青年科學基金、國家自然科學基金、江蘇省自然科學基金等9項科研項目,已結題的國家自然科學基金項目被評為“特優”。部分研究工作被《國家自然科學基金委員會2004年度報告》專門介紹。部分成果獲2005年度教育部提名國家科學技術獎自然科學一等獎。
5、計算機讀圖技術。該項成果中,博士論文“逐步簡化的掃描工程圖矢量化模型及圖形識別方法的研究”被評為2004年度“計算機科學與技術學科”唯一的全國優秀博士論文;“計算機讀圖技術研究”獲2006年度高等學校科學技術獎自然科學二等獎;碩士論文“一種獲取細胞免疫信息的圖像分析方法”獲得2006年江蘇省優秀碩士論文獎。
專著
《軟體語言及其實現》,徐家福、呂建,2002年獲國家優秀教材一等獎
專利
基於聚類學習器集成的數字圖像分割方法
基於選擇性多本徵空間集成的數字人臉圖像識別方法
支持VCR功能的多播流合併方法
一種重要度驅動的自適應光子密度控制方法
快速學習分類方法
一種適用於計算機輔助醫療診斷的預測建模方法
數字灰度圖像中人臉眼睛中心的精確自動定位方法
一種基於每徠人一幅圖像的自動人臉識別方法
一種自適應的網際網路目錄網頁推薦方法
軟體著作權
基於WebService的信任引擎ARTEMIS-WSTE軟體
自適應軟體協同中間件平台Artemis-MAC軟體
基於MDA的EDOC模型轉換軟體
基於伺服器群的多媒體信息共享和綜合檢索應用系統
基於分散式應用伺服器的基礎支撐平台軟體
軟體過程自評估工具軟體
視頻點播系統(VOD)的基於測量的自適應接納控制服務軟體
南京大學流媒體服務支持系統軟體
南京大學視頻點播系統軟體
過程體系定製工具軟體
軟體規範驅動工具軟體
軟體估算工具軟體
動態構架Web服務集成平台軟體V1.0
網路教學支持系統(ECLASS)
基於agent的多模式協同中間件ARTEMIS_M3C
基於agent的移動應用協同支撐系統ARTEMIS_MAP
其他榮譽
截至2001年底,實驗室共承擔863計劃項目67項,國家攻關項目29項,攀登計劃項目、國家傑出青年基金、國家自然科學基金等50項,省部委、國際合作與橫向協作等170項。共發表論文1831篇,其中包括:中國科學、CommunicationsofTheACM、IEEETransactionsonSoftwareEngineering,TheoreticalComputerScience等國內外重要刊物論文677篇。多篇論文被美國、德國、法國、荷蘭、日本、以色列和芬蘭等國的學者在包括國際著名刊物JournalofTheACM等學術刊物上多次引用。此外,還出版學術著作36部。獲部省級以上獎52次。其中,國家級二等獎3次、三等獎1次及省部級一等獎8次、二等獎18次。

科研團隊


隊伍和機構

實驗室現有固定研究人員48人,其中中國科學院院士1人,國家有突出貢獻的中青年專家2人,長江學者特聘教授2人,國家傑出青年科學基金獲得者5人,教育部優秀青年教師獎獲得者1人、教育部跨(新)世紀人才計劃入選者11人,教育部創新團隊1個,中創軟體人才獎獲得者6人,此外,培養出全國優秀博士學位論文獲得者2人,全國優秀博士學位論文被提名者1人。多人在國家863計劃專家組、國務院學位委員會學科評議組、中國計算機學會專業委員會、國際刊物與學術機構、及其國內重要刊物任職或擔任編委;此外,還擔任了一系列國內外學術會議的主席和程序委員會委員等。
本實驗室建立了各項規章管理制度,在運行經費、辦公場地、人才引進、評價機制、學術活動、國內外協作等方面得到依託單位南京大學的有力支持,使得研究人員把精力集中在科學研究和實驗室發展上。

其他人才獎

2006年呂建教授獲得江蘇省有突出貢獻的中青年專家。
周志華教授2006年獲得微軟青年教授獎。
周志華教授2006年獲得第九屆中國青年科技獎和第九屆江蘇省青年科技獎。
陳貴海教授2004年獲第九屆中創軟體人才獎。
周志華教授被評選為2004年度江蘇省十大傑出青年。
周志華教授2004年獲得第九屆霍英東青年教師基金。
2003年周志華教授入選教育部優秀青年教師資助計劃。
周志華教授2002年獲第七屆中創軟體人才獎。
呂建教授2002年進入江蘇省333人才培養工程第一層次。
李宣東教授2002年入選江蘇省青藍工程學術帶頭人培養計劃。
李宣東教授被教育部評為2002年高等學校優秀骨幹教師。
孫鍾秀院士和呂建教授2001年獲得國家科技部“863計劃十五周年”先進個人。
李宣東教授、宋方敏教授、茅兵教授、曾慶凱教授、陸桑璐博士、孫正興博士6人2000年入選教育部高等學校骨幹教師資助計劃。
陳貴海教授2000年入選江蘇省青藍工程學術帶頭人培養計劃。
呂建教授1999年獲第四屆中創軟體人才獎。
周志華教授獲1999年微軟中國研究院首屆“微軟學者”獎。
李宣東教授1998年獲第三屆中創軟體人才獎。
1997年,謝立教授進入江蘇省333人才培養工程第一層次,呂建教授入選該工程第二層次。
呂建教授1997年進入國家百千萬工程(第一、二層次)。
謝立教授1994年被授予“國家有突出貢獻的中青年專家”稱號。
呂建博士1993年獲霍英東青年教師獎(研究類)。
張福炎教授1991年被授予“國家有突出貢獻的中青年專家”稱號。
1990年呂建博士被授予“做出突出貢獻的中國博士學位獲得者”稱號。
孫鍾秀教授1990年被授予“國家有突出貢獻的中青年專家”稱號。

地址


地址:江蘇省南京市棲霞區仙林大道163號計算機科學與技術樓