基本信息

• 商品名称：信息物理融合系统设计建模与仿真(基于PtolemyⅡ平台)/计算机科学丛书
• 作者：编者:(美)爱德华·阿什福德·李|译者:吴迪//李仁发
• 定价：79
• 出版社：机械工业
• ISBN号：9787111558439

其他参考信息（以实物为准）

• 出版时间：2017-02-01
• 印刷时间：2017-02-01
• 版次：1
• 印次：1
• 开本：16开
• 包装：平装
• 页数：374

内容提要

爱德华·阿什福德·李等编著的《信息物理融合 系统设计建模与仿真（基于PtolemyⅡ平台）》 是一本系统论述CPS（集成了计算、网络和物理过程 的信息物理融合系统）建模问题的专著，不仅由浅入 深地逐一剖析CPS的建模问题，而且还详细介绍了 Ptolemy II在应对CPS模型问题时的各种解决方案， 并结合Ptolemy II系统平台(集系统设计、建模与仿 真于一体)介绍了大量分层、异构系统的模型实例。
    本书的目标是让读者理解现代建模技术在设计过程中 所能发挥的巨大作用，并掌握使用这些技术的方法。
    书中介绍的技术可以用于诸如嵌入式软件、机械、电 气、控制、生物信息等领域的系统建模。尤其适合于 那些由不同领域设计元素组合的异构混合系统的建模 。另外，书中提到的所有方法和实例都可以在项目网 站(http://ptolemy.org/systems)上下载开源的代 码。
     本书适合作为高等院校相关专业“嵌入式系统” 课程的教材或教学参考书，也可作为专业技术人员在 CPS系统建模过程中的参考书。
    

作者简介

爱德华·阿什福德·李(Edward Ashford Lee)，曾任加州大学伯克利分校电子工程与计算机科学系主任，现为该系Robert S.Pepper特聘教授。主要研究方向是嵌入式与实时计算系统的设计、建模和模拟。他是嵌入式系统领域的**学者，也是CPS研究的倡导者和引领者之一。他领导的团队成功开发了Ptolemy项目，研发了PtolemyCIassic和Ptolemy II系统，这是一个非常**的开源嵌入式系统研究与开发平台。他还是加州大学伯克利分校CHESS(混合及嵌入式软件和系统中心)创始主任。 Lee教授拥有加州大学伯克利分校博士学位，麻省理工学院理学硕士学位，以及耶鲁大学学士学位。他合著T5m著作，其中包括《嵌入式系统：CPS方法》。他是IEEE Fellow，于1997年获得工程教育领域的Frederick Emmons Terman奖，1987年获得美国**科学基金会的青年研究者总统奖。

目录

出版者的话
译者序
前言

**部分 入门
**章 异构建模
1.1 语法、语义、语用
1.2 域和计算模型
1.3 模型在设计中的作用
1.4 角色模型
1.5 层次结构模型
1.6 异构建模的方法
1.7 时间模型
1.7.1 层次化时间
1.7.2 超密时间
1.7.3 时间的数字表示
1.8 域和指示器概述
1.9 案例研究
1.10 小结
第2章 图形化建模
2.1 开始
2.1.1 信号处理模型执行范例
2.1.2 模型的创建和运行
2.1.3 建立连接
2.2 令牌和数据类型
2.3 层次结构和复合角色
2.3.1 复合角色端口添加
2.3.2 端口类型设置
2.3.3 多端口、总线和层次结构
2.4 注释及参数设置
2.4.1 层次化模型中的参数
2.4.2 修饰元素
2.4.3 创建自定义图标
2.5 如何操作大模型
2.6 类和继承
2.6.1 实例中参数值的重写
2.6.2 子类和继承
2.6.3 模型间类的共享
2.7 高阶组件
2.7.1 MultiInstanceComposite角色
2.7.2 IterateOverArray角色
2.7.3 生命周期管理角色
2.8 小结

第二部分 计算模型
第3章 数据流
3.1 同步数据流
3.1.1 平衡方程
3.1.2 反馈回路
3.1.3 数据流模型中的时间
3.2 动态数据流
3.2.1 点火规则
3.2.2 DDF中的迭代
3.2.3 将DDF与其他域结合
3.3 小结
练习
第4章 进程网络和会话
4.1 Kahn进程网络
4.1.1 并发点火
4.1.2 PN模型的执行停止
4.2 会话
4.2.1 多路会话
4.2.2 条件会话
4.2.3 资源管理
4.3 小结
练习
第5章 同步响应模型
5.1 固定点语义
……
第6章 有限状态机
第7章 离散事件模型
第8章 模态模型
第9章 连续时间模型
**0章 计时系统建模
**1章 Ptera：面向事件的计算模型

第三部分 建模的基础结构
**2章 软件体系结构
**3章 表达式
**4章 类型系统
**5章 本体
**6章 Web接口
**7章 信号显示

参考文献