Stateflow系统建模技术.ppt

编辑ppt 流程图建模—终止节点 终止节点就是连接节点，只不过该连接节点聚集了所有转移路径 终止节点类似函数中的return声明 在一个流程图中，必须要有一个无条件路径来终止连接，防止无穷递归 在一个流程图中， 以{} 表示的条件动作仅仅是一个可执行的动作 流程图建模—If else结构 If else结构 If elseif else结构 流程图建模—迭代循环结构 for 循环结构 While循环结构 流程图建模—临时数据vs局部数据 状态图中的局部数据就相当于函数的全局变量： 只有在状态图中，数据才可见 当状态图第一次被激活时，局部数据为初值。随后在状态图被激活时，局部数据为前一次数值 重新赋初值时，它的值必须要重置 状态图中的临时数据对象就相当于函数中的一个局部变量 它的值仅在状态图中可见 永远从初值开始 在状态图的以后激活的情况下，自动重置 只有在无状态的状态图中临时数据才是有效的 2009a版本中已没有临时数据类型？？？ 流程图建模—密码检测逻辑 密码检测逻辑的要求： 密码是具有四个数字的输入信号 流程图应分别检测每个数字是否与预设的密码匹配 把正确的密码数字声明为常量 如果密码正确，则输出为1，否则为0 见例exp10 内容提要 Stateflow入门介绍及基本概念 创建状态图 状态转移 流程图建模 状态图的层次 并行机制 状态图层次—概念 当一个状态图具有第二层状态时就构成了层次 高层次的状态就被称为父状态，而低层次的状态就被称为子状态 状态图中允许拥有的状态层次的数目是没有任何限制的 Stateflow允许在不同层次状态之间存在转移 如果转移穿越了父状态的边界直接到达了低层次的子状态，则转移被称之为超转移 子状态的各种对象仅仅父状态活动时，才有可能执行或者有效 直接从父状态发出的转移，可以不用考虑具体哪一个子状态处于活动状态 状态图层次—层次化转移 在具有层次的状态之间转移时，一般转移路径的源头是从最内部的子状态出发，而终止于目标状态的最内部的子状态。例exp11 状态图层次—使用层次的目的 在状态图中使用层次有如下几个目的： 使用层次，可以将相关的对象组合在一起，构成族群 可以将一些通用的转移路径或者动作组合成为一个转移动作或路径，简化模型 适当地使用层次，可以有效地缩减生成代码的大小，也能够提高程序执行的效率和可读性 状态图层次—生成组合父状态 需要将父状态组合起来 ，这样就可以作为一个整体对状态图进行移动、拷贝或者重新定义尺寸操作 方法： 右键单击父状态弹出快捷菜单，选择Make Contents子菜单下的Grouped命令 或者左键双击父状态 状态图层次—低层次默认转移 第二个层次状态的默认转移决定了当父状态被激活时，具体哪一个子状态被激活 思考下图？例exp11和exp12 状态图层次—历史节点 历史节点记录了在父状态退出活动状态时，具体哪一个子状态处于活动状态 当父状态再次被激活时，如果子状态没有定义显性直接转移，则历史节点将使其记录的子状态处于活动状态。 例exp13 历史节点 状态图层次—内部转移 内部转移是指从父状态边缘内部出发，终止于子状态外边缘的转移，转移始终处于父状态的内部。例exp14 状态图层次—层次转移测试优先权 转移的测试从活动的父状态开始 向外的转移首先被测试(level 1) 接着是内部转移(level 2) 然后从活动的子状态开始检测转移 穿越父状态边缘的转移首先被检测(level 3) 然后是父状态内部子状态之间的转移被检测 (level 4) 在同等层次的转移之间，具有最严格限制的转移首先被检测 状态图层次—内部转移规则 状态的外部转移优先于内部转移被首先测试 内部转移仅在没有有效的外部转移使父状态退出活动状态时被执行 内部转移优先于子状态之间的转移被首先测试 状态图层次—状态动作vs转移测试 状态入口动作在默认转移之前被执行 状态的during或on-event动作在内部转移之前被执行 例exp15 状态图层次—子状态图 子状态图是从父状态图中创建的 它在功能上有别于父状态 子状态利用灰色图块隐藏内部细节 简化了状态图的复杂程度 子状态图更类似与Simulink的子系统 创建子状态图： 右键单击父状态弹出快捷菜单，使用Make Contents子菜单，选择Subcharted命令 状态图层次—子状态图之间超转移 从源状态出发，左键拖放转移 将转移拖过目标状态的边界，这时在子状态图中心将出现一个虫孔 继续拖放转移到虫孔中心，编辑窗体将自动切换到子状态图的内部，显示子图的细节 继续拖放转移，到最终的子状态的边界，这样完成了超转移的设置 虫孔 状态图层次—状态转移流程图 状态之间的转移可以使用流程图来完成复杂的