信息物理融合系统原理
￥ 64.63 8.2折 ￥ 79 九五品
仅1件
作者[美] 拉吉夫·阿卢尔
出版社机械工业出版社
ISBN9787111559047
出版时间2017-06
版次1
装帧平装
开本16开
纸张胶版纸
页数282页
定价79元
上书时间2024-12-07
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:信息物理融合系统原理
定价：79元
作者:[美] 拉吉夫·阿卢尔
出版社：机械工业出版社
出版日期：2017-06-01
ISBN：9787111559047
字数：
页码：282
版次：1
装帧：平装
开本：16开
商品重量：
编辑推荐
内容提要
本书主要介绍信息物理融合系统的基本理论，包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混成系统等分支学科，从不同侧面对信息物理融合系统进行描述。本书采用数学化的建模、基于模型的设计，以及规约与分析等概念，并配以案例研究图解来阐述信息物理系统所涉及的分布式算法、网络协议、控制设计和机器人等理论。本书适合作为计算科学、计算机工程和电子工程相关学科的高年级本科生或一年级研究生的教材。
目录
作者介绍
拉吉夫·阿卢尔(Rajeev Alur)，现为宾夕法尼亚大学计算机和信息科学Zisman Family教授，该校嵌入式系统硕士生课程主管。他于1991年获得斯坦福大学计算机科学博士学位，在1997年加入宾夕法尼亚大学之前，在贝尔实验室计算机科学研究中心工作。他的研究方向涉及计算机的3个子学科：理论计算机科学系统、系统设计的形式化方法、信息物理融合系统。他是ACM Fellow和DIEEE Fellow；并曾担任ACM SIGBEDLICS大会。
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价