【摘 要】
：
5月19日,由华东师范大学牵头,华东师范大学软件工程学院创院院长、中国科学院院士何积丰作为第一完成人的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目获
论文部分内容阅读
5月19日,由华东师范大学牵头,华东师范大学软件工程学院创院院长、中国科学院院士何积丰作为第一完成人的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目获得2019年度上海市科技进步特等奖.rn如今,我们正处在一个万物互联的时代,电力运行、轨道交通、航空航天、大型装备等越来越多关系到国计民生的大型系统都要靠复杂而智能的软件系统运行.如果这些软件“带病”上岗,一旦“发病”,后果将不堪设想.
其他文献
近日,《新浙商》记者从浙江省科技厅举行的科技创新专班和月度评价指数专题工作部署会上了解到,为激励各地争先创优,确保完成年度目标任务,浙江省11个设区市将建立科技创新月
5月11日上午,南京市委、市政府举办新闻发布会,发布了《南京实施方案》(以下简称“《南京实施方案》”).此次出台的《南京实施方案》提出,要紧抓长三角区域一体化发展国家战
今年是上海科创中心建设形成基本框架之年.作为长三角核心城市和长江经济带枢纽城市,上海始终勇立科技创新潮头,发挥着创新引领和辐射示范作用.rn2019年,上海市的科技创新榜
科技成果转化是上海提升科技创新策源能力的重要方面,也是促进科技与经济相结合的关键环节,更是上海科创中心建设的内在要求.rn科技成果转化是一项复杂的系统工程,需要社会各
5月11日,第二届长三角G60科创走廊科技成果线上拍卖会举行,30个科技成果项目1小时拍得1.39亿元.线下线上运营交易累计突破5.03亿元,相比首届1.04亿元成交额增长明显.rn本次线
为落实浙江省委、省政府科技新政、人才新政和高水平建设人才强省行动纲要,充分发挥设立外国专家工作站在集聚高精尖缺外国人才、引领产业创新发展、推进经济转型升级的积极
近日,中共中央、国务院下发《关于构建更加完善的要素市场化配置体制机制的意见》(以下简称“《意见》”),明确提出“加快发展技术要素市场”,并从5个方面提出具体要求.其中
今年3月,中共中央政治局常务委员会召开会议,明确强调加快5G网络、数据中心等新型基础设施建设力度.“新基建”很快也成为一个“热词”,频频出现在我们面前.rn当下,各个新基
简要介绍了拉格伦矿从勘探到现在的工程设计和基建情况，预定于1998年正式投产，拉格伦矿以地下开采为主，个别矿带用露无法开采，矿山生产的精矿将海运外地冶炼。还介绍了地处寒冷僻