複製鏈接
請複製以下鏈接發送給好友

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

鎖定
南京大學計算機軟件新技術國家重點實驗室是在南京大學計算機科學與技術系和計算機軟件研究所多年進行軟件研究的基礎上建立的,1986年底通過專家論證,1987年開始籌建,1990年建成,並通過國家驗收,向國內外開放。迄今已通過全部五次評估(1993、1997、2002、2007、2012年),並在2007年和2012年進行的第四、五次評估中被評為信息科學領域優秀類國家重點實驗室(計算機學科唯一優秀類實驗室)。中科院院士呂建教授任實驗室主任,中科院院士孫鍾秀教授(已故)任學術委員會主任。中國計算機軟件學先驅,中國計算機科學奠基人之一徐家福教授任名譽主任。
中文名
計算機軟件新技術國家重點實驗室
外文名
State Key Laboratory for Novel Software Technology at Nanjing University
成立時間
1987年
主管部門
教育部
實驗室編號
1987DA105045
驗收年份
1990
依託單位
南京大學

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

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

計算機軟件新技術國家重點實驗室(南京大學)評估情況

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

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

主要研究方向
新型程序設計與軟件方法學、分佈計算與並行處理、軟件質量保障與自動化技術、系統軟件及信息安全、以及智能化與多媒體軟件支撐技術。 [3] 
具體研究內容包括主體化與可信化的軟件方法學框架、機器學習與智能化軟件支撐技術、普適化的分佈式計算與應用支撐技術、以及人本化的多媒體信息處理技術及其應用等;旨在以軟件方法學與機器學習為切入點,研製一套面向Internet的軟件方法與技術支撐體系。 [3] 
總體目標
以國家重大需求為導向,密切結合計算機軟件新技術發展的新趨勢和新方向,以基礎共性的軟件新方法與新技術為切入點,在軟件新方法與新技術前瞻性和原創性探索方面取得突破與進展,發表一批高水平的學術論文,力爭產生較大的國際影響;在軟件高新技術的研究與開發方面不斷取得進展,研製與開發一批高水平的新型軟件支撐平台與系統並取得知識產權,在軟件核心技術與平台的自主創新方面形成特色;積極拓寬研究成果的轉化與應用渠道,在關鍵軟件技術與系統的應用與產業化促進方面取得實際成效;從而把本實驗室建設成為軟件新方法與新技術領域共性基礎問題的系統性與持續性的研究基地、軟件高新技術與系統的研發與應用基地、軟件高水平人才的培養基地、以及軟件新技術的自主創新與實踐基地;不僅為我國在國際軟件高新技術領域佔有一席之地做出貢獻,而且為我國軟件產業的跨越式發展發揮積極的促進作用。 [4] 
部分已完成科研項目
項目名稱
編號
負責人
起止時間
類型
基於Agent的網構軟件模型、方法與可信性計算框架研究
2002CB312002
呂建
2002.12-2007.8
973計劃
網構軟件形式化理論與方法研究
2002CB312001
李宣東
2002.12-2007.8
973計劃
模式識別、人工智能
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.6
863計劃
基於Agent的軟件協同新技術研究
2005AA113160
陶先平
2005.6-2006.6
863計劃
軟件開發公共技術支撐體系的若干關鍵技術研究和系統集成
2005AA113030
馬曉星
2005.4-2006.3
863計劃
系統平台安全評估技術研究與開發
2004AA147070
曾慶凱
2004.9-2005.12
863計劃
面向奧運的日漢機器翻譯引擎
2004AA117010-05
陳家駿
2005.1-2005.10
863計劃
服務器安全關鍵技術的研究與開發
2002AA141090
曾慶凱
2002.9-2003.12
863計劃
面向內容管理的Web頁面智能處理技術
2002AA117010-10
武港山
2002.5-2004.12
863計劃
受限領域的日漢機器翻譯技術研究
2002AA117010-04
陳家駿
2002.5-2004.12
863計劃
基於MDA的VML模型轉換技術和支撐工具的研究
2002AA116090
趙建華
2002.5-2004.12
863計劃
Web Service的應用集成與可信性管理技術及中間件平台
2002AA116010
呂建
2002.5-2004.12
863計劃
基於Linux的操作系統安全增強技術的研究與開發
2001AA144010
茅兵
2001.11-2002.10
863計劃
信息安全主動防禦體系結構研究
2001AA144110
顧慶
2001.10-2003.1
863計劃
基於多策略的日漢/漢日Internet機器翻譯系統
2001AA114102
陳家駿
2001.10-2002.10
863計劃
智能中文信息處理平台
2001AA114040
武港山
2001.1-2003.12
863計劃
實時和混成系統系統模型檢驗的關鍵技術研究
2001AA113203
李宣東
2001.9-2003.12
863計劃
信息可視化語言成份及環境機制的設計與應用
2001AA113161
蘇新寧#,許滿武
2001.10-2003.12
863計劃
基於Agent的軟件服務協同技術及其中間件平台
2001AA113110
陶先平
2001.10-2003.12
863計劃
基於CMM的軟件質量保障平台研究及應用
2004AA112090
陳道蓄
2004.10-2005.10
863計劃
基於CMM的軟件質量保障平台及應用
2001AA113090
陳道蓄
2001.10-2004.10
863計劃
應用服務器的運行、管理與調度技術
2001AA113050
陸桑璐
2001.10-2004.10
863計劃 [5] 
代表性成果
1、對象化與主體化軟件協同技術與平台。所承擔的國家自然科學基金項目“基於軟件Agent的軟件服務協同模式與中間件技術研究(60273034)”在2006年的結題評審中被評為特優;研究成果“面向對象與移動Agent技術研究”獲得2004年度教育部提名國家科學技術獎自然科學一等獎;研究成果“對象化與主體化的軟件協同技術、平台與應用”獲2006年度國家科技進步二等獎。 [5] 
2、軟件質量保障關鍵技術及其支撐工具。研究成果被德國、法國、加拿大、愛爾蘭、印度、澳大利亞、意大利、巴西等國學者他引10餘次,先後獲得 2002年教育部提名國家科學技術獎自然科學二等獎、2004年教育部提名國家科學技術獎科技進步二等獎。 [5] 
3、分佈計算模型、支撐技術及應用。研究成果被美國,加拿大、德國,法國、日本,瑞典等國學者他引20餘次。申請專利13項,已獲批准1項。獲江蘇省科技進步一等獎1項。 [5] 
4、集成學習的關鍵技術研究。該成果在2002-2006年間發表論文60餘篇,被SCI、EI收錄90餘篇次。論文發表的刊物包括《Artificial Intelligence》、《ACM Transactions on Information Systems》、《IEEE Transactions on Knowledge and Data Engineering》、《IEEE Transactions on Neural Networks》、《IEEE Transactions on Information Technology in Biomedicine》、《IEEE Transactions on System, Man and Cybernetics - B》、《AI Communications》、《Artificial Intelligence in Medicine》、《Pattern Recognition》等。獲國家發明專利4項,在國際會議做特邀報告4次。承擔國家傑出青年科學基金、國家自然科學基金、江蘇省自然科學基金等9項科研項目,已結題的國家自然科學基金項目被評為“特優”。部分研究工作被《國家自然科學基金委員會2004年度報告》專門介紹。部分成果獲2005年度教育部提名國家科學技術獎自然科學一等獎。 [5] 
5、計算機讀圖技術。該項成果中,博士論文“逐步簡化的掃描工程圖矢量化模型及圖形識別方法的研究”被評為2004年度“計算機科學與技術學科”唯一的全國優秀博士論文; “計算機讀圖技術研究”獲2006年度高等學校科學技術獎自然科學二等獎;碩士論文“一種獲取細胞免疫信息的圖像分析方法”獲得2006年江蘇省優秀碩士論文獎。 [5] 
專著
《軟件語言及其實現》,徐家福、呂建,2002年獲國家優秀教材一等獎 [5] 
專利
基於聚類學習器集成的數字圖像分割方法
基於選擇性多本徵空間集成的數字人臉圖像識別方法
支持VCR功能的多播流合併方法
一種重要度驅動的自適應光子密度控制方法
快速學習分類方法
一種適用於計算機輔助醫療診斷的預測建模方法
數字灰度圖像中人臉眼睛中心的精確自動定位方法
一種基於每人一幅圖像的自動人臉識別方法
一種自適應的因特網目錄網頁推薦方法 [5] 
軟件著作權
基於Web Service的信任引擎ARTEMIS-WSTE軟件
自適應軟件協同中間件平台Artemis-MAC軟件
基於MDA的EDOC模型轉換軟件
基於服務器羣的多媒體信息共享和綜合檢索應用系統
基於分佈式應用服務器的基礎支撐平台軟件
軟件過程自評估工具軟件
視頻點播系統(VOD)的基於測量的自適應接納控制服務軟件
南京大學流媒體服務支持系統軟件
南京大學視頻點播系統軟件
過程體系定製工具軟件
軟件規範驅動工具軟件
軟件估算工具軟件
動態構架Web服務集成平台軟件V1.0
網絡教學支持系統(ECLASS)
基於agent的多模式協同中間件ARTEMIS_M3C
基於agent的移動應用協同支撐系統ARTEMIS_MAP [5] 
其他榮譽
截至2001年底,實驗室共承擔863計劃項目67項,國家攻關項目29項,攀登計劃項目、國家傑出青年基金、國家自然科學基金等50項,省部委、國際合作與橫向協作等170項。共發表論文1831篇,其中包括:中國科學、Communications of The ACM、IEEE Transactions on Software Engineering, Theoretical Computer Science等國內外重要刊物論文677篇。多篇論文被美國、德國、法國、荷蘭、日本、以色列和芬蘭等國的學者在包括國際著名刊物Journal of The ACM等學術刊物上多次引用。此外,還出版學術著作36部。獲部省級以上獎52次。其中,國家級二等獎3次、三等獎1次及省部級一等獎8次、二等獎18次。 [2] 

計算機軟件新技術國家重點實驗室(南京大學)科研團隊

計算機軟件新技術國家重點實驗室(南京大學)隊伍和機構

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

計算機軟件新技術國家重點實驗室(南京大學)其他人才獎

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年被授予“國家有突出貢獻的中青年專家”稱號。 [6] 

計算機軟件新技術國家重點實驗室(南京大學)地理位置

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