5月25日,2025年特色化示范性软件学院院长联席会议在浙江大学软件学院召开。各示范性软件学院联盟副理事长,全国首批33所示范性软件学院及30多所省级示范性软件学院相关负责人、专家学者等120余人出席。
会上,2025年十大关键软件技术创新成果发布。今年发布的10项成果是从全国各示范性软件学院提交的26项成果中遴选而出的,入选成果涵盖了我国特色化示范性软件学院在关键基础软件、工业软件等领域的最新技术成果,相关成果均有效支撑国家战略工程实施并创造显著市场价值。
其中,北京大学软件与微电子学院研发的“基于大模型的智能化软件开发环境——aiXcoder”针对大模型生成结果不稳定、可信度低,而传统方法复杂度高、灵活性差的矛盾,提出融合经典程序分析与大模型技术的新型智能化软件开发技术。项目研发成果“aiXcoder智能化软件开发环境”支持了嫦娥四号探测器、祝融火星车等国家级重大工程任务的研发工作,并作为核心部件被集成或直接应用在重要国产IDE产品中,有力支持了国产软件开发工具和环境的发展。
针对工业机器人操作系统实时性差、高速运行精度低、多机调度难等问题,北京航空航天大学围绕机器人操作系统实时性、适应性、稳定性及智能性技术展开技术攻关、平台研制和应用推广,研发了自主可控的全栈式工业机器人操作系统,成果在光伏、新能源汽车、半导体及物流等领域实现了规模化应用,提升了先进制造产线自动化水平。
浙江大学软件学院研发的复杂服务跨界融合新型平台软件,其用户包括中国资源卫星中心、淘宝(中国)、网商银行、中石油、新华三、恒生电子、东软等,支撑了国家高分网格、最多跑一次、健康码、农村淘宝、互联网医疗等典型跨界融合场景。
示范性软件学院联盟理事长、北京交通大学教授卢苇表示,近年来,各院校在特色化软件人才培养和关键技术攻关方面成效显著,将持续深化产教协同创新,推动成果向产业转化。他希望各院校通过系统化培养拔尖人才、攻关“卡脖子”技术难题,切实支撑高等教育改革与国家战略需求,形成“育才-攻关-转化”良性循环的示范体系。