MARC状态：订购 文献类型：中文图书 浏览次数：1
- 题名/责任者:
- 严密系统设计:方法、趋势与挑战/(法/希) 约瑟夫·希发基思著 王强, 张继勇译著
- 出版发行项:
- 北京:电子工业出版社,2023.12
- ISBN及定价:
- 978-7-121-46765-3 精装/CNY79.00
- 载体形态项:
- XII, 195页:图 (部分彩图);25cm
- 个人责任者:
- 希发基思 (Sifakis, Joseph) 著
- 个人次要责任者:
- 王强 译著
- 个人次要责任者:
- 张继勇 译著
- 学科主题:
- 数字系统-系统设计
- 中图法分类号:
- TP271
- 责任者附注:
- 约瑟夫·希发基思, 法国和希腊双重国籍, 国际知名计算机科学家, 2007年“图灵奖”获得者, 法国Verimag实验室创始人兼荣誉主任, 南方科技大学杰出访问教授。王强, 中国人民解放军军事科学院副研究员, 本科及硕士毕业于国防科技大学, 博士师从Joseph Sifakis教授, 毕业于瑞士洛桑联邦理工学院, 承担国家及省部级项目多项, 发表学术论文20余篇, 主要从事安全关键系统形式化建模与验证、基于模型的系统设计方法等领域研究。张继勇, 杭州电子科技大学特聘教授, 国家级人才专家, 先后在清华大学获得计算机科学专业学士和硕士学位, 博士毕业于瑞士洛桑联邦理工学院, 长期从事云计算、机器学习、数据科学和推荐系统等领域研究。
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书提出了一种基于形式化模型的严密的系统设计方法, 阐述了严密系统设计方法的基本原理, 介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态, 讨论了自主系统设计的趋势和挑战, 阐述了一种集成模型驱动方法与数据驱动方法的思路, 并提出了一种新的基于替换测试的智能测试方法, 用以判断自主系统在完成多种不同类型任务方面的智能水平。
全部MARC细节信息>>