《表1 DRPs评价指标：列控系统等级转换的建模研究》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《列控系统等级转换的建模研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

1995年，Aalborg大学和Uppsala大学联合提出UPPAAL，可以通过时间自动机子模型来描述各个子系统的属性和行为，多个单独的子模型组成整个系统完整的时间自动机网络模型。通过UPPAAL平台下的模拟器窗口可以准确对其错误的路径进行定位，从而修正模型。UPPAAL验证平台为系统规范的验证提供了BNF语法[9-10]，具体语法含义如表1所示。