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

• Автор: Савченко, Павел Владимирович
• Шифр специальности: 05.22.08
• Научная степень: Кандидатская
• Год защиты: 2007
• Место защиты: Москва
• Количество страниц: 194 с. : ил.

ОГЛАВЛЕНИЕ
Введение .

1. СИСТЕМНАЯ МОДЕЛЬ ФУНКЦИОНИРОВАНИЯ УСТРОЙСТВ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И

ТЕЛЕМЕХАНИКИ

1.1. Постановка задачи.

1.2. Моделирование морфологической структуры систем

железнодорожной автоматики и телемеханики

1.3 Моделирование результатов функционирования систем железнодорожной автоматики и телемеханики
1.4 Построение компонентной структуры системы железнодорожной автоматики и телемеханики

1.5. Выводы по 1 главе

2. КРИТЕРИИ ТЕХНОЛОГИЧЕСКОЙ ЭФФЕКТИВНОСТИ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ.
2.1. Понятие технологической эффективности систем железнодорожной автоматики и телемеханики
2.2. Критерии эффективности функционирования станционных систем железнодорожной автоматики
2.3. Критерии живучести станционных систем железнодорожной автоматики.
2.4. Выводы по 2 главе
3. МЕТОДЫ АНАЛИЗА ЖИВУЧЕСТИ СТАНЦИОННЫХ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ
3.1 Постановка задачи.
3.2. Модель ранжирования элементов станционных систем железнодорожной автоматики по критерию живучести.
3.3. Принципы построения систем железнодорожной
автоматики по критерию живучести
3.4. Обеспечение живучести станционных систем железнодорожной автоматики методом функционального резервирования.
3.5. Выводы по 3 главе.
4. ТЕХНИЧЕСКАЯ РЕАЛИЗАЦИЯ ФУНКЦИОНАЛЬНО РЕЗЕРВИРОВАНЫХ СИСТЕМ МИКРОПРОЦЕССОРНОЙ ЦЕНТРАЛИЗАЦИИ
4.1. Аппаратное резервирование систем микропроцессорной централизации.
4.2. Методы синтеза программного обеспечения в функционально резервированных современных системах микропроцессорной централизации.
4.3. Экономическая эффективность при внедрении микропроцессорных систем централизации с функционально резервированными элементами.
4.4. Выводы по 4 главе
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


Для станционной системы управления под живучестью понимается свойство системы выполнять основные функции при нарушениях работоспособности независимо от той причины, которой они вызваны (воздействие помех, отказ элемента системы, недопустимое воздействие других факторов), на время до полного восстановления работоспособности системы []. БП), (1. МЦоМПЦ=(БО,ЭЭ). В качестве второго уровня формализации Ш рассмотрим систему ЖАТ на уровне задач функционирования этой системы, который формируется путем наложения определенных условий и запретов на достижение целей. Функционирование системы ЖАТ в реальных условиях накладывает на процесс достижения целей ряд ограничений, в первую очередь - на ресурсы и возможности (максимальная наличная пропускная способность станции или участка железной дороги, технические особенности оборудования, невозможность задания некоторых маршрутов и т. МУЗ = <ИОР, ИОП>, (1. МОП — множество условий в виде ограничений на размеры последствий. Рассмотрим данные ограничения подробнее. ИОР = <МИОР, МТОР, МХОР>, (1. ШОР — множество типов ограничений на ресурсы (по времени, трудоемкости, стоимости, и т. МХОР — множество характеристик задаваемых ограничений. Рассмотрим процесс описания множества условий {ИОР) применительно к станции. A(aj' a2, . Асв светофоров, Аст стрелок, Асе секций, Апоп ириемо-отправочных путей, Аупу участков приближения и удаления, А6П внугристанционных переездов т. В свою очередь каждое из выделенных подмножеств может подвергаться дальнейшему делению на подмножества. Кроме того, множество Аст может быть разделено на подмножества стрелок по функциональному назначению: сбрасывающие, ограждающие, спаренные и т. Для остальных элементов топологического развития станции можно записать аналогичные множества подтипов. МТОР. Например, для рассмотренного ранее множества стрелок Лст можно выделить как общие, так и частные типы ограничений на ресурсы. К общим ограничениям на ресурсы можно отнести ограниченность мощности множества стрелок [ Аст ] на станции. KjAy„y и A ent N =[ A„]+[ Acm ]+[A„ ]+[A„on ]+[Ay„y ]+[Aen. Каждому типу ограничения на ресурсы можно сопоставить свою совокупность количественных характеристик А4ХОР. Аналогично могут быть представлены остальные типы ограничений на ресурсы. Тогда множество имен ограничений на ресурсы МИОР представляет собой совокупность составных имен, содержащих тип ограничения для некоторого элемента и размещение этого топологического элемента на станции, разделенных двоеточиями. Например, для конкретной стрелки на станции имя ограничения на ресурсы может иметь вид: «С 5, спаренная с С 7: ордината стрелки: с крестовиной марки 1/9: скорость движения грузового поезда: при плюсовом положении». Тогда компонент множества ИОР для данной стрелки может быть записан в предиката: «ИОР,- С 5, спаренная с С 7: с ординатой 5, с крестовиной марки 1/9: скорость движения грузового поезд: при минусовом положении должна находиться в интервале [0. В формально каждый элемент в виде условий на ограничения ресурсов можно представить: АС"Р(С1:5:1/9: [0. Аналогично можно формализовать остальные ограничения. Для системы ДЦ в общем случае в качестве условий (ИОР) ограничивающих процесс достижения целей условий ИОР можно рассмотреть топологические особенности конкретного диспетчерского участка, включающего в себя станции и перегоны. ИОП=<МИОП, МТОП,МХОП>, (1. MTOI1— множества типов ограничений соответственно на ресурсы (по времени, трудоемкости, стоимости, и т. ШОП— множества характеристик задаваемых ограничений. В данной работе в качестве ограничений на размеры последствий предлагается рассматривать нормированные значения показателей надежности, безопасности и живучести МПЦ. Под множеством имен ограничений на последствия при решении задачи для конкретной системы МПЦ подразумевается наличие конкретных имен возможных вариантов передвижений подвижного состава по станции, а под множеством типов ограничений рассматривается ограничение по времени осуществления пропуска поездов, по сложности, трудозатратам и экономическим затратам для осуществления пропуска поезда и т. Каждому типу объекта топологического развития станции множества А можно сопоставить свое множество типов ограничений на последствия ШОП.