计算机软件新技术国家重点实验室


计算机软件新技术国家重点实验室在南京大学计算机学科多年进行软件研究的基础上,于1986年底通过专家论证,1987年开始筹建,1990年建成,并通过国家验收正式开放运行。从2001年开始至今,实验室连续三次被评为信息科学领域优秀类国家重点实验室。

信息化社会与数字经济的基础设施是国家信息技术战略竞争的高地。实验室以发展与创立新一代智能化软件方法与技术体系为目标,从事关全局的基础技术、颠覆性技术创新和领域瓶颈解决方案等方面为抓手,在软件新技术和人工智能领域持续开展原始创新和重大技术突破,成为国家战略科技力量的重要组成部分。

实验室以基础研究为支撑,定位于应用基础研究,以世界科技前沿、国家重大需求、服务经济社会发展为导向,密切结合计算机软件新技术发展的新趋势和新方向,以探索计算机软件领域面临的重大科学问题为宗旨,以发展与创立新一代智能化软件方法与技术体系为学术目标,坚持“研究力求原创,技术取得突破,成果促进产业”。

二十年来,实验室直面“关键软件和技术能够自主,原创与创新技术不断出现、软件产业形成体系和规模,发展方式能够不断跨越、各行各业能够被有效支撑”的国家重大需求,从事关全局的基础技术、颠覆性技术创新和领域瓶颈解决方案等方面不断探索与突破,取得了一批重要理论成果,突破了一批关键技术难题,在国际上发表了多篇有重要影响的论文,代表性成果包括:(1)创立了元级化定义化可信化网构软件方法学与技术体系,以软件基础范型的自主创新构建软件新方法与技术体系,原创性与体系化成果在国内外产生了广泛学术影响。相关成果已在云计算、物联网、电力信息化等关键领域成功应用,经济和社会效益明显。(2)突破了基于弱监督信息的机器学习理论与方法,创立了面向多义性对象的新型机器学习框架,开拓了“多示例多标记学习”新型机器学习方向,为我国企业人工智能核心技术突破提供了重要支撑,服务于国家重大工程、国防重大需求。(3)拓展了复杂环境下的可信软件方法与技术,有效控制了程序规模和动态不确定运行环境所导致的复杂性,形成了复杂环境下基于认识与理解途径的可信软件方法与技术体系,为工业界软件质量保障降低成本、提高效率提供了有效手段和途径。(4)发展了人机物融合的分布计算关键支撑技术,形成以“感传算存”为核心、端网云一体化协同的分布式应用支撑技术体系,以上述关键技术为基础,研发了相应的分布式支撑平台及系统,在电力、水利、轨道交通、数字媒体等行业推广应用,取得显著经济与社会效益。形成了一套面向Internet与人机物融合的软件方法与技术体系,创新成果应用成效显著。


二十年来,实验室通过系列国际合作与交流活动,拓展国际合作空间,逐步转变了在国际学术交流活动中的角色,提升了在国际学术活动中的话语权与主动权,国际影响力不断提升。实验室积极承担了以国家重大科研任务为技术主体的各类研究课题830余项,围绕软件范型、可信软件、机器学习、理论计算机科学等领域的基础核心问题开展研究与攻关,研制与开发了一批新型软件支撑平台与系统,取得了一批知识产权,申请发明专利1451项,其中美国专利9项,PCT专利16项,获授权发明专利605项,获得软件著作权142项。值得一提的是,实验室以高水平科研成果与知识产权为基础,注重探索在开放化时代软件新技术推广应用的新理念与新模式,在“应用新范型、方法原创性、平台开放化、技术普及化、支撑惠民化、推动持续性、推广协同化”等方面积极实践,积极拓宽科技成果的应用与转化渠道,与政府、企业开展广泛合作,通过设立开放实验室和平台聚集国内优质资源,主要包括国际合作机构与实体、江苏省软件新技术与产业化协同创新中心、校企联合创新研究实体、新型研发机构,在下一代程序设计语言、机器学习、人机物融合软件等关键软件技术与系统的应用与产业化促进、知识产权转让和成果转化等方面取得显著成效,专利转化或成果应用合同经费逾亿元,获得了多项国家自然科学奖、国家科技进步奖、国家教学成果奖、何梁何利奖等国家与省部级奖励。

实验室面向国家重点实验室重组的重大部署,面向苏州发展需求,立足苏州校区建设,将在苏州重点延伸智能化软件、先进人工智能新技术等领域。



上一篇:下一篇: