《表4 RDC列车移交模型有界性报告》

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

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

《基于时间参数的CTCS-1级RDC设置方式的研究》

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

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

RDC列车移交模型状态空间规模统计显示移交模型中有24个状态节点与28条有向弧，与模型状态空间可达图数据一致，状态节点与有向弧数目说明RDC列车移交模型整体有界.RDC列车移交模型有界性报告如表4所示.表4显示模型状态变化过程中每个库所均具有令牌的上界与下界，大部分库所具有令牌的下界为0，说明模型执行前该库所初始状态为空，而具有令牌的上界均为1，说明连接该库所的变迁使能发射过，令牌流入该库所；个别库所令牌上界为2，下界均为1，说明该库所最多拥有2个令牌，模型执行过程中有令牌流出，库所最终有1个令牌.上述两种情况说明模型中库所拥有的令牌数量在某一确定范围内，模型状态空间整体有界，库所拥有的令牌数目确定，模型有界性良好.