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

Research on Calculation Method of Railway Capacity Using Timed Process Algebra

作　　者：郭婧 GUO Jing(Jinling Institute of Technology, Nanjing 211169, China)

机构地区：[1]金陵科技学院软件工程学院,江苏南京211169

出　　处：《金陵科技学院学报》2020年第3期23-27,共5页Journal of Jinling Institute of Technology

基　　金：江苏高校社会科学研究项目(2020SJA0534);金陵科技学院高层次人才科研启动项目(jit-b-201817)。

摘　　要：采用了基于进程代数的并发TCSP语言,规范了整个计算过程,精确地描述了列车的移动行为,统计了列车在给定时间段、给定观察区域的最大数量。给出了计算的表达式,还用该语言表示了计算过程。通过迹行为的精化,能判断运输能力的容量。这种方法以标准化、形式化的方式表示了整个过程的计算框架,同时也为验证系统关键性质打下了坚实的基础。This paper used TCSP language based on process algebra,regulated the specification of the whole process and accurately described the movement behavior of the train.It counted the maximum number of trains in a given time period,in a given observation area.We gave the calculation expressions as well as the calculation process.We could determine the capacity by refinement of trace.This method has standard and formal representation of the computational framework for the whole process,which offers solid support in verifying the key properties of the system.

关 键 词：运输能力 形式化方法 铁路运输网络 交通量 

分 类 号：U292[交通运输工程—交通运输规划与管理]