CC BY
27
правление подвижными объектами
удк 658.52.011.56
ЛОГИЧЕСКИЕ МОДЕЛИ ОБЪЕКТОВ ЖЕЛЕЗНОДОРОЖНОЙ СТАНЦИИ
А.И. Потехин
Рассмотрены проблемы создания систем управления движением поездов, способных предвидеть возможные конфликтные ситуации. С этой целью разработан формальный метод представления структуры железнодорожных объектов (станций, перегонов) в виде системы логических функций, на основе которых находится множество маршрутов. Определены логические отношения между маршрутами (совместимые, несовместимые, враждебные маршруты).
Ключевые слова: л огическая м одель, железнодорожная станция, стрелочный перевод, маршрут д ви-жения поездов, совместимые, враждебные маршруты.
ВВЕДЕНИЕ
Решение проблем повышения безопасности движения на железнодорожном транспорте связано с исследованием вопросов автоматизации диспетчерского управления движением поездов в железнодорожной сети. Основные функции диспетчерского управления состоят в оперативном контроле выполнения графика движения и формирования поездов и принятии решений по управлению движением поездов (при отклонении от графика).
Центральным звеном в оперативном управлении подвижным составом железнодорожной станции является станционный диспетчер (дежурный по станции). Диспетчер единолично распоряжается приемом, отправлением и пропуском поездов по главным и приемоотправочным путям железнодорожной станции. С помощью устройств сигнализации, централизации и блокировки он дистанционно управляет стрелками и сигналами, т. е. формирует поездные и маневровые маршруты; отдает приказы на движение поездов путем управления светофорами; при необходимости корректирует планы движения каждого поезда в режиме реального времени.
В периоды высокой интенсивности движения поездов (а также в нештатном режиме, в случае аварии) требуется высокая скорость принятия решения (к примеру, в Москве на Ярославском железнодорожном узле в «часы пик» прибывают и отправляются электропоезда каждые 2 мин).
В то время как расписание движения поездов тщательно планируется с помощью сложных ма-
тематических моделей, повседневная работа диспетчеров по выполнению план-графика движения поездов опирается только на свод правил, опыт и мастерство самих диспетчеров. Конечно, современные системы диспетчерского контроля и централизации (например, система «Сетунь» [1]) существенно облегчают труд диспетчеров. Однако при этом отсутствует какая-либо помощь диспетчеру в виде краткосрочного прогноза по процессу управления движением при наличии временных задержек поездов, неисправностей в инфраструктуре железнодорожной сети, конфликтных ситуаций. Отсутствуют отечественные средства оценки эффективности принимаемых решений. На практике отмечается, что 80 % всех случаев нарушений безопасности движения в перевозочном процессе, так или иначе, связаны с виной диспетчеров.
1. ПОСТАНОВКА ЗАДАЧИ
Коммуникационные, транспортные, производственные системы, отличающиеся недетерминированностью, асинхронностью, управлением по событиям, параллельностью в своих структурах, представляются как д искретно-событийные системы (discrete event systems — DES) [2—4].
В настоящее время во многих научных центрах мира ведутся широкие исследования по проблеме автоматизации управления движением поездов с целью разработать систему поддержки диспетчера, которая в состоянии предвидеть возможные конфликтные ситуации и находить решения, позволяющие избегать (исключать) эти ситуации.
Конфликтные ситуации м огут возникать по разным причинам: опоздания прибытия или отправления поездов на станцию (временные помехи), неисправности элементов инфраструктуры станции (стрелок, путей, светофоров и др.), несогласованность группового движения поездов на станции и др.
Поэтому исследования, в основном, ориентированы на учет определенных типов помех. Так, в работах [5—8] исследуется проблема обеспечения безопасности группового движения поездов. Моделирование осуществляется на основе сетей Петри. Сети Петри по текущей разметке всегда точно определяют состояние железнодорожной сети, положение поездов, а существующие методы анализа сетей Петри позволяют определять (предвидеть) возможные конфликтные ситуации.
В работах [9—11] стратегии управления движением транспорта состоят в оперативной перепланировке м аршрутов движения в режиме реального времени с целью оптимизации движения при наличии временных помех. Показано, что для этого необходимо уметь:
— определять (предвидеть) возможные конфликтные ситуации,
— осуществлять перепланировку маршрутов движения каждого поезда в режиме реального времени,
— оперативно осуществлять замену заданного маршрута альтернативным.
Для решения этих задач вне зависимости от принятой стратегии необходимо иметь:
— множество маршрутов объекта,
— множество альтернативных маршрутов заданному,
— множества совместимых, несовместимых, враждебных маршрутов заданному маршруту.
Предлагаемые решения эффективны только на локальном уровне при наличии небольших опозданий нескольких поездов. Поэтому во всех исследованиях основным приемом борьбы с размерностью служит д екомпозиция больших задач на м алые задачи, которые могут быть решены локальными диспетчерскими системами с дальнейшей их глобальной координацией.
Число маршрутов на крупных железнодорожных станциях может достигать 1000 и более. Однако большие временные затраты на выполнение процессов прогнозирования и перепланировки движения поездов обусловлены поиском альтернативных маршрутов, выбором оптимального маршрута по заданным критериям, проверкой выбранного маршрута на групповую совместимость с действующими маршрутами на железнодорожных объектах (станциях, перегонах).
Представляет научный и прикладной интерес исследование такой модели железнодорожной
станции, которая благодаря ее структурным особенностям сокращала бы перебор при решении указанных задач. Эти особенности состоят в дискретном характере объектов инфраструктуры станции, перегона. Например, путь (занят — свободен), стрелка (прямое — боковое положение, занята — свободна) и др. Поэтому структуру железнодорожной станции, перегона можно рассматривать как релейно-контактную схему со многими входами и выходами или логическую схему из элементов ИЛИ, И, НЕ. Задача анализа логической схемы со многими выходами заключается в ее описании в виде системы логических функций [12, 13], которая позволяет находить полное множество маршрутов и служит исходной информацией для логических вычислений альтернативных маршрутов, групповой совместимости, враждебности маршрутов и других характеристик путем применения методов анализа и синтеза теории логических схем. Возможна аппаратная и программная реализации логических вычислений. По нашему мнению, этот путь исследования сократит временные затраты процессов прогнозирования и перепланировки движения поездов.
В настоящей статье рассматривается метод представления структуры железнодорожной станции в виде системы логических функций, на основе которой находится множество маршрутов станции и определяются л огические отношения м ежду маршрутами (совместимые, несовместимые, враждебные).
2. КРАТКОЕ ОПИСАНИЕ ОБЪЕКТА МОДЕЛИРОВАНИЯ
В железнодорожной сети России около 11 тыс. станций. Станцией называется «раздельный пункт» с путевым развитием и устройствами, позволяющими выполнять операции по приему, отправлению, скрещению и обгону поездов, а также по приему, погрузке, выгрузке и выдаче грузов и по обслуживанию пассажиров.
Основные характеристики станций без потери общности рассмотрим на примере схемы промежуточной железнодорожной станции. Основным компонентом станции является «именной» путь. Особенности именного пути: поезд при движении в прямом и обратном направлении проходит его полностью (без ответвлений), его границами могут быть стрелки и тупики, он свободен или занят только одним поездом (вне зависимости от фактической протяженности поезда). Именной путь — это электрически изолированный рельсовый участок (блок-участок), состояние которого (свободен — занят) контролируется и управляется автоматически или диспетчером и отражается состоянием светофоров, расположенных на границах пути.
Рис. 1. Схема промежуточной железнодорожной станции
Каждый именной путь соединяется с помощью соединительного рельсового участка со стрелочными переводами. Стрелочный перевод служит для соединения, пересечения рельсовых путей и изменения направления движения поездов. По числу и расположению в топологическом плане пересекающихся путей стрелочные переводы могут быть одиночные, перекрестные и др. Основным элементом одиночного стрелочного перевода служит стрелка с переводным механизмом. Стрелки соединяются между собой и именными путями с помощью соединительных рельсовых участков. С помощью переводного механизма стрелка может находиться в одном из двух положений — прямом и боковом. На схемах станций знаком (+) обозначается прямое положение стрелок. Положение стрелки управляется и контролируется диспетчером. Стрелки, как и именные пути, являются электрически изолированными рельсовыми участками. Состояние стрелки (свободна — занята) управляется и контролируется.
На рис. 1 изображена схема станции, жирными линиями обозначены именные пути: ГП — главный путь, пути 1 и 2 — вход-выходные пути станции, 3 — приемоотправочный путь, 4 и 5 — вытяжные пути (тупики), 6 — выставочный путь, 7 — погрузочно-разгрузочный путь, С1, ..., С8 — стрелочные переводы (стрелки). Прямоугольником обозначена платформа посадки и высадки пассажиров (путь 3) и место погрузки-разгрузки (путь 7). Светофоры не показаны, чтобы не загромождать рисунок, их роль будет рассмотрена далее, управление ими либо автоматическое (блокировки), либо ручное (диспетчером).
3. ЛОГИЧЕСКАЯ МОДЕЛЬ ЖЕЛЕЗНОДОРОЖНОЙ СТАНЦИИ
3.1. Граф-схема железнодорожной станции
Несмотря на различные функциональные назначения станций, модель железнодорожной станции должна сохранить основные внешние свойства, как то: топологическую схему именных путей, схемы соединительных рельсовых участков и стре-
лочных переводов (стрелок). С этой целью исходную схему железнодорожной станции преобразуем в граф-схему специального вида. Это преобразование достаточно простое, покажем его на примере промежуточной станции.
Сформулируем правила преобразования.
• Именные пути станции (вне зависимости от их функционального назначения) на граф-схеме изобразим в виде кружков (рис. 2), которые в дальнейшем будем называть позициями, множество позиций обозначим как Р, в нашем примере Р = {р1, р2, , р7}.
• Каждый именной путь станции связан со стрелками с помощью соединительных участков, которые изобразим в граф-схеме виде двух ребер, инцидентных позиции, соответствующей данному пути. Точки соединения этих ребер и позиций обозначим цифрами 1 и 2 (произвольно), они расположены вне кружков (см. рис. 2). Будем говорить, что эти точки соединения являются входами — выходами позиции. Входы —
выходы 1-й позиции обозначим как р1, р2 .
• Стрелки станции в граф-схеме изображены в виде узлов, множество узлов обозначим как С, в нашем примере С = {с1, с2, ..., с8}.
• Узлы соединяются между собой и позициями ребрами, которые соответствуют соединительным участкам станции. Знаком (+) обозначены ребра, которые указывают на прямое положение соответствующих стрелок. Ребра, соответствующие прямому и боковому положениям стрелки, соединены знаком Л. Множество ребер граф-схемы станции обозначим как и, оно состоит из неориентированных ребер типа
(Р1, с), (р2 ,
с) и (с,, с), где р,
С е
С.
Таким образом, граф-схема станции представляется в виде графа О, содержащего два типа вершин (множества Р и С) и ребра (множество и): О = (Р, С, и).
Преобразованная таким образом схема железнодорожной станции принимает вид, показанный на рис. 2. Число позиций в граф-схеме станции
Рис. 2. Граф-схема промежуточной железнодорожной станции
можно изменить (увеличить, уменьшить). Например, при пересечении двух железнодорожных путей в одном уровне граф-схему станции необходимо дополнить позицией в м есте пересечения. В то время как позицию, соответствующую главному пути станции, предназначенному для безостановочного следования поездов, можно опустить (с ц елью экономии числа позиций). В общем случае число и места расположения позиций определяются аналитиком.
Основным элементом организованного движения поездов на станции является м аршрут. Простым станционным маршрутом будем называть простой путь в графе О в виде последовательности вершин и ребер:
т р рР) = (Р(РР с,, ^ сл ^ (сл ^ с, 2Х
Сг, 2, ..., Сг, V (сг, V Р)
где позиции р: и р. соответствуют началу и концу
: У
маршрута, (с, 1, сг 2, ..., сг к) —последовательность стрелок (узлов графа О), соединенных между собой соединительными участками станции (ребрами графа О): р с, 1), (с, р с, 2), ..., (с, к, рР).
Свойство простого м аршрута: в нормальных ситуациях предполагается, что поезд проходит маршрут от начала до конца без остановки. Составным маршрутом будем называть маршрут, состоящий из нескольких простых маршрутов.
Не всякий путь в графе О удовлетворяет описанному свойству маршрута вследствие особенности движения поезда через стрелку. А именно, поезд физически не может перейти без остановки из прямого положения (направления) стрелки на боковое направление, а также — с бокового на прямое.
Формирование нового маршрута и организация движения поезда осуществляется диспетчером станции. При этом возможно возникновение проблем вследствие опозданий поезда, неисправностей в инфраструктуре железнодорожной сети, конфликтных ситуаций при групповом движении поездов на станции и др. Требуются большие временные затраты для прогнозирования и перепланировки движения поезда, поиска альтернативных маршрутов, выбора оптимального м аршрута по заданным критериям, проверки выбранного маршрута на групповую совместимость с д ействующими маршрутами на станции.
Как будет показано д алее, представление структуры железнодорожной станции в виде системы логических функций позволяет сократить перебор при нахождении множества маршрутов станции. Будут разработаны:
— логическая модель стрелочного перевода;
— логическая модель маршрута;
— метод нахождения маршрутов железнодорожной станции;
— метод анализа маршрутов на совместимость, враждебность.
3.2. Логическая модель стрелочного перевода
Вначале рассмотрим стрелочный перевод (стрелку), с помощью которого осуществляется управление направлением движения поездов. На рис. 3 приведена схема обыкновенной одиночной стрелки С. Вершина а — основной вход/выход стрелки, вершина Ь — прямой вход/выход, вершина й — боковой вход/выход, вершина е — центр стрелки. Положение стрелки описывается значением логической переменой 5: 5 соответствует прямому положению (направлению) стрелки (на рис. 1 и 2 оно
обозначено знаком (+)), положение 5 — боковому направлению стрелки.
Схему стрелки можно рассматривать как логическую схему: в узле е реализуется логическая операция «проводное ИЛИ», ребра (Ь, е) и (й, е) взвешены логической переменной 5, ребро (е, а) — константой 1. Тогда, например, ориентированный путь [Ь, а] (Ь — начало, а — конец пути) в схеме стрелки будет проходным (по аналогии — электрическая проводимость релейной контактной цепи), если 5 = 1. С другой стороны, путь [Ь, а ] будем считать разрешенным, если разрешено движение поезда на вход Ь, для чего введем логическую переменную х(Ь). Таким образом, будем считать, что путь [Ь, а] разрешенный и проходной для движения поезда, если х(Ь) = 1 и 5 = 1, что соответствует единичному значению конъюнкции 5х(Ь). Проходимость разрешенного пути [ Ь, а] представим в виде функции проходимости /(Ь, а):
ДЬ, а) = 5х(Ь), (1)
аналогично находим функции проходимости других путей:
/(й, а) = 5х(й), /(а, Ь) = 5х(а), /(а, d) = 5х(а), /(Ь, d) = х(Ь)55 = 0, /(й, Ь) = 55х(й) = 0. (2)
Видно, что проходимость путей [Ь, й] и [й, Ь] невозможна.
й1
Рис. 3. Схема стрелки С
Обозначим через f (a) функцию проходимости на выходе a стрелки. Функция f(a) очевидным образом получается дизъюнкцией функций f(Ь, a) и Д^, a):
f (а) = sx(b) V sx(d),
аналогично:
А(Ь) = f(a, Ь) = sx(a),
f(d) = А(а, d) = Sx(a). (3)
3.3. Логическая модель последовательности стрелок
Рассмотрим задачу получения результирующей функции проходимости последовательного соединения д вух стрелок. Для ее решения применим известный принцип получения выходной функции заданной логической схемы: «от выхода схемы — к входам». Для этого рассмотрим процесс получения результирующей функции проходимости на выходе Ь1 схемы «двойной стрелки» (рис. 4).
Шаг 1. Двигаясь от заданного выхода схемы (Ь1), получаем, что функция проходимости пути [а1, Ь1] стрелки с1 (согласно выражению (2)) А(Ь1) = s1x(a1).
Шаг 2. Вход а1 стрелки с1 соединен с выходом а2 стрелки с2 (ребро (а1, а2) соответствует соединительному участку). Функция проходимости на выходе а2 (согласно выражению (3)) А(а2) = s2x(b2) V S2 x(d2).
Шаг 3. Получение результирующей функции проходимости на выходе Ь1: отождествим переменные х(а1) и А(а2), получим А(Ь1) = s1f(а2); подставим правую часть функции А(а2) в функцию А(Ь1), получим: А(Ь1) = s1[s2x(b2) V S2x(d2)]. Функцию А(Ь1) представим в виде дизъюнктивной нормальной формы (ДНФ):
А(Ь1) = s1s2x(b2) V s1 S2 x(d2).
(4)
В п. 3.5 будет рассмотрено получение результирующей функции проходимости для других вариантов последовательного соединения стрелок. Анализ ДНФ функции проводимости А(Ь1) представляет интерес, потому что на примере этой простой формулы можно предварительно сформулировать основные свойства функции проводимости любой сложности.
Сформулируем свойства функции проводимости А(Ьг).
• Число конъюнкций в ДНФ функции А(Ь1) равно числу путей, оканчивающихся в вершине Ь1 (в нашем примере два пути).
• Каждая конъюнкция функции А(Ь1) содержит информации о начале и конце соответствующего пути. Так, переменная х(Ь2), помимо сигнала разрешения, указывает на путь с началом в вершине Ь2, переменная х^2) — путь с началом в вершине d2.
• Каждая конъюнкция функции А(Ь1) содержит информации о числе стрелок и их положении в каждом пути.
• Конъюнкции функции А(Ь1) допускают перестановку переменных (в силу коммутативного закона булевой алгебры = s2s1)). В то время как всякий путь имеет фиксированную после -довательность стрелок. Таким образом, ДНФ функция А(Ь1) явно не содержит информации о последовательности стрелок в путях. Для того чтобы конъюнкции функции А(Ь1) содержали информацию о последовательности стрелок в путях, поступим следующим образом. Первой стрелке на ш аге 1 рассмотренного процесса получения функции А(Ь1) присвоим порядковый номер 1. В нашем случае первой стрелкой является стрелка с1. Поэтому логической переменной s1 присвоим порядковый номер 1 в виде
верхнего индекса: sJ. Последовательно со стрелкой с1 соединена стрелка с2. Логической переменной s2 присвоим порядковый номер 2 в виде
верхнего индекса: s2 . Тогда ДНФ функции А(Ьх) запишется как
А(Ьг) = sJ s2 х(Ь~2) V sJ s2 х^).
В этом случае каждая конъюнкция функции А(Ьх) содержит информацию о последовательности и одновременно о положении стрелок соответствующего пути.
Так, первой конъюнкции соответствует путь (Ь2, s2, s1, Ьх), второй конъюнкции соответствует
путь S2, s1, Ь).
3.4. Логическая модель маршрута
Маршрут формируется диспетчером станции, он задает входную, выходную позиции маршрута и последовательность соединяющих их стрелок:
Рис. 4. Схема двойной стрелки
р р) = р с, 1, с, 2,
р),
где р. — начало, р, — конец маршрута. Здесь марш: }
рут рассматривается как упорядоченная совокупность позиций и стрелок.
Далее, если все стрелки свободны (т. е. не заняты в других маршрутах), диспетчер устанавливает их в положение, соответствующее данному маршруту, которое задается набором, например: (1, 0, ..., 1). В наборе «1» означает прямое направление, «0» — боковое направление стрелки с. Положение каждой стрелки описывается значением логической переменой 5. Единичное значение конъюнкции (5, 2...5Г к) означает, что все стрелки последовательности (с, р с, 2, ..., с, к) установлены в положения, соответствующие набору (1, 0, ..., 1), и м аршрут считается сформированным (собранным). Важное ограничение состоит в том, что маршрут может быть расформирован диспетчером либо до начала движения по нему поезда, либо после окончания движения, т. е. запрещается изменять маршрут во время движения по нему поезда.
Затем путем управления входными, выходными светофорами диспетчер дает разрешение на движение поезда по маршруту. Обозначим как х(р) логическую переменную, соответствующую сигналу светофора, разрешающего выезд поезда с позиции р1 (начало маршрута), аналогично, у(р) — разрешение на въезд поезда на позицию р^ (окончание
маршрута). Тогда собранный маршрут т(р, р) =
: У
= (р, 5Г 1, 5Г,2 ...5Г к, р) считается разрешенным.
Функция проходимости разрешенного м аршру-та имеет вид:
/(р) = У(р)5г> к... 5Г, 2 , 5,, !, х(р).
Функция /(р), в отличие от функции (1), зависит от переменной у(р) — разрешение на въезд поезда на позицию р. (окончание маршрута).
3.5. Нахождение простых маршрутов железнодорожной станции
Станцию (см. рис. 2) представляем как логическую схему со многими входами и выходами, роль которых играют позиции. Пусть Р — множество позиций станции, к — число стрелок. Для каждой позиции р{ е Р, считая ее выходной позицией, а остальные позиции — входными, специальной процедурой (от «выхода схемы — к входам») находим логическую функцию проходимости /(р.). Она принимает единичное значение на множестве разрешенных маршрутов, оканчивающихся в позиции р. Каждый разрешенный маршрут представляется конъюнкцией. Таким образом, функция
проходимости /(р.) равна дизъюнкции соответствующих конъюнкций.
Важным свойством функции проходимости /(р.), заключается в том, что между каждой конъюнкцией и соответствующим ей маршрутом имеет место взаимно однозначное соответствие (см. п. 3.3). По функции /(р.) получаем множество маршрутов станции М(р), оканчивающихся в позиции р.. Множество иМ(р) по всем р1 е Р определяет (задает) множество маршрутов станции.
Рассмотрим процесс построения маршрутов на примере построения маршрутов, оканчивающихся в позиции р! (см. рис. 2).
Шаг 1. Обозначим как /(р|) логическую функцию проходимости, принимающей единичное значение на множестве разрешенных маршрутах, оканчивающихся позицией р1 входом 1:
/(р1) = у(р! )/(аг),
(5)
где у(р!) — разрешение въезда на позицию р! с входа 1, /(а!) — функция проходимости на выходе а! стрелки с!.
Вход р! соединен с выходом а! стрелки с!, поэтому считаем, что стрелка с1 — стрелка первого порядка.
На выходе а! стрелки с! (согласно выражению (3)) реализуется функция проходимости /(а!), и с учетом первого порядка стрелки с1 имеем:
/(а!) = 5! х(Ь!) V 5! х(й!).
Вход Ь1 стрелки с1 соединен с выходом Ь2 стрелки с2, вход й! — с выходом Ь3 стрелки с3 (см. рис. 2). Таким образом, стрелки с2 и с3 соединены со стрелкой с!, следовательно, эти стрелки второго порядка.
Согласно формуле (4)
/(а!) = 5!/(Ь2) V 5!/(Ьз),
(6)
где /(Ь2) — функция проходимости на выходе Ь2 стрелки с2, /(Ь3) — функция проходимости на выходе Ь3 стрелки с3.
Шаг 2. В соответствии с рис. 2 строим функцию /(Ь2), которая согласно формулам (3), с учетом порядка стрелки с2, имеет вид:
/(Ь2) = 52 х( р^),
(7)
где х( р2) — логическая переменная, соответствующая сигналу светофора, разрешающего выезд по-
1
езда с входной позиции р2 через выход 1, т. е. р2 —
начало маршрута.
Шаг 3. Функция А(Ь3), согласно формулам (3),
строится аналогично: А(Ь3) = s2 х(а3), а3 = а5, в результате
А(Ь3) = s2f(а5), (8)
где А(Ь3) — функция проходимости на выходе а5 стрелки с5, соединенной со стрелкой с3. Следовательно, стрелка с5 — стрелка третьего порядка.
Шаг 4. В соответствии с рис. 2 строим функцию А(а5). Согласно формуле (4)
А(а$) = s5 х(р3 ) V S5/(07),
(9)
где х(р3) — логическая переменная, соответствующая сигналу светофора, разрешающего выезд поезда с позиции р3 через выход 2, т. е. р3 — начало маршрута.
Далее А(а7) — функция проходимости на выходе а7 стрелки с7, т. е. стрелки четвертого порядка.
Шаг 5. В соответствии с рис. 2 строим функцию А(а7). Согласно формуле (4)
А(а7) = s4 х( р}) V s4 х( р6),
(10)
где х( р7), х(р6) — логические переменные, разрешающие выезд поезда с позиций р7, р6 соответст-
11
венно через выход 1, т. е. р7, р6 — начала маршрутов.
Таким образом, в результате построены функции проводимости стрелок, определены порядки стрелок и начальные позиции всех маршрутов, оканчивающихся в позиции р1 (см. рис. 2).
Следующий этап процесса построения м аршру-тов состоит в последовательности подстановок.
Шаг 6. Функция А(а5) строится путем подстановки правой части формулы (10) в формулу (9):
А(а5) = ^ х(р3) ^ [S4 х(р7) V s7х(рб)]. (11)
Далее подставляем правую часть формулы (11) в формулу (8), затем правые части формул (7) и (8) — в формулу (6), правую часть формулы (6) — в формулу(5).
В результате подстановок получим скобочную
форму функции А(р\):
№) = у( р1)[ si S2 х(р2) V s1 s3 [ s5 х(р3) V V s3 [s4х(р7) V s4х(р6)]]].
Дизъюнктивная нормальная форма функции А(р}) имеет вид:
а(р1 ) = у(р| )s1 s2 х(р^) V у(р1)sj s2 S5 s5 х(р3) V V У(р|)sj s2 S3 s4 х(р}) V у(р1)Sl s2 S5 S7х(р\). (12)
Таким образом, функция А(р|) содержит четыре конъюнкции. Следовательно, множество маршру-
1
тов, оканчивающихся в позиции р1, содержит четыре простых маршрута.
Маршрут с началом в позиции р1, и окончанием в позиции р| обозначим как т(р2, р|). Первой
конъюнкции функции А(р|) соответствует (собранный) маршрут
т(р2, р1) = (р1, S2, s1, р1).
Аналогично: т(р3, р1) = (р^, s5, s3, S1, р1),
т(р1, р|) = (р7, s7, S5, s3, S1, р|), т(р6 , р1) = (р6,
- - - 1 ч
s5, sз, s1, р1).
Аналогично определяются м аршруты, оканчивающиеся в других позициях, а именно, число марш-
1
рутов, оканчивающихся в позиции р2 , равно 4, в позиции р31 — 2, в позиции р32 — 2, в позиции р] — 3, в позиции р\ — 3, в позиции р6 — 2, в по-
2 1 2 зиции р6 — 2, р7 — 2, в позиции р7 — 2.
Функция А(р) = А( р1) V А( р2), тогда в позиции р1 оканчиваются 4 маршрута, в позиции р2 — 4, в позиции р3 — 4, в позиции р4 — 3, в позиции р5 — 3, в позиции р6 — 4 и в позиции р7 — 4 маршрута. Итого имеем 26 простых маршрутов. Нетрудно показать, что конъюнкции, входящие в ДНФ функции А(р) для всех ,, попарно ортогональны.
Можно показать, что:
— число конъюнкций, входящих в ДНФ функции А(р.), не более к1 + 1, где к1 — суммарное ч исло стрелок, входящих в маршруты, оканчивающихся в позиции р., к, < к;
— число шагов процесса получения ДНФ функции А(р.), включая подстановки, не более 3к. + 1.
3.6. Нахождение составных маршрутов железнодорожной станции
Составной маршрут состоит из последовательности двух и более простых маршрутов. Основное свойство составного маршрута (как и простого) заключается в возможности его прохождения без остановки.
Из формулы (12) следует, что промежуточными позициями могут быть позиции р2, р3, р6, р7.
Обозначим как И(р\, р3) функцию проходимости, которая принимает единичное значение на множестве составных маршрутов, оканчивающих-
1
ся выходной позицией р1 , содержащей позицию р3 в качестве промежуточной.
Функция к(р\, р3) = у(р!)5! 52 53 х(р3)/(р3), где
/р) — функция проходимости, которая принимает единичное значение на м ножестве простых м ар-
1
шрутов, оканчивающихся выходной позицией р3.
В соответствии с рис. 2 и с помощью изложенного процесса (см. п. 3.5) построим ДНФ функции
/(р1): /(р3) = у(рз) 56 54 х(р4) V у(р1) 56 54 53 х(р\). Подставим в функцию Ъ(р\, р3) правую часть функции /(рз), получим ДНФ функции Ъ(р\, р3):
¿Ы, р3) = у(р! )5! 52 53 х(р3 )у(р3)56 54х(р3) V V у(р!) 5! 53 55 х(р3)у(р3) 56 54 53 х(р£)].
Она содержит д ве конъюнкции. Следовательно, имеем два составных маршрута с началом в пози-
1 1 1 циях р4 , р2 , концом в позиции р1 и промежуточной позиции р3:
т(р3, р3, р!) = (р3 , 54 , 56, р3 , 55 , 53 , 5з, р!),
т(р2, р3, р! ) = (р2, 52, 54 , 56, р3 , 55 , 53 , 5з, р!).
Аналогично вычисляются функции И(р\, р2),
Кр!, р6), Л(р!, р7).
Функция к(р!, р2) = 0.
Составные маршруты с промежуточными позициями р6, р7:
т(р3 , р7, р!) = (р4 , 54 , 56 , 58, р7, 55 , 53 , 5з, р!), т(р2, р7, р!) = (р3, 52, 54 , 56, 58, р7, 55 , 53 , 5з, р!),
т(р3 , р6, р!) = (р3 , 54, 56, 58 , р6, 55, 53, 5з, р!), т(р2, р6, р! ) = (р3 , 52 , 54 , 56, 53, рв, 55, 53, 5з, р!).
Аналогично определяются составные маршруты, оканчивающихся в других позициях. В результате имеем число составных маршрутов, оканчивающихся в позиции р1 — 6, в позиции р2 — 6, в позиции р3 — 0, в позиции р4 — 6, в позиции р5 — 6, в позиции р6 — 0, в позиции р7 — 0. Итого имеем 24 составных маршрутов.
3.7. Нахождение альтернативных маршрутов
Рассмотрим идею получения альтернативных маршрутов заданному маршруту т(р\, р!) = (р3,, 1
52, 53, р3), которому соответствует конъюнкция
у(р!)5! 52х(р2) функции /(р!) (формула (12)).
Альтернативные маршруты этому м аршруту м о-гут быть либо простыми маршрутами (в нашем случае их нет) либо составными. Альтернативные составные маршруты уже получены при построении функций к(р!, р3), к(р\, р7), й(р!, р6):
т(р2, р3, р!) =
= (р3 , 52, 54 , 56, (р3, р2), 55, 53, 5з, р!),
т(р3, р7, р!) = = (р3, 52, 54, 56 , 58, (р7, р3), 55, 53, 5з, р!), т(р2, р6, р! ) =
.----1,23ч - ! ч
= (52 , 54 , 56, 58 , (р6 , р6 ), 55, 53, 5з , рз ).
4. АНАЛИЗ МАРШРУТОВ
Покажем, как логические отношения между маршрутами можно определить при представлении структуры железнодорожной станции в виде системы логических функций.
В первом приближении все множество маршрутов можно разделить на совместимые, несовместимые и враждебные маршруты.
Совместимые маршруты — маршруты, по которым поезда могут двигаться одновременно и независимо друг от друга. Это маршруты, которые не имеют общих входных, выходных позиций, а также общих стрелок. Например, маршруты (см. рис. 2)
т(р3, р!) = (р2 , 52, 53, р!),
т(р4, р3) = (р3 , 54, 56, р3)
не имеют общих входных, выходных позиций, а также общих стрелок.
Вывод. Конъюнкции совместимых маршрутов не должны иметь общих переменных.
Несовместимые маршруты — маршруты, которые не м огут выполняться одновременно. Пара
маршрутов, отличающихся положением хотя бы одной стрелки, не могут выполняться одновременно, т. е. одновременное движение поездов по несовместимым маршрутам физически невозможно.
Например, конъюнкции ДНФ функции проходимости А(р) для всех р1 е Р отличаются друг от друга значением, по крайней мере, одной переменной типа s.
Вывод. Конъюнкции несовместимых маршрутов ортогональны, т. е. их произведение равно нулю.
Враждебные маршруты — пара маршрутов, по которым одновременное движение поездов может привести к аварии (столкновению). Приведем примеры враждебных маршрутов, которые могут быть выявлены путем простого анализа функций проходимости.
1. Пара м аршрутов враждебны д руг другу, если они имеют одну и ту же конечную позицию. Например, маршруты т(р|, р\) и т(р12, р\) враждебны, так как они заканчиваются в одной позиции — р3.
Вывод. Конъюнкции ДНФ функции проходимости А р1) представляют маршруты попарно враждебные маршрутам, представленными конъюнкциями ДНФ функции проходимости Ар, ) для всех ,.
2. Маршруты противоположного направления (встречное движение поездов). Например: конъюнкции у(р|)s} s2х(р2) и у(р2)s2 s2х(р\) описывают встречные маршруты. При разрешающих сигналах х(р2) = 1 и х(р|) = 1 может иметь место встречное движение поездов.
Вывод. Каждый простой маршрут и ему обратный (реверсивный) являются враждебными маршрутами.
3. Маршруты передвижений по пересекающимся и сливающимся путям. Введение дополнительных позиций в логическую модель в точки пересечения путей сводит этот случай к случаю 1.
ЗАКЛЮЧЕНИЕ
Разработаны логические модели (в виде логических функций) компонентов железнодорожных станций: железнодорожной стрелки, последовательности стрелок, станционных маршрутов поезда (прибытия, отправления, передвижения). Структура железнодорожной станции представлена в виде системы логических функций, на основе которой находится общее множество маршрутов станции. Определены логические отношения между
различными типами м аршрутов: совместимых, несовместимых, враждебных.
Полученные результаты могут быть полезны при создании систем поддержки принятия решений станционными диспетчерами.
Автор признателен д-ру техн. наук О. П. Кузнецову, конструктивная и доброжелательная критика которого способствовала улучшению статьи.
ЛИТЕРАТУРА
1. Левин Д.Ю. Диспетчерские центры и технология управления перевозочным процессом. — М.: Маршрут, 2005.
2. Cassandras C.G., Lafortune S. Introduction to discrete event systems. — Springer Science + Business Media, LLC, 2008. — 781 p.
3. Амбарцумян А.А. Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов // Автоматика и телемеханика. — 2011. — Ч. 1.: № 8. — С. 151—169; Ч. 2.: № 9. — С. 173—189.
4. Амбарцумян А.А. Потехин А.И. Групповое управление в дискретно-событийных системах // Проблемы управления. — 2012. — № 5. — С. 46—53.
5. Durmu§ M.S., Söylemez M.T. Automation Petri Net Based Railway Interlocking and Signalization Design // International Symposium on Innovations in Intelligent SysTems and Applications, INISTA'09, Karadeniz Technical University, Trabzon, Turkey, 29 June — 01 July, 2009.
6. Ordonez F., Leachman R., Mural P. Strategies for effective rail track capacity usage / Final Report METRANS Project January 16, 2010. University of Southern California1. Automation Petri Net Based Railway Interlocking and Signalization Design.
7. Потехин А.И., Браништов С.А., Кузнецов С.К. Дискретно-событийные модели железнодорожной сети // Проблемы управления. — 2014. — № 1. — С. 73—81.
8. Амбарцумян А.А. Дискретно-событийное моделирование в технических системах. Труды и пленарные доклады участников конференции УКИ'12 / Москва, ИПУ РАН, 2012. — 1 электрон. опт. диск (CD-ROM). ISBN 978-5-91450-100-3. — С. 496—522.
9. Isaksson-Lutteman G. Future Train Traffic Control: Development and deployment of new principles and systems in train traffic control / Division of Visual Information and Interaction Department of Information, Technology Uppsala University, 2012.
10. D'Ariano A, Corman F., Hansen I.A. Railway traffic optimization by advanced scheduling and rerouting algorithms / Department of Transport & Planning, Delft University of Technology. — Delft, The Netherlands, 2010.
11. Kecman P., Rob M.P., Goverde R.M.P., van den Boom Ton J.J. A Model-Predictive Control Framework for Railway Traffic Management, 2010.
12. Кузнецов О.П. Дискретная математика для инженера. — СПб.: Лань, 2009.
13. Закревский А.Д, Поттосин Ю.В., Черемисинова Л.Д. Логические основы проектирования дискретных устройств. — М.: Физматлит, 2007. — 589 с.
Статья представлена к публикации членом редколлегии
О.П. Кузнецовым.
Потехин Анатолий Иванович — канд. техн. наук,
вед. науч. сотрудник, Институт проблем управления
им. В.А. Трапезникова РАН, г. Москва, Н [email protected].
