机读格式显示(MARC)

• 000 02167nam 2200361 450

• 001 0000137713

• 005 20120422080100.0

• 010 __ |a 978-7-111-36021-6 |d CNY55.00

• 100 __ |a 20111223d2012 em y0chiy0120 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方法 |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 2012

• 215 __ |a 256页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A Ji Suan Ji Ke Xue Cong Shu

• 306 __ |a 据2011年英文版译出

• 314 __ |a 责任者Lee规范汉译姓为: 李 ; 责任者Seshia汉译姓为: 塞西阿

• 320 __ |a 有书目 (第241-256页)

• 330 __ |a 本书是一本关于CPS (Cyber-Physical System，信息物理系统）的著作。不同于大多数嵌入式系统的书籍着重于计算机技术在嵌入式系统中的应用，本书的重点是论述系统模型与系统实现的关系，以及软件和硬件与物理环境的相互作用。全书从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

• 606 0_ |a 微型计算机 |A Wei Xing Ji Suan Ji |x 系统设计

• 690 __ |a TP360.21 |v 5

• 690 __ |a TP360 |v 4

• 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 Li Shi Ying |4 译

• 702 _0 |a 贺蓉 |A He Rong |4 译

• 702 _0 |a 李仁发 |A Li Ren Fa |4 译

• 801 _0 |a CN |b WXCSXY |c 20120422

• 905 __ |a WXCSXY |d TP360/24