Journal articles on the topic 'Railway interlocking system'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Railway interlocking system.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Nzama, Sipho, and Arnesh Telukdarie. "Digitalization of Interlocking System to Optimize Logistics in Railway Transportation." International Journal of Business Analytics 7, no. 1 (January 2020): 24–36. http://dx.doi.org/10.4018/ijban.2020010102.
Full textLebid, Iryna, Dmitrii Shevchenko, Irina Kravchenya, Nataliia Luzhanska, Georgii Prokudin, and Myroslav Oliskevych. "Rationing of the number of signals and interlockings in the operational stock of railway stations." MATEC Web of Conferences 294 (2019): 05007. http://dx.doi.org/10.1051/matecconf/201929405007.
Full textLi, Zhi Gang. "The Risk Management of the Life Cycle of Computer-Based Interlocking System." Advanced Materials Research 926-930 (May 2014): 4053–56. http://dx.doi.org/10.4028/www.scientific.net/amr.926-930.4053.
Full textHernando, Antonio, Roberto Maestre, and Eugenio Roanes-Lozano. "A New Algebraic Approach to Decision Making in a Railway Interlocking System Based on Preprocess." Mathematical Problems in Engineering 2018 (October 1, 2018): 1–14. http://dx.doi.org/10.1155/2018/4982974.
Full textWang, Hai Qun, and Wen Jun Xue. "Development and Application of the Railway Transportation Management Information System." Applied Mechanics and Materials 385-386 (August 2013): 1848–51. http://dx.doi.org/10.4028/www.scientific.net/amm.385-386.1848.
Full textMartin Nicolas, Menendez, Larosa Facundo Santiago, Ghignone Ramiro Adrian, Alvarez Nicolas, and Lutenberg Ariel. "FPGA implementation of a critical railway interlocking system." IEEE Latin America Transactions 18, no. 02 (February 2019): 288–94. http://dx.doi.org/10.1109/tla.2019.9082240.
Full textMartin Nicolas, Menendez, Larosa Facundo Santiago, Ghignone Ramiro Adrian, Alvarez Nicolas, and Lutenberg Ariel. "FPGA implementation of a critical railway interlocking system." IEEE Latin America Transactions 18, no. 02 (February 2020): 288–94. http://dx.doi.org/10.1109/tla.2020.9085282.
Full textAkita, Katsuji, Toshikatsu Watanabe, Hideo Nakamura, and Ikumasa Okumura. "Computerized Interlocking System for Railway Signaling Control: SMILE." IEEE Transactions on Industry Applications IA-21, no. 3 (May 1985): 826–34. http://dx.doi.org/10.1109/tia.1985.349503.
Full textWang, Haifeng, Tianhua Xu, and Tangming Yuan. "Novel Online Safety Observer for Railway Interlocking System." Journal of Transportation Engineering 139, no. 7 (July 2013): 719–27. http://dx.doi.org/10.1061/(asce)te.1943-5436.0000554.
Full textHe, Tao, and Jian Xin Ren. "Research of RAM on the All-Electronic Computer Interlocking System." Applied Mechanics and Materials 511-512 (February 2014): 719–26. http://dx.doi.org/10.4028/www.scientific.net/amm.511-512.719.
Full textGuan, Qiong, Han Qing Tao, and Bin Huang. "The Computer Interlocking Software System Reliability Test Based on the Monte Carlo." Applied Mechanics and Materials 614 (September 2014): 397–400. http://dx.doi.org/10.4028/www.scientific.net/amm.614.397.
Full textŠiroký, Jaromír, Petr Nachtigall, Erik Tischer, and Jozef Gašparík. "Simulation of Railway Lines with a Simplified Interlocking System." Sustainability 13, no. 3 (January 29, 2021): 1394. http://dx.doi.org/10.3390/su13031394.
Full textChen, Guang Wu, Ju Hua Yang, and Feng Zhang. "Application Research Based on FlexRay Bus for All-Electronic Computer Interlocking System of Railway Signal." Advanced Materials Research 671-674 (March 2013): 3179–84. http://dx.doi.org/10.4028/www.scientific.net/amr.671-674.3179.
Full textYU, Lizhen, Zhongwei XU, Zuxi CHEN, and Shuqing ZHANG. "Formal verification of railway interlocking system based on ladder logic." Journal of Computer Applications 33, no. 12 (December 18, 2013): 3419–22. http://dx.doi.org/10.3724/sp.j.1087.2013.03419.
Full textDincel, Emre, Oytun Eris, and Salman Kurtulan. "Automata-Based Railway Signaling and Interlocking System Design [Testing Ourselves]." IEEE Antennas and Propagation Magazine 55, no. 4 (August 2013): 308–19. http://dx.doi.org/10.1109/map.2013.6645212.
Full textCimatti, A., F. Giunchiglia, G. Mongardi, D. Romano, F. Torielli, and P. Traverso. "Formal Verification of a Railway Interlocking System using Model Checking." Formal Aspects of Computing 10, no. 4 (April 27, 1998): 361–80. http://dx.doi.org/10.1007/s001650050022.
Full textPultyakov, Andrey Vladimirovich, Roman Victorovich Likhota, and Vladimir Alexandrovich Alekseenko. "Incident management in system of technical operation of microprocessor devices of railway automation and telemechanics." Transport of the Urals, no. 1 (2020): 43–47. http://dx.doi.org/10.20291/1815-9400-2020-1-43-47.
Full textKlein, Peter. "The safety-bag expert system in the electronic railway interlocking system elektra." Expert Systems with Applications 3, no. 4 (January 1991): 499–506. http://dx.doi.org/10.1016/0957-4174(91)90175-e.
Full textOkutani, Tamio, and Toshiyuki Shimazoe. "Development of Centralized Interlocking System for Railway Signalling and its Evaluation." IEEJ Transactions on Industry Applications 119, no. 11 (1999): 1307–14. http://dx.doi.org/10.1541/ieejias.119.1307.
Full textSu, H., and J. Wen. "Reliability and safety analysis on railway signal regional computer interlocking system." International Journal of Safety and Security Engineering 4, no. 4 (December 31, 2014): 315–28. http://dx.doi.org/10.2495/safe-v4-n4-315-328.
Full textKhan, Sher Afzal, Nazir Ahmad Zafar, Farooq Ahmad, and Saeed Islam. "Extending Petri net to reduce control strategies of railway interlocking system." Applied Mathematical Modelling 38, no. 2 (January 2014): 413–24. http://dx.doi.org/10.1016/j.apm.2013.06.002.
Full textWang, Xi, and Shuo Liu. "Modeling and Realization of CBTC Interlocking System Using SCADE." Advanced Materials Research 823 (October 2013): 445–50. http://dx.doi.org/10.4028/www.scientific.net/amr.823.445.
Full textHei, Xinhong, Sei Takahashi, and Hideo Nakamura. "Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets." IEEJ Transactions on Industry Applications 129, no. 5 (2009): 455–61. http://dx.doi.org/10.1541/ieejias.129.455.
Full textHartonas-Garmhausen, Vicky, Sergio Campos, Alessandro Cimatti, Edmund Clarke, and Fausto Giunchiglia. "Verification of a safety-critical railway interlocking system with real-time constraints." Science of Computer Programming 36, no. 1 (January 2000): 53–64. http://dx.doi.org/10.1016/s0167-6423(99)00016-7.
Full textHernando, Antonio, Eugenio Roanes-Lozano, Roberto Maestre-Martínez, and Jorge Tejedor. "A logic-algebraic approach to decision taking in a railway interlocking system." Annals of Mathematics and Artificial Intelligence 65, no. 4 (August 2012): 317–28. http://dx.doi.org/10.1007/s10472-012-9321-y.
Full textRoanes-Lozano, Eugenio, Antonio Hernando, Jose Antonio Alonso, and Luis M. Laita. "A logic approach to decision taking in a railway interlocking system using Maple." Mathematics and Computers in Simulation 82, no. 1 (September 2011): 15–28. http://dx.doi.org/10.1016/j.matcom.2010.05.024.
Full textAxelsson, P. "Methods and Tools for Application Oriented Language (AOL) for a Computerized Railway Interlocking System." IFAC Proceedings Volumes 24, no. 13 (October 1991): 149–52. http://dx.doi.org/10.1016/s1474-6670(17)51381-6.
Full textRoanes-Lozano, Eugenio, José Antonio Alonso, and Antonio Hernando. "An approach from answer set programming to decision making in a railway interlocking system." Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas 108, no. 2 (November 30, 2013): 973–87. http://dx.doi.org/10.1007/s13398-013-0155-1.
Full textJasiński, Sławomir, Mariusz Maciejewski, Paweł Wontorski, and Wawrzyniec Wychowanski. "rmRailProtector 4.0 – the innovative Rail-Mil components based family for the ERTMS/ETCS L1 functionality." Transportation Overview - Przeglad Komunikacyjny 2019, no. 9 (September 1, 2019): 39–48. http://dx.doi.org/10.35117/a_eng_19_09_05.
Full textWang, Xi, Cheng-tian OuYang, and Pei-pei Li. "A formal modeling method based on multiple composite scenarios analysis for railway station interlocking system." Journal of Physics: Conference Series 1168 (February 2019): 032020. http://dx.doi.org/10.1088/1742-6596/1168/3/032020.
Full textShen, Tuo, and Haifeng Song. "A New Movement Authority Based on Vehicle-Centric Communication." Wireless Communications and Mobile Computing 2018 (2018): 1–10. http://dx.doi.org/10.1155/2018/7451361.
Full textLunn, Jon. "The Political Economy of Primary Railway Construction in the Rhodesias, 1890–1911." Journal of African History 33, no. 2 (July 1992): 239–54. http://dx.doi.org/10.1017/s0021853700032229.
Full textKavička, Antonin, and Pavel Krýže. "Dynamic Automated Search of Shunting Routes within Mesoscopic Rail-Traffic Simulators." Journal of Advanced Transportation 2021 (April 5, 2021): 1–22. http://dx.doi.org/10.1155/2021/8840516.
Full textFakih, Maher, Kim Grüttner, Sören Schreiner, Razi Seyyedi, Mikel Azkarate-Askasua, Peio Onaindia, Tomaso Poggi, et al. "Experimental Evaluation of SAFEPOWER Architecture for Safe and Power-Efficient Mixed-Criticality Systems." Journal of Low Power Electronics and Applications 9, no. 1 (March 11, 2019): 12. http://dx.doi.org/10.3390/jlpea9010012.
Full textSong, Guodong, Xiaohui Yang, Jianfeng Gao, and Wenzhen Wu. "Research on Control Technology of Concentrated Coal Mine Rail Transport Intelligence." Electronics Science Technology and Application 3, no. 1 (August 24, 2016): 38. http://dx.doi.org/10.18686/esta.v3i1.7.
Full textLindegaard, Morten P., Peter Viuf, and Anne E. Haxthausen. "Modelling Railway Interlocking Systems." IFAC Proceedings Volumes 33, no. 9 (June 2000): 179–85. http://dx.doi.org/10.1016/s1474-6670(17)38143-0.
Full textBusard, Simon, Quentin Cappart, Christophe Limbrée, Charles Pecheur, and Pierre Schaus. "Verification of railway interlocking systems." Electronic Proceedings in Theoretical Computer Science 184 (June 10, 2015): 19–31. http://dx.doi.org/10.4204/eptcs.184.2.
Full textRoanes-Lozano, Eugenio, Eugenio Roanes-Macías, and Luis M. Laita. "Railway interlocking systems and Gröbner bases." Mathematics and Computers in Simulation 51, no. 5 (February 2000): 473–81. http://dx.doi.org/10.1016/s0378-4754(99)00137-8.
Full textBonacchi, A., A. Fantechi, S. Bacherini, and M. Tempestini. "Validation process for railway interlocking systems." Science of Computer Programming 128 (October 2016): 2–21. http://dx.doi.org/10.1016/j.scico.2016.04.004.
Full textCiszewski, Tomasz, Mieczysław Kornaszewski, and Waldemar Nowakowski. "RailML application for description of railway interlocking systems." AUTOBUSY – Technika, Eksploatacja, Systemy Transportowe 19, no. 12 (December 31, 2018): 373–77. http://dx.doi.org/10.24136/atest.2018.415.
Full textFayyaz, Muhammad Asad Bilal, and Christopher Johnson. "Object Detection at Level Crossing Using Deep Learning." Micromachines 11, no. 12 (November 29, 2020): 1055. http://dx.doi.org/10.3390/mi11121055.
Full textChandra, V., and M. R. Verma. "A fail-safe interlocking system for railways." IEEE Design & Test of Computers 8, no. 1 (March 1991): 58–66. http://dx.doi.org/10.1109/54.75664.
Full textGajdoš, Adam, and Zitrický Vladislav. "Impact of Signalling Device Failures in Context of the Railway Timetable." Transport technic and technology 17, no. 1 (June 1, 2021): 34–37. http://dx.doi.org/10.2478/ttt-2021-0006.
Full textMartinez, Sébastien, Dalay Israel de Almeida Pereira, Philippe Bon, Simon Collart Dutilleul, and Matthieu Perin. "Towards safe and secure computer based railway interlocking systems." International Journal of Transport Development and Integration 4, no. 3 (July 31, 2020): 218–29. http://dx.doi.org/10.2495/tdi-v4-n3-218-229.
Full textXiangxian, Chen, He Yulin, and Huang hai. "A component-based topology model for railway interlocking systems." Mathematics and Computers in Simulation 81, no. 9 (May 2011): 1892–900. http://dx.doi.org/10.1016/j.matcom.2011.02.007.
Full textRoanes-Lozano, Eugenio, and Luis M. Laita. "An applicable topology-independent model for railway interlocking systems." Mathematics and Computers in Simulation 45, no. 1-2 (January 1998): 175–83. http://dx.doi.org/10.1016/s0378-4754(97)00093-1.
Full textGjaldbæk, Torben, and Anne E. Haxthausen. "Modelling and Verification of Interlocking Systems for Railway Lines." IFAC Proceedings Volumes 36, no. 14 (August 2003): 233–38. http://dx.doi.org/10.1016/s1474-6670(17)32425-4.
Full textKanso, Karim, Faron Moller, and Anton Setzer. "Automated Verification of Signalling Principles in Railway Interlocking Systems." Electronic Notes in Theoretical Computer Science 250, no. 2 (September 2009): 19–31. http://dx.doi.org/10.1016/j.entcs.2009.08.015.
Full textJurczak, Mateusz, and Jakub Młyńczak. "Method for automation of generation of interlocking tables for station traffic control devices." WUT Journal of Transportation Engineering 131 (December 1, 2020): 45–58. http://dx.doi.org/10.5604/01.3001.0014.8100.
Full textGhignone, Ramiro Adrian, Cristian Federico Falco, Facundo Santiago Larosa, Hernan Pablo Mendes Gouveia, Leandro Alejandro Chang, Martin Nicolas Menendez, and Ariel Lutenberg. "Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems." IEEE Latin America Transactions 19, no. 01 (January 2021): 155–62. http://dx.doi.org/10.1109/tla.2021.9423859.
Full text