当前位置: 首页 > 文章 > 基于时间进程代数的铁路运输能力计算方法研究 金陵科技学院学报 2020 (3) 23-27
Position: Home > Articles > 基于时间进程代数的铁路运输能力计算方法研究 Journal of Jinling Institute of Technology 2020 (3) 23-27

基于时间进程代数的铁路运输能力计算方法研究

作  者:
郭婧
单  位:
金陵科技学院软件工程学院
关键词:
运输能力;形式化方法;铁路运输网络;交通量
摘  要:
采用了基于进程代数的并发TCSP语言,规范了整个计算过程,精确地描述了列车的移动行为,统计了列车在给定时间段、给定观察区域的最大数量.给出了计算的表达式,还用该语言表示了计算过程.通过迹行为的精化,能判断运输能力的容量.这种方法以标准化、形式化的方式表示了整个过程的计算框架,同时也为验证系统关键性质打下了坚实的基础.

相似文章

计量
文章访问数: 13
HTML全文浏览量: 0
PDF下载量: 0

所属期刊

推荐期刊