《表1 UPPAAL中定时器声明》
基于上述对ST定时器建模原理的阐述,结合IEC61131-3标准对定时器的定义,在建模实现过程中将定时器定义为结构体类型,如表1所示。IN为输入的使能变量,PT为输入的预设时间变量,ET为输出的当前已计时间变量,Q为输出的输出值变量。
图表编号 | XD0067561600 严禁用于非法目的 |
---|---|
绘制时间 | 2019.06.01 |
作者 | 李雨真 |
绘制单位 | 杭州电子科技大学 |
更多格式 | 高清、无水印(增值服务) |
基于上述对ST定时器建模原理的阐述,结合IEC61131-3标准对定时器的定义,在建模实现过程中将定时器定义为结构体类型,如表1所示。IN为输入的使能变量,PT为输入的预设时间变量,ET为输出的当前已计时间变量,Q为输出的输出值变量。
图表编号 | XD0067561600 严禁用于非法目的 |
---|---|
绘制时间 | 2019.06.01 |
作者 | 李雨真 |
绘制单位 | 杭州电子科技大学 |
更多格式 | 高清、无水印(增值服务) |