5月19日上午，2019年度上海市科学技术奖励大会在上海展览中心中央大厅召开，隆重表彰为上海科技创新事业和经济社会发展作出突出贡献的科技工作者。华东师范大学作为第一完成单位共有6项科技成果荣获表彰。其中，华东师范大学软件工程学院何积丰院士领衔完成的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获科技进步奖特等奖。这是华东师范大学首次摘得上海市科技进步特等奖。另有3项作为参与单位完成的成果荣获上海市科技进步奖一等奖。与近年相比，获奖质量与数量均获突破。

▲华东师范大学软件工程学院何积丰院士（左3）领衔的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获科技进步奖特等奖。

2019年度上海市科学技术奖

特等奖

《面向重大工业装备核心控制软件的安全可信保障技术及应用》

　　由华东师大软件工程学院何积丰院士领衔，联合上海创景信息科技有限公司等7家单位共同完成的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获科技进步奖特等奖。

　　该项目属计算机科学与技术领域。重大工业装备是轨道交通、航空航天、军事国防等国家关键基础设施的重要组成部分，核心控制软件是工业装备正常运行的关键中枢，若此类软件出现问题将会引发重大经济损失或人员伤亡。如何保障核心控制软件的安全可信是国际公认的重大挑战，也是我国经济转型升级亟需解决的“卡脖子”问题。项目攻克了控制软件安全可信保障技术三大基础性难题即软件正确性“验证难”、可靠性“保障难”与复杂性“分析难”，并突破了控制软件分析、验证及测试等多项关键技术难题，实现了覆盖软件全生命周期的开发与验证工具链，有力地保障了重大工业装备核心控制软件研制的安全可信。

项目成果：软件分析、验证与测试工具链

项目形成的主要创新成果如下：

1.针对由两位图灵奖得主提出的并发模型CCS与CSP是否互洽的开放问题，首次建立了并发程序的统一模型框架，解决了困扰国际学术界二十余年的难题。

2.面向轨道交通等典型信息物理融合系统测试效率低等问题，构建了多层次仿真与测试技术，有效提升了控制系统的测试效率与质量。该技术助力我国轨道交通信号控制产品首获国际最高安全等级认证SIL4级认证。

3.建立了不确定环境下软件多属性定量评估、实时度量、失效估算等综合量化分析技术，解决了软件复杂性精确定量分析的难题，支撑了包括“天宫一号与神舟八号对接”等多项关键性任务。

4.自主研发了支撑软件全生命周期的工具链，填补了多项国内技术空白，已替代部分国外同类产品并在若干关键技术环节形成超越。

项目第一完成人 何积丰院士

项目成果成功支撑载人航天工程

　　该项目成果获发明专利27项，软著62项，行业标准2项，英文专著1本，高水平论文60篇；获6项省部级以上奖励；近三年新增销售额14.2亿元，新增利润2.1亿元，技术成果应用于“嫦娥三期”和上海首条无人驾驶地铁线路等一大批重大工程。项目第一完成人担任基金委重大研究计划“可信软件基础研究”首席科学家，支持全国科研院所项目107项，有效提升了我国可信软件研究的国际竞争力和我国重大工业装备控制领域核心控制软件的安全可信保障水平。

何积丰院士与学生在一起

2019年度上海市科学技术奖

一等奖

《分子超快行为精密测量与调控》

▲精密光谱科学与技术国家重点实验室吴健教授牵头的“分子超快行为精密测量与调控”项目荣获自然科学奖一等奖

　　由华东师大精密光谱科学与技术国家重点实验室吴健教授牵头的“分子超快行为精密测量与调控”项目荣获自然科学奖一等奖。该项目属于超快激光物理领域，围绕分子内电子-核量子态演化极端超快动力学行为精密测量与调控开展前沿科学研究，取得多项创新研究成果：

1、近30多年来首次实验上揭示分子多光子能量吸收过程中电子-核关联共享新机制，重新认识了分子吸收光子能量这一光与物质相互作用的首要过程。

2、发展了强场四体符合测量和二维阿秒操控技术，实验证实了物理学家20多年前提出的分子隧穿增强的经典物理假设。

3、首次测量了分子转动回声时空演化行为，有效提高分子取向程度3倍以上，引领本领域国内外多个课题组的实验和理论跟踪研究。

　　该项目8篇代表性论文包括5篇PRL和1篇PRX。部分成果获中国光学学会饶毓泰基础光学奖和中国光学重要成果奖。项目第一完成人2014年获得国家杰出青年科学基金资助。

分子多维精密测控实验系统

超快光场时频域精密调控实验系统

　　华东师大经济与管理学部邵军教授牵头完成的“几类复杂数据的统计分析方法研究”、计算机科学与技术学院孙仕亮教授牵头完成的“多视图数据融合的协同计算理论与方法”项目均获自然科学奖二等奖，通信与电子工程学院文颖教授牵头牵头的“复杂条件下的监控视频分析关键技术及产业化应用”项目获科技进步奖二等奖，以及经济与管理学部危佳钦研究员牵头完成的“保险精算中最优投资再保险策略及产品定价问题的研究”获自然科学奖三等奖。

　此外，华东师大生命科学学院陈立侨教授参与完成的“中华绒螯蟹新品种选育与产业关键技术集成创新”、化学与分子工程学院余家会教授参与完成的“基于多模态影像学的肺癌早筛早诊关键问题研究”和生态与环境科学学院车越教授参与完成的“超大型固废处置基地资源循环利用和污染协同防控关键技术及应用”均获科技进步奖一等奖。

据悉，按照《上海市科学技术奖励规定》，通过市科学技术奖评审委员会评审，市科学技术奖励委员会审定，经上海市人民政府批准，2019年度上海市科学技术奖授奖308项（人），分别授予科技功臣奖2人，青年科技杰出贡献奖10人，自然科学奖43项，科技进步奖205项，其中特等奖2项，技术发明奖31项，其中特等奖1项，科学技术普及奖15项，国际科技合作奖2人。

来源｜科技处　主页题图｜杨静编辑｜吕安琪 梁儒铭　编审｜吕安琪