机读格式显示(MARC)
- 010 __ |a 978-7-111-55904-7 |d CNY79.00
- 099 __ |a CAL 012017096932
- 100 __ |a 20170619d2017 em y0chiy50 ea
- 200 1_ |a 信息物理融合系统 (CPS) 原理 |A xin xi wu li rong he xi tong (CPS) yuan li |f (美) 拉吉夫·阿卢尔著 |d = Principles of cyber-physical systems |f Rajeev Alur |g 董云卫, 张雨译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2017
- 215 __ |a 282页 |c 图 |d 26cm
- 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu
- 306 __ |a 由MIT Press通过Bardon-Chinese Media Agency授权出版,仅限中国大陆地区销售
- 320 __ |a 有书目 (第267-273页) 和索引
- 330 __ |a 本书主要介绍信息物理融合系统的基本理论,包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混成系统等分支学科,从不同侧面对信息物理融合系统进行描述。本书采用数学化的建模、基于模型的设计,以及规约与分析等概念,并配以案例研究图解来阐述信息物理系统所涉及的分布式算法、网络协议、控制设计和机器人等理论。
- 410 _0 |1 2001 |a 计算机科学丛书
- 500 10 |a Principles of cyber-physical systems |m Chinese
- 606 0_ |a 异构网络 |A yi gou wang luo |x 研究
- 701 _1 |a 阿卢尔 |A a lu er |g (Alur, Rajeev), |f 1966- |4 著
- 702 _0 |a 董云卫 |A dong yun wei |4 译
- 702 _0 |a 张雨 |A zhang yu |4 译
- 801 _0 |a CN |b NMU |c 20170619
- 801 _2 |a CN |b PUL |c 20170705
- 905 __ |a SCNU |f TP393.02/0770