出版社:机械工业出版社
年代:2017
定价:69.0
本书主要介绍信息物理融合系统的基本理论,包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混成系统等分支学科,从不同侧面对信息物理融合系统进行描述。本书采用数学化的建模、基于模型的设计,以及规约与分析等概念,并配以案例研究图解来阐述信息物理系统所涉及的分布式算法、网络协议、控制设计和机器人等理论。本书适合作为计算科学、计算机工程和电子工程相关学科的高年级本科生或一年级研究生的教材。
韩忠华, 夏兴华, 高治军, 著
(美) 爱德华·阿什福德·李 (Edward Ashford Lee) , 等编著
(印) 拉杰·拉杰库马尔 (Raj Rajkumar) , 等著
魏翼飞, 宋梅, 著
吴慧慈, 陶小峰, 著
陈丽敏, 著
滕颖蕾, 宋梅, 刘梦婷, 著
苗许娜, 著
李明楚, 覃振权, 著