{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:11Z","timestamp":1750220531090,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T00:00:00Z","timestamp":1610064000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the National Key R&D Program of China","award":["2016YFB1200602-02"],"award-info":[{"award-number":["2016YFB1200602-02"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,1,8]]},"DOI":"10.1145\/3459012.3459040","type":"proceedings-article","created":{"date-parts":[[2021,7,24]],"date-time":"2021-07-24T22:06:47Z","timestamp":1627164407000},"page":"175-180","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of District Handover Procedure of High-Speed Maglev Operation Control System"],"prefix":"10.1145","author":[{"given":"Yijun","family":"Chen","sequence":"first","affiliation":[{"name":"Tongji University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangqi","family":"Zhang","sequence":"additional","affiliation":[{"name":"Tongji University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huahua","family":"Zhao","sequence":"additional","affiliation":[{"name":"Tongji University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Lin","sequence":"additional","affiliation":[{"name":"Tongji University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pengzi","family":"Chu","sequence":"additional","affiliation":[{"name":"Tongji University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianjun","family":"Yuan","sequence":"additional","affiliation":[{"name":"Tongji University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,24]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"4","article-title":"Formal Analysis of RBC Handover Protocol of ETCS-2 Train Control System","volume":"31","author":"Niu R.","year":"2009","journal-title":"Journal of the China Railway Society."},{"key":"e_1_3_2_1_2_1","unstructured":"Wang Y. and Wu J. 2010. Analysis of RBC Handover Process of CTCS-3 Train Control System. Railway communication signal. 04(April 2010) 2-16.  Wang Y. and Wu J. 2010. Analysis of RBC Handover Process of CTCS-3 Train Control System. Railway communication signal. 04(April 2010) 2-16."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2011.15"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Luo W. Zhang R. and Fang X. 2012. A CoMP soft handover scheme for LTE systems in high speed railway. EURASIP Journal on Wireless Communications and Networking.1(January 2012) 1-9.  Luo W. Zhang R. and Fang X. 2012. A CoMP soft handover scheme for LTE systems in high speed railway. EURASIP Journal on Wireless Communications and Networking.1(January 2012) 1-9.","DOI":"10.1186\/1687-1499-2012-196"},{"key":"e_1_3_2_1_5_1","first-page":"2","article-title":"Formal Modeling, Analysis and Verification of RBC Switch of CTCS-3 Train Control System","volume":"30","author":"Pan D.","year":"2013","journal-title":"Application Research of Computers."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Yang K. Duan Z. and Tian C. 2014. Modeling and Verification of RBC Handover Protocol. Electronic Notes in Theoretical Computer Science. 309 (December 2014) 51-62.  Yang K. Duan Z. and Tian C. 2014. Modeling and Verification of RBC Handover Protocol. Electronic Notes in Theoretical Computer Science. 309 (December 2014) 51-62.","DOI":"10.1016\/j.entcs.2014.12.005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5370\/JICEE.2014.4.3.245"},{"key":"e_1_3_2_1_8_1","unstructured":"Xu S. and Meng X. 2015. Formal modeling and verification of high-speed train RBC switching protocol based on timing RAISE. Railway standard design. 59 6(June 2015) 138-143.  Xu S. and Meng X. 2015. Formal modeling and verification of high-speed train RBC switching protocol based on timing RAISE. Railway standard design. 59 6(June 2015) 138-143."},{"key":"e_1_3_2_1_9_1","unstructured":"An Y. and Li G. 2016. Formal Modeling and Analysis of RBC Handover Based on Timed-UML Sequence Diagram. Railway standard design. 6(June 2016) 132-138.  An Y. and Li G. 2016. Formal Modeling and Analysis of RBC Handover Based on Timed-UML Sequence Diagram. Railway standard design. 6(June 2016) 132-138."},{"key":"e_1_3_2_1_10_1","unstructured":"Liu J. and Li K. 2018. Hazardous Factor Analysis for Radio Block Center Handover in Requirements Phase. JOURNAL OF THE CHINA RAILWAY SOCIETY. 40 4(April 2018) 74-82.  Liu J. and Li K. 2018. Hazardous Factor Analysis for Radio Block Center Handover in Requirements Phase. JOURNAL OF THE CHINA RAILWAY SOCIETY. 40 4(April 2018) 74-82."},{"key":"e_1_3_2_1_11_1","unstructured":"Wang S. Zhang Y. Guo J. and He G. 2019. Research on Multi-agent Based Modeling and Simulation Method Applied in Complex Operation Scenario of Train Control System. Railway Standard Design 63 1(January 2019) 138-144.  Wang S. Zhang Y. Guo J. and He G. 2019. Research on Multi-agent Based Modeling and Simulation Method Applied in Complex Operation Scenario of Train Control System. Railway Standard Design 63 1(January 2019) 138-144."},{"key":"e_1_3_2_1_12_1","article-title":"A Petri Net Model of Maglev Train Running across the System","volume":"12","author":"Zheng W.","year":"2012","journal-title":"Journal of Traffic and Transportation Engineering."},{"key":"e_1_3_2_1_13_1","article-title":"Handover model of high-speed maglev transportation control system based on DSPN","volume":"0","author":"Cao Y.","year":"2014","journal-title":"Journal of Traffic and Transportation Engineering."}],"event":{"name":"ICMSS 2021: 2021 the 5the International Conference on Management Engineering, Software Engineering and Service Sciences","acronym":"ICMSS 2021","location":"Chengdu China"},"container-title":["2021 the 5the International Conference on Management Engineering, Software Engineering and Service Sciences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3459012.3459040","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3459012.3459040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:55Z","timestamp":1750195495000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3459012.3459040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,8]]},"references-count":13,"alternative-id":["10.1145\/3459012.3459040","10.1145\/3459012"],"URL":"https:\/\/doi.org\/10.1145\/3459012.3459040","relation":{},"subject":[],"published":{"date-parts":[[2021,1,8]]}}}