Stateflow系统建模技术[借鉴].pptVIP

状态图层次—层次转移测试优先权 转移的测试从活动的父状态开始 向外的转移首先被测试(level 1) 接着是内部转移(level 2) 然后从活动的子状态开始检测转移 穿越父状态边缘的转移首先被检测(level 3) 然后是父状态内部子状态之间的转移被检测 (level 4) 在同等层次的转移之间，具有最严格限制的转移首先被检测 * 精品PPT·实用借鉴 状态图层次—内部转移规则 状态的外部转移优先于内部转移被首先测试 内部转移仅在没有有效的外部转移使父状态退出活动状态时被执行 内部转移优先于子状态之间的转移被首先测试 * 精品PPT·实用借鉴 状态图层次—状态动作vs转移测试 状态入口动作在默认转移之前被执行 状态的during或on-event动作在内部转移之前被执行 例exp15 * 精品PPT·实用借鉴 状态图层次—子状态图 子状态图是从父状态图中创建的 它在功能上有别于父状态 子状态利用灰色图块隐藏内部细节 简化了状态图的复杂程度 子状态图更类似与Simulink的子系统 创建子状态图： 右键单击父状态弹出快捷菜单，使用Make Contents子菜单，选择Subcharted命令 * 精品PPT·实用借鉴 状态转移—状态动作 在下列情况时，发生状态动作 ： 初始为非活动状态，事件驱动使其激活—entry动作 初始为活动状态，事件驱动使其进入非活动状态—exit动作 初始为活动状态，事件没有改变其活动的状态—during动作或on动作 状态动作一般作为状态名称标签的一部分，可以紧跟在标签名称后面 可以使用一些关键字来标识动作的作用类型 * 精品PPT·实用借鉴 状态转移—状态动作（续） 有四种类型状态动作： entry/en 在事件触发状态进入活动状态时执行 exit/ex 在事件触发状态退出活动状态时执行 during/du 在事件触发发生，状态保持原来活动状态时执行 on event_name 当以event_name命名的事件发生时，状态保持原有的活动状态而执行相应的动作 系统默认的状态动作为entry * 精品PPT·实用借鉴 状态转移—动作执行顺序 在有事件驱动且条件满足的时候，执行相应的条件动作 整条通路都有效，系统才执行转移动作 原状态的退出动作在转移动作执行之前被执行 接着是组含义动作，然后是目标状态的进入动作 * 精品PPT·实用借鉴 状态转移—动作语言 Stateflow的动作语言是图表内部进行交互，以及图表和外部环境进行交互的接口 动作语言的功能： 执行数学计算：操作数据对象 调用函数：使用MATLAB或C语言的函数 触发事件：影响内部或外部的状态 * 精品PPT·实用借鉴 状态转移—支持的数学运算 二元操作：* / %% + - ^ = = == ~= != | || 一元操作： ~ ! - ++ -- 赋值运算：= += -+ *= /= 位操作： ^ | = ^= |= * 精品PPT·实用借鉴 状态转移—调用MATLAB函数 调用MATLAB 函数，需要在函数的名字前使用MATLAB命名空间运算符，如ml y = ml.abs(x) 在使用ml运算符调用MATLAB函数时需要注意以下几点： 使用ml关键字调用的MATLAB函数，仅能使用标量或者字符串作为函数的输入参量 调用函数时的圆括号是必须，无论被调用的函数是否具有参量 如果调用的函数具有返回参数，则返回数值的类型必须为double型 如果具有多个返回变量，仅有第一个返回变量被赋值 如果返回的参数不是标量，仅向量中的第一个元素被赋值 * 精品PPT·实用借鉴 状态转移—C语言数学函数 调用C语言数学函数：如y=abs(x) 仿真目标代码生成器提供了min和max函数的宏定义 下表中所列的数学函数可以被调用 * 精品PPT·实用借鉴 状态转移—调用函数 调用MATLAB函数时需要使用ml操作符，而调用C语言函数的时候则比较简单 ，例exp04 调用C语言函数 调用MATLAB函数 * 精品PPT·实用借鉴 状态转移—图表更新 图表更新也是可以配置的，更新主要有三种形式： Triggered 或Inherited ——状态或者被外部输入的事件触发，或者按照输入信号的采样频率进行触发 Sampled—— 按照一个固定的频率触发状态转换 Continuous——每个仿真步长触发状态转换 执行File菜单下的Chart Properties命令，在弹出的对话框中，设置Update method 字段中的内容