{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T02:33:17Z","timestamp":1783823597475,"version":"3.55.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030301453","type":"print"},{"value":"9783030301460","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30146-0_45","type":"book-chapter","created":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T22:02:28Z","timestamp":1566079348000},"page":"669-680","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network"],"prefix":"10.1007","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Junfeng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tingliang","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,8,18]]},"reference":[{"key":"45_CR1","doi-asserted-by":"publisher","unstructured":"Ieee standard for communications-based train control (cbtc) performance and functional requirements. IEEE Std 1474.1-2004 (Revision of IEEE Std 1474.1-1999), pp. 1\u201345 (2004). \n                    https:\/\/doi.org\/10.1109\/IEEESTD.2004.95746","DOI":"10.1109\/IEEESTD.2004.95746"},{"issue":"1","key":"45_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3158668","volume":"28","author":"Gul Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018). \n                    https:\/\/doi.org\/10.1145\/3158668\n                    \n                  , \n                    http:\/\/doi.acm.org\/10.1145\/3158668","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"issue":"6","key":"45_CR3","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"Berriel, R.F., et al.: Heading direction estimation using deep learning with automatic large-scale data acquisition. In: 2018 International Joint Conference on Neural Networks (IJCNN), pp. 1\u20138. IEEE (2018)","DOI":"10.1109\/IJCNN.2018.8489154"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-24372-1_1","volume-title":"Automated Technology for Verification and Analysis","author":"EM Clarke","year":"2011","unstructured":"Clarke, E.M., Zuliani, P.: Statistical model checking for cyber-physical systems. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 1\u201312. Springer, Heidelberg (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-24372-1_1"},{"key":"45_CR6","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-319-68499-4_10","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"Mathieu Comptier","year":"2017","unstructured":"Comptier, M., Deharbe, D., Perez, J.M., Mussat, L., Pierre, T., Sabatier, D.: Safety analysis of a CBTC system: a rigorous approach with event-b. In: Fantechi, A., Lecomte, T., Romanovsky, A. (eds) International Conference on Reliability, Safety and Security of Railway Systems, vol. 10598, pp. 148\u2013159. Springer, Cham (2017). \n                    https:\/\/doi.org\/10.1007\/978-3-319-68499-4_10"},{"key":"45_CR7","unstructured":"Ekanadham, C.: Sparse deep belief net models for visual area v2. In: Advances in Neural Information Processing Systems, vol. 20, pp. 873\u2013880 (2008)"},{"key":"45_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-33176-3_12","volume-title":"Software Engineering for Resilient Systems","author":"A Ferrari","year":"2012","unstructured":"Ferrari, A., Itria, M.L., Chiaradonna, S., Spagnolo, G.O.: Model-based evaluation of the availability of a CBTC system. In: Avgeriou, P. (ed.) SERENE 2012. LNCS, vol. 7527, pp. 165\u2013179. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-3-642-33176-3_12"},{"issue":"7","key":"45_CR9","doi-asserted-by":"publisher","first-page":"1527","DOI":"10.1162\/neco.2006.18.7.1527","volume":"18","author":"GE Hinton","year":"2006","unstructured":"Hinton, G.E., Osindero, S., Teh, Y.W.: A fast learning algorithm for deep belief nets. Neural Comput. 18(7), 1527 (2006)","journal-title":"Neural Comput."},{"issue":"5786","key":"45_CR10","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1126\/science.1127647","volume":"313","author":"GE Hinton","year":"2006","unstructured":"Hinton, G.E., Salakhutdinov, R.R.: Reducing the dimensionality of data with neural networks. Science 313(5786), 504\u20137 (2006)","journal-title":"Science"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"Hordvik, S., \u00d8seth, K., Blech, J.O., Herrmann, P.: A methodology for model-based development and safety analysis of transport systems. In: ENASE, pp. 91\u2013101 (2016)","DOI":"10.5220\/0005828800910101"},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"Huang, H.Z., Yuan, X., Yao, X.S.: Fuzzy fault tree analysis of railway traffic safety. In: International Conference on Transportation and Traffic Studies, pp. 107\u2013112 (2000)","DOI":"10.1061\/40503(277)16"},{"issue":"5","key":"45_CR13","doi-asserted-by":"publisher","first-page":"2191","DOI":"10.1109\/TITS.2014.2311123","volume":"15","author":"W Huang","year":"2014","unstructured":"Huang, W., Song, G., Hong, H., Xie, K.: Deep architecture for traffic flow prediction: deep belief networks with multitask learning. IEEE Trans. Intell. Transp. Syst. 15(5), 2191\u20132201 (2014)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"45_CR14","unstructured":"Jensen, F.V., et al.: An Introduction to Bayesian Networks, vol. 210. UCL press, London (1996)"},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. In: Proceedings of the 24th International Conference on Software Engineering ICSE 2002, pp. 547\u2013550. ACM, New York (2002)","DOI":"10.1145\/581339.581406"},{"key":"45_CR16","unstructured":"Krizhevsky, A., Sutskever, I., Hinton, G.E.: Imagenet classification with deep convolutional neural networks. In: International Conference on Neural Information Processing Systems, pp. 1097\u20131105 (2012)"},{"issue":"3","key":"45_CR17","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1109\/TR.1985.5222114","volume":"R-34","author":"W. S. Lee","year":"1985","unstructured":"Lee, W.S., Grosh, D.L., Tillman, F.A., Lie, C.H.: Fault tree analysis, methods, and applications: a review. IEEE Trans. Reliab. R-34(3), 194\u2013203 (1985)","journal-title":"IEEE Transactions on Reliability"},{"key":"45_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-36580-X_26","volume-title":"Hybrid Systems: Computation and Control","author":"S Mitra","year":"2003","unstructured":"Mitra, S., Wang, Y., Lynch, N., Feron, E.: Safety verification of model helicopter controller using hybrid input\/output automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 343\u2013358. Springer, Heidelberg (2003). \n                    https:\/\/doi.org\/10.1007\/3-540-36580-X_26"},{"key":"45_CR19","unstructured":"Nefti, S., Oussalah, M.: A neural network approach for railway safety prediction. In: IEEE International Conference on Systems, Man and Cybernetics, vol. 4, pp. 3915\u20133920 (2004)"},{"key":"45_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05052-1","volume-title":"Importance Sampling","author":"Rajan Srinivasan","year":"2002","unstructured":"Srinivasan, R.: Importance Sampling: Applications in Communications and Detection. Springer, Heidelberg (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-662-05052-1"},{"key":"45_CR21","unstructured":"Stamatis, D.H.: Failure Mode and Effect Analysis: FMEA from Theory to Execution. ASQ Quality Press, Milwaukee (2003)"},{"key":"45_CR22","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.ress.2017.10.019","volume":"170","author":"J Wang","year":"2018","unstructured":"Wang, J., Zhang, C.: Software reliability prediction using a deep learning model based on the RNN encoder-decoder. Reliab. Eng. Syst. Saf. 170, 73\u201382 (2018)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"45_CR23","unstructured":"Zhang, Y.P., Xu, Z.J., Su, H.S.: Risk assessment on railway signal system based on fuzzy-FMECA method (2013)"},{"issue":"5","key":"45_CR24","doi-asserted-by":"publisher","first-page":"1268","DOI":"10.1109\/TITS.2016.2603441","volume":"18","author":"T Zhu","year":"2017","unstructured":"Zhu, T., de Pedro, J.M.M.S.: Railway traffic conflict detection via a state transition prediction approach. IEEE Trans. Intell. Transp. Syst. 18(5), 1268\u20131278 (2017)","journal-title":"IEEE Trans. Intell. Transp. Syst."}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Collaborative Computing: Networking, Applications and Worksharing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30146-0_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T22:08:43Z","timestamp":1566079723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30146-0_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030301453","9783030301460"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30146-0_45","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"18 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CollaborateCom","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Collaborative Computing: Networking, Applications and Worksharing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"colcom2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/collaboratecom.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}