| 词条 | 嵌入式系统导论：cps方法 |
| 释义 | 图书信息书 名：嵌入式系统导论：cps方法 作 者：（美）Edward Ashford Lee，SanjitArunkumar Seshia著，李实英 等译 出 版 社：机械工业出版社 出版时间：2012-1-1 版 次：1 页 数：256 字 数： 印刷时间：2012-1-1 开 本：大32开 纸 张：胶版纸 印 次：1 I S B N：9787111360216 包 装：平装 22566826 内容简介本书是业界第一本关于CPS的专著，重点论述系统模型与系统实现的关系，以及软件和硬件与物理环境的相互作用。 从CPS的视角，围绕系统的建模、设计和分析这三个方面，本书分成四大部分。第一部分（第2～6章）分别讲述动态建模、离散建模和混合建模，以及状态机的并发组合与并发计算模型。第二部分（第7～11章）强调嵌入式系统中处理器、存储器架构、输入和输出、多任务处理和实时调度的算法与设计，以及这些设计在CPS中的主要作用。第三部分（第12～15章）重点介绍一些系统特性的精确规格、规格之间的比较方法、规格与产品设计的分析方法以及嵌入式软件特性的定量分析方法。第四部分包括两个附录，提供了一些数学和计算机科学的背景知识，有助于读者加深对文中所介绍知识的理解。本书通过大量实例深入浅出地介绍了设计和实现CPS的整体过程及各阶段的细节。 本书适合作为高等院校相关专业“嵌入式系统”课程的教材或教学参考书。 作者简介Edward Ashford Lee 拥有加州大学伯克利分校博士学位，曾为加州大学伯克利分校电子工程与计算机科学系主任，现为该系Robert S. Pepper特聘教授。他的主要研究方向是嵌入式与实时计算系统的设计、建模和模拟。Lee教授是IEEE会员，于1997年获得工程教育领域的Frederick Emmons Terman奖。 Sanjit Arunkumar Seshia拥有卡内基-梅隆大学计算机科学专业博士学位，现为美国加州大学伯克利分校电子工程与计算机科学系副教授。他的主要研究方向是可信计算和计算逻辑。他获得了科学和工程领域的总统早期职业生涯奖（PECASE）和Alfred P. Sloan研究奖金。 目录Introduction to Embedded Systems—A Cyber?Physical Systems Approach 出版者的话 译者序 前言 符号 第1章 绪论 1.1 应用 1.2 一个实例 1.3 设计过程 1.3.1 建模 1.3.2 设计 1.3.3 分析 1.4 小结 第一部分 动态行为建模 第2章 连续动态 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。