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


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

文章插图
计算机软体新技术国家重点实验室(南京大学)【南京大学 计算机软体新技术国家重点实验室】南京大学计算机软体新技术国家重点实验室是在南京大学计算机科学与技术系和计算机软体研究所多年进行软体研究的基础上建立的,1986年底通过专家论证,1987年开始筹建,1990年建成,并通过国家验收,向国内外开放 。迄今已通过全部五次评估(1993、1997、2002、2007、2012年),并在2007年和2012年进行的第四、五次评估中被评为信息科学领域优秀类国家重点实验室(计算机学科唯一优秀类实验室) 。中科院院士吕建教授任实验室主任,中科院院士孙钟秀教授(已故)任学术委员会主任 。中国计算机软体学先驱,中国计算机科学奠基人之一徐家福教授任名誉主任 。
基本介绍中文名:计算机软体新技术国家重点实验室
外文名: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.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计画Web Service的套用集成与可信性管理技术及中间件平台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余篇次 。论文发表的刊物包括《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号计算机科学与技术楼南京大学仙林校区