绿色有机肥

喜报丨上海控安荣获中国计算机学会科学技术奖技术发明一等奖

发布日期:2021-11-02 05:35   来源:未知   阅读:

  日,中国计算机学会(CCF)公布了2021年度“CCF科学技术奖”评选结果。上海工业控制安全创新科技有限公司与华东师范大学、卡斯柯信号有限公司、一口热水喝掉5000多块喝热水该喝多少度的?!工业和信息化部电子第五研究所合作的项目“面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用”荣获2021年CCF科学技术奖技术发明一等奖。

  “CCF科学技术奖”由中国计算机学会在CNCC大会期间颁发,是国内权威的科技奖项,因其专业性和公信力成为衡量企业、高校技术创新水平的重要评选活动。CCF科学技术奖的设立,旨在授予在计算机科学、技术或工程领域具有重要发现、发明、原始创新,在相关领域有一定国际影响的优秀成果。大会每年都会就计算机及相关领域最新进展和宏观发展趋势进行探讨,展示中国学术界、企业界最新成果,是中国计算机领域级别最高、规模最大的学术盛会。

  软件被广泛应用在工业制造领域,如轨道交通、航空航天、军事国防等。软件是工业装备正常运行的关键中枢,若此类软件出现问题将会引发重大经济损失或人员伤亡。如何保障软件的安全可信是国际公认的重大挑战。

  在国家自然科学基金委创新群体等项目资助下,项目组针对软件开发全生命周期的核心步骤即软件建模、软件编码与软件确认验证过程中三大挑战, 即形式化工程建模方法缺失、人工测试效率低、软件缺陷发现难 ,在面向控制软件形式化建模与验证工程方法、基于程序分析的软件智能白盒测试技术、面向模型的工业 APP 的自动化黑盒测试技术等方面实现了技术发明的突破。

  本项目授权发明专利14 项、获软件著作权 13 项、发表高水平论文 9 篇;实现覆盖软件全生命周期的开发与验证工具 3 款,其中成功商业化 1 款。利用工具研发的系统所产生间接经济效益超过 12 亿元。

  工业软件是工业制造领域的大脑和神经,上海控安始终以攻坚工业软件核心技术为己任,坚定自主创新的步伐,紧抓时代发展机遇,不断探索行业需求,脚踏实地打磨技术产品,联合上下游企业构建产业生态,助力我国工业技术软件化的强国之路。

  近日,中国计算机学会(CCF)公布了2021年度CCF科学技术奖评选结果。上海工业控制安全创新科技有限公司与...

  10月12日,兆样热爱 一兆韦德20周年盛典在上海外滩W酒店举行,健身、零售、互联网等领域的多位企业...

  近期, 根据财政部公示消息,数码视讯(股票代码:300079)成为中央广播电视总台5G+4K 8K超高清制播示范平...

  后疫情时代,人们的出游方式和消费习惯发生了重大变化,据旅游研究院发布的国庆数据报告显示,国庆期间...

  9月10日至10月17日期间,以邻好,幸福为主题的新城悦服务2021年福邻节活动在全国150余城同步启动。10...

  10月13日,在北京举办的界面REAL科技大会上,界面新闻发布了2021REAL 100创新家榜单。新能源作为近两年...

  众筹599元,孩子的第一台护眼无影台灯来了|公牛护眼学习台灯看字串行,眼干涩疲劳;看书驼背,重影看不...

  对于追求极致体验的特斯拉来说,特斯拉中国的发展仿佛在上演一出速度与激情的好戏。特斯拉最近刚公布9月...

  由小牛互娱智能科技有限公司发行的《以仙之名》手游今日正式开启全平台不删档测试,此前该游戏的官方预...

  随着未来互联网的高速发展,个人信息保护法和关键信息基础设施安全保护条例等法律法规政策文件的发布实...

  近日,中国计算机学会(CCF)公布了2021年度CCF科学技术奖评选结果。上海工业控制安全创新科技有限公司与...

  10月12日,兆样热爱 一兆韦德20周年盛典在上海外滩W酒店举行,健身、零售、互联网等领域的多位企业...

  学法减分拍照搜题 秒出答案,也许是迄今为止最强的拍照答题工具!每个人最怕什么?测试!对学生的减分也不...

  10月9日-11日,第五届中国网络文学+大会在北京市海淀区举办。本届大会以网颂百年,文谱新篇为主题626969澳门资料大全正版,汇聚...

  这里为大家科普一些工业除湿机十大排名品牌的信息资料,在此之前先来说说除湿机在工业环境中的重要性,...

  近期, 根据财政部公示消息,数码视讯(股票代码:300079)成为中央广播电视总台5G+4K 8K超高清制播示范平...

  后疫情时代,人们的出游方式和消费习惯发生了重大变化,据旅游研究院发布的国庆数据报告显示,国庆期间...

  9月10日至10月17日期间,以邻好,幸福为主题的新城悦服务2021年福邻节活动在全国150余城同步启动。10...

  10月13日,在北京举办的界面REAL科技大会上,界面新闻发布了2021REAL 100创新家榜单。新能源作为近两年...

  10月14日,母婴童服务领军企业孩子王正式在深圳证券交易所创业板上市,澳优乳业董事长颜卫彬,澳优中国...

  根据上级行内设部门和人力资源配置要求,农发行衡水分行有条不紊圆满完成了内设部门前期部室合并和人员...

  在学法减分考试中,相信大家遇到最困难的最难选择的就应该是多项选择题了,判断题和单选题都是相比之下...

  轻巧、舒适、便携、全方位沉浸,旨在让VR融入生活北京,2021年10月14日 全球智能移动设备与沉浸式科...

  什么是学法减分扫一扫出答案app?学法减分扫一扫出答案app是一款非常不错的功能强大的考试类型的软件,用...

  10月12日-15日,由法国再保险主办的法再第七届行业研讨会在渝召开。本次会议吸引了知名经济学家、业内顶...

  往年的过年节目,无非是打打牌,玩玩游戏,斗个地主,但是今年我觉得可以增加一个新的方法,那就是一家...

  2021年10月7日,为期7天的原创童年儿童艺术衍生品展览青岛首展落下帷幕!本次展览由玩偶大师旗下儿童艺...

  学法减分答题攻略_学法减分专属答题方法_轻松应对各种难题,学法减分学习考试方法和内容:申请学法减分网...

  水疗SPA是近年来比较炙手可热的一种保健方式,具有排毒养颜、促进血液循环、改善心肌功能、改善睡眠等功...

  时值九九重阳节,北京丰台区一家涮羊肉馆因专门为老年人提供倍儿方便服务,意外走红网络。这家几代人经...

  网上学法减分题库,2021年学法减分题库【全部】今天给大家分享这个app,是专门辅助学法减分考试的,从此不...