Логические основы управления групповым движением поездов

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