5) Выбор модулей сопряжения увк с напольным оборудованием.

6) Техническая структура КГМ ПК. Состав УВК в локальной сети «Ethernet».

7) Функциональная компоновка подсистемы управления стрелками.

8) Функциональная компоновка подсистемы управления тормозными позициями.

9) Алгоритмы управления маршрутами скатывания отцепов

10) Алгоритмы расчета скоростей скатывания отцепов

11) Модель перемещения отцепов с использованием датчиков счета осей.

Как было отмечено, технологический процесс расформирования составов на СГ включает в себя комплекс тесно взаимосвязанных задач контроля и управления. Среди них особо следует выделить задачи, связанные с моделированием процессов перемещения подвижных единиц по СС и, в частности, – отцепов по участкам свободного скатывания СГ. Именно этот класс задач лежит в основе большинства алгоритмов, реализуемых в КГМ-ПК. Для решения названных задач в интеллектуальных системах управления широко используются логико-алгебраические модели, позволяющие формальными математическими средствами описывать динамику технологического процесса. Такие модели впервые были предложены Д.А. Поспеловым в рамках теории ситуационного управления сложными системами и основаны на специальных формализованных языках описания данных [14]. Большой вклад в развитие теории и практики этого подхода на железнодорожном транспорте внес С.М. Ковалев [15].256 В настоящем разделе рассматривается вариант сетевого языка описания динамических БЗ и основанная на нем логико-алгебраическая (ситуационная) модель перемещения подвижных единиц, используемая в интеллектуальной системе управления СГ. В основу построения ситуационной модели MS положена псевдофизическая логика пространственно-временных отношений. Она позволяет компактным образом представлять в системе весь обширный класс технологических ситуаций, возникающих в ходе управления процессом роспуска. При этом отпадает необходимость в использовании больших объемов памяти для хранения мгновенных состояний объекта управления, поскольку они дедуктивным способом выводятся в модели на основе небольшого числа продукционных правил. Как известно, в основе логико-алгебраической модели лежит формальная система, характеризуемая четверкой F = (S, P, A, W), (4.16) где S – множество базовых элементов; P – синтаксические правила; A – система аксиом; W – правила вывода. Поясним содержание элементов, образующих формальную систему. Множество S состоит из конечного множества элементов, используемых для обозначения конкретных событий или фактов, имеющих место при описании технологического процесса. Синтаксические правила P, или иначе, правила построения правильных формул (ППФ), используются для того, чтобы из базовых элементов S конструировать такие их совокупности, которые считаются правильными в рамках рассматриваемой системы. Обычно синтаксические правила строятся с использованием некоторых групп отношений, определенных на множестве S. Система аксиом состоит из некоторой совокупности синтаксически правильных формул, которые в рамках рассматриваемой системы всегда являются257 истинными. Наконец, правила вывода (семантические правила) W позволяют на основе имеющихся аксиом выводить новые формулы (факты), также являющиеся истинными в данной системе. При построении ситуационной модели MS в качестве базового множества S используются следующие группы понятий: ОТ – отцепы, ВГ – вагоны, ОС – оси, СТ – стрелки, РЦ – рельсовые цепи, ДСО – датчики счета осей (в дальнейшем до), МШ – маршруты, Т – моменты времени. Синтаксические правила P строятся на основе семейства отношений R, используемых для описания мгновенных состояний технологического процесса. Для разных групп отношений синтаксические правила несколько отличаются друг от друга, поэтому их описание будем приводить совместно с описанием соответствующих групп отношений. В качестве базовых в модели MS используются два класса отношений: RT – временные (темпоральные) и RL – пространственные. Помимо классов RT и RL, в качестве вспомогательного отношения в семейство R включено отношение принадлежности rp, которое используется для описания структур объекта автоматизации ОА и управления. Группу пространственных отношений RL образуют два бинарных отношения: rle – «Находиться в зоне» и rls – «Располагаться друг за другом». Данные отношения имеют вполне естественное смысловое содержание, поэтому, не прибегая к излишней формализации, ограничимся следующими примерами: (вг3 rle mn4) – вагон вг3 находится в зоне ТП mn4. (до6 rls mn4) – датчик до6 расположен перед ТП mn4. (рц4 rls рц7 rle до6) – за РЦ рц4 расположена РЦ рц7, на которой находится ДСО до6. Для определения синтаксических правил удобно воспользоваться синтаксическим графом G(RLE), приведенным на рис. 4.17. Он отражает все синтаксически правильные комбинации элементов из S, связанных258 отношением rle. Например, выражение (от rle рц), означающее, что отцеп «от» находится в зоне РЦ «рц», является синтаксически правильным, в то время как формула (от rle до), характеризующая тот факт, что отцеп «от» находится в зоне датчика «до», синтаксически неверна