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

• Валиев, Рафаил Шамилевич
• кандидат технических наук
• 2003

Оглавление диссертации кандидат технических наук Валиев, Рафаил Шамилевич

ВВЕДЕНИЕ.

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

1.1. Анализ методов построения безопасных микроэлектронных и микропроцессорных СЖАТ

1.2. Парафазные самопроверяемые схемы

1.3. Самодвойственные самопроверяемые схемы

1.4. Анализ надежности самопроверяемых структур относительно сбоев 31 Постановка задач диссертации.

2. РЕАЛИЗАЦИЯ ТРИГГЕРНЫХ СХЕМ В САМОДВОЙСТВЕННОЙ

ЛОГИКЕ

2.1. Способы построения самодвойственных устройств с памятью

2.2. Синтез самодвойственных триггеров по временной диаграмме.

2.2.1. Синтез самодвойственного Т - триггера.

2.2.2. Построение самодвойственных таблиц переходов.

2.2.3. Построение выходного преобразователя самодвойственных устройств с памятью

2.3. Синтез самодвойственных самопроверяемых триггеров с использованием самодвойственных элементов памяти.

2.4. Анализ реализаций самодвойственных триггерных схем.

Выводы по второму разделу.

-33. СИНТЕЗ ФУНКЦИОНАЛЬНЫХ ЭЛЕМЕНТОВ САМОДВОЙСТВЕННЫХ СТРУКТУР

3.1. Преобразователь самодвойственного сигнала в пространственный парафазный.

3.2. Контроль самодвойственных сигналов

3.3. По вторитель самодвойственного сигнала

3.4. Схема сравнения самодвойственных сигналов

3.5. Переключатель самодвойственных сигналов

3.6. Устройства сопряжения с объектами

3.5.1. Устройства включения исполнительных реле

3.5.2. Безопасный ввод информации 132 Выводы по третьему разделу

4. РАЗРАБОТКА И ПРИМЕНЕНИЕ САМОПРОВЕРЯЕМЫХ САМОДВОЙСТВЕННЫХ УСТРОЙСТВ

4.1. Синтез самодвойственных схем на самодвойственных триггерах

4.2. Самопроверяемые самодвойственные структуры.

4.3. Логическая часть аппаратуры сопряжения для микропроцессорной централизации стрелок и сигналов.

4.4. Повышение надежности системы диспетчерского контроля с временным разделением каналов.

4.5. Разработка и применение системы автоматической идентификации подвижного состава метрополитена.

Выводы по четвертому разделу.

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

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

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

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

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

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

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

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

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

Требование повышения эффективности управления перевозочным процессом определяет необходимость внедрения информационных систем, до недавнего времени разрабатываемых обособленно от СЖАТ. Сегодня становится все более очевидным, что максимальный эффект не может быть получен от их разрозненного внедрения. Устройства низовой автоматики должны стать начальным звеном информационной среды, обеспечивающим насыщение данными верхних информационно-управляющих систем исходной информацией. Их интеграция в общую систему управления позволяет обеспечить сбор и передачу данных о техническом состоянии устройств СЦБ и энергоснабжения, о передвижениях и техническом состоянии подвижного состава, а значит оптимизировать перевозочный процесс и работу отрасли в целом.

Основные направления исследований, изложенные в диссертационной работе, состоят в следующем:

- анализ существующих методов обеспечения надежности и безопасности СЖАТ и оценка их эффективности;

- рассмотрение предложенных ранее подходов к построению самодвойственных устройств, в том числе устройств с памятью;

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

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

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

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

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

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

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

4. Разработан алгоритм минимизации блока выходного преобразователя самодвойственных схем с памятью, построенных по временной диаграмме, и показана его эффективность.

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

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

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

8. Предложены методы повышения надежности системы диспетчерского контроля с временным разделением каналов.

9. Разработана система идентификации подвижного состава с элементами самоконтроля и предложены рекомендации по ее использованию в целях совершенствования технологии перевозочного процесса в метрополитене.

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

Выводы по четвертому разделу

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

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

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

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

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

- 175 -ЗАКЛЮЧЕНИЕ

На основании теоретических и экспериментальных исследований, выполненных в диссертационной работе, получены следующие основные выводы и результаты:

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

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

3. Доказана невозможность использования методов построения самодвойственных комбинационных устройств при синтезе схем с памятью.

4. Разработаны два новых метода построения самопроверяемых самодвойственных многотактных устройств и на их основе впервые получена и исследована функционально полная система самопроверяемых асинхронных триггеров (Т D-, RS -, R-, S-, Е- и Ж-типов). Защищенность синтезированных схем от одиночных константных неисправностей подтверждена машинным логическим моделированием их работы на входной последовательности, соответствующей полному циклу работы.

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

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

7. Определены способы построения функциональных элементов самодвойственных структур, обладающих свойством самопроверяемости и контроля входного сигнала. На их основе получены: преобразователь парафазных сигналов; фиксатор, устройства контроля и переключатель самодвоственного сигнала; самодвойственная схема сравнения; устройства сопряжения с объектами.

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

9. Разработанные самодвойственные устройства сопряжения с объектами легли в основу создания логической части аппаратуры сопряжения для микропроцессорной централизации стрелок и сигналов.

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

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

12. Предложена структура комплексной информационной системы «Ин-форм ДП», позволяющей оптимизировать планирование, прогнозирование и реализацию перевозочного процесса метрополитена.

- 177

Список литературы диссертационного исследования кандидат технических наук Валиев, Рафаил Шамилевич, 2003 год

1. Аверкиев С.А. Автоматизированная система диспетчерского контроля «ГТСС-Сектор» // Автоматика, связь, информатика. 2001. №10. С. 30 32.

2. Акита К., Накамура X. Безопасность и отказоустойчивость микропроцессорных систем сигнализации // Железные дороги мира. 1991. №6. С. 29-34.

3. Алешин В.Н. Микропроцессорная централизация стрелок и сигналов Ebilock-950 // Автоматика, связь, информатика. 2003. №1. С. 13 17.

4. Андреевских А.В. Исследование вопросов автоматического контроля исправного состояния устройств железнодорожной автоматики и телемеханики. Дис. на соиск. уч. степени к.т.н.: Л.: ЛИИЖТ, 1978. 148 с.

5. А. с. 1017570 (СССР). МКИ B61L 23/16. Устройство для включения исполнительного реле железнодорожной автоматики / Дрейман O.K., Гавзов Д.В., Бодров А.А.

6. А. с. 1017571 (СССР). МКИ B61L 23/16. Устройство для включения исполнительного реле железнодорожной автоматики / Гавзов Д.В., Дрейман O.K., Молодцов В.П., Песков И.А.

7. А.с. 1041380 (СССР). В 61 L 25/06. Устройство телеконтроля объектов железнодорожной автоматики / Соколов В.И., Филиппов Б.Н., Щиголев С.А., Масалович Г.Б., Смирнов Г.И.

8. А.с. 1234267 (СССР). В 61 L 25/06. Устройство телеконтроля объектов железнодорожной автоматики / Щиголев С.А., Соколов В.И.

9. А.с. 1311983 (СССР). В 61 L 25/06. Устройство телеконтроля объектов железнодорожной автоматики / Соколов В.И., Филиппов Б.Н., Щиголев С.А., Новиков М.А., Попов Ю.А.

10. А.с. 1348252 (CCCP).B61L25/06. Устройство телеконтроля состояния стрелок и сигналов / Соколов В.И., Щиголев С.А., Глазов Д.А., Дубров И.А.

11. Балашов Е.П., Пузанков Д.В. Проектирование информационно-управляющий систем. М.: Радио и связь, 1987. 255 с.

12. Белов В.В., Буянов В.А., Рабинович М.Д. Система автоматической идентификации подвижного состава // Автоматика, связь, информатика. 2002. №8. С. 13-17.

13. Беннеттс Р.Дж. Проектирование тестопригодных логических схем. М.: Радио и связь, 1990. 176 с.

14. Березин М.А. Кодовая электронная блокировка // Автоматика, связь, информатика. 1998. №2.

15. Валиев Р.Ш. Анализ надежности самопроверяемых структур относительно сбоев // Scientific proceeding of Riga university. Transport and engineering. Railway transport. Riga, 2003. P. 162 166.

16. Валиев P.111. Контроль самодвойственных сигналов // Сборник научных трудов. «Конструирование, сертификация и техническая эксплуатация устройств и систем железнодорожной автоматики и телемеханики». С-Пб.: ПГУПС, 2003. С. 61-67.

17. Валиев Р.Ш. Методы построения самодвойственных устройств с памятью // Неделя науки 2002 (шестьдесят вторая научно-техническая конференция с участием студентов, молодых специалистов и ученых), С-Пб., ПГУПС, 2002. С. 329 - 330.

18. Валиев Р.Ш. О свойствах парафазных схем // Межвузовский сборник научных трудов. Выпуск 23 (105). «Теория и практика железнодорожных и промышленных систем и приборов автоматики, информатики и связи». -Екатеринбург. 2002. С. 6.

19. Валиев Р.Ш. Упрощенный алгоритм построения самодвойственных устройств с памятью // Неделя науки 2002 (шестьдесят вторая научно-техническая конференция с участием студентов, молодых специалистов и ученых), С-Пб., ПГУПС, 2002. С. 321 - 322.

20. Валиев Р.Ш., Сапожников В.В., Сапожников Вл.В. Синтез самодвойственных элементов памяти // Межвузовский сборник научных трудов. Выпуск 21 (103). «Современные информационные технологии, электронные системы и приборы». Екатеринбург: 2001. С. 33-41.

21. Вербик JI. Нейронные сети минимизирующие ошибки. В кн.: Принципы самоорганизации. - Пер. с англ. под ред. А.Я. Лернера. - М.: 1966. С. 241 -265.

22. Гавзов Д.В., Бушуев С.В. Автоматическая идентификация подвижного состава на железнодорожном транспорте. // Ж.д. транспорт за рубежом. Сер.

23. Ш: Электрофикация. Автоматика и связь. Информационные технологии. ЭИ / ЦНИИТЭИ МПС. 2000 . Вып. 1. 28 с.

24. Гессель М., Дмитриев А.В., Сапожников В.В., Сапожников Вл.В. Исследование свойств самодвойственных самопроверяемых многотактных схем // Автоматика и телемеханика. 2001. № 4. С. 148 159.

25. Гессель М., Дмитриев А.В., Сапожников В.В., Сапожников Вл.В. Самотестируемая структура для функционального обнаружения отказов в комбинационных схемах // Автоматика и телемеханика. 1999. № 11. С. 162 174.

26. Гессель М., Морозов А.А., Сапожников В.В., Сапожников Вл.В. Построение самопроверяемых комбинационных схем на основе свойств самодвойственных функций // Автоматика и телемеханика. 2000. №2. С. 151 163.

27. Гессель М., Мошанин В.И., Сапожников В.В., Сапожников Вл.В. Обнаружение неисправностей в самопроверяемых комбинационных схемах с использованием свойств самодвойственных функций // Автоматика и телемеханика. 1997. № 12. С. 193 200.

28. Глазунов Л.П., Грабовецкий В.П., Щербаков О.В. Основы теории надежности автоматических систем управления: Учебное пособие для вузов. Л.: Энергоатомиздат, Ленингр. отд-ие, 1984. 208 с.

29. Горбунов Б.Л. Аппаратные средства диспетчерского комплекса АПК-ДК // Автоматика, связь, информатика. 2000. №9. С. 19-21.

30. ГОСТ 12.1.006 84. Электромагнитные поля радиочастот. Допустимые уровни на рабочих местах и требования к проведению контроля.

31. Граф Ш., Гессель М. Схемы поиска неисправностей. М.: Энергоатомиздат, 1989. 144 с.

32. Дрейман O.K., Гавзов Д.В., Илюхин М.В. Сопряжение микропроцессорных систем железнодорожной автоматики с напольными объектами // Автоматика, телемеханика и связь. 1990. №12.С. 14-17.

33. Ежов В.А. Опыт эксплуатации системы автоматического считывания информации с подвижного состава «Лотос» // Автоматика, связь, информатика. 2002. №12. С. 36- 39.

34. Иыуду К.А. Надежность, контроль и диагностика вычислительных машин и систем: Учеб. пособие для вузов по спец. "Вычислительные машины, комплексы, системы и сети". -М.: Высш. шк., 1989. 216 с.

35. Каинов В.М. Участие проектных и научных организаций в обновлении и развитии устройств СЦБ // Автоматика, связь, информатика. 2001. №10. С. 4-5.

36. Каинов В.М. Хозяйство сигнализации и связи: итоги года и новые задачи // Автоматика, связь, информатика. 2001. №5. С. 5 12.

37. Каменев А.И., Ягудин Р.Ш. Обеспечить безопасную и устойчивую работу устройств сигнализации, централизации и блокировки // Автоматика, связь, информатика. 2002. №6. С. 2 7.

38. Кошевой С.В. Устройство сопряжения микропроцессорной техники с исполнительными реле железнодорожной автоматики и телемеханики // Межвузовский сборник научных трудов Харьков: ХИИТ, 1986. С. 42 -45.

39. Левин В.И. Статистический надежностный синтез автоматов. Рига: Зи-натне, 1974. 282 с.

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

41. Миронов В.М. Выше темпы и качество проектных работ // Автоматика, связь, информатика. №10. 2001. С. 2 3.

42. Нейман Дж. Вероятностная логика и синтез надежных организмов из надежных компонент. В кн.: Автоматы. - Пер. с англ. под ред. Ляпунова А.А. -М.: 1956. С. 68- 139.

43. Овчаренко М.В. Самопроверяемые дискретные устройства железнодорожной автоматики и телемеханики. Синтез, моделирование, применение. Дис. на соиск. уч. степени к.т.н.: Л.: ЛИИЖТ, 1990. 352 с.

44. ОСТ 32.27 -92. Безопасность железнодорожной автоматики и телемеханики. Организация сбора и обработки информации о безопасности систем железнодорожной автоматики и телемеханики.

45. Островский Ю.И. Алгоритм синтеза многотактных схем, в которых невозможны критические состязания реле // Автоматики и телемеханика. 1965. №11. С. 844-859.

46. Пакулов Н.И., Уханов В.Ф., Чернышов П.Н. Мажоритарный принцип построения надежных узлов и устройств ЦВМ. М. Сов. Радио, 1974. 184 с.

47. Пархоменко П.П., Согомонян Е.С. Основы технической диагностики. М.: Энергоатомиздат, 1981. 320 с.

48. Переборов А.С., Лисовский М.П., Прокофьев А.А. Построение устройств согласования электронных схем управления с исполнительными реле // Автоматики, телемеханика и связь. 1982. №5. С. 7 11.

49. Переборов А.С., Сапожников В.В., Сапожников Вл.В., Лопуха А.Л. О построении схем электрической централизации по плану станции // Труды ЛИИЖТа. 1973. Вып. 353. С. 44-51.

50. Переборов А.С., Сапожников В.В., Сапожников Вл.В., Лопуха А.Л. Применение феррит-транзисторных элементов для построения схем электронной централизации // Труды ЛИИЖТа. 1970. Вып. 312. С. 76-91.

51. Переборов А.С., Сапожников В.В., Сапожников Вл.В., Лопуха А.Л., Прокофьев А.А. Принципы построения схем электрической централизации на феррит-транзисторных модулях // Автоматика, телемеханика и связь. №5. 1976. С. 5-8.

52. Переборов А.С., Яковлев В.П. О разработке бесконтактной системы электрической централизации // Автоматика, телемеханика и связь. №1. 1966. С. 4-7.

53. Плеханов С.П. О количестве технически реализуемых логических типов интегральных триггеров // Электронная техника. Сер. 3. Микроэлектроника. 1975. Вып. 1 (55). С. 110-112.

54. Прокофьев А.А. Разработка методов и технических средств диагностирования логических и монтажных схем железнодорожной автоматики и телемеханики. Дис. на соиск. уч. степени к.т.н.: Л.: ЛИИЖТ, 1982. 147 с.

55. РД 32 ЦШ 1115842.02 93. Безопасность железнодорожной автоматики и телемеханики. Порядок и методы контроля показателей безопасности, установленных в нормативно-технической документации.

56. РТМ 32 ЦШ 1115842.01 94. Безопасность железнодорожной автоматики и телемеханики. Методы и принципы обеспечения безопасности микроэлектронных СЖАТ.

57. Сагалович Ю.Л. Помехоустойчивое кодирование состояний асинхронного конечного автомата // Проблемы передачи информации. 1966. Т. 2. №.2. С. 54 59.

58. Сагалович Ю.Л. Сокращение памяти автомата, устойчивого к повреждениям и состязаниям его внутренних элементов // Проблемы передачи информации. 1967. Т. 3. №2. С. 73 85.

59. Сапожников В.В., Кравцов Ю.А., Сапожников Вл.В. Дискретные устройства железнодорожной автоматики, телемеханики и связи: Учебник для вузов ж.д. трансп. -М.: Транспорт, 1988. 255 с.

60. Сапожников В.В., Кравцов Ю.А., Сапожников Вл.В. Теоретические основы железнодорожной автоматики и телемеханики: Учебник для вузов / Под ред. В.В. Сапожникова. -М. : Транспорт, 1995. 320 с.

61. Сапожников В.В., Кравцов Ю.А., Сапожников Вл.В. Теория дискретных устройств железнодорожной автоматики, телемеханики и связи: Учебник для вузов ж.д. трансп. / Под ред. В В. Сапожникова, 2-е изд., перераб. и доп. М.: УМК МПС России, 2001. 312 с.

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

63. Сапожников В.В., Сапожников Вл.В. Методы синтеза надежных автоматов. Л.: Энергия, Ленингр. отд-ие, 1980. 96 с.

64. Сапожников В.В., Сапожников Вл.В. О синтезе многотактных схем, в которых невозможны критические состязания реле // Автоматики и вычислительная техника. 1968. № 5. С. 11-17.

65. Сапожников В.В., Сапожников Вл.В. Получение функций включения элементов памяти конечного автомата при кодировании состояний по столбцам таблицы переходов // Проблемы передачи информации. 1973. Том 9. №.4. С. 90-91.

66. Сапожников В В., Сапожников Вл.В. Самопроверяемые дискретные устройства. СПб.: Энергоатомиздат, 1992. 224 с.

67. Сапожников В.В., Сапожников Вл.В. Самопроверяемый фиксатор ошибок для парафазных сигналов // Автоматика и телемеханика. 1992. № 2. С. 197 -200.

68. Сапожников В.В., Сапожников Вл.В. Синтез полностью самоконтролирующихся асинхронных автоматов // Автоматики и телемеханика. 1979. №1. С. 154- 166.

69. Сапожников В.В., Сапожников Вл.В. Упрощение структуры логического преобразователя конечного автомата при кодировании его состояний по столбцам таблиц переходов // Проблемы передачи информации. 1975. Том1.. № 4. С. 77 -85.

70. Сапожников В.В., Сапожников Вл.В., Борисенко Л И. Какими должны быть микропроцессорные системы железнодорожной автоматики и телемеханики // Автоматика, телемеханика и связь. №5. 1988. С. 32 34.

71. Сапожников В В., Сапожников Вл.В., Валиев Р.Ш. Синтез самодвойственных самопроверяемых триггеров с использованием самодвойственных элементов памяти // Челябинск.

72. Сапожников В В., Сапожников Вл.В., Гессель М. Самодвойственные дискретные устройства. С-Пб.: Энергоатомиздат, Санкт-Петербургское отд-ие, 2001. 331 с.

73. Сапожников В.В., Сапожников Вл.В., Талалаев В.И. и др. Сертификация и доказательство безопасности систем железнодорожной автоматики. М.: Транспорт. 1997. 288 с.

74. Сапожников В.В., Сапожников Вл.В., Трохов В.Г. О синтезе логического преобразователя d безотказных конечных автоматов // Известия высших учебных заведений. 1976. №3. С. 268 - 273.

75. Соколов В.И., Филиппов Б.Н., Щиголев С.А., Дубров И.А. Диспетчерский контроль с временным разделением каналов // Автоматика, телемеханика и связь. 1989. №1. С. 25-27.

76. Телеуправление стрелками и сигналами: Учебник для ВУЗов ж.д. трансп. / Переборов А.С., Брылеев A.M., Ефимов В.Ю. и др.; под ред. Переборова А.С. 3-е изд., перераб. и доп. - М.: Транспорт, 1981. 390 с.

77. Федотов А.Е. Научные основы эксплуатации систем железнодорожной автоматики и телемеханики. Дис. на соиск. уч. степени д.т.н.: JL: ЛИИЖТ, 1985. 288 с.

78. Форд Р. Идентификация и определение местоположения подвижного состава // Железные дороги мира. 1999. №8. С. 25 27.

79. Христов Х.А. Електронизация на осигурителната техника. София: Техника, 1984. 355 с.

80. Швир В. Надежность электронных схем в устройствах СЦБ // Железные дороги мира. 1986. №1. С. 59-67.

81. Щиголев С.А., Швецов В.А., Сергеев Б.С. Структурная и принципиальная схемы УКП СО // Автоматика, связь, информатика. 1999. №6. С. 12-15.

82. Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966.

83. Akita К., Nakamura Н. Safety and fault-tolerance in computer-controlled signalling systems QR of Railway Technical Research Institute. 1990. Vol. 31. №2.

84. Akita K. Practical use of computerized interlocking system «SMILE» in JNR // Japanese Railway Engineering. 1985. №94.

85. Akita K., Watanable Т., Nakamura H., Okumura I. Computorized interlocking system for railway signalling control: SMILE // IEEE transactions on Industry Applications. 1985. Vol. 21. №.4.

86. Alms J., Priebe P., Staab W. Gesicherte Fahrwege fur alle Fahrzeuge von der Rangiereinheit bis zum ICE Das elektronische Stellwerk von Siemens // ETR. 1993. Vol. 42. 1/2.

87. Alms J., Priebe P., Staab W. Secure Routes for all Trains from Shunters to IECs Siemens Electronic Interlocking System // RTR. 1995. 3/4.

88. Bertrand J.C., Giambiasi N., Mercier J.J. Totally self-checking sequental circuits // Proceedings of International Symposium "Discrete system". Riga: Zinatne, 1974. Vol. 2.

89. Carter W.C., Schneider P.R. Design of dinamically checked computers. Proceedings of IFIP Congress. - Edinburg, 1968.

90. Cribbens A.H. Solid-state Interlocking (SSI): an integrated electronic signalling system for mainline railways, IEE Proceedings, 134 Pt B, 148. 1987.

91. De Sousa P.T., Mathur F.P. Sift out Modular Redudancy // IEEE Trans. 1978. Vol. С-27. №7. P. 624-627.

92. Dmitriev A., Saposhnicov VI.V., Goessel M., Saposhnicov V.V. On-line testing by self-dual duplication // Proc. 9. ITG/GI/GMM Workshop " Testmethoden und Zukverlassigkeit von Schaltungen und Systemen", Bremen. 1997. P. 43 -47.

93. Dmitriev A., Saposhnicov VI.V., Goessel M., Saposhnicov V.V. On-line testing by self-dual parity // Proc. 8 Worcshop GI/IIG/GME " Testmethoden und Zukverlassigkeit von Schaltungen und Systemen": Universitat Freiburg Report 77. 1996. P. 56-61.

94. Dmitriev A., Saposhnikov VI.V., Saposhnikov V.V., Goessel M. Self-dual duplication a new method for on-line testing // In 3rd IEEE Int. On-line Testing Workshop. Crete, Greece. 1997. P. 213 - 217.

95. Dmitriev A., Saposhnikov V.V., Saposhnikov VI. V., Goessel M. Self-dual sequential circuits for concurrent checking. IEEE European Test Workshop, Germany, Constance, 1999.

96. Dmitriev A., Saposhnikov V.V., Saposhnikov VI.V., Goessel M., Moshanin V., Morosov A. New self-dual circuits for error detection and testing // VLSI Design. 2000. Vol. 11. P. 1 -21.

97. Doppelbauer J. ELEKTRA Sicherheits- und Zuverlassigkeitsmechnismen (Mechnisms for Safety and Reliability): Paper presented at the 1st German-Austrian ENCRESS Workshop, Salzburg. 1995. №28.

98. Forin P. Principe du processeur code. Application a SACEM. 1988.

99. Gaitanis N.A. Totally Self-Checking Error Indicator // IEEE Trans. Computer. 1984. Vol. 34. № 8. P. 758 761.

100. Georges J. P. Principes et fonctionnement du Systeme d'Aide a l'Exploitation et a la Maintenance SACEM. Revue Generale des chemins de fer. 1990. №6.

101. Gertler F., Stolzenberg H.J. Das Zugbeeinflussungssystem ZUB 123 // Signal und Draht, 86. 11. 1994.

102. Gronemeyer M. SIMIS-C Die Kompaktversion des Sicheren Mikrocomputer-systems SIMIS // Signal und Draht, 79. 4. 1987.

103. Gronemeyer M. SIMIS 3116 Sicheres Microcomputersystem fur den Fahrzeugeinsatz // Signal und Draht, 84. 1/2. 1992.

104. Gronemeyer M. Sichere Mikrocomptersysteme SIMIS-3116 und SIMIS-3216 -Erfahrungen // Signal und Draht, 87. 1/2. 1995.

105. Logic synthesis and optimization Benchmarks, Report NC 27709, University of California, December, 1988.

106. Lohman H.I. URTL Ein Saltkreissystem mit Selbstaetider Faelermeldung. Signal und Draht. 1972. №1. P. 15 - 20.

107. Lohmann H.J. Sicherheit von Mikrocomputern fur die Eisenbahnsignaltechnik. Elektronische Rechenanlagen 22. Jahrgang. 5. 1980.

108. Losq J. Highly Efficient Redundancy Scheme Self-Purging Redundancy // IEEE Trans. 1976. Vol. С 25. № 6. P. 569 - 578.

109. Minero R.H., Anello A.J., Furey R.G., L.R. Palounek. Checking by psedoduplication. US PS 3660646, G06F 11/00, 1972.

110. Moshanin V., Saposhnikov VI.V., Saposhnikov V.V., Goessel M. Synthesis of self-dual multi-output combinational circuits for on- line testing // In 2nd IEEE Int. On-line testing Workshop. Biarritz, France, 1996. P. 107 111.

111. Nanya Т., Kawamura T. On Error Indication for Totally Self-Checking System // IEEE Trans. Computer. 1987. Vol. 36. № 11. P. 1389 1392.

112. Ocheretnij V., Goessel M., Saposhnikov VI.V., Saposhnikov V.V. Fault-tolerant self-dual circuits with error detection by parity and group parity prediction // 4th IEEE International On-line Testing Workshop, Capri, Italy. 1998. P. 124 -130.

113. Piestrak S.J. Design of Fast Self-Testing Checkers for a Class of Berger Codes //

114. Digest 16th Ann. Int. Conf. on Fault-Tolerant Computing. Michigan, USA. 1985. P. 418-423.

115. Reinert D. Entwurf und Diagnose komplexer digitaler Systeme. Berlin // VEB Verlag Technik. 1983.

116. Reynolds D.A., Metze G. Fault detection capabilities of alternating logic // IEEE Trans. Comput. 1978. Vol. C. 27. №12. P. 1093 1098.

117. Rutherford D. B. Fail-safe Microprocessor Interlocking An application of Numerically integrated safety Assurance Logic, IRSE Proceedings, London. 1984. P. 72-76.

118. Saposhnikov VI.V., Dmitriev A., Saposhnikov V.V., Goessel M. Self-dual parity checking a new method for on-line testing // Proc. 14th IEEE VLSI Test Symp., Princeton, New Jersey. 1996. P. 162 - 168.

119. Saposhnikov VI.V., Moshanin V., Saposhnikov V.V., Goessel M. Experimental results for self-dual multi-output combinational circuits // Journal of Electronic Testing: Theory and Applications. 1999. № 14. P. 295 300.

120. Saposhnicov VI.V., Moshanin V., Saposhnicov V.V., Goessel M. Self-dual multi-output combinational circuits with output data compaction // IEEE European Test Workshop, Italy, Gagliari, 1997.

121. Saposhnicov VI.V., Ocheretnij V., Saposhnicov V.V., Goessel M. Design of fault-tolerant circuits by self-dual duplication // Proc. Second International Workshop on Diagnostics of Electronic Circuits and Systems, Poland, Szezyrk. 1998. P. 129- 135.

122. Sellers F.F., Hsiao M.J., L.W. Bearnson. Error Detecting Logic for Digital Computers. New York, McGraw Hill. 1968.

123. Steinbrecher H. The ELECTRA System, The system for more than just electronic interlocking: IRSE, ASPECT91, London.

124. Tahvanainen A, Angvall H. Ebilock-eine flexible Losung fur verschiedene An-wendungen // Signal und Draht. 1997. №3. P. 27.

125. К расчету надежности самопроверяемых структуротносительно сбоев