|
题名:
|
信息物理融合系统(CPS)原理 xin xi wu li rong he xi tong (CPS) yuan li / (美)拉吉夫·阿卢尔(Rajeev Alur)著 , 董云卫, 张雨译 |
|
ISBN:
|
978-7-111-55904-7 价格： CNY79.00 |
|
语种:
|
chi |
|
载体形态:
|
282页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2017 |
|
内容提要:
|
本书主要介绍信息物理融合系统的基本理论，包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、形式化的规约和验证方法、控制理论、实时系统和混成系统等分支学科，从不同侧面对信息物理融合系统进行描述。 |
|
主题词:
|
异构网络 研究 |
|
中图分类法:
|
TP393.02 版次： 5 |
|
主要责任者:
|
阿卢尔 e lu er 著 |
|
次要责任者:
|
董云卫 dong yun wei 译 |
|
次要责任者:
|
张雨 zhang yu 译 |
|
责任者附注:
|
拉吉夫·阿卢尔，现为宾夕法尼亚大学计算机和信息科学Zisman Family教授，该校嵌入式系统硕士生课程主管。于1991年获得斯坦福大学计算机科学博士学位，在1997年加入宾夕法尼亚大学之前，在贝尔实验室计算机科学研究中心工作。 |
|
索书号:
|
TP393.02/7227 |