北京手艺资讯网

时间:

  • 首页
  • 社会资讯
  • 法律常识
  • 体育足球
  • 搞笑大全

当前位置:

  • 首页
  • 体育足球

07年普斯卡什奖

发布时间:2023-03-18

作者: zuozhe

4 0

2007年图灵奖颁发给了两位计算机界的重要人物:Edmund M. Clarke和E. Allen Emerson。这是对于形式化验证领域的巨大肯定。他们的研究成果让计算机科学家们能够利用自动化工具检查硬件和软件的正确性。这项技术的发展,不仅大大增强了计算机系统的可靠性,而且为真正的机器智能和自主地软件和机器人的开发铺平了道路。

07年普斯卡什奖

Edmund M. Clarke和E. Allen Emerson的主要成就是发明了一种名为模型检查的算法,这个算法革新了计算机科学的一个经典问题:如何检查一个系统是否正确地执行。在大型系统中,特别是安全和航空航天领域,这个问题至关重要,因为错误可能引起人员伤亡和损失。

模型检查是一种通过规范化描述系统,然后在模型上进行状态空间搜索,来进行错误检查的技术。在模型检查中,一个系统被转化为一个有限状态机模型,然后通过形式化的数学方法进行检查。如果通过模型检查找到了错误,那么就可以对代码进行修改,以确保程序能够正确地执行。

这项技术可以应用于各种不同的软件和系统。例如,它可以用于检查安全性和信任性软件,也可以用于测试汽车和到航空飞机的控制系统的准确性。

这个算法的成功是基于两个关键创新。首先,他们引入了一个名为公平性的概念,在检查状态转换树的同时,确保每个状态都被访问。其次,他们使用了一种被称为二叉决策图的数据结构来存储和表示状态。这个简单的结构在搜索状态空间时可以避免计算机无法处理的状态的产生。

两位得奖人的成就,证实了形式方法对于构建更加可靠软件的重要性。他们的成就也获得了工业界的广泛认可,已经被许多公司和机构应用于产品开发中。

总的来说,这个奖项的意义超出了这两位获奖者的个人和研究团队的篇幅。它代表了计算机科学领域的前沿技术,标志着大型系统中的可靠性和正确性的重要进步。

文章版权及转载声明

作者:zuozhe本文地址:https://www.beijingshouyi.com/zuqiu/19902.html发布于2023-03-18
文章转载或复制请以超链接形式并注明出处北京手艺资讯网

  • 上一篇 :巴黎2比1姆巴佩
  • 下一篇 :梅西和c罗人品(梅西和c罗谁更高人品)

同类推荐

世界杯小组赛赛程(世界杯小组赛赛程表)

世界杯小组赛赛程(世界杯小组赛赛程表)

2023-03-01

  • 46
  • 0
世界杯转播权(世界杯转播权多少钱)

世界杯转播权(世界杯转播权多少钱)

2023-03-01

  • 24
  • 0
中国足球彩票(中国足球彩票竞彩官网)

中国足球彩票(中国足球彩票竞彩官网)

2023-03-01

  • 89
  • 0
乌克兰足球队(乌克兰足球队和俄罗斯足球队在土耳其)

乌克兰足球队(乌克兰足球队和俄罗斯足球队在土耳其)

2023-03-01

  • 16
  • 0

发表评论

留言:dddxzxx

最新文章

突发!湖南:暂停与这家银行合作!千亿巨头连拉涨停,咋回事?

突发!湖南:暂停与这家银行合作!千亿巨头连拉涨停,咋回事?

2023-03-29

  • 0
  • 0
和讯个股快报:2023年03月29日 星源卓镁(301398)该股换手率大于8%

和讯个股快报:2023年03月29日 星源卓镁(301398)该股换手率大于8%

2023-03-29

  • 0
  • 0
穆里尼奥国家队

穆里尼奥国家队

2023-03-29

  • 0
  • 0
和讯个股快报:2023年03月29日 新华联(000620)14:10分,股价快速拉升

和讯个股快报:2023年03月29日 新华联(000620)14:10分,股价快速拉升

2023-03-29

  • 0
  • 0
世界足球联赛排名表格

世界足球联赛排名表格

2023-03-29

  • 0
  • 0

猜你喜欢

1970-01-01

  • 3
  • 0
世界杯直播网(世界杯直播网 - 2022卡塔尔世界杯预选赛直播视频)

世界杯直播网(世界杯直播网 - 2022卡塔尔世界杯预选赛直播视频)

2023-03-01

  • 87
  • 0
互联网法律法规知识(互联网法律法规知识竞赛题库)

互联网法律法规知识(互联网法律法规知识竞赛题库)

2023-03-01

  • 100
  • 0
产品质量保证承诺书(简短的质量承诺书)

产品质量保证承诺书(简短的质量承诺书)

2023-03-01

  • 17
  • 0
亲子鉴定的价格(亲子鉴定价格是多少)

亲子鉴定的价格(亲子鉴定价格是多少)

2023-03-01

  • 34
  • 0

热门排行

全国劳模待遇(全国劳模待遇细则文件通辽)

全国劳模待遇(全国劳模待遇细则文件通辽)

2023-03-01

  • 128
  • 0
足球比分球探体育足球(球探足球即时比分足球比分App)

足球比分球探体育足球(球探足球即时比分足球比分App)

2023-03-02

  • 125
  • 0
卡塔尔vs厄瓜多尔比分(2022年世界杯卡塔尔vs厄瓜多尔比分)

卡塔尔vs厄瓜多尔比分(2022年世界杯卡塔尔vs厄瓜多尔比分)

2023-03-02

  • 122
  • 0
不合格化妆品(不合格化妆品名单公布)

不合格化妆品(不合格化妆品名单公布)

2023-03-01

  • 117
  • 0
鼓励人的搞笑的话(考试失利鼓励的话搞笑)

鼓励人的搞笑的话(考试失利鼓励的话搞笑)

2023-03-03

  • 116
  • 0

标签

  • 社会
  • 搞笑
  • 法律
  • 足球
北京手艺资讯网
回到顶部

备案号京ICP备11016285号