欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础。在经典Petri网冲突定理的基础上,结合库容量约束和时间间隔约束,提出列车运行冲突判定定理,并证明该方法的正确性;在此基础上,设计基于可达树的冲突分析方法,并以太原铁路局部分线路为例,通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。
英文摘要：
Train operation conflict detection is an important security assurance for the railway network. The formal definition of the Time Colored Petri nets （TCPNs） was introduced firstly to define the transition enab- ling and firing rules and the state transition function. On the basis of the TCPNs theory, the train group model was developed with the places presenting the stations or block sections and the tokens presenting the traveling trains, to provide a model basis for conflict detection. A train operation conflict detection rule was established in accordance with classical Petri net collision theory, as well as the train operation constraints, capacity con- straints and time interval constraints. The conflict detection method was proved to be effective. Based on the a- bove works, a conflict prediction algorithm by searching the reachability tree for conflict markings was designed. Finally, the effectiveness of the conflict prediction and detection method is verified by a case study of some rail lines of the Taiyuan Railway Bureau. The train group model using TCPNs provides a new approach for the conflict detection and analysis in the railway system.
同期刊论文项目
同项目期刊论文
A Carrier-Based PWM Strategy with Zero-Sequence Voltage Injection for Single-Phase Three-Level Neutr
Deadbeat predictive power control of single phase three level neutral-point-clamped converters using
Relationship between two-level space-vector pulse-width modulation and carrier-based pulsewidth modu
Multiwavelet packet entropy and its application in transmission line fault recognition and classific
Nonlinear modelling of high-speed catenary based on analytical expressions of cable and truss elemen
An Open-switch fault diagnosis method for single-phase PWM rectifier using a model-based approach in
Identification of Nonlinear Dynamic System Using a Novel Recurrent Wavelet Neural Network Based on t
The multi-core parallel algorithms of wavelet/wavelet packet transforms and their applications in po
Relationship between two-level space-vector pulse-width modulation and carrier-based pulse-width mod
Single Phase Three-level SVPWM Algorithm for Grid-side Railway Traction Converter and Its Relationsh
A high robustness and low cost cascading failure model based on node importance in complex networks&
Harmonic resonance assessment to traction power-supply system considering train model in China high-
A Simple Model Predictive Power Control Strategy for Single-phase PWM Converterswith Modulation Func
Resonant Harmonic Elimination Pulse Width Modulation-Based High-FrequencyResonance Suppression of Hi
An improved differential evolution algorithm of model-based diagnosis in traction substation fault d
Power calculation for direct power control of single phase three level rectifiers without phase lock
Detection of contact wire irregularities using a quadratic time-frequency representation of the pant
A Carrier-based PWM strategy with the offset voltage injection for single-phase three-level neutral-
期刊信息
位置：