机读格式显示(MARC)
- 010 __ |a 978-7-111-60811-0 |d CNY89.00
- 100 __ |a 20181026d2018 em y0chiy50 ea
- 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 |f Edward Ashford Lee, Sanjit Arunkumar Seshia |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
- 314 __ |a 爱德华·阿什福德·李 (Edward Ashford Lee)，加州大学伯克利分校电子工程与计算机科学系-EECS罗伯特·S.佩珀-Robert S. Pepper杰出教授，曾任加州大学伯克利分校电子工程-EE分部以及电子工程与计算机科学系主任。1986年获得加州大学伯克利分校电气工程与计算机科学博士学位。他是伯克利设计技术股份有限公司-BDTI的联合创始人等。
- 314 __ |a 桑吉特·阿伦库马尔·塞希阿 (Sanjit Arunkumar Seshia)，加州大学伯克利分校电子工程与计算机科学系教授；研究兴趣集中于可信计算、计算逻辑和形式化方法及其在嵌入式系统、计算机安全、电子设计自动化以及合成生物学等领域问题中的应用；于印度理工学院孟买分校获得计算机科学与工程学士学位于卡内基-梅隆大学-CMU获得计算机科学硕士和博士学位。他曾获美国青年科学家与工程师总统奖-PECASE、艾尔弗雷德·P.斯隆研究奖以及卡内基-梅隆大学计算机科学学院杰出学位论文奖。
- 320 __ |a 有书目 (第292-305页)
- 330 __ |a 本书从CPS的视角，围绕嵌入式系统的建模、设计和分析三方面，深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节，重点是论述系统模型与系统实现的关系，以及软件和硬件与物理环境的相互作用。本书共四部分，其中第一部分着重分析了连续动态、离散动态与混合系统等模型以及状态机组合模型和并发计算模型等基础理论。第二部分聚焦于系统的设计，以理论化的方式阐述了传感器、执行器、处理器、存储器、输入与输出等硬件组件以及多任务和调度等核心软件机制。第三部分详细论述了CPS的分析与验证方法，还针对日益严重的物联网空间安全问题阐述了安全性与隐私性的内容。第四部分给出了有关集合与函数、复杂性与可计算性的两个附录。
- 333 __ |a 本书适合作为高等院校相关专业“嵌入式系统”课程的教材或教学参考书。
- 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 CPS fang fa
- 606 0_ |a 微型计算机 |A wei xing ji suan ji |x 嵌入式系统 |x 系统设计
- 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 HDUL |c 20181129
- 905 __ |a HDUL |d TP360.21/400/2