机读格式显示(MARC)

• 000 02134nam 2200337 450

• 001 0000503090

• 005 20181130183600.0

• 010 __ |a 978-7-111-60811-0 |d CNY89.00

• 100 __ |a 20180925d2018 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 嵌入式系统导论 |A qian ru shi xi tong dao lun |e CPS方法 |f (美) 爱德华·阿什福德·李, 桑吉特·阿伦库马尔·塞希阿著 |d = Introduction to embedded systems |e a cyber-physical systems approach |g 张凯龙译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2018

• 215 __ |a xvi, 307页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 305 __ |a 译自原书第2版

• 314 __ |a 爱德华·阿什福德·李 (Edward Ashford Lee), 加州大学伯克利分校电子工程与计算机科学系罗伯特·S. 佩珀杰出教授。桑吉特·阿伦库马尔·塞希阿 (Sanjit Arunkumar Seshia), 加州大学伯克利分校电子工程与计算机科学系教授。张凯龙, 博士、博士后 (法国), 西北工业大学计算机学院副教授。

• 320 __ |a 有书目 (第292-305页)

• 330 __ |a 本书从CPS的视角, 围绕嵌入式系统的建模、设计和分析三方面, 深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节, 重点是论述系统模型与系统实现的关系, 以及软件和硬件与物理环境的相互作用。本书共四部分, 其中第一部分着重分析了连续动态、离散动态与混合系统等模型以及状态机组合模型和并发计算模型等基础理论。第二部分聚焦于系统的设计, 以理论化的方式阐述了传感器、执行器、处理器、存储器、输入与输出等硬件组件以及多任务和调度等核心软件机制。第三部分详细论述了CPS的分析与验证方法, 还针对日益严重的物联网空间安全问题阐述了安全性与隐私性的内容。第四部分给出了有关集合与函数、复杂性与可计算性的两个附录。

• 410 _0 |1 2001 |a 计算机科学丛书

• 500 10 |a Introduction to embedded systems : a cyber-physical systems approach |A Introduction To Embedded Systems : A Cyber-physical Systems Approach |m Chinese

• 517 1_ |a CPS方法 |A CPSfang fa

• 606 0_ |a 微型计算机 |A wei xing ji suan ji |x 系统设计

• 690 __ |a TP360 |v 5

• 701 _1 |a 李 |A li |g (Lee, Edward Ashford) |4 著

• 701 _1 |a 塞希阿 |A sai xi a |g (Seshia, Sanjit Arunkumar) |4 著

• 702 _0 |a 张凯龙 |A zhang kai long |4 译

• 801 _0 |a CN |b 湖北三新 |c 20180925

• 905 __ |a WXCSXY |d TP360/95