-
题名基于Petri网的铁路综合交通枢纽换乘建模与仿真
- 1
-
-
作者
王陆睎
朱明
-
机构
中铁二院工程集团有限责任公司
-
出处
《铁路通信信号工程技术》
2024年第2期1-6,共6页
-
文摘
通过对车站内多制式轨道交通综合调度,可以提升乘客旅途出行的舒适换乘体验。针对多制式轨道交通综合调度问题,以Petri网为工具,仿真建立车站枢纽中各种轨道交通方式及相互间换乘通道的基本模型,利用相互间逻辑关系将其整合为一个整体模型,输入多制式轨道交通各自的运行计划,利用模型对其进行智能优化提升,为乘客提供舒适的旅程体验。
-
关键词
综合交通枢纽
综合调度
乘客换乘
形式化建模
-
Keywords
comprehensive transportation hub
comprehensive dispatch
passenger transfer
formal modeling
-
分类号
U283.5
[交通运输工程—交通信息工程及控制]
-
-
题名基于Petri网的崇凭铁路车站联锁进路建模与仿真
被引量:1
- 2
-
-
作者
王陆睎
-
机构
中铁二院工程集团有限责任公司
-
出处
《高速铁路技术》
2022年第5期25-30,共6页
-
文摘
作为一种形式化建模工具,Petri网被广泛应用于铁路等离散事件系统。本文以新建崇凭铁路某车站站内联锁进路控制为研究背景,借助Petri网仿真模拟列车在站内的运行过程。结果表明,本文的模型可对站内调度计划的安全性进行核查,通过被标记的故障库所的含义定位不可行的调度计划问题所在,并对其进行修正,从而确保列车在站内的安全运行。
-
关键词
车站联锁进路
时延PETRI网
形式化验证
站内调度计划
-
Keywords
station interlocking route
latency Petri Net
formal verification
in-station dispatching plan
-
分类号
U284.3
[交通运输工程—交通信息工程及控制]
-
-
题名基于Petri网的车站预叠加发码建模与仿真
- 3
-
-
作者
王陆睎
-
机构
中铁二院工程集团有限责任公司
-
出处
《现代信息科技》
2023年第1期84-86,共3页
-
文摘
普速铁路站内轨道电路预叠加ZPW-2000电码化技术成为既有线车站改造或新建车站施工采用的主流技术,为普速铁路实现多次提速提供了有效的技术保障和安全屏障。文章通过离散事件系统建模工具Petri网对站内预叠加电码化进行建模与仿真,仿真模拟列车在站内走行过程中预叠加发码过程,实现对电码化安全性的提升。
-
关键词
电码化
PETRI网
预叠加发码
故障—安全原则
-
Keywords
coding
Petri net
pre-stacking sending code
fail-safety principle
-
分类号
U273.4
[机械工程—车辆工程]
TP391.9
[自动化与计算机技术—计算机应用技术]
-