Методы и алгоритмы автоматизации синтеза взаимозависимостей положения стрелок и показаний светофоров в системах электрической централизации тема диссертации и автореферата по ВАК РФ 00.00.00, кандидат наук Гордон Михаил Аркадьевич

• Гордон Михаил Аркадьевич
• кандидат наук
• 2021

Оглавление диссертации кандидат наук Гордон Михаил Аркадьевич

Введение

1. Актуальность проблемы и постановка задач диссертации

1.1. Понятие об электронной технической документации систем электрической централизации

1.2. Классификация ошибок в электронной технической документации

1.3. Статистика проектных ошибок и их последствия. Обоснование актуальности создания интеллектуальной системы автоматизированной экспертизы

1.4. Анализ методов и средств экспертизы электронной технической документации систем электрической централизации

1.5. Выводы и постановка задач диссертации

2. Методика построения универсального электронного формата таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах

2.1. Задачи универсального электронного формата технической документации

2.2. Метод реализации универсального формата на языке XML

2.3. Методика построения электронного формата таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах

2.4. Выводы по главе

3. Синтез зависимостей систем электрической централизации на базе схематического плана станции с использованием универсального электронного формата таблицы зависимости

3.1. Требования к содержанию таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах

3.2. Цифровая модель топологии станции

3.3. Алгоритм синтеза таблиц маршрутов

3.4. Алгоритм поиска случаев дополнительного замыкания стрелок и негабаритных участков

3.5. Алгоритм синтеза таблицы взаимозависимости показаний светофоров

3.6. Алгоритм поиска случаев враждебностей

3.7. Результаты синтеза таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах

3.8. Выводы по главе

4. Синтез зависимостей систем электрической централизации для станций стыкования

4.1. Принципы работы схем электрической централизации на станциях стыкования

4.2. Принципы работы станций стыкования при безостановочном пропуске двухсистемных поездов

4.3. Алгоритм синтеза замыкания контактной сети

4.4. Алгоритм синтеза маршрутов для станций стыкования

4.5. Алгоритм синтеза дополнительного замыкания секций контактной сети

4.6. Результаты синтеза таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах

4.7. Выводы по главе

5. Синтез электронного журнала испытаний систем электрической централизации

5.1. Типовая методика испытаний как основа для проверки проектируемых систем электрической централизации

5.2. Алгоритмы автоматического построения таблиц электронного журнала испытаний на основе таблицы зависимости положений стрелок и показаний светофоров в маршрутах

5.3. Применение синтезированных таблиц электронного журнала испытаний

5.4. Результаты синтеза электронного журнала испытаний

5.5. Разработка структурной схемы цифровой модели функциональной проверки технической документации на системы электрической централизации

5.6. Выводы по главе

Заключение

Список сокращений и условных обозначений

Список литературы

ПРИЛОЖЕНИЕ А. Примеры ошибок в технической документации ЖАТ.... 134 ПРИЛОЖЕНИЕ Б. Описание структуры элемента «Маршруты»

универсального электронного формата таблицы зависимости положения стрелок и

сигнальных показаний светофоров в маршрутах

ПРИЛОЖЕНИЕ В. Описание структуры элемента «ЗамыканиеСтрелок» универсального электронного формата таблицы зависимости положения стрелок и

сигнальных показаний светофоров в маршрутах

ПРИЛОЖЕНИЕ Г. Описание структуры элемента

«ЗамыканиеКонтактнойСети» универсального электронного формата таблицы зависимости положения стрелок и сигнальных показаний светофоров в

маршрутах

ПРИЛОЖЕНИЕ Д. Описание структуры элемента «СписокВражебностей» универсального электронного формата таблицы зависимости положения стрелок и

сигнальных показаний светофоров в маршрутах

ПРИЛОЖЕНИЕ Е. Описание структуры элемента

«ОповестительнаяСигнализация» универсального электронного формата таблицы зависимости положения стрелок и сигнальных показаний светофоров в

маршрутах

ПРИЛОЖЕНИЕ Ж. Фрагмент схематического плана станции

ПРИЛОЖЕНИЕ И. Фрагмент синтезированной таблицы зависимости

положения стрелок и сигнальных показаний светофоров в маршрутах

ПРИЛОЖЕНИЕ К. Фрагмент схематического плана станции стыкования

ПРИЛОЖЕНИЕ Л. Фрагмент синтезированной таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах для станции стыкования

ПРИЛОЖЕНИЕ М. Пример синтеза электронного журнала испытаний

ВВЕДЕНИЕ

Актуальность проблемы. При современных темпах развития железнодорожной отрасли и модернизации устройств железнодорожной автоматики и телемеханики (ЖАТ) возникает вопрос о качестве выпускаемой проектно-сметной документации. Каждый год Управлением автоматики и телемеханики ОАО «РЖД» проводится анализ ошибок проектных организаций. Основными причинами ошибок проектировщиков являются невнимательность, напряженность труда, недостаточная квалификация исполнителя. Для повышения качества проектной технической документации и уменьшения числа ошибок необходимо применять различные системы автоматизации проектирования (САПР, CAD), средств автоматизации разработки программ (CASE) и выполнять автоматизацию проверки (электронная экспертиза) технической документации.

При проектировании станционных систем ЖАТ важное место занимают методы и алгоритмы синтеза таблиц зависимости положения стрелок и сигнальных показаний светофоров в маршрутах (ТВЗ). Данный документ описывает логику работы систем электрической централизации стрелок и сигналов. Ошибки в ТВЗ могут привести к неэффективной работе станции, а также к опасным ситуациям, приводящим к порче подвижного состава, верхнего строения пути и к травмам пассажиров, машинистов и работников, находящихся на путях. Ошибки в ТВЗ на станциях стыкования различного рода тока могут привести также и к порче электроподвижного состава.

Степень разработанности темы исследования. Вопросам создания систем автоматизации проектирования и экспертизы технической документации систем железнодорожной автоматики и телемеханики посвящено множество исследований. Значительный вклад по данным вопросам внесли отечественные ученые: Василенко М.Н., Булавский П.Е., Рубинштейн Н.И., Трясов М.С., Максименко О.А., Ершов А.Ф., Тележенко Т.А., Горбачев А.М., Зуев Д.В., Растегаев С.Н., Седых Д.В., Ковалев Р.А., Быков В.П. и зарубежные ученые:

Робинсон П., Винтер К., Робинсон Н., Лютербегет Б., Томбс Д., Фантечи А., Джеймс П., Ванит-Анучай С.

Однако до настоящего времени полностью не решены следующие вопросы:

■ Формализация электронного вида таблицы зависимости положения

стрелок и сигнальных показаний светофоров в маршрутах.

■ Автоматический синтез ТВЗ по цифровой модели схематического плана

станции.

■ Описания зависимостей на станциях стыкования различного рода

тягового тока и автоматический синтез ТВЗ на таких станциях.

■ Формализация методик испытаний на систему ЭЦ.

■ Автоматический синтез методики испытаний по схематическому плану

станции и ТВЗ.

■ Создание электронного журнала испытаний.

■ Функциональная проверка проекта на систему ЭЦ.

Объект исследования. Электронная техническая документация на системы железнодорожной автоматики и телемеханики.

Предмет исследования. Автоматизированное создание электронной модели таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах и электронного журнала испытаний.

Цель диссертационной работы. Совершенствование методов и алгоритмов автоматизации синтеза таблиц зависимости положения стрелок и сигнальных показаний в маршрутах, автоматизации синтеза электронного журнала испытаний и создания системы функциональной проверки проектов на системы электрической централизации.

Методология и методы исследований. В ходе исследований использованы математические методы теории графов, теории множеств, теории алгоритмов.

Основные положения, выносимые на защиту:

1. Цифровая модель таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах.

2. Алгоритмы автоматизированного синтеза таблицы маршрутов, таблицы негабаритности и охранности, таблицы взаимозависимостей показаний, таблицы враждебности по схематическому плану станций.

3. Алгоритмы автоматизированного синтеза таблицы маршрутов для станции стыкования, таблицы замыкания контактной сети, таблицы дополнительного синтеза секций контактной сети.

4. Метод формирования электронного журнала испытаний.

5. Модели шаблонов таблиц электронного журнала испытаний.

6. Алгоритмы создания автоматизированного синтеза таблиц электронного журнала испытаний по схематическому плану станции и таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах.

7. Структурная схема цифровой модели функциональной проверки проектов на системы электрической централизации.

Научная новизна диссертационного исследования заключается в следующем:

1. Предложена цифровая модель таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах, позволяющая хранить всю информацию о зависимостях электрической централизации станции.

2. Разработаны методы автоматизированного синтеза ТВЗ по цифровой модели схематического плана, позволяющий сократить процесс создания таблицы до нескольких минут.

3. Впервые описаны особенности в зависимостях электрической централизации на станции стыкования различного рода тягового тока и разработаны алгоритмы автоматизированного синтеза ТВЗ на такой станции.

4. Разработаны алгоритмы автоматизированного синтеза таблиц предварительных испытаний, индивидуальных испытаний «вхолостую», испытаний при комплексном опробовании, входящих в электронный журнал испытаний, используя шаблоны.

5. Спроектирована структурная схема цифровой модели функциональной проверки проектов на системы электрической централизации на базе универсального электронного формата технической документации.

Теоретическая значимость работы. Цифровые модели, а также методы создания таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах и таблиц испытаний, позволяющие ускорить процесс создания технической документации и ее экспертизы.

Практическая значимость работы. Разработанные в работе методы могут быть использованы при экспертизе технической документации на системы электрической централизации. Предложенный универсальный электронный формат таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах разработан для расширения отраслевого стандарта ОАО РЖД «Формат графических файлов технической документации железнодорожной автоматики и телемеханики в электронном виде. Технические требования». Разработанные алгоритмы автоматизированного синтеза таблиц зависимости реализованы в составе автоматизированных рабочих мест ведения технической документации АРМ-ВТД и проектирования технической документации АРМ-ПТД, а алгоритмы автоматизированного синтеза таблиц электронного журнала испытаний реализованы в составе информационно-аналитической системы обеспечения процессов хозяйства автоматики и телемеханики ИАС-Ш.

Достоверность основных положений диссертационной работы подтверждается аналитическими исследованиями и результатами применения программной реализации разработанных алгоритмов в системах АРМ-ВТД, АРМ-ПТД, ИАС-Ш.

Апробация результатов. Результаты диссертационной работы докладывались и обсуждались на следующих международных конференциях:

1. Международная научно-практическая конференция «Транспортные системы: тенденции развития», г. Москва, МИИТ, 2016 г.

2. 15th IEEE East-West Design & Test Symposium (EWDTS,2017), г. Нови-Сад, Сербия, 2017 г.

3. Международная научно-практическая конференция «Транспортные интеллектуальные системы - 2017», г. Санкт-Петербург, ПГУПС, 2017 г.

4. Международная научно-техническая конференция «Пром-Инжиниринг», г. Москва, МПУ, 2018 г.

5. 17th IEEE East-West Design & Test Symposium (EWDTS,2019), г. Батуми, Грузия, 2019 г.

6. 13-ая международная конференция «Новые информационные технологии в исследовании сложных структур», г. Томск, ТГУ, 2020 г.

Публикации по теме работы. По теме диссертации опубликованы 24 научные работы, в том числе 4 работы, индексированные в международных наукометрических базах, а также 10 публикаций в изданиях, включенных в Перечень ВАК РФ. Результаты исследования опубликованы в отчете о выполнении научно-исследовательской работы для ОАО «РЖД»: «Исследование методов автоматизации синтеза программ полной функциональной проверки систем ЖАТ».

Структура и объем диссертации. Работа содержит 175 страниц машинописного текста, включая 27 рисунков, 5 таблиц. Диссертация состоит из введения, пяти глав основного текста, заключения, списка используемых сокращений и одинадцати приложений. Библиографический список включает в себя 1 16 наименований. Во введении обоснована актуальность работы, сформулирована цель диссертации, определены научная новизна и теоретическая и практическая значимость полученных результатов, а также положения, выносимые на защиту. В первой главе приведена классификация и статистика ошибок в проектной технической документации. Доказана актуальность создания интеллектуальной системы автоматизированной экспертизы электронной технической документации АС-ЭТД. Проведен анализ существующих методов и средств экспертизы электронной технической документации. Сформулированы основные задачи диссертации. Во второй главе предложены задачи и требования к универсальному формату электронной технической документации (УЭФ ТД) на системы ЖАТ. Предложен метод реализации универсального формата на языке

XML. Впервые разработана методика построения и определена структура элементов электронного формата таблицы зависимости положения стрелок и сигнальных показаний в маршрутах. В третьей главе предложено для автоматизированного синтеза ТВЗ использовать ориентированный граф станции, построенный по схематическому плану в формате УЭФ ТД. Разработан алгоритм синтеза таблицы маршрутов по графу станции, используя метод «поиска в глубину». Разработан алгоритм синтеза перечня дополнительных замыканий стрелок и проверки негабаритных секций методом сравнения подграфов с заранее заданными шаблонами, параметры которых представлены в формате JSON. Разработан алгоритм автоматизированного синтеза таблицы взаимозависимости показаний на основе разработанной таблицы маршрутов и шаблонов показаний для различных типов светофоров. Разработан алгоритм автоматизированного синтеза таблицы враждебностей по таблице маршрутов. В четвертой главе дано описание особенностей в зависимостях электрической централизации на станции стыкования различного рода тока. На основе графа станции впервые разработаны алгоритмы автоматизированного синтеза таблицы маршрутов для станции стыкования, таблицы замыкания контактной сети, таблицы дополнительного синтеза секций контактной сети. В пятой главе вводится определение «электронный журнал испытаний». Разработаны алгоритмы синтеза таблиц электронного журнала испытаний по шаблонам, выполненным на основе типовых методик испытаний на системы ЭЦ. Предложена структурная схема цифровой модели функциональной проверки проектов на системы электрической централизации. В заключении приведены полученные в ходе выполнения диссертационных исследований результаты, а также определены перспективные дальнейшие разработки.

Введение диссертации (часть автореферата) на тему «Методы и алгоритмы автоматизации синтеза взаимозависимостей положения стрелок и показаний светофоров в системах электрической централизации»

1. АКТУАЛЬНОСТЬ ПРОБЛЕМЫ И ПОСТАНОВКА ЗАДАЧ

ДИССЕРТАЦИИ 1.1. Понятие об электронной технической документации систем электрической централизации.

Перед тем как дать понятие электронной технической документации системы ЭЦ, необходимо определить понятие технической документации (ТД) систем железнодорожной автоматики и телемеханики (ЖАТ), выделяя два ее типа:

- нормативно-справочная техническая документация, далее НСТД;

- объектная техническая документация, далее ОТД [1, 2].

При этом под НСТД понимаются различные виды ГОСТов, стандартов ОАО «РЖД», своды правил, Правила технической эксплуатации (ПТЭ), включая приложения (инструкцию по движению и маневровой работе, инструкцию по сигнализации и др.), различные инструкции ОАО «РЖД», типовые материалы по проектированию, методические указания, технические решения, типовые методики испытаний и т. п.

Считается, что НСТД не содержит ошибок и является эталоном для проектирования, производства и эксплуатации систем ЖАТ [1, 2].

Объектная техническая документация создается и эксплуатируется для конкретных объектов железнодорожного транспорта (станции, перегоны, переезды, участки и т.п.). Основными документами регламентирующим состав, комплектование, выполнение различных типов ОТД (проектной, рабочей, конструкторской, программной, исполнительной и т.п.) на строительство новых, реконструкцию, капитальный ремонт и техническое перевооружение объектов железнодорожной автоматики и телемеханики на сети ОАО «РЖД» являются [3, 4, 5, 6]. Виды технической документации приведены на рисунке 1.1.

Рисунок 1.1. Виды технической документации ЖАТ

Стандартом СТО РЖД 1.07.005-2009 определены термины для проектной документации и электронной версии проектной документации:

- проектная документация представляет собой документацию, содержащую материалы в текстовом или графическом (схемы, чертежи) виде, определяющие функционально-технологические, архитектурные, конструктивные и инженерно-технические решения для обеспечения строительства, реконструкции объектов капитального строительства, их частей, капитального ремонта, если при его проведении затрагиваются конструктивные и другие характеристики надежности и безопасности объектов капитального строительства.

- электронная версия проектной документации это документация, представленная на электронных носителях в файловом виде. Текстовый и графический материал оформляется отдельными файлами, формат которых установлен дополнительным распоряжением ОАО "РЖД".

Также в стандарте ГОСТ 2.051-2006 описываются требования к электронному документу. В нем говорится, что электронный документ разрабатывается на стадии проектирования изделия и применяют на всех стадиях жизненного цикла изделия. Его получают в результате автоматизированного проектирования или переводом документов, выполненных в бумажной форме, в электронную форму.

В инструкции по ведению технической документации приведен примерный перечень состава проектной технической документации для станционных систем СЦБ:

- схематический план железнодорожной станции (СПС);

- таблица зависимости положения стрелок и сигнальных показаний светофоров в маршрутах (ТВЗ);

- двухниточный план станции;

- схема пропуска тягового тока (для электрифицированных участков);

- принципиальные схемы устройств СЦБ станции, устройств автоматики на переездах (пешеходных переходах), а также схемы увязки устройств СЦБ с приборами безопасности: путевых устройств системы автоматического управления

торможением (САУТ), контроля габарита и схода подвижного состава (КГУ, УКСПС), ограждения и закрепления составов и другими устройствами (при их наличии);

- монтажные схемы устройств СЦБ станции;

- чертежи аппаратов управления и табло;

- схемы электроснабжения устройств СЦБ;

- поэтажный план размещения основного оборудования СЦБ постов ЭЦ;

- схемы кабельных сетей стрелок, светофоров, аппаратуры рельсовых цепей и других путевых устройств на станциях;

- схемы выключения стрелок с сохранением пользования сигналами;

- эксплуатационные документы на программные средства систем СЦБ.

В 1985 году в институте ГТСС были приняты нормативы трудозатрат при проектировании электрической централизации (таблица 1.1), которые показывают, что основные трудозатраты приходятся на проектирование монтажных и принципиальных схем [7, 8, 9].

Таблица 1.1. Укрупненные нормативы трудозатрат при проектировании электрической централизации (в расчете на 1 стрелку)

Наименование-работа Трудозатраты, ■ Удельный-

инж. -дниа вес,-%а

Эксплуатационные чертежи (СПС, ТВЗ)а 0,90а 13а

Напольные -устройства -а 0,62п 9а

Схемы- рельсовых- цепей,- электроообогрев- 0,14а 2а

стрелочных-приводов,-очистка-стрелокП

Спецификации-напольных-устройства 0,04а 1а

Принципиальные -электрические -схемыа 2,32а 33а

Внешние -виды -пульт-таблоа 0,26а 4а

Монтажные -схемы -стативовп 2,30а 33а

Монтажные -схемы -пульт-таблоа 0,33а 5а

Эти нормативы не учитывают применение современных компьютерных технологий и проектирование микропроцессорных систем электрической централизации. Автор по своему опыту проектирования пришел к выводу, что для изменения трудозатрат можно уменьшить количество инж. дней на 30% при применении компьютерной техники и электронных бланков. Также автор считает,

что при проектировании микропроцессорной системы централизации надо учитывать, что некоторые работы исключаются, но появляется работа «Технологическое программное обеспечение», а из релейно-контактных схем остается порядка 20%. В результате опыта проектирования станционных микропроцессорных систем и по данным производителей микропроцессорных устройств разработаны нормативы трудозатрат на разработку рабочих чертежей микропроцессорной централизации (таблица 1.2). В предложенных нормативах видно, что более трети всех трудозатрат приходится на проектирование принципиальных схем и технологического программного обеспечения. Таблица 1.2. Укрупненные нормативы трудозатрат при проектировании

микропроцессорной централизации (в расчете на 1 стрелку)

Наименование работ Трудозатраты, Удельный

инж. дни вес, %

Эксплуатационные чертежи (СПС, ТВЗ) 0,63 14,5

Напольные устройства 0,44 10

Схемы рельсовых цепей, электроообогрев 0,10 2,5

стрелочных приводов, очистка стрелок

Спецификации напольных устройств 0,03 0,7

Принципиальные электрические схемы 0,34 7,9

Монтажные схемы релейных стативов, шкафов 1,61 37

Технологическое программное обеспечение УВК 0,23 5,3

Технологическое программное обеспечение АРМ-ДСП 0,23 5,3

Технологическое программное обеспечение АРМ-ШН 0,23 5,3

Проверка на имитаторе программного обеспечения 0,5 11,5

Считая, что параметр ошибок при проектировании является константой, приходим к выводу, что количество ошибок, допущенных проектировщиками принципиальных схем и технологического программного обеспечения, пропорционально суммарным трудозатратам и составляет более 35% от всех ошибок проектирования.

1.2. Классификация ошибок в электронной технической документации.

Перед тем, как дать определение ошибки, будем разделять техническую документацию ЖАТ на проектную (до ввода в эксплуатацию) и исполненную (после ввода в эксплуатацию СЖАТ и соответствующую действующим устройствам). Внесение изменения в исполненную документацию возможно только в случаях, определенных инструкцией по ведению технической документации железнодорожной автоматики и телемеханики, утвержденной распоряжением ОАО «РЖД» от 18.08.2015 г. №2080р.

Определение 1. Ошибка в технической документации - любое несоответствие проектной документации требованиям, определенным техническим заданием и нормативными документами [1]. Любое отклонение от нормативных документов (ГОСТов, свод правил, инструкций, типовых материалов по проектированию, технический решений, указаний и т. д.) приводит к невыполнению функциональных требований к системе, описываемой технической документацией. Под маскировкой ошибки будем понимать необнаружение ее при проверке (возможность ее сокрытия).

Ошибки можно разделять по следующим категориям:

- по причине возникновения,

- по кратности,

- по виду технической документации,

- по этапу возникновения,

- по влиянию на устройства,

- по экономическим последствиям [10-12].

На рисунке 1.2. приведена классификация ошибок в технической документации.

По кратности (числу) ошибок: - одиночные - кратные

По влиянию на действующие устройства ЖАТ: - приводящие к опасному отказу

По виду технической документ

По причине возникновения: - случайные - умышленные

- в схематическом плане

- в таблице зависимости

- в двухниточном плане - в схемах кабельной сети

По экономическим последствиям: - приводящие к дополнительным материальным затратам

- приводящие к увеличению сроков

выполнения работ

- приводящие к снижению производительности труда

- приводящие к задержкам

движения поездов

- приводящие к аварии и крушению

изменений при эксплуатации

По этапу возникновения: - ошибки проектирования - ошибки строительства

- ошибки при внесении

- ошибки конвертации

- ошибки при переносе с бумажных носителей

- ошибки при ПНР

- в принципиальных электрических схемах

- в монтажных схемах

- в спецификациях оборудования

в картах техобслуживания - в прочей документации

Рисунок 1.2. Классификация ошибок в ТД ЖАТ

По причине возникновения в проектной технической документации бывают только случайные ошибки - ошибки в электронном документе, возникшие в случае какого-либо технического сбоя без влияния человека или совершенные человеком по незнанию нормативной документации, приводящие к изменению логики системы или нестабильной ее работе.

Маскировки случайных ошибок в технической документации можно классифицировать по следующим критериям [12]:

- по выбору технологического момента времени (ошибки, допущенные после сохранения и утверждения проекта, после внешнего контроля, ошибки, допущенные по результатам необходимых изменений при производстве, ошибки, допущенные в результате внесения плановых изменений в ТД);

- по выбору типа технической документации (ошибки в текстовых документах, ошибки в эксплуатационных чертежах, ошибки в принципиальных схемах, ошибки в монтажных схемах, ошибки в программном обеспечении);

- по кратности ошибки (одиночные, кратные);

- по времени существования (статические, временная);

- по обнаружимости (обнаружимая в процессе стандартных проверок во время пуско-наладочных работ (ПНР), необнаружимая).

Ошибки по выбору технологического момента времени можно разделить на:

- ошибки, допущенные в процессе проектирования;

- ошибки, допущенные после сохранения и утверждения проекта институтом-проектировщиком в момент передачи технической документации на внешний контроль, экспертизу, согласования, утверждения;

- ошибки, допущенные после внешней экспертизы, согласования и утверждения в момент передачи на завод-изготовитель и в производство;

- ошибки, допущенные в процессе пуско-наладочных работ;

- ошибки, допущенные в результате плановых изменений ТД эксплуатирующей организацией.

Ошибки по выбору типа технической документации можно разделить на:

1) Ошибки в текстовых документах.

Например, если в таблице зависимости положения стрелок и сигнальных показаний светофоров в маршрутах (ТВЗ) появляются ошибки, то при реализации ее могут произойти аварии или крушения, так как в ТВЗ прописывается все логика функционирования станции при микропроцессорных системах ЭЦ.

Ошибки в таблице зависимости особенно опасны на этапе проектирования. Таблица является исходным данным для составления программного обеспечения. Если произойдет изменение в таблице после ее согласования и утверждения и передачи задания на формирования программного обеспечения, то это не повлияет на функциональность системы, и данная ошибка будет обнаружена при проверке программного обеспечения и соответствия его таблице зависимости.

Ошибки в спецификациях могут повлечь к дополнительным материальным затратам и к отказам, если будет изменен тип заказываемого оборудования.

2) Ошибки в эксплуатационных чертежах.

Также как и ТВЗ схематический план является основой для составления программного обеспечения МПЦ и выполнения релейно-контактных схем в системе ЭЦ. Ошибки в схемплане особенно опасны на этапе проектирования. Если

произойдет ошибка в схематическом плане, то это повлияет на технологию работы станции.

Ошибки в двухниточном плане могут привести к авариям, задержкам поездов, к снижению производительности труда. Например, если появится ошибка, изменяющая тип дроссель-трансформатора, это может привести к отказу (выходу из строя) данного дроссель-трансформатора.

Ошибки в чертежах кабельных сетей могут привести к задержкам поездов, к снижению производительности труда, к дополнительным материальным затратам. Например, если появится ошибка, изменяющая тип кабеля, это может привести к влияниям в цепях СЦБ, таким как ложное срабатывание рельсовых цепей.

3) Ошибки в принципиальных и монтажных схемах.

В связи с тем, что вся логика систем ЖАТ приведена в принципиальных схемах, то и ошибки в принципиальных схемах могут приводить к различным последствиям и поэтому они являются наиболее опасными.

Ошибки в принципиальных схемах можно разделить на 3 вида:

- Ошибки, обнаруживаемые системой и приводящие ее в защитное состояние;

- Ошибки, не обнаруживаемые системой, но выявляемые в процессе ПНР;

- Ошибки, не обнаруживаемые системой и не выявляемые в процессе ПНР.

Ошибки в монтажных схемах являются так же, как и в принципиальных

схемах, опасными, в связи с тем, что монтажная документация является отображением принципиальной схемы в виде электрических соединений на конструктивах.

4) Ошибки в программном обеспечении.

Ошибки в программном обеспечении могут происходить только на этапе проектирования разработчиком МПЦ. После записи ПО на компакт-диск оно изменяться не сможет. Изменить ПО может только разработчик своими силами, и установить новое ПО на действующей станции только после проверки всех функциональных зависимостей на имитаторе.

Ошибки по кратности можно разделить на одиночные и кратные.

Под одиночной ошибкой будем понимать одно изменение в одной единице технической документации, приводящее к изменению логики системы (исключение какой-либо одной проверки в каком-либо алгоритме системы, добавление одной лишней проверки в каком-либо алгоритме системы, исключение одного защитного устройства и т. д.).

Под кратной ошибкой будем понимать совокупность нескольких одиночных ошибок, позволившая скрыть одиночные ошибки.

Ошибки по состоянию можно разделить на статические и временные.

Под временными ошибками будем понимать такие ошибки, которые проявляются в технической документации только в какой-нибудь промежуток времени, например, во время монтажа на производстве или на объекте строительства, а потом автоматически исчезают, либо наоборот, ошибка появляется после пуско-наладочных работ и ввода в эксплуатацию объекта в какой-нибудь определенный момент времени.

Под статическими ошибками будем понимать те ошибки, которые по истечению времени автоматически не исчезают.

Временным ошибкам более всего подвержена техническая документация на программное обеспечение микропроцессорных систем.

Ошибки по обнаружимости можно разделить на обнаруживаемые в процессе стандартных проверок во время пуско-наладочных работ (ПНР) и необнаруживаемые.

Под обнаруживаемой ошибкой будем понимать такую ошибку в технической документации, которая проявляется при процессе стандартных проверок во время ПНР.

Под необнаруживаемой ошибкой будем понимать ошибку, которая не проявляется в процессе ПНР.

В Приложении А представлены примеры ошибок в технической документации.

1.3. Статистика проектных ошибок и их последствия. Обоснование актуальности создания интеллектуальной системы автоматизированной

экспертизы

Экспертиза проектов в настоящее время выявляет значительное количество ошибок, устранение которых на этапе СМР и ПНР ведет к большим экономическим затратам. Некоторые ошибки пр этом могут приводить к аварийным и пожароопасным ситуациям, а также к задержкам в движении поездов.

В качестве примера проектной ошибки, в результате которого произошел сход поездной единицы можно привести случай, который произошел 10.01.2013 г. на посту 79 км перегона Бардино - Ерунаково Западно-Сибирской ж.д., когда был в результате перевода стрелки допущен сход вагонов в грузовом поезде. Причиной послужила потеря шунтовой чувствительности стрелочной секции из-за образования на головке рельсов диэлектрического слоя из песка и наледи, а также невыполнение требовании" в проекте по увеличению выдержки времени на автоматический возврат стрелок в охранное положение при освобождении рельсовой цепи с 15,2 до 180 секунд [13].

Наличие проектной ошибки, которая привела к пожару, была выявлена на посту ЭЦ станции Карымская Забайкальской ж.д. 15.03.2013 г. Превышение допустимого тока нагрузки привело к термическому разрушению изоляции и монтажа трансформатора панели питания [13].

В качестве примера проектной ошибки, при которой была нарушена технология работы станции, можно привести случай, который произошел на станции Махачкала Северо-Кавказской ж.д. в 2017 г. Было выявлено ложное появление на светофоре НМ2Л более разрешающего показания. Несоответствие показания светофора НМ2Л в таблице взаимозависимостей сигнальных показании" (при задании маршрута от светофора НМ2Л на путь 1КП и открытом светофоре НМПК на светофоре НМ2Л указан зеленый огонь вместо двух желтых, из них

верхний мигающий) было по причине не своевременного внесения изменении" в действующие устройства [16].

В качестве примеров проектных ошибок, при которых были задержаны поезда или были передержки "окон", можно привести следующие случаи:

1. На станции Подсолнечная Октябрьской ж.д. 27.05.2012 г. по 1 пути произошли сбои АЛС с кода «З» на код «Б», в результате чего был задержан 1 пригородный поезд. Причиной послужила проектная ошибка в монтажной схеме

[14].

2. На станции Чумбулут Свердловской ж.д. 16.01.14 г. произошла ложная занятость рельсовых цепей. Причиной послужил выход из строя автомата номиналом 8А из-за несимметричной нагрузки трансформатора питания рельсовых цепей питающей панели, вследствие проектной ошибки. Вследствие чего было задержано 8 пассажирских поездов [15].

Для уменьшения трудностей во время строительства и ПНР объектов ЖАТ необходимо проводить комплексную экспертизу проекта. Проведением такой экспертизы занимается Отделение автоматики и телемеханики проектно-конструкторского бюро по инфраструктуре (ПКБ И) [17].

Управление автоматики и телемеханики Центральной дирекции инфраструктуры ОАО «РЖД» ежегодно проводит сетевые совещания в целях повышения качества проектной продукции ЖАТ. Основными вопросами на данных совещаниях являются качество проектно-сметной документации и экспертизы проектов [18].

В целях повышения качества выполнения проектов, уменьшения сроков прохождения экспертизы, снижения сроков и объемов пусконаладочных работ на сетевых совещаниях предлагается [19, 20, 21]:

1. Продолжить работы головных проектных организаций по совершенствованию действующих типовых материалов по проектированию, с целью устранения выявляемых недостатков, разработки дополнений для частных, но достаточно часто встречающихся вариантов комбинаций путевого развития и

маршрутизации станций, увязки действующих устройств электрической централизации с различными устройствами.

2. Повысить качество проектов в части проработки рабочей документации для станций и перегонов с большим путевым развитием, высокой концентрации устройств железнодорожной автоматики, при применении новых типовых проектных решений, на которые приходится значительное количество замечаний.

3. Продолжить и расширить совместную работу отделения автоматики и телемеханики ПКБ И и проектных организаций в части проведения технико-технологической экспертизы прежде всего проектов комплексной реконструкции и проектов типовых материалов по проектированию.

4. Сформировать систему взаимодействия, при которой по результатам экспертизы Заказчики должны выставлять обоснованные претензии проектным организациям.

За 2016 год специалисты ПКБ И провели экспертизу 70 проектов СЖАТ, по которым выявлено более 1565 замечаний [19], за 2017 год провели экспертизу 80 проектов, по которым выявлено 872 замечания [20], за 2018 год провели экспертизу 78 проектов, по которым выявлено 1254 замечания [21]. Кроме ПКБ И экспертизой проектов занимаются также и дорожные лаборатории. В своих докладах дорожные лаборатории также подтверждают большое количество ошибок у проектных институтов в разрабатываемой ими технической документации [22]. Распределение среднего количества замечаний на 1 проект по проектным организациям в 2017 году показано на рисунке 1.3. Распределение среднего количества замечаний на 1 проект по проектным организациям в 2018 году показано на рисунке 1.4.

Рисунок 1.3. Среднее количество замечаний на 1 проект в 2017 году

Рисунок 1.4. Среднее количество замечаний на 1 проект в 2018 году

По результатам данных ПКБ И характерными замечаниями при проведении экспертизы являются [19, 20, 21]:

- несоответствие требованиям действующей нормативной документации (ПТЭ, Свода правил СП 235.1326000.2015, РУ-55-2012) и техническому заданию на проектирование, наличию особых технических условий;

- ошибки при составлении таблицы условий работы пешеходного перехода, расположенного на станции и значений основных параметров работы: неправильное применение методики расчета длин участков извещения, времени задержки на включение сигнализации, открытие станционных светофоров, отсутствие части возможных маршрутов и т.п.;

- ошибки при определении основных параметров работы пешеходных переходов, расположенных на перегонах;

- не правильный выбор типового проектного решения для индивидуальных особенностей путевого развития и маршрутизации на станции.

Так, например, по проекту «Техническое перевооружение устройств ЭЦ для организации безостановочного пропуска поездов по станции Сухиничи-Главные Московской ж.д.» было выявлено 282 замечания, а по проекту «Электрическая централизация станции Фрязино, станции Ивантеевка Московской железной дороги. Техническое перевооружение» - 206 замечаний.

Наиболее серьезными из отмеченных замечаний являются:

1. Ошибки в разработке таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах. Наибольшее число замечаний выявляется при составлении таблиц:

- маршрутов и дополнительных взаимозависимостей стрелок;

- взаимозависимостей показаний светофоров при применении РУ-55-2012;

- таблиц условий работы переездов и пешеходных переходов, расположенных на станциях;

2. Функциональные недостатки применяемых схемотехнических решений. Наибольшее количество замечаний отмечается при выполнении следующих схемных решений:

- схемы управления и замыкания стрелок - при применении схемных решений дополнительных взаимозависимостей для стрелок и защитных устройств;

- схемы устройств кодирования в части реализации необходимых алгоритмов работы;

- схемы управления светофорами в части реализации алгоритмов работы при наличии выдержки времени на открытие светофоров, переключении на резервную нить лампы или переключении на более запрещающее показание при (неисправности) обеих нитей;

- реализации дополнительных зависимостей для станций стыкования электротяги постоянного и переменного тока.

- разработке и применении нетиповых схемотехнических решений, необходимость в которых возникает, как правило, на станциях с большим путевым развитием и различными комбинациями примыканий стрелок к приемоотправочным путям, перегонам, увязками устройств ЖАТ с прочими обустройствами инфраструктуры, дополнительными требованиями обеспечения максимальной пропускной способности или особыми техническими условиями, выдвинутыми со стороны заказчика.

3. Реализации мероприятий по защите устройств от перенапряжений в части применения действующих руководящих указаний.

Основными причинами ошибок проектировщиков являются невнимательность, напряженность труда, недостаточная квалификация исполнителя.

Для повышения качества ОТД и уменьшения числа ошибок проводятся следующие научные исследования:

1. Унификация технических решений. Данный подход не решает проблему в связи с различной топологией и с различными местными условиями для каждой станции [23-30];

2. Интеллектуализация проектирования - применение различных систем автоматизации проектирования (САПР, CAD), средств автоматизации разработки

программ (CASE). С связи со стремительным развитием современных систем и устройств ЖАТ данный метод полностью не может быть решен [31-49].

3. Автоматизация проверки (электронная экспертиза) технической документации [1, 2, 10-12, 50-67].

1.4. Анализ методов и средств экспертизы электронной технической документации систем электрической централизации

За рубежом используют системы автоматизированного проектирования для устройств железнодорожной сигнализации и централизации. Например, для ведущего австралийского железнодорожного оператора ARTC (Australian Rail Track Corporation Ltd) проекты устройств СЦБ выполняются в системе VicTrack Drawing Management System на базе среды AutoCAD.

Список литературы диссертационного исследования кандидат наук Гордон Михаил Аркадьевич, 2021 год

СПИСОК ЛИТЕРАТУРЫ

1. Тележенко Т.А. Методы и алгоритмы сокращения ошибок проектов железнодорожной автоматики и телемеханики: Диссертация на соискание ученой степени кандидата технических наук / Петербургский государственный университет путей сообщения. Санкт-Петербург, 2009, 173 с. : ил.

2. Василенко М.Н. Ошибки в технической документации железнодорожной автоматики и телемеханики и их влияние на безопасность движения поездов / Василенко М.Н., Бубнов В.П., Булавский П.Е., Василенко П.А. // Автоматика на транспорте. 2019. Т. 5. № 1. С. 94112.

3. СТО РЖД 1.07.005-2009 «Порядок обращения проектной документации на строительство объектов, финансируемое ОАО "РЖД"»;

4. ГОСТ Р 21.1101-2013 «Система проектной документации для строительства. Основные требования к проектной и рабочей документации»;

5. ГОСТ Р 21.1003-2009 «Система проектной документации для строительства. Учет и хранение проектной документации»;

6. Инструкция по ведению технической документации железнодорожной автоматики и телемеханики, утвержденной распоряжением ОАО «РЖД» от 18.08.2015 г. №2080р.

7. Нормативы трудозатрат на разработку проектной документации электрической централизации. Гипротранссигналсвязь, 1985. - 23 с

8. Укрупненные нормативы трудозатрат на разработку проектной документации. Гипротранссигналсвязь, 1984. - 25 с

9. Единые расценки нормы времени и расценки. Часть 21. Железные дороги, мосты, тоннели, автомобильные дороги, городской транспорт. М.: Изд-во литературы по строительству, 1973. - с.61-68

10. Василенко М. Н. Кибербезопасность технической документации железнодорожной автоматики и телемеханики / М. Н. Василенко, Д. В. Зуев // Транспорт Российской Федерации. - 2015. - № 2. - С. 55-58.

11. Василенко М. Н. Кибербезопасность технической документации ЖАТ / М. Н. Василенко, Д. В. Зуев // Автоматика, связь, информатика. - 2015. - № 7. - С. 21-23.

12. М. А. Гордон, М. Н. Василенко, Д. В. Седых, Д. В. Зуев Маскировка ошибок в электронной технической документации и методы их обнаружения // Известия Петербургского университета путей сообщения. 2016. Т. 13. № 4 (49). С. 579-591.

13. Анализ состояния безопасности движения поездов, надёжности работы систем и устройств ЖАТ в хозяйстве автоматики и телемеханики в 2013 году. Проектно-конструкторское бюро по инфраструктуре - филиал ОАО "РЖД", 174 с.

14. Анализ состояния безопасности движения поездов, надёжности работы систем и устройств ЖАТ в хозяйстве автоматики и телемеханики в 2012 году. Проектно-конструкторское бюро по инфраструктуре - филиал ОАО "РЖД", 156 с.

15. Анализ состояния безопасности движения поездов, надёжности работы систем и устройств ЖАТ в хозяйстве автоматики и телемеханики в 2014 году. Проектно-конструкторское бюро по инфраструктуре - филиал ОАО "РЖД", 116 с.

16. Анализ эксплуатационной деятельности хозяйства автоматики и телемеханики Центральной дирекции инфраструктуры за декабрь и 12 месяцев 2017 года. Проектно-конструкторское бюро по инфраструктуре - филиал ОАО "РЖД". 50 с.

17. Положение о проведении технической экспертизы разделов СЦБ, утверждаемой к производству рабочей документации, утвержденное 29.12.2010 г. Заместителем начальника Департамента автоматики и телемеханики ОАО «РЖД» В.Н. Новиковым Москва 2010, 32 с.

18. Справочно-аналитический материал по эксплуатационной деятельности хозяйства автоматики и телемеханики Центральной дирекции инфраструктуры по итогам работы за 12

месяцев 2016 года (к совещанию начальников служб автоматики и телемеханики, г. Владивосток, 08-09 февраля 2017 года). 57 с.

19. Отчет по экспертизе рабочей документации проектов по объектам ЖАТ по результатам проводимой ПКБ И за 2016 год. Проектно-конструкторское бюро по инфраструктуре -филиал ОАО "РЖД", 5 с.

20. Анализ качества рабочей документации проектов по объектам ЖАТ по результатам проводимой ПКБ И в 2017 году. Проектно-конструкторское бюро по инфраструктуре -филиал ОАО "РЖД", 11 с.

21. Анализ качества рабочей документации проектов по объектам ЖАТ по результатам проводимой ПКБ И в 2018 году. Проектно-конструкторское бюро по инфраструктуре -филиал ОАО "РЖД", 7 с.

22. Р.В. Ермошин Сопровождение работ в ходе модернизации и ввода объектов в рамках Восточного полигона. ТрансЖАТ-2016. Восьмая международная научно-практическая конференция, 57 октября 2016 г., Ростов-на-Дону : сб. докладов. - [Ростов н/Д, 2016].

23. Железнодорожные станции и узлы: Учеб. для вузов ж.-д. трансп. /В.М. Акулиничев, Н.В. Правдин, В.Я. Болотный, И.Е. Савченко; Под редакцией В.М. Акулиничева - М.: Транспорт, 1992. - 480 с.

24. Железнодорожные станции и узлы: Учеб. пособие для вузов ж.-д. трансп. /Ю.И. Ефименко, С.И. Логинов, В.Е. Павлов, В.С. Суходоев, М.М. Уздин - СПб: ПГУПС, 1996. - 202 с.

25. Белязо И.А. и др. Маршрутно-релейная централизация. /И.А. Белязо, В.Р. Дмитриев, Е.В. Никитина, И.С. Ошурков, А.Н. Пестриков - М.: Транспорт, 1974. - 320 с.

26. Станционные системы автоматики и телемеханики: Учеб. для вузов ж.-д. трансп. /Вл.В. Сапожников, Б.Н. Елкин, И.М. Кокурин, Л.Ф. Кондратенко, В.А. Кононов; Под редакцией Вл.В. Сапожникова.- М.: Транспорт,1997.- 432 с.

27. Петров А.Ф. и др. Схемы электрической централизации промежуточных станций /А.Ф. Петров, Л.П. Цейко, И.М. Ивенский - М.: Транспорт, 1987.- 287 с.

28. Системы железнодорожной автоматики и телемеханики: Учеб. для вузов / Ю. А. Кравцов, В. Л. Нестеров, Г.Ф. Лекута и др.; под ред. Ю. А. Кравцова. - М.: Транспорт, 1996. - 400 с

29. Казаков А.А. и др. Станционные устройства автоматики и телемеханики. Учебник для техникумов ж.-д. трансп. /А.А. Казаков, В.Д. Бубнов, Е.А. Казаков. - М.: Транспорт, 1990. -431 с.

30. Ошурков И.С., Баркаган Р.Р. Проектирование электрической централизации. - М.: Транспорт, 1980. - 296 с.

31. Сапожников В.В., Василенко М.Н. и др. Принципы построения комплексной системы автоматизации проектирования железнодорожной автоматики и телемеханики. -Автоматика, телемеханика и связь, 1990, № 10, с. 8-11.

32. Основы автоматизированного проектирования: Учеб для вузов. 2-е изд., перераб. и доп. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2002 - 336с.

33. Трясов М.С, Денисов Б.П. Автоматизация проектирования кабельных сетей станций // VIII Санкт-Петербургская Международная Конференция «Региональная информатика-2002» («РИ-2002»). Санкт-Петербург, 26-28 ноября 2002 г.: Материалы конференции. - СПб., 2003, с.304-306.

34. Денисов Б.П., Рубинштейн Н.И., Трясов М.С. Автоматизация проектирования напольного технологического оборудования железнодорожной автоматики, Автоматика, связь, информатика, 2003, № 2, с.6-8.

35. Michael S. Tryasov. Automation of designing trackside technological equipment of railway automatics at the stations (Автоматизация проектирования напольного технологического оборудования железнодорожной автоматики на станциях). Prace Naukove, Transport 1(15) 2002, Radom, Politechnika Radomska, 2002, рр.535-538.

36. Трясов М.С, Денисов Б.П. Автоматизация проектирования кабельных сетей станций. VIII Санкт-Петербургская Международная Конференция «Региональная информатика-2002» («РИ-2002»), Тезисы докладов в 2 частях. Часть 2, Санкт-Петербург, 2002 г, с.38-39.

37. Трясов М. С. Методы и алгоритмы синтеза напольного технологического оборудования железнодорожной автоматики на станциях : диссертация ... кандидата технических наук : 05.22.08. - Санкт-Петербург, 2003. - 154 с. : ил.

38. Горбачев А. М. Методы и алгоритмы синтеза и оптимизации кабельных сетей железнодорожной автоматики и телемеханики на станциях : диссертация . .. кандидата технических наук : 05.22.08 [Место защиты: Петерб. гос. ун-т путей сообщ.]. - Санкт-Петербург, 2010. - 132 с. : ил.

39. Растегаев С.Н. Автоматизация синтеза и анализа параметров тональных рельсовых цепей на перегонах: диссертация на соискание ученой степени кандидата технических наук / Петербургский государственный университет путей сообщения. Санкт-Петербург, 2011 - 168 с. : ил.

40. Василенко М.Н., Тележенко Т.А., Валиев С.И. Автоматизация расчетов параметров перегонной переездной сигнализации / Известия Петербургского университета путей сообщения. 2010. № 3 (24). С. 54-62.

41. Гордон М.А., Ковалев Р.А., Седых Д.В. Технология автоматизированного синтеза таблицы зависимости положения стрелок и показаний светофоров // Транспортные интеллектуальные системы: сборник материалов I международной научно-практической конференции «Транспортные интеллектуальные системы - 2017» (ТБ-2017), Санкт-Петербург, 16-17 февраля 2017 г.; под. ред. Вал.В. Сапожникова, Д.В. Ефанова. - СПб: ФГБОУ ВО ПГУПС, 2017, с. 261-268.

42. Василенко М.Н., Гордон М.А., Ковалев Р.А., Седых Д.В. Автоматизация составления таблиц маршрутов // Автоматика, связь, информатика. 2017. № 5. С. 16-20.

43. Василенко М.Н., Гордон М.А., Ковалев Р.А., Седых Д.В. Автоматизация составления дополнительных таблиц зависимости // Автоматика, связь, информатика. 2017. № 8. С. 5-9.

44. Василенко М.Н., Гордон М.А., Ковалев Р.А., Седых Д.В. Автоматический синтез таблиц дополнительного замыкания стрелок, контактной сети и проверки негабаритностей // Вестник Ростовского государственного университета путей сообщения. 2017. № 3. С. 53-60.

45. Василенко М.Н., Белоусов А.В., Ковалев Р.А. Автоматизация синтеза и редактирования таблицы зависимости положения стрелок и сигналов // Автоматика, связь, информатика. 2014. № 6. С. 9-12.

46. Ковалёв Р.А. Описание алгоритма поиска маршрутов при синтезе таблиц взаимозависимостей по схематическому плану станции // Известия Петербургского университета путей сообщения. 2014. № 4 (41). С. 40-44.

47. Ефанов Д.В., Седых Д.В., Гордон М.А. Проблемы автоматизации проектирования систем диспетчерского контроля железнодорожной автоматики и телемеханики // Транспортные системы: тенденции развития: Сборник Трудов Международной научно-практической конференции «Транспортные системы: тенденции развития», Москва, 26-27 сентября 2016 г.- М: ФГБОУ ВО МИИТ, 2016, с. 625-626.

48. Ефанов Д.В., Седых Д.В., Гордон М.А. Особенности автоматизации проектирования аппаратных средств для непрерывного мониторинга аналоговых сигналов в устройствах железнодорожной автоматики и телемеханики // Транспорт Урала. 2017. № 3 (54). С. 14-23.

49. Седых Д.В., Гордон М.А., Ефанов Д.В. Автоматизация проектирования систем непрерывного мониторинга децентрализованной автоблокировки // Автоматика, связь, информатика. 2017. № 7. С. 7-10.

50. Сапожников В.В., Василенко М.Н., Быков В.П., Рубинштейн Н.И. Экспертные системы железнодорожной автоматики и телемеханики. - Автоматика, телемеханика и связь, 1992, № 6, с. 13-16.

51. Василенко М.Н., Гриненко А.В., Марков Д.С. Анализ систем железнодорожной автоматики на основе машинного моделирования. - Автоматика, телемеханика и связь, 1989, № 1, с. 1517.

52. Василенко М.Н., Марков Д.С., Рубинштейн Н.И. Анализ работоспособности систем автоматики средствами вычислительной техники. - Автоматика, телемеханика и связь, 1987, № 8, с. 17-19.

53. Василенко М.Н., Гриненко А.В., Мясников Д.А. Эффективное средство исследования систем горочной автоматики. - Автоматика, телемеханика и связь, 1988, - Автоматика, телемеханика и связь, с. 48-49.

54. Василенко М.Н. Теория и методы анализа качества функционирования автоматизированных технологических комплексов на железнодорожном транспорте: Диссертация на соискание ученой степени доктора технических наук. Санкт-Петербург, 1992, - 332 с.

55. Безродный Б.Ф., Василенко М.Н., Денисов Б.П., Седых Д.В. Автоматизация проверки проектов на основе АРМ-ТЕСТ //Автоматика, связь, информатика. - 2008. - №9. - С. 22-24.

56. Тележенко Т.А. Автоматизированная система экспертизы схемных решений ЖАТ / Автоматика, связь, информатика. 2009. № 5. С. 24-26.

57. Тележенко Т.А. Разработка классификатора ошибок технической документации на устройства СЦБ / Вестник Ростовского государственного университета путей сообщения. 2009. № 2 (34). С. 50-55.

58. Василенко М. Н., Зуев Д. В., Седых Д. В., Яворская А. Ю. Решение задачи контроля проектных работ // Автоматика, связь, информатика. 2017. № 2. С. 8-11.

59. Седых Д. В. Методы сверки чертежей напольного технологического оборудования железнодорожной автоматики и телемеханики // Материалы Юбилейной XV Санкт-Петербургской международной конференция «Региональная информатика - 2016», Санкт-Петербург, 26 - 28 октября 2016 г., СПОИСУ, СПб, 2016. - С. 316-317. - ISBN 978-5-90684168-1.

60. Матушев А. А., Седых Д. В., Ушаков И. С. Разработка обобщенной модели принципиальных электрических и монтажных схем для экспертизы и интеллектуальной корректировки // Материалы Юбилейной XV Санкт-Петербургской международной конференция «Региональная информатика - 2016», Санкт-Петербург, 26 - 28 октября 2016 г., СПОИСУ, СПб, 2016. - С. 305. - ISBN 978-5-906841-68-1.

61. Седых Д.В. Сверка чертежей напольного технологического оборудования на основе отраслевого формата // Информационные технологии на транспорте: сборник материалов секции «Информационные технологии на транспорте» Юбилейной XV Санкт-Петербургской международной конференции «Региональная информатика - 2016», Санкт-Петербург, 26-28 октября 2016 г.; под. ред. Вал. В. Сапожникова. - СПб: ФГБОУ ВО ПГУПС, 2016, с. 125-130. ISBN 978-5-7641-0951-0.

62. Горбачев А. М. Автоматизация анализа, экспертизы и сверки технической документации системы железнодорожной автоматики и телемеханики / А. М. Горбачев // Известия Петербургского университета путей сообщения. - 2012. - № 4. - С. 73-78.

63. Максименко О.А. Методы и алгоритмы автоматизации моделирования и проверки проектов станционных систем железнодорожной автоматики : диссертация на соискание ученой степени кандидата технических наук / Санкт-Петербург, 2004 - 249 с. : ил.

64. Тележенко Т.А. Применение методов моделирования в системах автоматизированного проектирования / Известия Петербургского университета путей сообщения. 2006. № 2 (7). С. 66-72.

65. Седых Д.В., Василенко П.А., Гордон М.А. Отчет о выполнении научно-исследовательской работы: «Исследование методов автоматизации синтеза программ полной функциональной проверки систем ЖАТ». - СПб.: ООО «ГК Имсат», 2019. - 125 с.

66. М.А. Гордон, П.А. Василенко, Д.В. Седых «Синтез программ полной функциональной проверки систем управления движения поездов на железнодорожной станции» / Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7-9 сентября 2020 г. - Томск : Издательский Дом Томского государственного университета, 2020 - C. 13-15. ISBN 978-5-94621-913-6

67. M A Gordon, P A Vasilenko, D V Sedykh Synthesis of Full Functional Check Programs for Train Traffic Management Systems on a Railway Station //Journal of Physics: Conference Series, 2020, vol. 1680, iss. 1, pp. 012013. doi:10.1088/1742-6596/1680/1/012013

68. RailML - a standard interface for railway data [Online]. Available: https://www.railml.org/en/.

69. A. Hlubucek, "RialTopoModel and RailML 3 in overall context," Acta Polytechnica CTU Proceedings, 2017, vol. 11, pp 16-21.

70. A. Nash, et al. "RailML - a standard data interface for railroad applications," Proceedings of the Ninth International Conference on Computer in Railways (Comprail IX), Dresden, Germany, 2004.

71. Z. Lukasik, W. Nowakowski, and T. Ciszewski, "Definition of data exchange standard for railway applications," Prace Naukowe Politechniki Warszawskiej - Transport, 2016, no. 113, pp. 319- 326.

72. M. Bosschaart , et al. "Efficient formalization of railway interlocking data in RailML," Information Systems, April 2015, vol. 49, pp. 126-141.

73. T. Ciszewski, W. Nowakowski, and M. Chrzan, "RailTopoModel and RailML - data exchange standards in railway sector," Archives of Transport System Telematics, November 2017, vol. 10, issue 4, pp. 10-15

74. N. Robinson, D. Barney, P. Kearney, G. Nikandros, D. Tombs. "Automatic Generation and Verification of Design Specifications". SVRC, The University of Queensland, Australia, TR 00-39, December 2000.

75. Kirsten Winter and Neil Robinson, Modelling Large Railway Interlockings and Model Checking Small Ones, to be submitted to the International Conference on Formal Engineering Methods, ICFEM 2002 , pp 1-8

76. Kirsten Winter, Model Checking Railway Interlocking Systems, Proceedings of the Australian Computer Science Conference (ACSC 2002), Australian Computer Science Communications, Volume 24, Number 1.

77. D. Tombs, N. Robinson, G. Nikandros "Signalling Control Table Generation and Verification", Conference on Railway Engineering, Wollongong, 10-13 November 2002, pp 1-11

78. K. Winter, W. Johnston, P. Robinson, P. Strooper, and L. Vanden Berg "Tool Support for Checking Railway Interlocking Designs," Proceeding of the 10th Australian Workshop on Safety Related Programmable Systems (SCS'05), Australian Computer Science Communications, 2005, pp. 101107.

79. Johnston, W., Winter, K., van den Berg, L., Strooper, P., Robinson, P.: Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 524-540. Springer, Heidelberg (2006)

80. Winter, K.: Symbolic Model Checking for Interlocking Systems. In: Railway Safety, Reliability, and Security: Technologies and Systems Engineering, pp. 298-315. IGI Global (2012)

81. Kirsten Winter "Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings". Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012, Volume 7610 pp. 246-260

82. Luteberget B, Feyling C (2016) Automated verification of rules and regulations compliance in CAD models of railway signalling and interlocking. In: Brebbia C, Mera J, Tomii N, Tzieropoulos P (eds) Computers in railways, WIT Press. 15: 153-165

83. Luteberget, Bj0rnar and C. Johansen. "Verification of rules and regulations in CAD models of railway signalling." (2016). 1-22

84. Luteberget B, Johansen C, Steffen M (2016) Rule-based consistency checking of railway infrastructure designs. In: Abraham E, Huisman M (eds.) 12th International conference on integrated formal methods (iFM 2016). Lecture notes in computer science, vol 9681. Springer. pp 491-507. doi:10.1007/978-3-319-33693-0_31

85. Luteberget B, Johansen C, Steffen M (2016) Rule-based consistency checking of railway infrastructure designs (long version). Technical report 450, University of Oslo, Department of Informatics. http://www.ifi.uio.no/~msteffen/download/16/rulebasedconsistency-rep.pdf

86. Luteberget B, Camilleri JJ, Johansen C, Schneider G (2017) Participatory verification of railway infrastructure regulations using RailCNL (long version). Technical report 465, University of Oslo. http://www.mn.uio.no/ifi/english/research/projects/railcons

87. Luteberget, B., Johansen, C.: Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des., 1-32 (2017). doi: 10.1007/s10703-017-0281-z

88. B. Luteberget, K. Claessen, and C. Johansen. Design-time railway capacity verification using SAT modulo discrete event simulation. In FMCAD. IEEE, 2018.

89. Luteberget, B., Claessen, K., Christian, Johansen, & Steffen, M. (2019). Capacity Analysis for Railway Construction using SAT Modulo Discrete Event Simulation.

90. Luteberget, B., Claessen, K., & Johansen, C. (2019). Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. IFM. 1-18

91. Базовый отладочный комплекс для микропроцессорных систем централизации стрелок и сигналов на станциях. Пояснительная записка к эскизному проекту. 589.1095507.419711-01 П1 01 - Гипротранссигналсвязь, 1997. - 42 с

92. Computer-Aided Application Programming Environment Software Package CAAPE. User's Manual. Alstom Signaling Inc. Rev. October 2009. 306 p.

93. Петров А. Ф. Листая страницы истории. Гипротранссигналсвязь / А. Ф. Петров. Изд. 2-е, перераб. и доп. - СПб.: Моби Дик, 2011. - 408 с.

94. Василенко М.Н., Гордон М.А., Зуев Д.В., Седых Д.В. Разработка и внедрение средств автоматизированного проектирования систем железнодорожной автоматики и телемеханики // Автоматика на транспорте. 2017. Т. 3. № 2. С. 250-269.

95. Ракул П. С. Корпоративная автоматизированная система проектирования / П. С. Ракул, А. Ф. Ершов // Автоматика, связь, информатика. - 2011. - № 10. - С. 11-13.

96. Гордон М.А. "Гипротранссигналсвязь": проекты для обеспечения безопасности и повышения эффективности движения поездов / Железнодорожный транспорт. 2017. № 11. С. 48-51.

97. Гордон М.А., Максименко О.А., Василенко М.Н. Графический редактор схем автоматики и связи / Неделя науки - 2002 Программа и тезисы докладов шестьдесят второй научно-технической конференции студентов, аспирантов и молодых ученых. 2002. С. 331-332.

98. Гордон М.А. Применение систем автоматизированного проектирования в режиме модернизации и реконструкции систем электрической централизации / Известия Петербургского университета путей сообщения. 2008. № 1 (14). С. 44-55.

99. Василенко М. Н. Развитие электронного документооборота в хозяйстве АТ / М. Н. Василенко, В. Г. Трохов, Д. В. Зуев, Д. В. Седых // Автоматика связь, информатика. - 2015. -№ 1.- С. 14-16.

100. Bulavsky P., Belozerov V., Groshev G., Vasilenko M., Yefimenko Yu., Gordon M. Estimation of the Time Parameters of Electronic Document Management / Proceedings of 2017 IEEE East-West Design and Test Symposium, EWDTS 2017 2017. С. 660-664.

101. D. Sedykh, M. Gordon, and D. Efanov, "Computer-Aided Design of Railway Signalling Systems in Russian Federation," Proceedings 2018 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM), Moscow, Russia, May 15-18, 2018, pp. 1-7. DOI: 10.1109/ICIEAM.2018.8728630

102. Dmitry Sedykh, Denis Zuyev, Michael Vasilenko, Mkhael Gordon and Andrei Belyi, The Using of Electronic Document Management Tools of Technical Documentation for the Assessment of the Life of the Train Traffic Control Devices // Proceedings of 2019 IEEE East-West Design and Test Symposium, EWDTS 2019 544-547. ISBN: 978-1-7281-1002-8

103. Седых Д.В., Суханов С.А. Применение отраслевого формата технической документации на устройства железнодорожной автоматики и телемеханики для интеграции приложений // Известия Петербургского университета путей сообщения. - 2005. - №3. - С. 74-79.

104. Д. В. Седых. Интеграционные решения на основе отраслевого формата технической документации // Транспорт Урала. 2016. № 4 (51). С. 52-57. DOI: 10.20291/1815-9400-20164-52-57. ISSN 1815-9400.

105. Седых Д.В., Зуев Д.В., Гордон М.А. Отраслевой формат технической документации на устройства железнодорожной автоматики и телемеханики. Часть 1. Концепция создания // Автоматика на транспорте. - 2017. - Том 3. - №1. - С. 112-128.

106. Седых Д. В., Гордон М. А., Зуев Д. В. Отраслевой формат технической документации на устройства железнодорожной автоматики и телемеханики. Часть 2. Сравнение с форматом RailML® // Автоматика на транспорте. 2017. Т. 3. № 2. С. 270-279.

107. Седых Д.В., Зуев Д.В., Гордон М.А. Отраслевой формат технической документации на устройства железнодорожной автоматики и телемеханики. Часть 3. Структура и содержимое // Автоматика на транспорте. 2017. Т. 3. № 3. С. 399-413.

108. Седых Д. В., Гордон М. А., Зуев Д. В. Отраслевой формат технической документации на устройства железнодорожной автоматики и телемеханики. Часть 4. Представление элементов // Автоматика на транспорте. 2017. Т. 3. № 4. С. 563-577.

109. Седых Д.В. Отраслевой формат технической документации на устройства железнодорожной автоматики и телемеханики. Часть 5. Представление планов станций // Автоматика на транспорте. 2018. Т. 4. № 1. С. 66-87.

110. Булавский, Петр Евгеньевич. Теория и методы управления транспортными технологическими процессами на основе электронной технической документации железнодорожной автоматики и телемеханики : диссертация ... доктора технических наук : 05.22.08 / Булавский Петр Евгеньевич; [Место защиты: Петерб. гос. ун-т путей сообщ.]. -Санкт-Петербург, 2011. - 373 с. : ил. + Прил. (169 с.: ил.)

111. Методические указания по проектированию И-325-15/1 «Проектирование таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах на железнодорожных станциях (2-я редакция измененная и дополненная)». - СПб. : ГТСС, 2017. - 55 с.

112. Хантер Д. XML. Работа с XML / Д. Хантер, Дж. Рафтер, Д. Фаусетт, Э. ван дер Влист, Д. Айерс. - М. : Диалектика, 2009. - 1344 с.

113. Левитин А. В. Глава 5. Метод уменьшения размера задачи: Поиск в глубину // Алгоритмы. Введение в разработку и анализ — М.: Вильямс, 2006. — С. 212—215. — 576 с. — ISBN 9785-8459-0987-9

114. Дж. Макконнелл, Основы современных алгоритмов, М.: «Техносфера», 2004, С. 10-11.

115. Гордон М.А. Особенности работы систем управления движением поездов на станциях стыкования в Российской Федерации // Автоматика на транспорте. 2019. Т. 5. № 1. С. 62-77.

116. «Руководящим указаниям по применению светофорной сигнализации в ОАО "РЖД" РУ-56-2018», утвержденные распоряжением ОАО «РЖД» №2623/р от 25.11.2019 г., 155 с.

ПРИЛОЖЕНИЕ А. Примеры ошибок в технической документации ЖАТ

1. Одиночная ошибка, обнаруживаемая системой и приводящая ее в защитное состояние. На рисунке А.1 показана схема управления стрелкой для системы EBILock 950. В качестве изменения схемы показано перепутывание фаз питания стрелочного электропривода. При этом по команде перевода стрелки в «+» стрелка переведется в «-». Но получив минусовой контроль стрелки система перейдет в защитное состояние.

ОБЪЕКТНЫЙ КОНТРОЛЛЕР СТРЕЛКИ 4

323-431

Тинжта

ХШОЖЯХН1

Рисунок А. 1. Ошибка, обнаруживаемая системой и приводящая ее в

защитное состояние 2. Одиночная ошибка, не обнаруживаемая системой и приводящая ее в опасное состояние, но выявляемая в процессе ПНР. На рисунке А.2 показана схема релейного шкафа входного светофора для системы EBILock 950. В качестве изменения схемы показано перепутывание проводов 1Ж и з идущих с поста ЭЦ в РШ. При этом по команде зажигания желтого огня на светофоре загорится зеленый огонь. При этом в системе будет ложно осуществляться контроль горения желтого огня. Но при пуско-наладочных работах это обнаруживается визуально.

Рисунок А. 2. Ошибка, не обнаруживаемая системой и приводящая ее в опасное состояние, но выявляемая в процессе ПНР 3. Кратная ошибка, не обнаруживаемая системой и приводящая ее в опасное состояние, и не выявляемая в процессе ПНР. На рисунке А.3 показана схема релейного шкафа входного светофора для системы ЕВ!Ьоск 950. В качестве изменения схемы показано включение переключающего контакта реле ДСН в цепь включения желтого огня, тыловой контакт присоединен с проводом з. При этом при включенном режиме двойного снижения напряжения по команде зажигания желтого огня на светофоре загорится зеленый огонь. При этом в системе будет ложно осуществляться контроль горения желтого огня. При пуско-наладочных работах нет проверок огней светофоров в режиме ДСН, и значит это изменение схемы никак не обнаружится [12].

Рисунок А.З. Ошибка, не обнаруживаемая системой и приводящая ее в опасное состояние, и не выявляемая в процессе ПНР

ПРИЛОЖЕНИЕ Б. Описание структуры элемента «Маршруты» универсального электронного формата таблицы зависимости положения стрелок и сигнальных показаний светофоров в маршрутах

Описание элемента «Маршруты»

Описание Список маршрутов

Наименование Маршруты

Подэлементы Маршрут

Атрибуты -

Описание подэлемента «Маршрут»

Описание Отражает описание маршрута

Наименование Маршрут

Подэлементы СекцииМаршрута, СекцииКСМаршрута, Показания, УчастокПриближения

Атрибуты ¡ё, Категория, Вид, СпособЗаданияКонца, СпособЗадания, Имя, Длина, ГО_8уБ, Каше_8уБ, ГО_8уТо, Шше_8уТо, ГО_Ри1Б, Каше_Ри1Б, ГО_Ри1То, Шше_Ри1То, ГО_8уБе, Шше_8уБе, ВремяОтмены, ВремяИР, Электр

Атрибут

Описание Идентификатор

Синтаксис ¡ё = "<идентификатор>"

Значение по умолчанию не определено

Атрибут «Категория»

Описание Определяет категорию маршрута по типу передвижений

Синтаксис Категория = " маневровый поездной "

Значение по умолчанию поездной

Атрибут «Вид»

Описание Определяет вид маршрута

Синтаксис Вид = " отправление | передача | прием | пропуск двухсистемного поезда (для станций стыкования) | надвиг | роспуск | подтягивание | осаживание немаршрутизированные маневры | немаршрутизированные передвижения "

Значение по умолчанию прием

Атрибут «Способ: аданияКонца»

Описание Определяет способ задания конца маршрута

Синтаксис СпособЗаданияКонца = " до светофора | за светофор | на путь "

Значение по умолчанию на путь

Атрибут «СпособЗ адания»

Описание Определяет способ задания маршрута

Синтаксис СпособЗадания = " вариантный | основной | исключаемый

Значение по основной

умолчанию

Атрибут «Имя»

Описание Имя маршрута

Синтаксис Имя = "<строка>"

Значение по умолчанию не определено

Атрибут «Длина»

Описание Длина маршрута в метрах

Синтаксис Длина ="<длина>"

Значение по 0

умолчанию

Атрибут «ID SvF»

Описание Идентификатор светофора, по которому устанавливается маршрут

Синтаксис ID SvF = "<идентификатор>"

Значение по умолчанию не определено

Атрибут «Name SvF»

Описание Имя светофора, по которому устанавливается маршрут

Синтаксис NameSvF = "<строка>"

Значение по умолчанию не определено

Атрибут «ID SvTo»

Описание Идентификатор светофора, до которого устанавливается маршрут

Синтаксис ID SvTo = "<идентификатор>"

Значение по умолчанию не определено

Атрибут «Name SvTo»

Описание Имя светофора, до которого устанавливается маршрут

Синтаксис Name SvTo = "<строка>"

Значение по умолчанию не определено

Атрибут «ID PutF»

Описание Идентификатор пути, с которого устанавливается маршрут

Синтаксис ID PutF = "<идентификатор>"

Значение по умолчанию не определено

Атрибут «Name PutF»

Описание Имя пути, с которого устанавливается маршрут

Синтаксис Name PutF = "<строка>"

Значение по умолчанию не определено

Атрибут «ID PutTo»

Описание Идентификатор пути, на который устанавливается маршрут

Синтаксис ID PutTo = "<идентификатор>"

Значение по умолчанию не определено

Атрибут «Name_PutTo»

Описание Имя пути, на который устанавливается маршрут

Синтаксис Name PutTo = "<строка>"

Значение по не определено

умолчанию

Атрибут «ID SvBe»

Описание Идентификатор светофора, за который устанавливается маршрут

Синтаксис ID SvBe = "<идентификатор>"

Значение по не определено

умолчанию

Атрибут «Name SvBe»

Описание Имя светофора, за который устанавливается маршрут

Синтаксис Name SvBe = "<строка>"

Значение по не определено

умолчанию

Атрибут «ВремяОтмены»

Описание Врямя окончательнозамкнутого маршрута

Синтаксис ВремяОтмены = "<числовой>"

Значение по 0

умолчанию

Атрибут «ВремяИР»

Описание Время искусственного размыкания секций после не размыкания маршрута

Синтаксис ВремяИР = "<числовой>"

Значение по 0

умолчанию

Атрибут «Электр»

Описание Определяет электрификацию маршрута. Применяется только для станций стыкования

Синтаксис Электр = " автономный | постоянного тока | переменного тока | двухсистемный "

Значение по автономный

умолчанию

Описание подэлемента «СекцииМаршрута»

Описание Отражает список секций маршрута

Наименование СекцииМаршрута

Подэлементы СекцияМаршрута

Атрибуты -

Описание подэлемента «СекцияМаршрута»

Описание Отражает секции в маршруте

Наименование СекцияМаршрута

Подэлементы УчастокПути, ИзолирующийСтык, Стрелка

Атрибуты ID Ref, Name Ref, Назначения, Тип, Длина

Атрибут «ID Ref»

Описание Ссылка на элемент

Синтаксис ID Ref = "<идентификатор>"

Значение по не определено

умолчанию

Атрибут «Name_Ref»

Описание Имя элемента

Синтаксис Name Ref = "<строка>"

Значение по умолчанию не определено

Атрибут «Назначения»

Описание Назначение секции

Синтаксис Назначения = " главный | боковой | бесстрелочный вытяжка | отстой | погрузо-разгрузочный | прочий приближение удаление | стрелочная секция "

Значение по умолчанию главный

Атрибут «Тип»

Описание Тип секции

Синтаксис Тип = " ходовая конец начало "

Значение по умолчанию ходовая

Атрибут «Длина»

Описание Длина секции маршрута в метрах

Синтаксис Длина = "<целое>"

Значение по умолчанию 0

Описание подэлемента «УчастокПути»

Описание Определяет ссылку на участок пути

Наименование УчастокПути

Подэлементы -

Атрибуты ID Ref, Name Ref

Атрибут «ID Ref»

Описание Ссылка на элемент

Синтаксис ID Ref = "<идентификатор>"

Значение по умолчанию не определено

Атрибут «Name Ref»

Описание Имя элемента

Синтаксис Name Ref = "<строка>"

Значение по умолчанию не определено

Описание подэлемента «ИзолирующийСтык»

Описание Определяет ссылку на изолирующий стык начала или конца движения по секции

Наименование ИзолирующийСтык

Подэлементы -

Атрибуты ID Ref, Name Ref

Атрибут «ID Ref»

Описание Ссылка на элемент

Синтаксис ID Ref = "<идентификатор>"

141

Значение по умолчанию не определено

Атрибут «Name Ref»

Описание Имя элемента

Синтаксис Name Ref = "<строка>"

Значение по умолчанию не определено

Описание подэлемента «Стрелка»

Описание Определяет ссылку на стрелку, защитное устройство или тормозной упор

Наименование Стрелка

Подэлементы -

Атрибуты ID Ref, Name Ref, ИмяВМаршруте, Положение, ВтораяИзСпаренных

Атрибут «ID Ref»

Описание Ссылка на элемент

Синтаксис ID Ref = "<идентификатор>"

Значение по умолчанию не определено

Атрибут «Name Ref»

Описание Имя элемента

Синтаксис Name Ref = "<строка>"

Значение по умолчанию не определено

Атрибут «ИмяВМаршруте»

Описание Полное имя стрелки в маршруте с учетом спаренности

Синтаксис ИмяВМаршруте = "<строка>"

Значение по умолчанию не определено

Атрибут «Положение»

Описание Положение стрелки в маршруте

Синтаксис Положение = " плюс минус "

Значение по умолчанию плюс

Атрибут «ВтораяИзСпаренных»

Описание Признак того, что данная стрелка является второй из пары спаренных стрелок в маршруте

Синтаксис ВтораяИзСпаренных = "<логический>"

Значение по умолчанию нет

Описание подэлемента «СекцииКСМаршрута»

Описание Отражает список секций контактной сети маршрута

Наименование СекцииКСМаршрута

Подэлементы СекцияКСМаршрута

Атрибуты -

Описание подэлемента «СекцияКСМаршрута»

Описание Отражает ссылку на секцию контактной сети в маршруте

Наименование СекцияКСМаршрута

Подэлементы -

Атрибуты ID Ref, Name Ref, ПоложниеПерек, ПоложенеиеОткл

Атрибут «ID Ref»

Описание Ссылка на элемент

Синтаксис ID Ref = "<идентификатор>"

Значение по умолчанию не определено

Атрибут «Name Ref»

Описание Имя элемента

Синтаксис №ше ЯеГ = "<строка>"

Значение по умолчанию не определено

Атрибут «ПоложениеПерек»

Описание Положение переключателя в маршруте

Синтаксис Положение = " = ~ "

Значение по умолчанию =

Атрибут «ПоложениеОткл»

Описание Положение отключателя в маршруте при наличиии

Синтаксис Положение = " Вкл Откл "

Значение по умолчанию Вкл

Описание подэлемента «Показания»

Описание Отражает список показаний светофора, по которому устанавливается маршрут

Наименование Показания

Подэлементы Показание

Атрибуты -

Описание подэлемента «Показание»

Описание Отражает взаимозависимость показания светофора, по которому устанавливается маршрут

Наименовани е Показание

Подэлементы ПоказаниеМаршрутногоУказателя, ПоказаниеПопутногоСветофора, ПоказаниеВстречногоСветофора, УчастокУдаления

Атрибуты Показ, ПоказОбрГол, ПоказМанСв, УказатТорм

Атрибут «Показ»

Описание Описывает показание светофора, по которому устанавливается маршрут

Синтаксис

Показ - " желтый огонь | желтый мигающий огонь | зеленый огонь | зеленый мигающий огонь два желтых огня | два желтых, верхний мигающий огни два зеленых огня три желтых огня | желтый и зеленый огни желтый мигающий и белый огни красный огонь пригласительный сигнал | красный огонь с пригласительным сигналом | желтый и белый огни зеленый и белый огни | два желтых и белый огни два желтых, верхний мигающий и белый огни синий огонь | белый огонь два желтых огня и зеленая полоса | два желтых, верхний мигающий огня и зеленая полоса | зеленый мигающий и желтый огни и зеленая полоса два желтых огня и две зеленой полосы | два желтых, верхний мигающий огня и две зеленой полосы зеленый мигающий и желтый огни и две зеленой полосы два желтых и белый огня и зеленая полоса | два желтых, верхний мигающий и белый огня и зеленая полоса | зеленый мигающий, желтый и белый огни и зеленая полоса | два желтых и белый огня и две зеленой полосы два желтых, верхний мигающий и белый огня и две зеленой полосы | зеленый мигающий, желтый и белый огни и две зеленой полосы зеленый и белый огни и зеленая полоса | желтый и белый огни и зеленая полоса | зеленый и белый огни и две зеленой полосы | желтый и белый огни и две зеленой полосы | зеленый огонь и зеленая полоса | желтый огонь и зеленая полоса зеленый огонь и две зеленой полосы | желтый огонь и две зеленой полосы | желтый и зеленый огни и зеленая полоса желтый и зеленый огни и две зеленой полосы | красный огонь перегорел X "

Значение по умолчанию

красный огонь

Атрибут «ПоказОбрГол»

Описание

Описывает показание обратной головки на светофоре

Синтаксис

ПоказОбрГол = " не горит | белый огонь | желтый огонь | зеленый

огонь

Значение по умолчанию

не горит

Атрибут «ПоказМанСв»

Описание

Описывает показание маневрового светофора, установленного на мачте светофора_

Синтаксис

ПоказМанСв = " не горит | белый огонь"

Значение по умолчанию

не горит

Атрибут «УказатТорм»

Описание

Наличие указателя отсутствия тормозного пути

Синтаксис

УказатТорм = " нет 12 "

Значение по умолчанию

нет

Описание подэлемента «ПоказаниеМаршрутногоУказателя»

Описание Отражает показание маршрутного указателя

Наименование ПоказаниеМаршрутногоУказателя

Подэлементы -

Атрибуты ID Ref, Name Ref, Показ

Атрибут «ID Ref»

Описание Ссылка на элемент

Синтаксис ID Ref = "<идентификатор>"

Значение по не определено

умолчанию

Атрибут «Name Ref»

Описание Имя элемента

Синтаксис Name Ref = "<строка>"

Значение по не определено

умолчанию

Атрибут «Показ»

Описание Ссылка на элемент

Синтаксис Показ = " / | | \ | - | 1 | 2 | 3 | 5 | 6 | 7 | 8 | 9 | 0 | 10 | 11 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | А | Б | В | Г | Д | Е | Ж | З | И | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Х | Ц | Ч | Ш | Щ | Э | Ю | Я | Включить режим тяги | Отключить режим тяги | не горит "

Значение по не горит

умолчанию

Описание подэлемента «ПоказаниеПопутногоСветофора»

Описание Отражает показание попутного светофора, в том числе и предупредительного и повторительного

Наименовани е ПоказаниеПопутногоСветофора

Подэлементы -

Атрибуты ID Ref, Name Ref, Показ

Атрибут «ID Ref»