Computers in Railways XVI : Railway Engineering Design and Operation最新文献_第3页

RESTORATION OF ACTUAL TRACK GEOMETRY USING DATA MEASURED BY AN INERTIAL TROLLEY 利用惯性小车测量的数据恢复实际轨道几何形状

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/CR180241

Y. Naganuma, Takayuki Uematsu

引用次数: 2

RULE-DIRECTED SAFETY VALIDATION OF SSI-BASED INTERLOCKING APPLICATION DATA MODELS 基于si的互锁应用程序数据模型的面向规则的安全验证

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/CR180161

C. Minkowitz

{"title":"RULE-DIRECTED SAFETY VALIDATION OF SSI-BASED INTERLOCKING APPLICATION DATA MODELS","authors":"C. Minkowitz","doi":"10.2495/CR180161","DOIUrl":"https://doi.org/10.2495/CR180161","url":null,"abstract":"The Smartlock 400 (SML400) SSI-based interlocking product is one of a family of Alstom’s railway interlocking products which was developed as a replacement for the Solid State Interlocking (SSI) product. A software tool has been introduced in the SML400 application engineering process to validate the application data against safety conditions, or rather to prove that the application data does not violate specified constraint violations. The aims when designing the tool were to: develop customized software based on a model of the application data generated by existing tools (rather than use a generic theorem prover, to avoid having to translate the data into another notation); use a dynamic technique similar to symbolic execution (as the nature of the data renders it difficult to use static model checking techniques); and employ application specific rules to make the technique manageable (i.e. to reduce the search space of proofs). The tool has demonstrated good performance on average sized and large interlocking applications. By customer request, it has been used principally to validate points free-tomove (PFM) conditions; it has found known data errors caused by points being commanded without having been tested free to move, imprecise definitions of PFM conditions and incomplete PFM tests across interlocking boundaries. The paper begins with the motivation behind the tool’s introduction. It describes the context of the tool, including the characteristics of the application data, the way in which constraint violations are expressed and the operations performed by the tool. It contains descriptions of sample rules used by the tool to optimise the proofs. It compares the tool with other tools that have been used to verify safety properties of SSI-based data. The paper ends by proposing further work for the enhancement and use of the tool.","PeriodicalId":210834,"journal":{"name":"Computers in Railways XVI : Railway Engineering Design and Operation","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117086285","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

PASSENGER FLOW ANALYSIS IN RAILWAY TRANSIT STATION BY POTENTIAL PATHLINE METHOD 潜在路径法分析轨道交通车站客流

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/cr180171

S. Nam, Jaeho Kwak

{"title":"PASSENGER FLOW ANALYSIS IN RAILWAY TRANSIT STATION BY POTENTIAL PATHLINE METHOD","authors":"S. Nam, Jaeho Kwak","doi":"10.2495/cr180171","DOIUrl":"https://doi.org/10.2495/cr180171","url":null,"abstract":"The pedestrian flow model is a design tool that can be applied to railway transit stations, multi complex buildings, shopping malls, and stadiums. In this study, a new numerical analysis method was developed to simulate pedestrian flow. It is a computational analysis method using the concept of potential – pathline. The domain to be analysed is divided into small calculation cells, and a potential value is gradually given starting from the exit cell. Based on the potential values, we can obtain the direction vector for each cell and draw the pathline following it. These pathlines are the basic routes for individual pedestrians to move between the origin and the destination. And then, pedestrian might changes the route according to the cell conditions of each location and moves to the destination. In this analytical method, visual angle, straightness probability, speed, and right-hand traffic can be used as parameters. It can also be applied to a three-dimensional interlayer movement model. Using the developed analysis program, we simulated about the passenger flow at the passageway of railway transit station and also compared Dirk Helbing’s result (Nature 2000) and found that the results of both methods are in good agreement.","PeriodicalId":210834,"journal":{"name":"Computers in Railways XVI : Railway Engineering Design and Operation","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115108201","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

EXPERIMENTAL STUDY ON THE EFFECT OF CROSS-SECTIONAL AREA RATIO BETWEEN TUNNEL AND SHAFT ON PLUG-HOLING PHENOMENA IN SHALLOW UNDERGROUND TUNNELS 浅埋地下隧道坑道与竖井截面积比对塞孔现象影响的试验研究

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/CR180341

K. H. Sung, H. Ryou

{"title":"EXPERIMENTAL STUDY ON THE EFFECT OF CROSS-SECTIONAL AREA RATIO BETWEEN TUNNEL AND SHAFT ON PLUG-HOLING PHENOMENA IN SHALLOW UNDERGROUND TUNNELS","authors":"K. H. Sung, H. Ryou","doi":"10.2495/CR180341","DOIUrl":"https://doi.org/10.2495/CR180341","url":null,"abstract":"Urban railways have been widely constructed due to high economic and operational efficiency compared with other traffic systems. In the other hands, urban railways on the grounds cause severe traffic congestion as well as noise and vibrations. In addition, fire accidents in underground tunnels causes many causalities due to suffocation. To solve the drawbacks around world, many researches in various fields have been conducted to utilize underground spaces, e.g., shallow underground tunnels. Natural ventilation systems (NVS) have been widely used for exhausting smoke flows in shallow underground tunnels due to convenience in installation, maintenance and low cost. When the plugholing phenomena occurs in NVS, the actual smoke ventilation rate becomes smaller than the design value due to fresh air inflows below smoke layer. The phenomena correlate relative intensity ratio between horizontal flow and vertical flow immediately below the shaft. Therefore, tunnel geometrics can affect the plug-holing occurrence even fire size is equivalent. In this study, we experimentally investigated the effect of area ratio on the plug-holing phenomena in shallow underground tunnels. The area ratio is defined as the cross-sectional area ratio of shaft to tunnel. To change the area ratio, the only shaft size was changed in the same model tunnel in 1/20 reduced scale. Experiments were carried out for four area ratios (AR) of 0.054, 0.071, 0.09 and 0.11. Also, fire size was fixed to 11.49 kW. As the results, the plug-holing occurred in case of AR = 0.071, 0.09 and 0.11. As the area ratio increases, vertical flow through the shaft becomes relatively stronger than the ceiling jet flow in tunnel due to an increase in the exhaust rate of smoke, it causes that the fresh air below the smoke layer can be entrained into the shaft directly. Consequently, the potential for the occurrence of plug-holing increases as the area ratio increases.","PeriodicalId":210834,"journal":{"name":"Computers in Railways XVI : Railway Engineering Design and Operation","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123320649","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

NON-LINEAR SOIL BEHAVIOR ON FREIGHT VS PASSENGER LINES 货运和客运线路的非线性土壤行为

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/CR180451

Kaitai Dong, D. Connolly, O. Laghrouche, P. Woodward, P. Costa

引用次数: 0

RANDOM DELAYS FORMING IN THE DENSE TRAIN FLOW 密集列车流中形成的随机延迟

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/CR180391

B. Davydov, V. Chebotarev, Kseniya Kablukova

引用次数: 4

NOISE REDUCTION FOR BALLASTED TRACKS: A SOCIO-ECONOMIC ASSESSMENT 有碴轨道的噪音消减:社会经济评估

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/CR180411

Alejandro Ortega, S. Blainey, J. Preston, D. Thompson, G. Squicciarini, E. Ntotsios, J. Armstrong

{"title":"NOISE REDUCTION FOR BALLASTED TRACKS: A SOCIO-ECONOMIC ASSESSMENT","authors":"Alejandro Ortega, S. Blainey, J. Preston, D. Thompson, G. Squicciarini, E. Ntotsios, J. Armstrong","doi":"10.2495/CR180411","DOIUrl":"https://doi.org/10.2495/CR180411","url":null,"abstract":"Transport infrastructure produces many externalities. Increased accessibility and the resultant economic development are among the most notable positive ones. Accidents, air and noise pollution, and other environmental issues, such as impacts on biodiversity, landscape and townscape, are the most important negative ones. In the case of railway infrastructure, noise and vibration impacts have a key effect on net social benefit. Noise and vibration reduction is crucial to achieve greater social benefits. In this context, the University of Southampton has been working on the Track to the Future (T2F) project, which is assessing, among other issues, how to produce a quiet ballasted track system that is also cheaper to maintain and renew. This paper considers combinations of engineering interventions that could reduce noise and vibration. These include under sleeper pads which attenuate ground vibration, rail dampers and noise barriers which reduce airborne noise. The effects on noise and vibration of under sleeper pads are determined using detailed engineering models. The overall benefits are then assessed for a notional section of track based on a typical route in the UK.","PeriodicalId":210834,"journal":{"name":"Computers in Railways XVI : Railway Engineering Design and Operation","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127075521","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}

引用次数: 2

RESERVATION-COMPULSORY COMMUTING RAILWAYS: INNOVATION THAT WILL BE MADE POSSIBLE BY UCRT/IPASS 强制预订通勤铁路:ucrt / pass将使创新成为可能

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/CR180201

R. Takagi

{"title":"RESERVATION-COMPULSORY COMMUTING RAILWAYS: INNOVATION THAT WILL BE MADE POSSIBLE BY UCRT/IPASS","authors":"R. Takagi","doi":"10.2495/CR180201","DOIUrl":"https://doi.org/10.2495/CR180201","url":null,"abstract":"Making commuting railways “reservation-compulsory” is a quick method to realise “congestion-free” commute on those railways. This is a simple idea which have generally been rejected as unrealistic. However, the author believes that the advances in technologies recent years have seen is giving the idea a fresh chance to be realised. First, combining the moving block signalling systems and the ideas proposed by the authors to realise ultra-high-frequency train operation, a drastic improvement in capacity on already densely trafficked railway routes will become possible, giving railway operators the ability to provide a wide variety of services that, if properly selected by passengers, will better suit their individual needs. The ultra-high-frequency operation realised in the above way will result in train timetables that are really difficult to use. In addition, a slight imbalance in passenger loading across railway lines, trains or even coaches in a trainset may result in considerable destabilisation of operation. Here comes the need for implementing “compulsory reservation” policy or something close to that, giving the operator the ability to control passenger behaviour to a certain extent. The reservation policy will also give the operator the ability to provide sophisticated and individualised passenger guidance, as proposed by the author in his IPASS proposal. The complicated train timetables will become easy to use through the help of the high-performance individual passenger guidance function of IPASS. Fare collection will also be easy, giving operators the possibility to apply flexible fare structure while maximising passenger benefits. In the paper, the author describes in full detail the concept and possibility of reservation-compulsory commuting railways and reveal that this can be realised by the application of the group of ideas the author has proposed in recent years as part of his “UCRT/IPASS”","PeriodicalId":210834,"journal":{"name":"Computers in Railways XVI : Railway Engineering Design and Operation","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115750671","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}

引用次数: 3

OPERATIONAL SCENARIO OF COBOT FOR ESCORT OF THE MOBILITY HANDICAPPED AT RAILWAY STATIONS 协作机器人在火车站护送行动不便者的操作场景

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/cr180211

Jong-Gyu Hwang, Kyeong-Hee Kim, Tae-Hyung Lee, Tae-ki Ahn, Myung-Sung Jin

引用次数: 1

TRAIN TRAFFIC SIMULATION ALGORITHM BASED ON HISTORICAL TRAIN TRAFFIC RECORDS 基于历史列车交通记录的列车交通仿真算法

Computers in Railways XVI : Railway Engineering Design and Operation Pub Date : 2018-07-02 DOI: 10.2495/CR180261

S. Watanabe, Y. Mori, Y. Takatori, Kazushige Yonemoto, N. Tomii

{"title":"TRAIN TRAFFIC SIMULATION ALGORITHM BASED ON HISTORICAL TRAIN TRAFFIC RECORDS","authors":"S. Watanabe, Y. Mori, Y. Takatori, Kazushige Yonemoto, N. Tomii","doi":"10.2495/CR180261","DOIUrl":"https://doi.org/10.2495/CR180261","url":null,"abstract":"We have developed a train traffic simulator in order to precisely simulate the delay occurrence and propagation which must be different depending on particular “situations.” By “situation” we mean the weather, a day of the week, season and so on. It is well known that occurrence and propagation of delays are different depending on these situations. Thus, it is necessary to develop a simulation algorithm which can exactly simulate the difference in occurrence of delays in order to use the simulator to evaluate effectiveness of delay reduction measures. The basic idea of our simulator is to use the historical train traffic records. By constructing regression trees from the historical train traffic records, we can know dwell times, running times and intervals of trains in each situation. By incorporating the results obtained from the regression tree to our macroscopic simulator constructed based on the longest path algorithm, we can construct a train traffic simulator which exactly simulate train traffic reflecting the “situation.” We have evaluated the simulator using the actual data and we have confirmed our approach is very promising.","PeriodicalId":210834,"journal":{"name":"Computers in Railways XVI : Railway Engineering Design and Operation","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125233491","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}

引用次数: 6