发布求助
文献互助 智能选刊 最新文献

2018 International Conference on Intelligent Rail Transportation (ICIRT)最新文献

筛选
英文 中文
Runtime Verification of Railway Interlocking Software with Parametric Timed Automata 参数化时间自动机铁路联锁软件运行验证
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641559
Ming Chai, Haifeng Wang, Jian Zhang, T. Tang
{"title":"Runtime Verification of Railway Interlocking Software with Parametric Timed Automata","authors":"Ming Chai, Haifeng Wang, Jian Zhang, T. Tang","doi":"10.1109/ICIRT.2018.8641559","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641559","url":null,"abstract":"In railways, computer-based interlocking (CBI) systems are safety critical systems, and should be proved that there is no defect leading to catastrophes during their whole life cycles. Runtime verification is able to provide on-going protection during the operational phase. Unfortunately, as being a variantrich system, it is hard to build monitors for CBI with standard runtime verification frameworks. To overcome this shortcoming, we propose parametric timed automata (PTA) to build feature models for the system. We prove that the language of PTA has more expressive power than timed automata. Based on PTA, we build monitors for a concrete CBI used in Beijing Metro Line 7. The experiment results show that complicated variant-rich CBI systems can be specified with a unique PTA feature model, and monitors can be quickly derived from the model by assign values to parameters. Therefore, this approach is feasible for monitoring CBI systems.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124045581","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Research on Train Control System Based on Train to Train Communication 基于列车间通信的列车控制系统研究
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641573
Yu Liu, Lei Yuan
{"title":"Research on Train Control System Based on Train to Train Communication","authors":"Yu Liu, Lei Yuan","doi":"10.1109/ICIRT.2018.8641573","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641573","url":null,"abstract":"With the developing of wireless communicate technology and the emergence of new demand, it is of great significance introducing Internet of Vehicles into train control system. This paper introduces the background and significance of train control system based on train to train communication researching, it also suggests an implementation of a train control system based on train to train communication. By changing the traditional function allocation method between train and ground, the ability of subsequent trains to obtain the position information of the preceding trains status is added, and the active protection capability and intelligence of the train are enhanced. In this paper, for the key function modules train management and moving authority generation, this paper uses MATLAB/Simulink as a tool to model and simulate them based on the theory of time-use security state machine. According to the output of each module, the correctness of the system scheme is verified, and it provides theoretical basis for the real system building.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127774560","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Performance Analysis of a Train-to-Train Communication System using Colored Petri nets 基于彩色Petri网的列车间通信系统性能分析
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641571
Haifeng Song
{"title":"Performance Analysis of a Train-to-Train Communication System using Colored Petri nets","authors":"Haifeng Song","doi":"10.1109/ICIRT.2018.8641571","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641571","url":null,"abstract":"This paper proposed a performance evaluation method of Train-to-Train Communication System based on spread spectrum communication technology. It can be part of the main function of Railway Collision Avoidance Assistant System, drivers can also rely on it to obtain distance information in case the train control system is not available. The background information has been introduced in the first section, then the system structure is presented. Thereafter, a formal model of the system using Colored Petri nets (CPN) is built, the timed models for the system and the application process are created for the purpose of system performance analysis. This is followed by a performance analysis and evaluation determined by different selected parameters. The results indicate that it is feasible to analyze the system performance by using CPN.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128108195","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Research on Dynamic Characteristics of Gauge Change Bogies 变规转向架动态特性研究
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641676
Yuxing Wu, Li Qiang, Binjie Wang, Qingfeng Qiao, Zheng Jing
{"title":"Research on Dynamic Characteristics of Gauge Change Bogies","authors":"Yuxing Wu, Li Qiang, Binjie Wang, Qingfeng Qiao, Zheng Jing","doi":"10.1109/ICIRT.2018.8641676","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641676","url":null,"abstract":"Gauge change bogies have been extensively developed to solve the problem of different railway track gauges (narrow, standard, broad) among countries. This paper summarizes the different kinds of the gauge change bogies over the world. And the gauge change bogies are classified into two types, which are the bogie with independently rotating wheels and the one with traditional wheelsets, by referring to the patterns of the relatively rotation of the vehicle wheels. In this study, according to the performance characteristics of these two kinds of gauge change bogies, the dynamic characteristics between them are compared and analyzed by using SIMPACK simulation software based on vehicle dynamics theory.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"145 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132026519","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Thin and Flexible Inductively Coupled Transformer as Energy Harvester for Wireless Sensor Networks 薄型柔性电感耦合变压器作为无线传感器网络的能量采集器
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641673
N. Narampanawe, K. See, Sooriya Bandara Rathnayaka, E. Chua
{"title":"Thin and Flexible Inductively Coupled Transformer as Energy Harvester for Wireless Sensor Networks","authors":"N. Narampanawe, K. See, Sooriya Bandara Rathnayaka, E. Chua","doi":"10.1109/ICIRT.2018.8641673","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641673","url":null,"abstract":"Wireless Sensor Networks (WSNs) form the backbone of data transfer for condition monitoring applications. Battery-less WSNs are attractive, as they do not require regular replacements of batteries. Vast numbers of sensors have been deployed in railway systems and facilities. As railway systems and building facilities have current-carrying cables readily available, this paper explores the use of an ultra-thin inductively coupled transformer for energy harvesting purpose. The transformer can be easily wrapped around a current-carrying AC power cable as an energy harvester to power up sensor nodes. It can also double up as a condition monitoring device that tracks the current behaviours of the power cable that is feeding an electrical system.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"289 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133357282","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Architecture Design of a Novel Train-centric CBTC System 以列车为中心的新型CBTC系统体系结构设计
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641603
Tan Chen, Haifeng Wang, B. Ning, Yong Zhang, T. Tang, Kaicheng Li
{"title":"Architecture Design of a Novel Train-centric CBTC System","authors":"Tan Chen, Haifeng Wang, B. Ning, Yong Zhang, T. Tang, Kaicheng Li","doi":"10.1109/ICIRT.2018.8641603","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641603","url":null,"abstract":"CBTC system is the kernel technical equipment that is designed for ensuring the safety of rail transit operations. High intelligence and efficiency are the goals of its development. Aiming at reducing the complexity of the system, this paper proposes a novel train-centric CBTC (TcCBTC) solution. Firstly, to find out the existing problems of traditional CBTC system, the structural complexity and functional complexity are quantitatively analyzed by using information entropy method. Secondly, a new train-centric system architecture is proposed to simplify the wayside equipment. In this architecture, system functionalities are reallocated. High-level principles of TcCBTC is further discussed in detail. Finally, we show that the structural complexity and functional complexity of TcCBTC are reduced significantly by comparing it with the traditional CBTC.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134493039","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Prediction of Rail Rolling Contact Fatigue Crack Initiation Life via Three-Dimensional Finite Element Analysis 钢轨滚动接触疲劳裂纹萌生寿命的三维有限元预测
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641633
L. Martua, Andrew Keong Ng, G. Sun
{"title":"Prediction of Rail Rolling Contact Fatigue Crack Initiation Life via Three-Dimensional Finite Element Analysis","authors":"L. Martua, Andrew Keong Ng, G. Sun","doi":"10.1109/ICIRT.2018.8641633","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641633","url":null,"abstract":"Rolling contact fatigue (RCF) is a common cause of rail failure due to repeated stresses at the wheel-rail contact. Untreated RCF defects can lead to many catastrophic outcomes. As preventative maintenance of rails is more cost effective than corrective maintenance, it is essential to comprehend the mechanism of RCF crack initiation. This paper, therefore, aims to design and develop a dynamic three-dimensional finite element model that can predict RCF crack initiation life and identify crack plane orientation. Axle box acceleration (ABA) signals from smooth and cracked rails were also simulated and analysed. Results show that the highest von Mises stress is located at 2.56 mm below the rail surface, where crack initiation takes place. With critical plane orientation at maximum fatigue parameter, the predicted RCF crack initiation life is about 832000 cycles, which corresponds to roughly 149 days for 5600 wheelset passages per day. Simulated ABA signals induced by RCF cracks exhibit high energy over a wide frequency range, with the strongest energy between 270 and 600 Hz.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115732116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Short-term forecasting of rail transit passenger flow based on long short-term memory neural network 基于长短期记忆神经网络的轨道交通客流短期预测
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641683
Yuan Liu, Yong Qin, Jianyuan Guo, Changjun Cai, Yaguan Wang, L. Jia
{"title":"Short-term forecasting of rail transit passenger flow based on long short-term memory neural network","authors":"Yuan Liu, Yong Qin, Jianyuan Guo, Changjun Cai, Yaguan Wang, L. Jia","doi":"10.1109/ICIRT.2018.8641683","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641683","url":null,"abstract":"Short-term forecasting of passenger flow in metro station is gaining increasingly popularity in the domain of rail transit, because this technique can provide reliable evidence for daily operation and management in rail transit system. Recently, artificial neural networks, especially Recurrent Neural Networks (RNNs) have been receiving more and more attention, due to their capability to capture the strong nonlinearity and randomness of short-term passenger flow. However, traditional recurrent neural networks are unable to learn and remember over long sequences due to the issue of back-propagated error decay. To address this problem, a novel neural network architecture, Long Short-term Memory Neural Network (LSTM NN) for short-term forecasting is proposed in the study. Root mean squared errors (RMSE), mean absolute percentage errors (MAPE) and variance of absolute percentage error (VAPE) are calculated as indicators to evaluate the prediction performance. Other topologies of recurrent neural networks, such as Simple Recurrent Neural Network (RNN) and Gated Recurrent Unit (GRU), are compared to validate the effectiveness of the proposed model. The empirical study with real datasets from Guangzhou Metro shows that LSTM NN outperforms other neural networks in terms of accuracy and stability for short-term forecasting with a 15 min interval.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115939518","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Integrated optimization of Rolling Stock and Crew Rescheduling for High Speed Railway 高速铁路车组调度综合优化研究
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641575
Ziling Zeng, L. Meng, Xin Hong
{"title":"Integrated optimization of Rolling Stock and Crew Rescheduling for High Speed Railway","authors":"Ziling Zeng, L. Meng, Xin Hong","doi":"10.1109/ICIRT.2018.8641575","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641575","url":null,"abstract":"The integrated rescheduling problem of rolling stock and crew for the high speed railway network is challenging, especially during the real-time disruption management process. In order to tackle this problem, an integer linear programming model is presented, based on a multi-commodity flow model, which integrates the rolling stock and crew rescheduling process. The objective of the integrated model is to minimize the difference between the adjusted and original schedule and reduce the cancellations of trips caused by the shortage of rolling stocks or crews. In case of disruptions, a customized ant colony algorithm is presented to solve the problem efficiently. We test our approach on an instance of Beijing-Shanghai high-speed railway line. The calculation results show that the optimal solution can be generated within a short computational time with little RAM consumption. By rescheduling the rolling stock and crew simultaneously, this work helps to effectively support real-time operation under strict time limitations.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116971310","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Design and Characterization of PCB based Planar Coil Eddy Current Probes 基于PCB的平面线圈涡流探头的设计与表征
2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI: 10.1109/ICIRT.2018.8641678
K. H. Ng, N. Venkatarayalu, V. P. Bui, A. R. K. Rajkumar
{"title":"Design and Characterization of PCB based Planar Coil Eddy Current Probes","authors":"K. H. Ng, N. Venkatarayalu, V. P. Bui, A. R. K. Rajkumar","doi":"10.1109/ICIRT.2018.8641678","DOIUrl":"https://doi.org/10.1109/ICIRT.2018.8641678","url":null,"abstract":"Eddy current based NDT is typically adopted to detect surface defects in rails caused by wheel-rail contact. Printed coil planar eddy current probes have advantages of ease in manufacturing using conventional PCB fabrication techniques. In this work, we present the design and characterization of two kinds of such PCB based planar eddy current probes. While the first design is a differential T/R coil, the second design is a differential T/R coil. Such printed coil eddy current probes, not only provide enhanced sensitivity, but improved lift-off immunity useful in detection of sub-surface cracks. The design has been carried out using efficient FEM based full-wave electromagnetic simulation technique. Analysis and design optimizations have been performed for enhanced sensitivity. Both the designs are compared in terms of sensitivity and in general, the results obtained from both simulations and experimental testing confirm the effectiveness of such PCB based planar coil EC probes in detecting surface cracks.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132899846","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信