团队参与的项目获批2025年度上海市计算机学会科学技术奖一等奖