000
02163nam 2200349 450
001
CAL 0120182578011
005
20180928153518.2
010
@ a978-7-111-60811-0@ dCNY89.00
100
@ a20180928d2018 em y0chiy50 ea
101
1
@ achi@ ceng
102
@ aCN@ b110000
105
@ aa a 000yy
106
@ ar
200
1
@ a嵌入式系统导论@ Aqian ru shi xi tong dao lun@ eCPS方法@ d= Introduction to embedded systems@ ea cyber-physical systems approach@ f(美) 爱德华·阿什福德·李 (Edward Ashford Lee) , (美) 桑吉特·阿伦库马尔·塞希阿 (Sanjit Arunkumar Seshia) 著@ F( mei ) ai de hua· a shi fu de· li (Edward Ashford Lee) , ( mei ) sang ji te· a lun ku ma er· sai xi a (Sanjit Arunkumar Seshia) zhu@ g张凯龙译@ zeng
210
@ a北京@ c机械工业出版社@ d2018.09
215
@ aXVI, 307页@ c图@ d26cm
225
2
@ a计算机科学丛书@ Aji suan ji ke xue cong shu
305
@ a据原书第2版译出
314
@ a张凯龙, 博士、博士后 (法国)、西北工业大学计算机学院副教授, 西北工业大学 —— 巴黎高科MINESS机器人与群智能系统联合实验室主任。
320
@ a有书目 (第292-303页)
330
@ a本书从CPS的视角, 围绕嵌入式系统的建模、设计和分析三方面, 深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节, 重点是论述系统模型与系统实现的关系, 以及软件和硬件与物理环境的相互作用。本书共四部分, 其中第一部分着重分析了连续动态、离散动态与混合系统等模型以及状态机组合模型和并发计算模型等基础理论。第二部分聚焦于系统的设计, 以理论化的方式阐述了传感器、执行器、处理器、存储器、输入与输出等硬件组件以及多任务和调度等核心软件机制。第三部分详细论述了CPS的分析与验证方法, 还针对日益严重的物联网空间安全问题阐述了安全性与隐私性的内容。第四部分给出了有关集合与函数、复杂性与可计算性的两个附录。
410
0
@ 12001 @ a计算机科学丛书
500
10
@ aIntroduction to embedded systems : a cyber-physical systems approach@ mChinese
517
1
@ aCPS方法@ ACPS fang fa
586
@ a
606
0
@ a微型计算机@ Awei xing ji suan ji@ x系统设计
690
@ aTP360.21@ v5
701
1
@ a李@ Ali@ g(Lee, Edward Ashford)@ 4著
701
1
@ a塞希阿@ Asai xi a@ g(Seshia, Sanjit Arunkumar)@ 4著
702
0
@ a张凯龙@ Azhang kai long@ 4译
801
0
@ aCN@ c20180928
905
@ a河南城建学院图书馆@ dTP360.21@ eL120@ f2
嵌入式系统导论：CPS方法= Introduction to embedded systems：a cyber-physical systems approach/(美) 爱德华·阿什福德·李 (Edward Ashford Lee) , (美) 桑吉特·阿伦库马尔·塞希阿 (Sanjit Arunkumar Seshia) 著/张凯龙译.-北京：机械工业出版社，2018.09 XVI, 307页：图；26cm.-(计算机科学丛书) ISBN 978-7-111-60811-0：CNY89.00 本书从CPS的视角, 围绕嵌入式系统的建模、设计和分析三方面, 深入浅出地介绍了设计和实现CPS的整体过程及各个阶段的细节, 重点是论述系统模型与系统实现的关系, 以及软件和硬件与物理环境的相互作用。本书共四部分, 其中第一部分着重分析了连续动态、离散动态与混合系统等模型以及状态机组合模型和并发计算模型等基础理论。第二部分聚焦于系统的设计, 以理论化的方式阐述了传感器、执行器、处理器、存储器、输入与输出等硬件组件以及多任务和调度等核心软件机制。第三部分详细论述了CPS的分析与验证方法, 还针对日益严重的物联网空间安全问题阐述了安全性与隐私性的内容。第四部分给出了有关集合与函数、复杂性与可计算性的两个附录。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
1409554
214095548
自科库301/301自科库 62排2列4层/
[索取号:TP360.21/L120]
在馆
2
1409555
214095557
自科库301/301自科库 62排2列4层/
[索取号:TP360.21/L120]
在馆
