基本介紹
- 中文名：計算機軟體新技術國家重點實驗室
- 外文名：State Key Laboratory for Novel Software Technology at Nanjing University
- 實驗室編號：1987DA105045
- 主管部門：教育部
- 建設年份：1987
- 驗收年份：1990
- 依託單位：南京大學
實驗室概況,評估情況,科學研究,科研團隊,隊伍和機構,其他人才獎,聯繫,
實驗室概況
計算機軟體新技術國家重點實驗室依託南京大學建設，在南京大學計算機科學與技術系和計算機軟體研究所多年進行軟體研究的基礎上建立。1987年籌建，1990年建成，並通過國家驗收，向國內外開放。1993年通過第一次評估，1997年通過第二次評估，2002年3月通過第三次評估。在2007年和2012年進行的第四、五次評估中被評為信息科學領域優秀類國家重點實驗室（計算機學科唯一優秀類實驗室）。
實驗室所在，南京大學仙林校區計算機系
實驗室所在，南京大學仙林校區計算機系計算機軟體技術與產業是信息技術與產業的靈魂。計算機軟體新技術國家重點實驗室以國家重大需求為導向，堅持“研究力求原創，技術取得突破，成果促進產業”的指導思想，立足於套用基礎研究，從軟體新方法和新技術的探索、軟體高新技術的研究與開發、以及關鍵軟體產品和套用的產業化促進三個層次開展軟體新技術的研究與套用工作。
評估情況
| 年份 | 評估結果 | 備註 |
|---|---|---|
1993年 | 通過第一次評估 | |
1997年 | 通過第二次評估 | |
2002年 | 通過第三次評估 | |
2007年 | 通過第四次評估，信息科學領域優秀類國家重點實驗室 | 計算機學科唯一優秀類實驗室 |
2012年 | 通過第五次評估，信息科學領域優秀類國家重點實驗室 | 計算機學科唯一優秀類實驗室 |
科學研究
主要研究方向
新型程式設計與軟體方法學、分布計算與並行處理、軟體質量保障與自動化技術、系統軟體及信息安全、以及智慧型化與多媒體軟體支撐技術。
具體研究內容包括主體化與可信化的軟體方法學框架、機器學習與智慧型化軟體支撐技術、普適化的分散式計算與套用支撐技術、以及人本化的多媒體信息處理技術及其套用等；旨在以軟體方法學與機器學習為切入點，研製一套面向Internet的軟體方法與技術支撐體系。
總體目標
以國家重大需求為導向，密切結合計算機軟體新技術發展的新趨勢和新方向，以基礎共性的軟體新方法與新技術為切入點，在軟體新方法與新技術前瞻性和原創性探索方面取得突破與進展，發表一批高水平的學術論文，力爭產生較大的國際影響；在軟體高新技術的研究與開發方面不斷取得進展，研製與開發一批高水平的新型軟體支撐平台與系統並取得智慧財產權，在軟體核心技術與平台的自主創新方面形成特色；積極拓寬研究成果的轉化與套用渠道，在關鍵軟體技術與系統的套用與產業化促進方面取得實際成效；從而把本實驗室建設成為軟體新方法與新技術領域共性基礎問題的系統性與持續性的研究基地、軟體高新技術與系統的研發與套用基地、軟體高水平人才的培養基地、以及軟體新技術的自主創新與實踐基地；不僅為我國在國際軟體高新技術領域占有一席之地做出貢獻，而且為我國軟體產業的跨越式發展發揮積極的促進作用。
部分已完成科研項目
| 項目名稱 | 編號 | 負責人 | 起止時間 | 類型 |
|---|---|---|---|---|
基於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計畫 |
代表性成果
1、對象化與主體化軟體協同技術與平台。所承擔的國家自然科學基金項目“基於軟體Agent的軟體服務協同模式與中間件技術研究（60273034）”在2006年的結題評審中被評為特優；研究成果“面向對象與移動Agent技術研究”獲得2004年度教育部提名國家科學技術獎自然科學一等獎；研究成果“對象化與主體化的軟體協同技術、平台與套用”獲2006年度國家科技進步二等獎。
2、軟體質量保障關鍵技術及其支撐工具。研究成果被德國、法國、加拿大、愛爾蘭、印度、澳大利亞、義大利、巴西等國學者他引10餘次，先後獲得 2002年教育部提名國家科學技術獎自然科學二等獎、2004年教育部提名國家科學技術獎科技進步二等獎。
3、分布計算模型、支撐技術及套用。研究成果被美國，加拿大、德國，法國、日本，瑞典等國學者他引20餘次。申請專利13項，已獲批准1項。獲江蘇省科技進步一等獎1項。
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、計算機讀圖技術。該項成果中，博士論文“逐步簡化的掃描工程圖矢量化模型及圖形識別方法的研究”被評為2004年度“計算機科學與技術學科”唯一的全國優秀博士論文； “計算機讀圖技術研究”獲2006年度高等學校科學技術獎自然科學二等獎；碩士論文“一種獲取細胞免疫信息的圖像分析方法”獲得2006年江蘇省優秀碩士論文獎。
專著
《軟體語言及其實現》，徐家福、呂建，2002年獲國家優秀教材一等獎
專利
基於聚類學習器集成的數字圖像分割方法
基於選擇性多本徵空間集成的數字人臉圖像識別方法
支持VCR功能的多播流合併方法
一種重要度驅動的自適應光子密度控制方法
快速學習分類方法
一種適用於計算機輔助醫療診斷的預測建模方法
數字灰度圖像中人臉眼睛中心的精確自動定位方法
一種基於每人一幅圖像的自動人臉識別方法
一種自適應的網際網路目錄網頁推薦方法
軟體著作權
基於Web Service的信任引擎ARTEMIS-WSTE軟體
自適應軟體協同中間件平台Artemis-MAC軟體
基於MDA的EDOC模型轉換軟體
基於伺服器群的多媒體信息共享和綜合檢索套用系統
基於分散式套用伺服器的基礎支撐平台軟體
軟體過程自評估工具軟體
視頻點播系統(VOD)的基於測量的自適應接納控制服務軟體
南京大學流媒體服務支持系統軟體
南京大學視頻點播系統軟體
過程體系定製工具軟體
軟體規範驅動工具軟體
軟體估算工具軟體
動態構架Web服務集成平台軟體V1.0
網路教學支持系統（ECLASS）
基於agent的多模式協同中間件ARTEMIS_M3C
基於agent的移動套用協同支撐系統ARTEMIS_MAP
其他榮譽
截至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次。
科研團隊
隊伍和機構
實驗室現有固定研究人員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號計算機科學與技術樓
南京大學仙林校區
