Automated Synthesis of Interdependencies in Metro Station Systems of Electric Interlocking
EDN: FXHYPM
Abstract
The authors analyses the domestic and foreign experience of automated synthesis of interdependencies in electric interlocking systems of main railways and underground railways. The features of the synthesis of interdependencies in the underground station systems of electric interlocking with the indication of the relevance of the problem solving of dependency construction automating in these systems are presented. The paper accentuates the relevance of the development of methods and algorithms for automating the synthesis of relay-contact circuits of metro station electric interlocking, even in the conditions of transition to microprocessor electric interlocking systems.
References
1. Акционерное общество «Научно-исследовательский институт точной механики» (АО «НИИ ТМ») : [сайт]. - 2022. - URL: http://www.niitm.spb.ru/produkcia/sistema_dvizhenie/ (дата обращения: 07.12.2022). - Текст : электронный.
2. Gudok.ru : [сайт] / учредитель АО «Издательский дом «Гудок». - Москва, 2011. - Обновляется в течение суток. - URL: https://gudok.ru/newspaper/?ID=1559934&archive=2021.04.13 (дата обращения: 07.12.2022). - Текст : электронный.
3. Сигнал : [сайт]. - 2003. - URL: https://1520signal.ru/press/2023-god/divizion-zhat-gk-1520-vvyel-tsifrovoe-upravlenie-dvizheniem-poezdov-na-koltsevoy-linii-moskovskogo-m/?ysclid=ldojyids7u714097-140 (дата обращения: 16.01.2023). - Текст : электронный.
4. D. Tombs, N. Robinson and G. Nikandros, Signalling control table generation and verification, Proc. of the Conf. on Railway Engineering (CORE2000), Railway Technical Society of Australasia, November 2002. - URL: https://www.semanticscholar.org/paper/Signalling-Control-Table-Generation-and-Tombs-Robinson/3ce990a1fb62f99d22c18d2477a413787eca5721 (дата обращения: 07.12.2022).
5. U. Yildirim, M. S. Durmuş, M. Soylemez. Automatic Interlocking Table Generation for Railway Stations using Symbolic Algebra, 13th IFAC Symposium on Control in Transportation Systems, The International Federation of Automatic Control, September 12-14, 2012. Sofia, Bulgaria. - URL: https://doi.org/10.3182/20120912-3-BG-2031.00035 (дата обращения: 07.12.2022).
6. A. Mirabadi and M. B. Yazdi. Automatic Generation and Verification of Railway Interlocking Control Tables Using FSM and NUSMV, Transportation Problems, 2009, Volume 4, pp. 103-110. - URL: https://www.semanticscholar.org/paper/Automatic-generation-and-verification-of-railway-Mirabadi-Yazdi/5ded8486479d24baf6624fc16b8eb364eb48e0c6 (дата обращения: 07.12.2022).
7. Yan Cao, Tianhua Xu, Tao Tang, Haifeng Wang, Lin Zhao. Automatic generation and verification of interlocking tables based on Domain Specific Language for Computer Based Interlocking Systems (DSL-CBI), 2011 IEEE International Conference on Computer Science and Automation Engineering, 10-12 June 2011. Shanghai. – URL: https://ieeexplore.ieee.org/document/5952519 (дата обращения: 07.12.2022).
8. I. Mutlu, U. Yildirim, M. S. Durmuş, M. Soylemez. Automatic Interlocking Table Generation for Non-ideal Railway Yards, 1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, September 16-17, 2013. Istanbul, Turkey. - URL: https://doi.org/10.3182/20130916-2-TR-4042.00035 (дата обращения: 07.12.2022).
9. A. Kuzu, O. Songuler, A. Sonat, S. Turk, B. Birol, E. Dogruguven. Automatic interlocking table generation from railway topology, 2011 IEEE International Conference on Mechatronics, 13-15 April 2011. Istanbul, Turkey.- URL: https://ieeexplore.ieee.org/document/5971206 (дата обращения: 07.12.2022).
10. M. Jurczak, J. Młynczak. Method for automation of generation of interlocking tables for station traffic control devices, WUT Journal of Transportation Engineering, 2021, vol. 131, pp. 45-58. - URL: https://pnpwtransport.publisherspanel.com/resources/html/article/details?id=214669&language=en (дата обращения: 07.12.2022).
11. Гордон, М. А. Методы и алгоритмы автоматизации синтеза взаимозависимостей положения стрелок и показаний светофоров в системах электрической централизации : специальность 05.22.08 «Управление процессами перевозок» : диссертация на соискание ученой степени кандидата технических наук / Гордон Михаил Аркадьевич ; Петербургский государственный университет путей сообщения. - Санкт-Петербург, 2021. - 175 с. - Библиогр.: с. 127-133. – Текст : непосредственный.
12. Разработка и внедрение средств автоматизированного проектирования систем железнодорожной автоматики и телемеханики / М. Н. Василенко, Д. В. Зуев, Д. В. Седых, М. А. Гордон. – Текст : электронный // Автоматика на транспорте. - 2017. - № 3 (2). - С. 250–269. - URL: http://atjournal.ru/ru/View/Article/1084 (дата обращения: 21.12.2022).
13. Веселков, С. М. Алгоритмизация синтеза схем железнодорожной автоматики / С. М. Веселков. – Текст : электронный // Известия Петербургского университета путей сообщения : Proceedings of Petersburg Transport University. - 2006. - № 4 (9). - С. 90-100. - URL: http://izvestiapgups.org/assets/pdf/04_2006.pdf (дата обращения: 26.12.2022).
14. Luteberget Bjornar. Automated Reasoning for Planning Railway Infrastructure: doctoral dissertation / Oslo, 2019 - 208 p. - URL: https://www.mn.uio.no/ifi/english/research/projects/railcons/documents/luteberget-thesis-b5-2019-09-17.pdf (дата обращения: 26.12.2022).
15. Shahzad Ali Khan. Railway Interlocking Design Support Tools: master`s thesis / Oslo, 2016 - 77 p. - URL: https://www.duo.uio.no/bitstream/handle/10852/54578/Essay.pdf?sequence=7&isAllowed=y (дата обращения: 26.12.2022).
16. CAD & Drafting Manual for Signalling Drawings (ESD-25-01). Engineering and Systems Signalling Standard, version 1.3, applied to the Australian Rail Track Corporation Limited (ARTC). - URL: https://extranet.artc.com.au/docs/eng/signal/procedures/design/ESD-25-01.pdf (дата обращения: 26.12.2022).
Review
For citations:
Maltsev S.S. Automated Synthesis of Interdependencies in Metro Station Systems of Electric Interlocking. Science and Technology in Transport. 2023;(2):42-47. (In Russ.) EDN: FXHYPM
Views:
1
Email this article 