admin 2024-11-20
119
今天上午,2019年度上海市科学技术奖励大会在上海展览中心中央大厅召开,隆重表彰为上海科技事业和现代化建设作出突出贡献的科技工作者。华东师范大学作为第一完成单位共有6项科技成果荣获表彰。
华东师范大学软件工程学院何积丰院士领衔完成的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获科技进步奖特等奖。这是华东师范大学首次摘得上海市科技进步特等奖。
华东师范大学软件工程学院何积丰院士(左3)领衔的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获科技进步奖特等奖。
另有3项作为参与单位完成的成果荣获上海市科技进步一等奖。与近年相比,获奖质量与数量均获突破。
2019年度上海市科学技术奖
华东师大获奖成果一览
序号
奖项类型
奖励等级
获奖项目名称
主要完成单位
院系
主要完成人
1
上海市科学技术奖-科技进步奖
特等奖
面向重大工业装备核心控制软件的安全可信保障技术及应用
1:华东师范大学
2:上海创景信息科技有限公司
3:中国电子科技集团公司第三十二研究所
4:上海申通地铁集团有限公司
5:卡斯柯信号有限公司
6:普华基础软件股份有限公司
7:上海自动化仪表有限公司
软件工程学院
1:何积丰
2蒲戈光
3:陈铭松
4:缪炜恺
5:郭建
6:史建琦
7:秦炜
8:张激
9:万勇兵
10:周庭梁
11:江水
12:包伟华
13:王燕芩
14:李健
15:夏伟
2
上海市科学技术奖-自然科学奖
一等奖
分子超快行为精密测量与调控
华东师范大学
精密光谱科学与技术国家重点实验室
1:吴健
2:张诗按
3:宫晓春
4:孙真荣
3
上海市科学技术奖-自然科学奖
二等奖
几类复杂数据的统计分析方法研究
华东师范大学
经济与管理学部
1:邵军
2:於州
3:方方
4
上海市科学技术奖-自然科学奖
二等奖
多视图数据融合的协同计算理论与方法
华东师范大学
计算机科学与技术学院
1:孙仕亮
2:张长水
3:晁国清
4:谢锡炯
5:张庆久
5
上海市科学技术奖-科技进步奖
二等奖
1:华东师范大学
2:华平信息技术股份有限公司
通信与电子工程学院
1:文颖
2:林欣
3:续晋华
4:涂春勇
5:李聪
6:林兴斌
7:杨洪超
8:苏文波
6
上海市科学技术奖-自然科学奖
三等奖
保险精算中最优投资再保险策略及产品定价问题的研究
华东师范大学
经济与管理学部
1:危佳钦
2:范堃
3:毕俊娜
4:钱林义
7
上海市科学技术奖-科技进步奖
一等奖
中华绒螯蟹新品种选育与产业关键技术集成创新
1:上海海洋大学
2:上海市水产研究所
3:华东师范大学
4:中国水产科学研究院渔业机械仪器研究所
5:上海市松江区水产技术推广站
6:上海市崇明区水产技术推广站
7:明光市永言水产(集团)有限公司8:上海宝岛蟹业有限公司
9:上海福岛水产养殖专业合作社
10:泰兴市江源农牧有限公司
生命科学学院
1:王成辉
2:张根玉
3:陈立侨
4:王锡昌
5:王军
6:李思发
7:张友良
8:黄志峰
9:魏华
10:严银龙
11:欧阳杰
12:钱永言
13:黄春
14:沈亚达
15:余承波
8
上海市科学技术奖-科技进步奖
一等奖
基于多模态影像学的肺癌早筛早诊关键问题研究
1:海军军医大学第二附属医院
2:上海交通大学
3:华东师范大学
化学与分子工程学院
1:刘士远
2:张春富
3:范丽
4:萧毅
5:余家会
6:李琼
7:于红
8:望云
9:涂文婷
10:蔡佳丽
11:李清楚
9
上海市科学技术奖-科技进步奖
一等奖
超大型固废处置基地资源循环利用和污染协同防控关键技术及应用
1:上海市环境工程设计科学研究院有限公司
2:上海城投(集团)有限公司3:同济大学
4:上海交通大学
5:华东师范大学
6:上海大学
7:中国科学院广州能源研究所
8:上海老港固废综合开发有限公司
9:上海老港废弃物处置有限公司
10:上海环境集团股份有限公司
生态与环境科学学院
1:陈善平
2:秦峰
3:袁浩然
4:赵爱华
5:王声东
6:余毅
7:羌宁
8:周涛
9:车越
10:朱南文
11:刘强
12:王瑟澜
13:黄仁华
14:邰俊
15:张瑞娜
16:宋立杰
17:赵由才
18:郭广寨
19:周海燕
20:安淼
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年获得国家杰出青年科学基金资助。
此外,生命科学学院陈立侨教授参与完成的“中华绒螯蟹新品种选育与产业关键技术集成创新”、化学与分子工程学院余家会教授参与完成的“基于多模态影像学的肺癌早筛早诊关键问题研究”和生态与环境科学学院车越教授参与完成的“超大型固废处置基地资源循环利用和污染协同防控关键技术及应用”均获科技进步奖一等奖。
据悉,按照《上海市科学技术奖励规定》(沪府令18号),通过市科学技术奖评审委员会评审,市科学技术奖励委员会审定,经上海市人民政府批准,2019年度上海市科学技术奖授奖308项(人),分别授予科技功臣奖2人,青年科技杰出贡献奖10人,自然科学奖43项,科技进步奖205项,其中特等奖2项,技术发明奖31项,其中特等奖1项,科学技术普及奖15项,国际科技合作奖2人。
祝贺获奖科学家!
免责声明:以上内容转载自华东师范大学,所发内容不代表本平台立场。全国教育信息平台联系电话:,邮箱:hz@,地址:北京市朝阳区金台西路2社