<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">ntt</journal-id><journal-title-group><journal-title xml:lang="ru">Наука и техника транспорта</journal-title><trans-title-group xml:lang="en"><trans-title>Science and Technology in Transport</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2074-9325</issn><publisher><publisher-name>РУТ (МИИТ)</publisher-name></publisher></journal-meta><article-meta><article-id custom-type="edn" pub-id-type="custom">FXHYPM</article-id><article-id custom-type="elpub" pub-id-type="custom">ntt-25</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>ТРАНСПОРТ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>TRANSPORT</subject></subj-group></article-categories><title-group><article-title>Автоматизированный синтез взаимозависимостей в станционных системах электрической централизации метрополитенов</article-title><trans-title-group xml:lang="en"><trans-title>Automated Synthesis of Interdependencies in Metro Station Systems of Electric Interlocking</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Мальцев</surname><given-names>C. C.</given-names></name><name name-style="western" xml:lang="en"><surname>Maltsev</surname><given-names>S. S.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Мальцев Сергей Сергеевич, заместитель генерального директора – руководитель Департамента проектирования метрополитенов</p></bio><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff xml:lang="ru" id="aff-1"><institution>ООО «СтройЖелДорПроект»</institution><country>Russian Federation</country></aff><pub-date pub-type="collection"><year>2023</year></pub-date><pub-date pub-type="epub"><day>24</day><month>10</month><year>2024</year></pub-date><volume>0</volume><issue>2</issue><fpage>42</fpage><lpage>47</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Мальцев C.C., 2024</copyright-statement><copyright-year>2024</copyright-year><copyright-holder xml:lang="ru">Мальцев C.C.</copyright-holder><copyright-holder xml:lang="en">Maltsev S.S.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://ntt.elpub.ru/jour/article/view/25">https://ntt.elpub.ru/jour/article/view/25</self-uri><abstract><p>Анализируется отечественный и зарубежный опыт автоматизированного синтеза взаимозависимостей в системах электрической централизации (ЭЦ) магистральных железных дорог и метрополитенов. Приведены особенности синтеза взаимозависимостей в станционных системах ЭЦ метрополитенов с обозначением актуальности решения задач автоматизации построения зависимостей в данных системах. Подчеркнута актуальность разработки методов и алгоритмов автоматизации синтеза релейно-контактных схем ЭЦ станций метрополитенов даже в условиях перехода на микропроцессорные системы ЭЦ.</p></abstract><trans-abstract xml:lang="en"><p>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.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>метрополитен</kwd><kwd>электрическая централизация</kwd><kwd>таблица взаимозависимостей</kwd><kwd>релейно-контактная схема</kwd><kwd>автоматизированный синтез</kwd><kwd>топологический принцип</kwd></kwd-group><kwd-group xml:lang="en"><kwd>metro</kwd><kwd>electric interlocking</kwd><kwd>table of interdependencies</kwd><kwd>relay-contact circuit</kwd><kwd>automated synthesis</kwd><kwd>topological principle</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Акционерное общество «Научно-исследовательский институт точной механики» (АО «НИИ ТМ») : [сайт]. - 2022. - URL: http://www.niitm.spb.ru/produkcia/sistema_dvizhenie/ (дата обращения: 07.12.2022). - Текст : электронный.</mixed-citation><mixed-citation xml:lang="en">Акционерное общество «Научно-исследовательский институт точной механики» (АО «НИИ ТМ») : [сайт]. - 2022. - URL: http://www.niitm.spb.ru/produkcia/sistema_dvizhenie/ (дата обращения: 07.12.2022). - Текст : электронный.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Gudok.ru : [сайт] / учредитель АО «Издательский дом «Гудок». - Москва, 2011. - Обновляется в течение суток. - URL: https://gudok.ru/newspaper/?ID=1559934&amp;archive=2021.04.13 (дата обращения: 07.12.2022). - Текст : электронный.</mixed-citation><mixed-citation xml:lang="en">Gudok.ru : [сайт] / учредитель АО «Издательский дом «Гудок». - Москва, 2011. - Обновляется в течение суток. - URL: https://gudok.ru/newspaper/?ID=1559934&amp;archive=2021.04.13 (дата обращения: 07.12.2022). - Текст : электронный.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Сигнал : [сайт]. - 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). - Текст : электронный.</mixed-citation><mixed-citation xml:lang="en">Сигнал : [сайт]. - 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). - Текст : электронный.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">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&amp;language=en (дата обращения: 07.12.2022).</mixed-citation><mixed-citation xml:lang="en">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&amp;language=en (дата обращения: 07.12.2022).</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Гордон, М. А. Методы и алгоритмы автоматизации синтеза взаимозависимостей положения стрелок и показаний светофоров в системах электрической централизации : специальность 05.22.08 «Управление процессами перевозок» : диссертация на соискание ученой степени кандидата технических наук / Гордон Михаил Аркадьевич ; Петербургский государственный университет путей сообщения. - Санкт-Петербург, 2021. - 175 с. - Библиогр.: с. 127-133. – Текст : непосредственный.</mixed-citation><mixed-citation xml:lang="en">Гордон, М. А. Методы и алгоритмы автоматизации синтеза взаимозависимостей положения стрелок и показаний светофоров в системах электрической централизации : специальность 05.22.08 «Управление процессами перевозок» : диссертация на соискание ученой степени кандидата технических наук / Гордон Михаил Аркадьевич ; Петербургский государственный университет путей сообщения. - Санкт-Петербург, 2021. - 175 с. - Библиогр.: с. 127-133. – Текст : непосредственный.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Разработка и внедрение средств автоматизированного проектирования систем железнодорожной автоматики и телемеханики / М. Н. Василенко, Д. В. Зуев, Д. В. Седых, М. А. Гордон. – Текст : электронный // Автоматика на транспорте. - 2017. - № 3 (2). - С. 250–269. - URL: http://atjournal.ru/ru/View/Article/1084 (дата обращения: 21.12.2022).</mixed-citation><mixed-citation xml:lang="en">Разработка и внедрение средств автоматизированного проектирования систем железнодорожной автоматики и телемеханики / М. Н. Василенко, Д. В. Зуев, Д. В. Седых, М. А. Гордон. – Текст : электронный // Автоматика на транспорте. - 2017. - № 3 (2). - С. 250–269. - URL: http://atjournal.ru/ru/View/Article/1084 (дата обращения: 21.12.2022).</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Веселков, С. М. Алгоритмизация синтеза схем железнодорожной автоматики / С. М. Веселков. – Текст : электронный // Известия Петербургского университета путей сообщения : Proceedings of Petersburg Transport University. - 2006. - № 4 (9). - С. 90-100. - URL: http://izvestiapgups.org/assets/pdf/04_2006.pdf (дата обращения: 26.12.2022).</mixed-citation><mixed-citation xml:lang="en">Веселков, С. М. Алгоритмизация синтеза схем железнодорожной автоматики / С. М. Веселков. – Текст : электронный // Известия Петербургского университета путей сообщения : Proceedings of Petersburg Transport University. - 2006. - № 4 (9). - С. 90-100. - URL: http://izvestiapgups.org/assets/pdf/04_2006.pdf (дата обращения: 26.12.2022).</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">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).</mixed-citation><mixed-citation xml:lang="en">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).</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">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&amp;isAllowed=y (дата обращения: 26.12.2022).</mixed-citation><mixed-citation xml:lang="en">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&amp;isAllowed=y (дата обращения: 26.12.2022).</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">CAD &amp; 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).</mixed-citation><mixed-citation xml:lang="en">CAD &amp; 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).</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
