期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于Petri网的铁路综合交通枢纽换乘建模与仿真
1
作者 王陆睎 朱明 《铁路通信信号工程技术》 2024年第2期1-6,共6页
通过对车站内多制式轨道交通综合调度,可以提升乘客旅途出行的舒适换乘体验。针对多制式轨道交通综合调度问题,以Petri网为工具,仿真建立车站枢纽中各种轨道交通方式及相互间换乘通道的基本模型,利用相互间逻辑关系将其整合为一个整体模... 通过对车站内多制式轨道交通综合调度,可以提升乘客旅途出行的舒适换乘体验。针对多制式轨道交通综合调度问题,以Petri网为工具,仿真建立车站枢纽中各种轨道交通方式及相互间换乘通道的基本模型,利用相互间逻辑关系将其整合为一个整体模型,输入多制式轨道交通各自的运行计划,利用模型对其进行智能优化提升,为乘客提供舒适的旅程体验。 展开更多
关键词 综合交通枢纽 综合调度 乘客换乘 形式化建模
下载PDF
基于Petri网的崇凭铁路车站联锁进路建模与仿真 被引量:1
2
作者 王陆睎 《高速铁路技术》 2022年第5期25-30,共6页
作为一种形式化建模工具,Petri网被广泛应用于铁路等离散事件系统。本文以新建崇凭铁路某车站站内联锁进路控制为研究背景,借助Petri网仿真模拟列车在站内的运行过程。结果表明,本文的模型可对站内调度计划的安全性进行核查,通过被标记... 作为一种形式化建模工具,Petri网被广泛应用于铁路等离散事件系统。本文以新建崇凭铁路某车站站内联锁进路控制为研究背景,借助Petri网仿真模拟列车在站内的运行过程。结果表明,本文的模型可对站内调度计划的安全性进行核查,通过被标记的故障库所的含义定位不可行的调度计划问题所在,并对其进行修正,从而确保列车在站内的安全运行。 展开更多
关键词 车站联锁进路 时延PETRI网 形式化验证 站内调度计划
下载PDF
基于Petri网的车站预叠加发码建模与仿真
3
作者 王陆睎 《现代信息科技》 2023年第1期84-86,共3页
普速铁路站内轨道电路预叠加ZPW-2000电码化技术成为既有线车站改造或新建车站施工采用的主流技术,为普速铁路实现多次提速提供了有效的技术保障和安全屏障。文章通过离散事件系统建模工具Petri网对站内预叠加电码化进行建模与仿真,仿... 普速铁路站内轨道电路预叠加ZPW-2000电码化技术成为既有线车站改造或新建车站施工采用的主流技术,为普速铁路实现多次提速提供了有效的技术保障和安全屏障。文章通过离散事件系统建模工具Petri网对站内预叠加电码化进行建模与仿真,仿真模拟列车在站内走行过程中预叠加发码过程,实现对电码化安全性的提升。 展开更多
关键词 电码化 PETRI网 预叠加发码 故障—安全原则
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部