Применение кода с суммированием в системах технической диагностики и мониторинга устройств железнодорожной автоматики и телемеханики тема диссертации и автореферата по ВАК РФ 05.22.08, кандидат технических наук Ефанов, Дмитрий Викторович

• Ефанов, Дмитрий Викторович
• кандидат технических наук
• 2010

Оглавление диссертации кандидат технических наук Ефанов, Дмитрий Викторович

ВВЕДЕНИЕ.

1 МЕТОДЫ ОБНАРУЖЕНИЯ ОТКАЗОВ В ЛОГИЧЕСКИХ УСТРОЙСТВАХ

1.1 Актуальность проблемы обнаружения отказов в устройствах железнодорожной автоматики

1.2 Использование избыточных кодов для построения дискретных устройств.

1.3 Постановка задачи диссертации.

2 СВОЙСТВА КОДА С СУММИРОВАНИЕМ ПО ОБНАРУЖЕНИЮ ОШИБОК В СХЕМАХ ФУНКЦИОНАЛЬНОГО КОНТРОЛЯ.

2.1 Организация функционального контроля с использованием кода с суммированием.

2.2 Определение числа необнаруживаемых ошибок.

2.3 Предельные свойства кода с суммированием по обнаружению ошибок.

2.4 Выводы.

3 ВЕРОЯТНОСТНЫЙ АНАЛИЗ КОДОВ С СУММИРОВАНИЕМ.

3.1 Расчет вероятности появления необнаруживаемых ошибок.'.

3.2 Предельные свойства вероятностных характеристик кода с суммированием.

3.3 Выводы

4 ЭКСПЕРИМЕНТАЛЬНЫЕ РЕЗУЛЬТАТЫ.

4.1 Построение генераторов и тестеров кодов с суммированием

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

4.3 Выводы.

5 ИСПОЛЬЗОВАНИЕ КОДА С СУММИРОВАНИЕМ В СИСТЕМАХ ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ И МОНИТОРИНГА СОСТОЯНИЯ

УСТРОЙСТВ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ.

5.1 Техническая диагностика и мониторинг устройств СЦБ.

5.2 Логический метод обработки данных в СТДМ.

5.3 Алгоритмы выявления технологических ситуаций.

5.4 Применение логического метода на сети железных дорог.

5.5 Технико-экономическая эффективность внедрения логического метода обработки данных

5.6 Выводы.

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

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

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

На сегодняшний день, благодаря научно-техническому прогрессу, существует большое разнообразие устройств ЖАТ: от механических и релейных и до релейно- и микропроцессорных устройств [105]. Развитие элементной базы, составляющей устройства станционных и перегонных систем управления движением поездов, предопределило большой спектр использования, как релейной, так и компьютерной техники. Подавляющее большинство систем железнодорожной автоматики на сети железных дорог Российской Федерации построено с использованием релейной техники, однако, вектор развития направлен на компьютеризацию оборудования, что не только повышает надежность и безопасность перевозочного процесса, расширяет набор технологических функций, ранее недостижимых, но и сокращает влияние так называемого «человеческого фактора» на сам процесс.

Техника ЖАТ, требует к себе надлежащего внимания - ведь любое устройство в процессе своей работы, подвергаясь воздействиям внешних и внутренних факторов, имеет свойство терять функциональные возможности, что рано или поздно приводит к такому явлению, как отказ [81]. Отказы ЖАТ, как защитные, так и опасные [49], влияют на процесс управления движением поездов, возникают как экономические, так и моральные потери. Появляется необходимость следить за состоянием устройств, обеспечивающих перевозочный процесс.

Техническое диагностирование [31] позволяет организовать контроль за устройствами ЖАТ, связанных с качеством и эффективностью перевозок.

Существует много определений понятию «техническое диагностирование». Точная и лаконичная формулировка предложена в [41], а именно, диагностирование объекта есть процесс определения его технического состояния с требуемой полнотой обнаружения (относительно состава подлежащих обнаружению дефектов или других отклонений от нормы) и глубиной поиска (относительно состава подлежащих идентификации дефектов или других нарушений исправности, работоспособности или правильного функционирования).

Разработки отечественных и зарубежных ученых позволили определить место техническому диагностированию в области ЖАТ. Это, прежде всего, построение контролепригодных схем и схем с заложенным принципом самопроверяемости. Однако, сегодня не все устройства ЖАТ обладают подобного рода свойствами, возникает потребность в организации систем, непрерывно контролирующих состояние ЖАТ. В конце XX - начале XXI века получили импульс к развитию так называемые системы технической диагностики и мониторинга устройств ЖАТ (СТДМ ЖАТ) [40].

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

Существуют различные методы обеспечения надежности функционирования логических устройств [10, 52], которыми, несомненно, являются и устройства любой СТДМ.

Целью диссертационного исследования является определение обнаруживающей способности кода с суммированием [88] в схемах функционального контроля [92], а также разработка методов использования указанного кода в системах технической диагностики и мониторинга (СТДМ).

В соответствии с целью исследования в диссертации поставлены следующие задачи:

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

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

3. Анализ вероятностных характеристик кода с суммированием в схемах функционального контроля.

4. Разработка вариантов применения функционального контроля для устройств съема диагностической информации в СТДМ.

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

6. Разработка метода анализа диагностической информации в СТДМ на основе кодирования состояний индикаторов контролируемых объектов кодом с суммированием.

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

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

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

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

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

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

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

Заключение диссертации по теме «Управление процессами перевозок», Ефанов, Дмитрий Викторович

4.3 Выводы по главе

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

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

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

4. Приведена схема организации функционального контроля блоков логических преобразований для устройств съема диагностической информации в системах технической диагностики и мониторинга на аппаратном уровне.

5 ИСПОЛЬЗОВАНИЕ КОДА С СУММИРОВАНИЕМ В СИСТЕМАХ ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ И МОНИТОРИНГА СОСТОЯНИЯ УСТРОЙСТВ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ

5.1 Техническая диагностика и мониторинг устройств СЦБ

Как упоминалось выше, в современном хозяйстве автоматики и телемеханики важную нишу занимает техническая диагностика устройств [31]. Данное направление позволяет открыть новые горизонты - организация непрерывного слежения за состоянием многих устройств, отвечающих за безопасность и эффективность перевозочного процесса. Некоторые вопросы организации систем диагностики рассмотрены в [71].

Наличие технической диагностики устройств СЦБ позволяет организовывать так называемые центры мониторинга [39], сотрудники которых анализируют состояние устройств ЖАТ. При этом существует возможность учета возникающих отказов, что в свою очередь позволяет выяснять причины их возникновения, а также принимать меры по их предупреждению и устранению.

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

Рисунок 5.1 - Постепенный отказ устройства

Сокращение числа отказов способствует повышению надежности функционирования объектов СЦБ.

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

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

Решение подобного рода задач в дальнейшем позволит автоматизировать работу по техническому обслуживанию устройств СЦБ, что в свою очередь ускорит переход на систему обслуживания указанных устройств «по состоянию» [16]. К слову, подобный принцип используется в опытной эксплуатации в Псковской и Тихвинской дистанциях сигнализации, централизации и блокировки Октябрьской железной дороги.

Рассмотрим новый подход к анализу диагностической информации -метод обработки данных, основанный на кодировании состояний возникающих в СТДМ логических ситуаций [22].

5.2 Логический метод обработки диагностической информации в СТДМ

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

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

Все множество объектов разобьем на три группы: светофоры (Б), рельсовые цепи приемо-отправочных путей (РО) и рельсовые цепи всех стрелочно-путевых секций (КС). Разделение рельсовых цепей по такому принципу будет объяснено ниже.

Положим, задан маршрут отправления с занятого приемо-отправочного-пути (рисунок 5.3). При этом горит один из светофоров (Б), и в маршруте замкнуты три рельсовых цепи стрелочно-путевых секций (ЯС) и рельсовая цепь приемо-отправочного пути (РО).

СТДМ.

СИ 5 РО

ЯС

5Ю

Рисунок 5.2 - Произвольная станция сч£ ро ¿аж

5Ю

7///\\у^////>77?\¡Ьббб&ХХф яс кс^хЖро

СЧ£ ро Г[| 171 /

5Ю

Рисунок 5.3 - Маршрут отправления с главного пути

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

Для реализации поставленных задач нам не обязательно знать состояния всех элементов индикации. Ясно, что при задании маршрута необходима лишь индикация о замыкании первой рельсовой цепи за светофором и индикация об открытии светофора на разрешающее показание при занятой рельсовой цепи приемо-отправочного пути. Это вытекает из логики работы устройств СЦБ [27] в данной ситуации (т.е. открытие светофора возможно лишь при замкнутости рельсовых цепей в маршруте, ну а замыкание производится до конечной точки маршрута - входного светофора).

Итак, уберем некую избыточность из рассмотрения и остановимся лишь на тех элементах, информация о состоянии которых нам потребуется в дальнейшем (рисунок 5.4).

ОН £

I 1Т1-1

ЯС РО

Рисунок 5.4 - Элементы, индикация о состоянии которых необходима в последующем

Опустим далее наименование «индикация о состоянии объектов» и будем для простоты использовать термин «состояние объектов» (состояние на основании данных от СТДМ).

Каждый объект, входящий в систему, изображенную на рисунке 5.4, обладает конечным количеством состояний. Если обозначить множество состояний объекта через а все возможные состояния через Б1, б*2, ., 5*, то можно в общем случае записать следующее выражение, характеризующее систему:

5.1)

Состояния объекта на основе представлений в СТДМ следующие. Состояние Я0 всегда будет соответствовать отсутствию диагностической информации об объекте при отказе устройств СТДМ. Для светофора - это индикация о состоянии:

1) свидетельствующая о горении разрешающего показания на светофоре (Б^) — на пульт-табло данное событие показывается горением зеленой лампочки на индикаторе соответствующего светофора;

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

3) свидетельствующая о неисправности светофора (Б") — мигание индикатора светофора на пульт-табло.

4) свидетельствующая об отсутствии диагностической информации о светофоре (5°,) - серый цвет индикатора светофора на пульт-табло.

Для рельсовых цепей (и ЯС и РО) — это индикация о состоянии:

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

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

3) свидетельствующая о занятости рельсовой цепи (и 5:р0) красный цвет ячеек рельсовых цепей на пульт-табло;

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

5) свидетельствующая об отсутствии диагностической информации о состоянии рельсовой цепи при отказе устройств СТДМ (и 8°ро) серый цвет индикаторов ячеек рельсовых цепей на пульт-табло.

Тогда для светофора £ справедливо следующее:

5.2)

Для рельсовой цепи приемо-отправочного пути РО:

8ро = {^ро'^ро'^ро'^ро'^ро} (5.3)

Для первой рельсовой цепи за светофором ЯС: $ГС = З'гс' ^гс }• -4)

Вернемся к выражению (5.1), откуда, к слову, непосредственно следуют выражения (5.2), (5.3) и (5.4). Будем называть элементарным событием возникновение того или иного состояния диагностируемого объекта. Например, индикация о горении светофора разрешающим показанием - элементарное событие.

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

ЗАКЛЮЧЕНИЕ

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

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

2. Доказано, что доля необнаруживаемых ошибок информационных разрядов при увеличении числа информационных разрядов в пределе стремится к нулю.

3. Установлен вид зависимости величины 0гГП вероятности необнаруживаемых ошибок информационных разрядов в коде с суммированием от числа информационных разрядов. Найден экстремум функции (2т.

4. Показано, что величина ()т в пределе стремится к нулю при увеличении числа информационных разрядов.

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

6. Составлены технические предложения по организации функционального контроля с применением кода с суммированием на программном и аппаратном уровнях в существующих устройствах съема диагностической информации СТДМ.

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

8. Проведена адаптация программного обеспечения на множестве индикаторов объектов станций Октябрьской и Московской железных дорог в АПК-ДК СТДМ.

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

Список литературы диссертационного исследования кандидат технических наук Ефанов, Дмитрий Викторович, 2010 год

1. Абрамов, Б.Б. Построение самотестируемых схем с использованием каскадного контроля Текст. / Б.Б. Абрамов, О. Керен, И.С. Левин, В.И. Островский // Автоматика и телемеханика. 2009. - №7. - С. 139-150.

2. Андерсон, Дж. Дискретная математика и комбинаторика Текст. / Дж. Андерсон. Пер. с англ. - М.: Издательский дом «Вильяме», 2004. -960 с. - ISBN 5-8459-0498-6.

3. Артин, Э. Введение в теорию гамма-функций Текст. / Э. Артин. Пер. с нем. Д. А. Райкова, изд. 2 - М.: «КД Либроком», 2009. - 40 с. - ISBN 978-5-397-00383-4.

4. Бергер, Д. О кодах, обнаруживающих ошибки в асимметричных каналах Текст. / Д. Бергер // Теория кодирования. Москва, 1964. - С. 105-115.

5. Бимуканов, М.К. Синтез быстродействующих тестеров для кодов с суммированием Текст. / М.К. Бимуканов, В.В. Сапожников, Вл.В. Сапожников // Проблемы передачи информации. Т. 25. - 1989. - №2. -С. 105-112.

6. Визирев, И.С. Полностью самопроверяемые контрольные схемы с минимальным множеством тестов Текст. / И.С. Визирев // Автоматика и вычислительная техника. 1982. - №1. - С. 43-49.

7. Вотолевский, А.Л. Внедрение автоматизированной технологии обслуживания устройств ЖАТ Текст. / А.Л. Вотолевский, Е.М. Шандин //Автоматика, связь, информатика. — 2009. №2. - С. 8-11.

8. Выгодский, М.Я. Справочник по математике Текст. / М.Я. Выгодский // М.: изд. «Астрель», 2010. 1056 с. - ISBN 978-5-271-23257-2.

9. Гавзов, Д.В. Методы обеспечения безопасности дискретных систем Текст. / Д.В. Гавзов, В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. 1994. - № 8. - С. 3-50.

10. П.Гессель, М. Исследование комбинационных самопроверяемых устройств с независимыми и монотонно независимыми выходами Текст. / Гессель М., A.A. Морозов, В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. 1997. - №2. - С. 180-193.

11. Гессель, М. Контроль комбинационных схем методом логического дополнения Текст. / Гессель М., A.B. Морозов, В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. 2005. — №8. — С. 161-172.

12. Гессель, М. Логическое дополнение — новый метод контроля комбинационных схем Текст. / Гессель М., A.B. Морозов, В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. 2003. — №1. - С. 167-176.

13. Гессель, М. Метод построения комбинационных самопроверяемых устройств с обнаружением всех одиночных неисправностей Текст. / Гессель М., A.A. Морозов, В.В. Сапожников, Вл.В. Сапожников // Электронное моделирование. Т. 20. - 1998. - №6. - С. 70-80.

14. Гессель, М. Построение комбинационных самопроверяемых устройств с монотонно независимыми выходами Текст. / Гессель М., A.A. Морозов, В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. 1994. - №7. - С. 148-160.

15. Гоман, Е.А. Автоматизация технического обслуживания устройств СЦБ Текст. / Е.А. Гоман, A.JI. Вотолевский, Е.М. Шандин, К.В. Маслов // Автоматика, связь, информатика. 2008. - №4. - С. 22-25.

16. Горожин, А.Д. Метод синтеза управляющих автоматов с обнаружением неисправностей Текст. / А.Д. Горожин // Автоматика и вычислительная техника. 1978. - №6. - С. 1-4.

17. ГОСТ 27.002-89. Надежность в технике. Основные понятия. Термины и определения Текст. Введ. 1990 - 07 - 01. - М.: Государственный комитет СССР по управлению качеством продукции и стандартам, 1989.-24 с.

18. Ефанов, А.Н. Оценка экономической эффективности инвестиций и инноваций на железнодорожном транспорте Текст. / А.Н. Ефанов, Т.П. Коваленок, A.A. Зайцев // Учебное пособие. СПб.: ПГУПС, 2001. - 149 с. - ISBN 5-7641-0086-0.

19. Ефанов, Д.В. Генератор тестера кода с суммированием на новой элементной базе Текст. / Д.В. Ефанов // Известия Петербургского университета путей сообщения. 2010. - Вып. 1. - С. 86-92.

20. Ефанов, Д.В. Метод кодирования состояний диагностируемых объектов Текст. / Д.В. Ефанов // Известия Петербургского университета путей сообщения. 2010. - Вып. 2. - С. 74-85.

21. Ефанов, Д.В. О свойствах кода с суммированием в схемах функционального контроля Текст. / Д.В. Ефанов, В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. 2010. - №6. - С. 155-162.

22. Зорин, В.А. Математический анализ. Часть I. Текст. / В.А. Зорич // М.: Наука, 1981.-544 с.

23. Зорич В. А. Математический анализ. Часть II. Текст. / В.А. Зорич // М.: Наука, 1984. 640 с.

24. История железнодорожного транспорта России и Советского Союза. Т. 2: 1917-1945 гг. Текст. / Под общей редакцией В.Е.Павлова и М.М. Уздина. СПб., 1997. - 416 с. - ISBN 5-85952-005-0.

25. Казаков, A.A. Станционные устройства автоматики и телемеханики Текст. / A.A. Казаков, В.Д. Бубнов, Е.А. Казаков // М.: Транспорт, 1990.-431 с.-ISBN 5-277-00951-5.

26. Калинин, В.М. Мои формулы Текст. / В.М. Калинин // СПб.: СПбГУ, 1996.- 106 с.

27. Кузьмин, О. В. Треугольник и пирамида Паскаля: свойства и обобщения Текст. / О.В. Кузьмин // Соросовский Образовательный Журнал. 2000. - Т. 6.-№5.-с. 101-109.

28. Кайнов, В.М. Надежная работа устройств ЖАТ — первостепенная задача Текст. / В.М. Кайнов //Автоматика, связь, информатика. -2008.-№4.-С. 4-9.

29. Карибский, В.В. Основы технической диагностики Текст. / В.В. Карибский, П.П. Пархоменко, Е.С. Согомонян, В.Ф. Халчев; под ред. П.П.Пархоменко // М.: Энергия, 1976. 464 с.

30. Карибский, В.В. Техническая диагностика объектов контроля Текст. / В.В. Карибский, П.П. Пархоменко, Е.С. Согомонян // М.: Энергия, 1967.-80 с.

31. Каталог оборудования АПК-ДК КИТ Текст. / ООО «Компьютерные Информационные Технологии». 23 с.

32. Колмогоров, А.Н. Т. 3: Теория информации и теория алгоритмов Текст. / А.Н. Колмогоров // Избранные труды: в 6 т. Мат. Институт им. В.А.Стеклова РАН. М.: Наука, 2005. - 263 с. - ISBN 5-02-0337064.

33. Лисенков, В.М. Статистическая теория безопасности движения поездов Текст. / В.М. Лисенков // Учеб. для ВУЗов. М.: ВИНИТИ РАН, 1999. - 332 с. - ISBN 5-900242-29-3.

34. Мельников, А.Г. Синтез самопроверяющихся тестеров для кодов с суммированием Текст. / А.Г. Мельников, В.В. Сапожников, Вл.В. Сапожников // Проблемы передачи информации. Т. XXII. - 1986. -№2. - С. 85-97.

35. Мехов, В.Б. Контроль комбинационных схем на основе модифицированных кодов с суммированием Текст. /В.Б. Мехов, В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. 2008 - №8. - С. 153-165.

36. Москвина, Е.А. Диагностика и мониторинг на Октябрьской дороге Текст. / Е.А. Москвина // Автоматика, связь, информатика. 2008. -№1. - С. 32-34.

37. Москвина, Е.А. Развитие центра диагностики и мониторинга Текст. / Е.А. Москвина // Автоматика, связь, информатика. 2009. - №11. - С. 2-6.

38. Нестеров, В.В. Центр диагностики и мониторинга устройств ЖАТ Текст. / В.В. Нестеров, Д.С. Першин //Автоматика, связь, информатика. 2009 - 1. - С. 29-31.

39. Пархоменко, П.П. Организация самодиагностирования дискретных многокомпонентных систем со структурой типа двудольных квазиполных графов (ДКПГ) Текст. / П.П. Пархоменко // Автоматика и телемеханика. 2009. - №5 - С. 180-189.

40. Пархоменко, П.П. Основы технической диагностики (оптимизация алгоритмов диагностирования, аппаратурные средства) Текст. / П.П. Пархоменко, Е.С. Согомонян // М.: Энергоатомиздат, 1981. 320 с.

41. Пахомов, С. 90-нанометровая технология производства процессоров Текст. / Сергей Пархомов // КомпьютерПресс. 2003. - № 1. — С. 26 — 33.

42. Позолотчикова, Я. Удаленный контроль Текст. / Я. Позолотчикова// Гудок. 2010. - июнь, 02.

43. Прищепа, M.B. Построение системы диагностирования и мониторинга устройств железнодорожной автоматики и телемеханики Текст. / М.В. Прищепа // Вестник РГУПС. 2007. - № 2. - с. 62-68.

44. Сапожников, В.В. Дискретные автоматы с обнаружением отказов Текст. /В.В. Сапожников, Вл.В. Сапожников // Л.: Энергоатомиздат, 1984.- 111 с.

45. Сапожников, Вл.В. Контроль линейных комбинационных схем Текст. / Вл.В. Сапожников // Кибернетика. 1979. - № 3. - С. 44-47.

46. Сапожников, В.В. О синтезе самопроверяемых тестеров для кода «1 из 3» Текст. /В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. 1991. - №2. - С. 178-188.

47. Сапожников, В.В. Организация функционального контроля комбинационных схем методом логического дополнения Текст. /В.В. Сапожников, Вл.В. Сапожников, A.B. Дмитриев, A.B. Морозов, М. Гессель // Электронное моделирование. Т. 24 - 2002. - №6. - С. 52-66.

48. Сапожников, В.В. Основы технической диагностики Текст. / В.В. Сапожников, Вл.В. Сапожников // М.: Маршрут, 2004. 316 с. - ISBN 5-89035-123-0.

49. Сапожников, В.В. Обнаружение неисправностей в комбинационных схемах с помощью самодвойственного контроля /В.В. Сапожников,

50. Вл.В. Сапожников, М. Гессель, A.B. Дмитриев // Автоматика и телемеханика. 2000. - №7. - С. 140-149.

51. Сапожников, В.В. Предельные свойства кода с суммированием Текст. / В.В. Сапожников, Вл.В. Сапожников, Д.В. Ефанов // Известия Петербургского университета путей сообщения. 2010. - Вып. 3. - С. 290-299.

52. Сапожников, В.В. Самодвойственные дискретные устройства Текст. / В.В. Сапожников, Вл.В. Сапожников, М. Гессель; под ред. В.В. Сапожникова // СПб: Энергоатомиздат. Санкт-Петербургское отделение, 2001. 331 с. - ISBN 5-283-04748-2.

53. Сапожников, В.В. Самопроверяемые дискретные устройства Текст. /

54. B.В. Сапожников, Вл.В. Сапожников; под ред. Сапожникова В.В. // СПб: Энергоатомиздат, 1992. 224 с. - ISBN 5-283-04605-2.

55. Сапожников, В.В. Самопроверяемые тестеры для равновесных кодов Текст. / В.В. Сапожников, Вл.В. Сапожников // Автоматика и телемеханика. 1992. - №3. - С. 3-35.

56. Сапожников, В.В. Свойства кода с суммированием по обнаружению ошибок в схемах функционального контроля Текст. / В.В. Сапожников, Вл.В. Сапожников, Д.В. Ефанов // Транспорт Урала. -2009.-№4.-С. 36-37.

57. Сапожников, В.В. Синтез конечных автоматов с обнаружением отказов на Т-триггерах Текст. /В.В. Сапожников, Вл.В. Сапожников, Л. Цегловски // Автоматика и вычислительная техника. 1979. — №1.1. C. 25-26.

58. Сапожников, В.В. Синтез самодвойственных дискретных систем Текст. / В.В. Сапожников, Вл.В. Сапожников, Р.Ш. Валиев; под ред. В.В. Сапожникова // СПб: Элмор, 2006. 224 с. - ISBN 5-7399-0130-8.

59. Сапожников, В.В. Теория дискретных устройств железнодорожной автоматики, телемеханики и связи Текст. /В.В. Сапожников, Ю.А.

60. Кравцов, Вл.В. Сапожников; под ред. В.В. Сапожникова // М.: УМК МПС России, 2001. 312 с. - ISBN 5-8903 5-051 -X.

61. Сапожников, В.В. Универсальный алгоритм синтеза самопроверяющихся тестеров для кодов с постоянным весом Текст. / В.В. Сапожников, Вл.В. Сапожников // Проблемы передачи информации. Т. XX. - 1984. - Вып. 2. - С. 65-76.

62. Сачко, В.И. Подсистема технического обслуживания и ремонта СЖАТ на автоматизированных сортировочных горках Текст. / В.И. Сачко, А:В. Мельников // Автоматика, связь, информатика. 2008. -№11.-С. 11-13.

63. Семичева, О.Ю. Разработка методики оценки инвестиций в современные системы диспетчерского контроля и управления движением поездов Текст.: дис. . канд. экон. наук: 08.00.05. / Семичева Ольга Юрьевна. СПб, 2006. - 172 с. - 61:07-8/688.

64. Сепетый, A.A. Диагностика и мониторинг на Северо-Кавказской дороге Текст. / A.A. Сепетый //Автоматика, связь, информатика.2008.-№6.-С. 6-9.

65. Сепетый, A.A. Расширение функций системы АДК-СЦБ Текст. / A.A. Сепетый // Автоматика, связь, информатика. 2009. - №1. - С. 2526.

66. Сепетый, A.A. Система комплексной автоматизации сортировочных процессов Текст. / A.A. Сепетый // Автоматика, связь, информатика.2009.-№2.-С. 6-7.

67. Сепетый, A.A. Развитие средств автоматизации в АДК-СЦБ Текст. / A.A. Сепетый, И.А. Фарапонов // Автоматика, связь, информатика. -2006. -№ 11.-С. 32-35.

68. Слабаков, Е.В. Самопроверяемые вычислительные устройства и системы (обзор) Текст. / Е.В. Слабаков, Е.С. Согомонян // Автоматика и телемеханика. 1981. - № 11. - С. 147-167.

69. Согомонян, Е.С. Построение одновыходных самопроверяемых схем встроенного контроля Текст. / Е.С. Согомонян // Автоматика и телемеханика. 1981. -№3. - С.140-151.

70. Согомонян, Е.С. Самопроверяемые устройства и отказоустойчивые системы Текст. / Е.С. Согомонян, Е.В. Слабаков // И.: Радио и связь, 1989. 208 с. - ISBN 5-256-00308-9.

71. Федорчук, А.Е. Реальный вклад в инновационные технологии автоматизации технического обслуживания СЖАТ Текст. / А.Е. Федорчук // Наука и транспорт. 2008. - С. 40-41.

72. Феллер, В. Введение в теорию вероятностей и ее приложения. В 2-х томах. Т. 1 Текст. / В. Феллер пер. с англ. // М.: Мир, 1984. - 528 с.

73. Фихтенгольц, Г. М. Курс дифференциального и интегрального исчисления. Т.2 Текст. / Г.М. Фихтенгольц // М.,1969. 799 с.

74. Фрид, Э. Малая математическая энциклопедия Текст. / Э. Фрид, И. Пастор, И. Рейман, П. Ревес, И. Ружа; пер. с венгерского Я. Кочиш, М. Соколов // Издательство академии наук Венгрии, Будапешт, 1976. 691 с.-ISBN963-05-0844-3.

75. Цикунов, А.Е. Сборник формул по математике Текст. / А.Е. Цикунов // СПб.: издательский дом «Питер», 2002. 160 с. - ISBN 588782-281-3.

76. Червонный, A.A. Надежность сложных систем Текст. / A.A. Червонный, В.И. Лукьященко, JI.B. Котин // Изд. 2-е, перераб. и доп. М.: «Машиностроение», 1976. 288 с.

77. Шабалин, А.Н. Новая технология обслуживания устройств СЦБ Текст. / А.Н. Шабалин // Автоматика, связь, информатика. 2009. -№12. - С. 23-24.

78. Шелухин, В.И. Автоматизация и механизация сортировочных горок Текст. / В.И. Шелухин // Учебник для техникумов и колледжей ж.-д. транспорта. М.: Маршрут, 2005. - 240 с. - ISBN5-89035-239-3.

79. Шишкин, Г.И. Обеспечение помехоустойчивости цифровых систем: Монография в двух частях. Часть I Текст. / Саров: ФГУП «РФЯЦ-ВНИИЭФ», 2004. 436 с. - ISBN 5-9515-0030-3.

80. Щербаков, Н.С. Структурная теория аппаратного контроля цифровых автоматов Текст. / Н.С. Щербаков, Б.П. Подкопаев // М.: Машиностроение, 1982. 191 с.

81. ADVANTECH каталог продукции Электронный ресурс. Режим доступа: [http://www.prosofl.ru/products/brands/advantech/, 05.05.2010].

82. Anderson, D.A. Design of Totally Self-Checking Check Circuits of M-out-of-N Codes Текст. / D.A. Anderson, G. Metze // IEEE Trans. Computer. -1973. V. 22. - №3. - P. 263-269.

83. Berger, J.M. A note on error detecting codes for asymmetric channels Текст. / J.M. Berger // Information and Control. 1961. - №3. - P.68-73.

84. Carter, W.C. Design of dynamically checked computer Текст. / W.C. Carter, P.R. Schneider // IFIP Congress, Edinburgh, Scotland. 1968. - P. 878-883.

85. Chuang, H.Y. Design of File-Safe Sequential Machines Using Separable Codes Текст. / H.Y. Chuang, S. Das // IEEE Trans. Computer. 1978. - V. 27. -№3. - P. 249-252.

86. Das, D. Weght-based Codes and their Application to Concurrent error detection of Multilevel circuits Текст. / S. Das, N. Touba // Proc. 17 IEEE Test Simpos., California, USA. 1999. - P. 370-376.

87. Goessel, M. Error Detection Circuits Текст. / M. Goessel, S. Graf // London.: Me Graw-Hill, 1994. 261 c.

88. Marouf, M.A. Design of Self-Checking Checkers for Berger Codes Текст. / M.A. Marouf, A.D. Friedman // In: Proc. 8th Annual Intern. Conf. on Fault Tolerant Computing, Toulouse. - 1978. - V.C-27. - P. 179-183.

89. Morozov, A. New Self-Checking Circuits by Use of Berger-codes Текст. / A. Morozov, V.V. Saposhnikov, Vl.V. Saposhnkov, M. Gossel // 3-5 JULY 2000, PALMA DE MALLORCA, SPAIN. P. 141-146.

90. Morozov, A.A. New self-checking combinational circuits with unidirectionally independent outputs Текст. / A.A. Morozov, V.V. Saposhnikov, Vl.V. Saposhnkov, M. Gossel // VLSI Design. 1998. - V.5, No.4. - P. 333-345.

91. Paradhan, D.K. Asynchronous State Assignment with Unateness Properties and Fault-Secure Design Текст. / D.K. Paradhan // IEEE Trans. Computer. 1978. - V. 27. - №5. - P. 396-404.

92. Paradhan, D.K. Error Correcting Codes and Self-Checking Circuits Текст. / D.K. Paradhan, J.J. Stiffler // In: IEEE Computer (1980), March. -P. 27-37.

93. Parag, K.Lala Salf-checking and Fault-tolerant Digital Design Текст. / K.Lala Parag // University of Arkansas, 2001, -216 c.- ISBN 0124343708.

94. Parziale, L. ТСРЯР Tutorial and Technical Overview Текст. / L. Parziale, D. Britt, C. Davis, J. Forrester, W. Liu, C. Matthews, N. Rosselot // IBM, Redbooks, 2006 976 p. - ISBN 0738494682.

95. PCI-1762-AE руководство пользователя Электронный ресурс. Режим доступа: [http://www.prosoft.ru/products/brands/advantech/, 05.05.2010].

96. Piestrak, S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes Текст. / S.J. Piestrak // Wroclaw: Technical University, 1995.- Ill p.

97. Saposhnikov, V.V. A code for fault detection in logic circuits Текст. / V.V.Saposhnikov, Vl.V.Saposhnikov // Proc. 4 Int. Conf. Unconventional Electromechanical and Electrical Syst. St. Petersburg, Russia. 1999. - P. 693-696.

98. Saposhnikov, V.V. A new Design Method for Self-Checking Unidirectional Combination Circuits Текст. / A. Morozov, V.V.Saposhnikov, Vl.V.Saposhnikov, M. Goessel // J.Electron. Testing. -1998.-№12.-P. 41-53.

99. Sellers, F.F. Error Detecting Logic for Digital Computers Текст. / F.F. Sellers, L.W. Bearnson // New York: McGraw Hill, 1968.

100. Theeg, G. Railway Signalling & Interlocking Текст. / G. Theeg, S. Vlasenko' // DW Media Group GmbH | Eurailpress, Hamburg, 1st Edition, 2009. 448 P. - ISBN 978-3-7771-0394-5.

101. Tohma, Y. Realization of Fail-Saif Sequential Machines by Using a k-out-of-N Code Текст. / Y. Tohma, Y. Ohyama, R. Sakai // IEEE Trans. Computer. 1974. - V-20. - №11. - P. 1270-1275.