计算机软件新技术国家重点实验室(南京大学) 编辑

南京大学计算机科学与技术系下设的实验室

计算机软件新技术国家重点实验室(南京大学)计算机软件新技术国家重点实验室(南京大学)

南京大学计算机软件新技术国家重点实验室是在南京大学计算机科学与技术系和计算机软件研究所多年进行软件研究的基础上建立的,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年进行的第四、五次评估中被评为信息科学领域优秀类国家重点实验室(计算机学科唯一优秀类实验室 )。

计算机软件技术与产业是信息技术与产业的灵魂。计算机软件新技术国家重点实验室以国家重大需求为导向,坚持“研究力求原创,技术取得突破,成果促进产业”的指导思想,立足于应用基础研究,从软件新方法和新技术的探索、软件高新技术的研究与开发、以及关键软件产品和应用的产业化促进三个层次开展软件新技术的研究与应用工作。

实验室所在,南京大学仙林校区计算机系实验室所在,南京大学仙林校区计算机系

评估情况

编辑

年份

评估结果

备注

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人,国家杰出青年科学基金获得者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号计算机科学与技术楼

南京大学仙林校区