书目信息 |
题名: |
嵌入式系统导论
|
|
作者: | 李 , 塞希阿 著 ;张凯龙 译 | |
分册: | ||
出版信息: | 北京 机械工业出版社 2018.09 |
|
页数: | XVI, 307页 | |
开本: | 26cm | |
丛书名: | 计算机科学丛书 | |
单 册: | ||
中图分类: | TP360.21 | |
科图分类: | ||
主题词: | 微型计算机--wei xing ji suan ji--系统设计 | |
电子资源: | ||
ISBN: | 978-7-111-60811-0 |
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的分析与验证方法, 还针对日益严重的物联网空间安全问题阐述了安全性与隐私性的内容。第四部分给出了有关集合与函数、复杂性与可计算性的两个附录。 |
● |
相关链接 |
正题名:嵌入式系统导论
索取号:TP360.21/L120
 
预约/预借
序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
1 | 1409554 | 214095548 | 自科库301/301自科库 56排5列5层/ [索取号:TP360.21/L120] | 在馆 | |
2 | 1409555 | 214095557 | 自科库301/301自科库 56排5列5层/ [索取号:TP360.21/L120] | 在馆 |