STATEFLOW逻辑系统建模
点此进入淘宝搜索页搜索分類: 图书,计算机/网络,CAD CAM CAE ,Mastercam及计算机辅助制造 ,
作者： 张威 编著
出 版 社： 西安电子科技大学出版社
出版时间： 2007-10-1字数： 482000版次： 1页数： 317印刷时间： 2007/10/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9787560618524包装： 平装内容简介
本书详细介绍了MATLAB产品体系中用于动态逻辑系统建模仿真的Stateflow产品的应用方法。本书的前六章内容是Stateflow的基础，重点介绍了有限状态系统中状态、状态转移、连接节点、历史节点、动作、数据对象、事件等各种概念在Stateflow产品中的实现方法，还着重介绍了层次化系统建模、并行机制、事件广播、隐含事件和时间逻辑等有限状态系统的建模方法。本书的后三章内容涉及Stateflow的高级话题，涵盖了Stateflow Coder代码生成、真值表、Embedded MATLAB Function以及Stateflow API的使用方法等内容。
本书内容丰富、全面、系统而且权威，对Stateflow有限状态系统中的每一种语法现象都进行了详尽的介绍，并列举了丰富的应用实例，便于读者掌握具体工具的使用方法。
本书既可作为需要完成动态逻辑系统建模和仿真的工程人员的参考书，也可作为在校本科生、硕士研究生和博士研究生的教材，还可作为MATLAB相应产品培训课程的教材。
目录
第1章概述
1.1MATLAB产品简介
1.2基于模型的设计思想
1.2.1系统设计的基本过程
1.2.2传统设计手段的缺陷
1.2.3基于模型的设计优势
1.3Simulink回顾
1.3.1创建Simulink模型
1.3.2参数设置与ModelExplorer
1.3.3创建子系统
1.4Stateflow概述
1.5安装配置Stateflow
1.6本章小结
第2章创建状态图
2.1Stateflow编辑器
2.1.1创建Simulink模型
2.1.2Stateflow编辑器概览
2.2创建和编辑状态图
2.2.1插入图形对象
2.2.2编辑图形对象外观
2.3本章小结
第3章状态图的仿真
3.1状态图的基本概念
3.2事件
3.2.1添加事件
3.2.2使用多个输入事件
3.2.3默认转移的注意事项
3.3数据对象
3.3.1添加数据对象
3.3.2数据对象的属性
3.3.3使用非标量的数据对象
3.3.4设置数据对象的数据类型
3.4状态图的更新模式
3.5Stateflow模型查看器
3.5.1启动Stateflow模型查看器
3.5.2查看并修改对象属性
3.5.3增加新的非图形对象
3.6本章小结
第4章流程图
4.1转移冲突
4.1.1转移冲突的产生与默认处理
4.1.2用户自定义检测次序
4.2流程图的创建
4.2.1常用逻辑结构模型
4.2.2流程图的回溯现象
4.2.3流程图应用实例
4.3图形函数
4.3.1状态中的流程图
4.3.2创建图形函数
4.3.3应用实例
4.4Stateflow调试器
4.4.1启动调试器
4.4.2设置断点
4.4.3调试过程
4.5本章小结
第5章有限状态系统——层次化建模
5.1状态图回顾
5.2状态动作深入
5.2.1状态动作的分类
5.2.2动作的执行次序
5.2.3在动作中使用事件
5.3层次化建模
5.3.1层次化模型的构成
5.3.2层次化状态图的转移
5.3.3历史节点
5.3.4内部转移
5.3.5层次化模型的转移检测优先权
5.3.6本地数据对象
5.4子状态图
5.4.1使用组合的状态
5.4.2创建子状态图
5.4.3子状态图的超转移
5.5Stateflow查询工具
5.6本章小结
第6章有限状态系统——并行机制
第7章StateflowCoder目标编译
第8章可复用图形结构
第9章StateflowAPI
附录AMATLAB可用的LaTex字符集
附录BStateflow对象层次
附录CStateflow语法小结
附录DStateflow动作语言
附录EEmbeddedMATLAB语言
附录FSimEvents简介
参考文献
