安排利用时序逻辑图的行为
定义的行为Stateflow图的仿真时间,包括时序逻辑操作符的状态和转换操作图表。时序逻辑操作符是内置函数,告诉你的时间仍然活跃的状态,或者一个布尔条件仍然是正确的。使用时序逻辑,可以控制的时机:
状态之间的转换
函数调用
变量值的变化
这些都是最常见的为绝对时间时序逻辑操作符:
模型一个继电器式控制的温度控制器
下面的例子使用时序逻辑模型暴烈行为控制器,调节锅炉的内部温度。
示例包括Stateflow图表和仿真软件®子系统。金宝app的砰砰的枪声控制器
图对比当前锅炉温度参考设置点和决定是否打开锅炉。的锅炉设备模型
子系统模型锅炉内的动态增加或减少其温度控制器的状态。然后,图表使用的锅炉温度的下一步模拟。
的砰砰的枪声控制器
图表使用时序逻辑操作符后
:
调节继电器式控制的时间周期为锅炉之间的交替。
控制状态LED闪光以不同的速率取决于锅炉的操作模式。
计时器定义锅炉的行为和领导子系统独立运作的另一个没有阻止或干扰的模拟控制器。
时间继电器式控制周期
的砰砰的枪声控制器
图包含两个亚态表示锅炉的两种操作模式,在
和从
。图表使用活动状态的输出数据锅炉
表明亚态是活跃的。
之间的转换条件在
和从
亚态定义继电器式控制控制器的行为:
第一过渡
在
来从
,条件(20秒后)
打开后关闭锅炉,持续20秒。的过渡
从
来在
,条件(40秒后)(冷())
当图形函数的锅炉冷()
表明,锅炉温度低于参考集点至少40秒。第二过渡
在
来从
时,锅炉,琐碎的条件关闭内部转换逻辑在
国家确定锅炉温度的设定值以上参考。
由于这些过渡动作,继电器式控制周期的时间取决于当前锅炉的温度。在仿真开始,锅炉冷时,控制器花40秒从
国家和20秒在
状态。在时间秒,锅炉的温度达到设定值的引用。从这一点上,锅炉必须赔偿只有热量损失而在从
状态。控制器然后花40秒从
国家和4秒在
状态。
时间领导的地位
的从
国家包含一个亚态闪光
与自身环过渡引发的行动后(5秒)
。由于这种转变,当从
状态是活跃的,亚态执行它条目
行动和调用图形函数flash_LED
每5秒。功能切换输出符号的价值领导
在0和1之间。
的在
状态调用图形函数flash_LED
作为一个组合条目,在
国家行动。当在
状态是活跃的,这个动作调用函数在每一个时间步的模拟切换输出符号的价值领导
介于0和2。
因此,领导地位的时机取决于锅炉的操作模式。例如:
从来秒,锅炉,LED信号交替在0和1之间每5秒。
从来秒,锅炉和LED信号交替介于0和2每一秒。
从来秒,锅炉,LED信号交替在0和1之间每5秒。
探索的例子
使用额外的时序逻辑研究的时间继电器式控制循环锅炉的温度趋于变化的参考点。
1。进入新的状态调用的行动运行
和持续时间
运营商:
在
在
状态,设置Timer1
的时间长度在
状态是积极的:
恩,du,例:Timer1 =运行(sec);
在
从
状态,设置Timer2
的时间长度,锅炉温度设定值以上参考:
恩,du,例:Timer2 =持续时间(临时> =引用);
2。在符号窗格中,单击解决未定义的符号。Stateflow编辑器解决了符号Timer1
和Timer2
作为输出数据。
3所示。启用日志记录Timer1
和Timer2
。在符号窗格中,选择每个符号。然后,在属性检查器下,日志记录中,选择测井信号数据。
4所示。在模拟选项卡上,单击运行。
5。在模拟选项卡,在审查结果,点击数据检查。
6。在仿真数据检查,显示信号锅炉
和Timer1
在相同的轴。图显示:
的
在
阶段的暴烈行为周期通常持续20秒,当锅炉冷,4秒当锅炉温暖。第一次锅炉达到参考温度,循环过早中断和控制器停留的
在
国家只有18秒。当锅炉温暖,第一周期略短于随后的周期,控制器保持
在
国家只有3秒。
7所示。在仿真数据检查,显示信号锅炉
和Timer2
在相同的轴。图显示:
一旦锅炉是温暖的,它通常需要9秒冷却
从
继电器式控制周期的阶段。第一次锅炉达到参考温度,需要19秒冷却,只要其他周期的两倍以上。
短周期和较长的冷却时间内的亚态层次的结果在
状态。当锅炉达到第一次的参考温度的过渡高
来规范
使控制器在一个额外的时间步长,从而导致地区气温高于正常锅炉。在以后的周期,历史结引起的在
首先一个活跃的阶段规范
亚态。控制器之后立即关闭锅炉达到参考温度,从而导致冷却器锅炉。