当当云阅读 > 科技 > 计算机/网络 > 多媒体/数据通信 > 严密系统设计——方法、趋势与挑战

严密系统设计——方法、趋势与挑战电子书

1. 作者为2007年"图灵奖"得主，法国工程院院士和欧洲科学院院士，法国科学院院士，美国人文和科学院院士，美国工程院外籍院士，中国科学院外籍院士。2.本书内容紧扣当下人工智能热点。深入解析系统设计方法论，洞悉智能自主趋势，直面可信技术挑战。

售价：¥

纸质售价：¥62.40购买纸书

8人正在读 | 0人评论

6.4

作者：Joseph Sifakis (约瑟夫·希发基思)

出版社：电子工业出版社

出版时间：2023-12-01

字数：10.3万

所属分类：科技 > 计算机/网络 > 多媒体/数据通信

温馨提示：数字商品不支持退换货，不提供源文件，不支持导出打印

为你推荐

读书简介
目录
累计评论(0条)

读书简介
目录
累计评论(0条)

本书提出了一种基于形式化模型的严密的系统设计方法，详细阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP（Behavior, Interaction, Priority）的建模语言、形式语义及其工具。自主系统作为人工智能技术应用落地的重要形态，讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断自主系统在完成多种不同类型任务方面的智能水平。<br/>【作者】<br/>约瑟夫·希发基思(Joseph Sifakis) 法国和希腊双重国籍，国际知名计算机科学家，2007 年“图灵奖”获得者，法国 Verimag 实验室创始人兼荣誉主任，南方科技大学杰出访问教授；曾任法国国家科学研究中心研究总监、法国约瑟夫傅里叶大学研究员、瑞士洛桑联邦理工学院教授；2001 年获得法国国家科学研究中心银质奖章，2008 年当选法国工程院院士和欧洲科学院院士，2010 年当选法国科学院院士，2015 年当选美国人文和科学院院士，2017 年当选美国工程院外籍院士，2019 年当选中国科学院外籍院士。希发基思教授是模型检测以及嵌式系统设计与验证等研究领域的先驱。他在国际上首次提出通过对时序逻辑公式的计值来验证并发系统性质的思想，得到一系列创性理论成果，包括对含有“可能”和“必然”模态算子的分支时序逻辑的不动刻画，以及首个面向带时间分支时序逻辑的符号模型检测算法和以该算法为基础的实时系统模型检测工具 Kronos。这些工作为模型检测研究领域的创立和发展奠定了理论基础。当前，模型检测已成为分析、验证并发系统性质的最重要的技术，成功应用于计算机硬件、软件、通信协议、安全认证协议等领域。由于对模型检测理论和技术的创性贡献，他荣获 2007 年国际计算机届最高奖“图灵奖”。希发基思教授曾担任欧盟“卓越网络”ARTIST 嵌式系统研究联盟的科学协调人，负责协调欧洲 35 个实时与混成系统领域研究小组的工作。在此期间，他极力推动欧盟与中国在该领域的合作。在他领导下，该研究联盟从 2006 年至 2011 年在中国举办了 6 届嵌式系统设计讲习班，使用欧盟经费，邀请国际上嵌式系统领域的知名专家为国内研究生和青年学者讲课，极大促了中国在该领域的人才培养和学科发展。王强博士中国人民解放军军事科学院副研究员，本科及硕士毕业于国防科技大学，博士师从Joseph Sifakis 教授，毕业于瑞士洛桑联邦理工学院，承担国家及省部级项目多项，发表学术论文 20 余篇，主要从事安全关键系统形式化建模与验证、基于模型的系统设计方法等领域研究。张继勇博士杭州电子科技大学特聘教授，国家级人才专家，先后在清华大学获得计算机科学专业学士和硕士学位，博士毕业于瑞士洛桑联邦理工学院，长期从事云计算、机器学习、数据科学和推荐系统等领域研究。 <br/>

目录展开