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

ВВЕДЕНИЕ.

ГЛАВА I. СИСТЕМЫ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ КАК ОБЪЕКТЫ ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ.

1.1. Особенности систем железнодорожной автоматики и телемеханики как объектов технической диагностики.

1.2. Проблема; совершенствования методов технического обслуживания СЖАТ.

1.3. Обзор методов технической диагностики СЖАТ.

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

ГЛАВА 2. СТРУКТУРНЫЕ МОДЕЛИ КОМБИНАЦИОННЫХ АВТОМАТОВ.

2.1. Матрица совместимости

2.2. Отношения между буквами ЭНФ.

2.3. Матрица отношений.

2.4. Перечисление ЭНФ и логических структур.

2.5. Выводы.

ГЛАВА 3. ИССЛЕДОВАНИЕ СВОЙСТВ НЕИСПРАВНОСТЕЙ ЛОГИЧЕСКИХ

СХЕМ С ПОМОЩЬЮ СТРУКТУРНЫХ МОДЕЛЕЙ.

3.1. Вычисление проверяющих функций неисправностей по матрицам совместимости и отношений.

3.2. Отношения между неисправностями.

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

3.4. Формирование полного контрольного списка неисправностей.

3.5. Использование контрольных списков при построении тестов.

3.6. Выводы.

ГЛАВА 4. КОНТРОЛЕПРИГОДНЫЕ КОМБИНАЦИОННЫЕ АВТОМАТЫ.

4.1. Условия полной проверки логических схем одиночными тестами.

4.2. Избыточность в комбинационных схемах.

4.3. Легко контролируемые реализации особенных функций.

4.3.1. Линейные комбинационные схемы.

4.3.2. Схемы, реализующие симметричные функции.

4.3.3. Контроль монотонных схем.

4.4. Выводы.

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

5.1. Модели и классификация коротких замыканий.

5.2. Вычисление проверяющих функций.

5.3. Методы построения проверяющих тестов.

5.4. Анализ контролепригодности в частных случаях.

5.4.1. Бесповторные двухуровневые схемы на.элементах. И-НЕ.

5.4.2. Схемы типа ИЛИ-И.

5.4.3. Схемы, построенные на элементах, реализующих монотонные функции.

5.4.4. Короткие замыкания в несвязных схемах.

5.5. Контроль электрического монтажа.

5.5.1. Основные определения.

5.5.2. Логическая модель электрического монтажа.

5.5.3. Построение полного проверяющего теста

5.5.4. Локализация дефектов электрического монтажа.

5.6. Условия контролепригодности электрического монтажа.

5.7. Выводы.

ГЛАВА 6. СИНТЕЗ КОНЕЧНЫХ АВТОМАТОВ С САМОКОНТРОЛЕМ.

6.1. О свойстве самоконтроля конечного автомата.

6.2. Обеспечение свойства самоконтроля по внутреннему состоянию в синхронных автоматах.

6.2.1. Условия самоконтроля.

6.2.2. Автоматы на элементах памяти без фиксации воздействия.

6.3. Обеспечение свойства самоконтроля по выходному состоянию в синхронных автоматах.

6.4. Асинхронные автоматы с самоконтролем.

6.5. Контроль логического преобразователя.

6.6. Контроль выходного преобразователя.

6.6.1. Контроль ВП по внутреннему состоянию в АКА.

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

6.7. Контроль входного преобразователя.

6.8. Полностью самоконтролирующиеся автоматы.

6.9. Выводы.

ГЛАВА 7. СИНТЕЗ САМОПРОВЕРЯЮЩИХСЯ КОНТРОЛЬНЫХ СХЕМ.

7.1. Введение.

7.2. Универсальный алгоритм синтеза 1/гь -СПГ.

7.3. Синтез rf/n -СНГ.

7.4. Синтез тестеров с учетом особенностей структуры автоматов.

7.5. Совмещение контрольной схемы и логического преобразователя ПСКА.

7.6. Контрольные схемы для асинхронных автоматов.

7.7. Выводы.

ГЛАВА 8. ЦИФРОВЫЕ УСТРОЙСТВА С САМОКОНТРОЛЕМ.

8.1. Асинхронные триггерные устройства.

8.2. Асинхронные двоичные счетчики.

8.3. Синхронные триггерные устройства.

8.4. Синхронные счетчики.

8.5. Распределители.

8.6. Делители частоты.

8.7. Дешифраторы.

8.8. Выводы.

ГЛАВА 9. ПРИНЦИПЫ ОРГАНИЗАЦИИ ДИАГНОСТИЧЕСКОГО ОБЕСПЕЧЕНИЯ

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

9.1. Требования к диагностическому обеспечению СЖАТ.

9.2. Структуры контролепригодных и безопасных СЖАТ.

9.3. Принципы построения контролепригодных СЖАТ.

9.4. Новые СЖАТ и системы их технического диагностирования.

9.5. Выводы.

Железнодорожный транспорт выполняет чрезвычайно важные задачи в системе народного хозяйства нашей страны. В одиннадцатой пятилетке его роль, как отмечалось на ХХУ1 съезде КПСС, продолжает возрастать. В "Основных направлениях экономического и социального развития СССР на I98I-I985 годы и. на период до 1990 года" записано: "Основной задачей транспорта является полное и своевременное удовлетворение потребностей народного хозяйства и населения в перевозках, повышение эффективности и качества работы транспортной системы". Большие и сложные задачи поставлены перед железнодорожным транспортом в одиннадцатой пятилетке. Намечено дальнейшее увеличение грузооборота и пассажирооборота, ускорение оборота вагонов, снижение себестоимости перевозок, увеличение производительности труда. Все это требует максимального использования производственных резервов.

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

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

Указанные тенденции определяют возросшую актуальность решения центральной проблемы теории синтеза дискретных систем -проблемы построения надежных устройств из ненадежных элементов. От успехов в ее решении зависят успехи во многих областях человеческой деятельности. Первый подход в решении этой проблемы (ставший уже классическим) состоял в применении для построения отказоустойчивых систем кодов с исправлением ошибок. В теоретическом плане, начиная с первых работ М.А.Гаврилова и А.Д.За-кревского, этот подход разработан достаточно подробно и всесторонне в многочисленных публикациях. Однако в практическом плане его реализация не всегда целесообразна, так как требует введения большой избыточности.

Несколько позднее возникло другое направление в решении проблемы синтеза надежных устройств, связанное с их техническим диагностированием. Первые работы, посвященные технической диагностике логических схем, были опубликованы в конце 50-х годов С.В.Яблонским и И.А.Чегисом. Последовавшее затем бурное развитие дискретной техники вызвало интенсивные исследования в этой области. При этом разрабатывались математические модели схем и дефектов, методы вычисления тестов и дешифрации эксперимента, методы тестового и функционального диагностирования реальных систем и другие вопросы.

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

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

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

Основные направления выполненных исследований состоят в следующем:

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

- исследование общих свойств и методов обнаружения константных и неконстантных неисправностей;

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

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

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

Исследования решают крупную научную проблему создания теории синтеза контролепригодных дискретных устройств, имеющую важное народнохозяйственное значение, связанное с повышением качества, надежности функционирования и ремонтопригодности систем управления движением поездов. Диссертационная работа выполнена в рамках отраслевой научно-технической проблемы № 4.8. "Совершенствование существующих, разработка и внедрение новых устройств автоматики, телемеханики и связи с применением современной элементной базы, микро-ЭВМ и микропроцессоров", утвержденной приказом Министра Цутей Сообщения № 1122 от 26 мая 1981 г. "Основные направления развития науки и техники на железнодорожном транспорте на I98I-I985 годы".

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

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

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

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

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

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

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

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

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

9.5. Выводы

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

4. Исследована проблема сокращения контрольных списков неисправностей букв ЭНФ. Определена структура неисправностей контрольных списков. Показано, что контрольный список неисправностей кратности четьфе является основой для построения всех других списков. Установлена связь между контрольными списками неисправностей разной кратности и построен алгоритм формирования полного контрольного списка.

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

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

7. Наличие избыточности в логической схеме может привести к потере обнаруживающих свойств проверяющего теста. Показано, что проблема определения неизбыточности ЭНФ эквивалентна проблеме построения полного контрольного списка неисправностей. Структура несущественных неисправностей совпадает со структурой неисправностей контрольных списков. На основе этих положений построен алгоритм анализа ЭНФ на избыточность и выявлены структуры неизбыточных схем.

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

9. Предложен логический метод контроля электрического монтажа. Его представление в виде логической схемы ИЛИ-И дает возможность осуществить логическое моделирование дефектов. Разработаны методы построения полного проверяющего теста и одиночного теста поиска дефектов электрического монтажа. Определены условия контролепригодности электрического монтажа.

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

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

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

12. Разработаны методы синтеза синхронных и асинхронных конечных автоматов с обнаружением отказов элементов памяти, элементов логического, входного и выходного преобразователей. Контроль элементов памяти достигается за счет кодирования состояний кодом с постоянным весом и доопределения ошибочных состояний автомата в соответствии с 0- и I-реализациями. Обнаружение отказов в логическом преобразователе требует исключения пассивной избыточности, для чего используются свойства tlСW-полноты таблиц переходов. Контроль выходного преобразователя осуществляется включением его элементов в цепи обратных связей, введением дополнительных контрольных выходов, парафазной реализацией выходов. Для контроля входного преобразователя необходимо избыточное кодирование входной информации и преобразование таблицы переходов в правильную таблицу. Получены условия контролепригодности автоматов относительно одиночных коротких замыканий линий.

13. Контрольная схема является важным элементом структуры полностью самоконтролирующегося автомата. Она должна обладать свойствами контроля входного вектора и свойством самопроверки. Разработаны методы синтеза самопроверяющихся тестеров для кодов "I из " и " bS из /г которые обеспечивают существенный выигрыш по сложности по сравнению с лучшими известными тестерами. Составлен каталог самопроверяющихся тестеров.

14. Эффективным средством уменьшения сложности тестеров является взаимный учет особенностей синтезируемого автомата при построении тестера и особенностей применяемого тестера при синтезе автомата. Разработан способ совмещения структур тестера и логического преобразователя, при котором уменьшение сложности тестера достигает 80-90%.

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

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

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

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

18. Предложенные в диссертации методы и рекомендации использованы при разработке горочного программно-задающего устройства, автоматизированного устройства проверки исправности электрического монтажа, систем бесконтактной кодовой автоблокировки и автоматической локомотивной сигнализации, усовершенствованной системы электрической централизации, устройства передачи информации на сортировочных горках, автоматической системы управления роспуском составов на сортировочной горке, диагностического стенда для проверки бесконтактной аппаратуры, при создании систем контроля и программ проверки аппаратуры ПОНАБ, релейных блоков электрической централизации, блоков системы АСУ-РСГ. Данные системы разрабатывались в институте "Гипротранссигналсвязь", КБ ЦШ МПС, ЛИИЖГе, УЭМИЙТе, ТашИИТе и внедрены на 10 железных дорогах и на Ленинградском электротехническом заводе МПС. Общий подтвержденный экономический эффект от внедрения данных систем составил 800 тыс.руб. в год.

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

20. Методы, разработанные в диссертации, использованы специалистами Польской Народной Республики при разработке и модернизации систем электрической централизации типов ИМ5и ПН .

21. Материалы диссертации используются при чтении лекций по курсам "Теоретические основы автоматики и телемеханики", "Телеуправление стрелками и сигналами" и "Измерения в устройствах автоматики, телемеханики и связи" в Ленинградском, Ташкентском, Уральском институтах инженеров железнодорожного транспорта и в Грузинском политехническом институте.

1. Абрайтис Л.Б., Шейнаускас Р.И. Подсистема построения тестов автоматизированной системы технического проектирования конструктивных узлов. -В кн.: 1У Всесоюзное совещание по технической диагностике, Черкассы, 1979: Тез.докл., чЛ. М., Наука, 1979,с.48-50.

2. Абросимов А.В., Молодцов В.П., Сапожников В.В., Сапожников Вл.В., Трохов В.Г. Устройство определения проследования участка пути транспортным средством. -Авторское свидетельство № 797940. Ей № 3, 1981.

3. Абросимов А.В., Василенко М.Н., Молодцов В.П., Сапожников В.В., Сапожников Вл.В., Трохов В.Г., Онуфриев О.В. Устройство счета единиц подвижного состава. -Авторское свидетельство № 850465. БИ № 28, 1981.

4. Автоматика и связь. Выпуск ЦНИИ ТЭИ, № 6 (80), 1973.- 17 с.

5. Агаханян Т.М., Плеханов С.П. Интегральные триггеры устройств автоматики. -М.: Машиностроение, 1978. 368 с.

6. Аксенова Г.П. Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю два. Автоматика и телемеханика, 1979, № 9, с.126-135.

7. Аксенова Г.П., Согомонян Е.С. Синтез схем встроенного контроля для автоматов с памятью. Автоматика и телемеханика, 1971, № 9, с.170-179.

8. Аксенова Г.П., Согомонян Е.С. Построение самопроверяемых схем встроенного контроля для автоматов с памятью. -Автоматика и телемеханика, 1975, № 7, с.132-142.

9. Аркатов B.C. Техническая диагностика наш важнейший ре- 335 лзерв. -Автоматика, телемеханика и связь, 1977, № I, с.3-5.

10. Аркатов B.C., Диденко К.И., Иванченко В.Н., Розен D.B. Микропроцессорная техника в системах железнодорожной автоматики. Автоматика, телемеханика и связь, 1982, № I, с.4-8.

11. Бальпгем Е.И. Стенд для проверки бесконтактных блоков аппаратуры СЦБ. Автоматика, телемеханика и связь, 1979, № 2, с.П-13.

12. Бессонов А.А., Стешкович Н.Т, Турчина Е.Д. Автоматизация построения контролирующих тестов. -Л.: Энергия, 1976. 224 с.

13. Биргер А.Г. Использование отношения подобия между неисправностями при построении проверяющих тестов цифровых устройств. -Автоматика и телемеханика, 1978, № I, с.167-171.

14. Бирюков В.В., Коротаев Н.А. Диагностика неисправностей ЭЦВМ. Минск: Изд-во БГУ, 1972. - 102 с.

15. Богомолов A.M., Грунский И.С., Сперанский Д.В. Контроль и преобразования дискретных автоматов. Киев.: Наукова думка. 1975,- 174 с.

16. Богомолов A.M., Барашко А.С., Грунский И.С. Эксперименты с автоматами. Киев: Наукова думка, 1973. - 144 с.

17. Братальский Е.А., Тверицкий Р.В. Синтез схем алгебры логики методами приближающих компактных функций. Вопросы радиоэлектроники, серия ЭВТ, 1971, вып.9, с.16-18.

18. Брылеев A.M., Переборов А.С., Сапожников Вл.В., Смирнова А.В., Эйлер А.А. Теоретические основы железнодорожной автоматики и телемеханики М.: Транспорт, 1977. - 376 с.

19. Будинский Я. Логические цепи в цифровой технике. -М.: Связь, 1977. 392 с.

20. Булдыгин Ю.А., Зыков В.Г., Горженин В.Г., Мигаль Л.Н., Гринберг С.Л., Янковский Н.Ч. Применение ЭВМ для контроля монтажа.-Вопросы радиоэлектроники, серия "Технология производства и оборуffдования", 1977, выпЛ, с.94-101.

21. Василенко М.Н. Алгоритмические методы построения тестов диагностики систем железнодорожной автоматики и телемеханики.-Дис.канд.техн.наук. -JI., 1974. 257 с.

22. Василенко М.Н., Прокофьев А.А., Сапожников В.В., Сапожников Вл.В. Алгоритм построения эквивалентной нормальной формы. -Автоматика и телемеханика, 1976, № 10, с.168-174.

23. Василенко М.Н., Сапожников В.В., Сапожников Вл.В. 0 сокращении списка одиночных неисправностей при построении тестов комбинационных схем. -Автоматика и телемеханика, 1974, № 8, с.139-145.

24. Василенко М.Н., Сапожников В.В., Сапожников Вл.В. Сокращение исходной информации при построении проверяющих тестов комбинационных схем. Управляющие системы и машины, 1977, № 3, с.109-113.

25. Василенко М.Н., Сапожников В.В., Сапожников Вл.В. Об определении эквивалентных неисправностей в эквивалентных комбинационных схемах. ЦНИИ ТЭИ приборостроения, 1973, № ДР 152. - 15 с.

26. Василенко М.Н., Прокофьев А.А., Сапожников В.В., Сапожников Вл.В. Структурные методы построения эквивалентной нормальной формы. В кн.: Ш Всесоюзное совещание по технической диагностике, Минск, 1975: Тез.докл.М., Наука, 1975, с.14-15.

27. Василенко М.Н., Сапожников В.В., Сапожников Вл.В., Тро-хов В.Г. О применении эквивалентных моделей при построении тестов диагностики комбинационных схем. В кн.: Вопросы автоматизации

28. Управления движением поездов: Сб.научн.тр./Ленингр.ин-т инжен.ж.д. трансп. им.акад.В.Н.Образцова. Л.: ЛИИЖТ, 1975, вьш.383, с.65-76.

29. Василенко М.Н., Сапожников В.В., Сапожников Вл.В. Сокращение списка неисправностей при построении тестов комбинационных схем с разветвлениями. -Изв.вузов СССР. Приборостроение, 1977, т.ХХ,№ 4, с.61-66.

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

31. Гаврилов М.А. Структурная избыточность и надежность работы релейных устройств. В кн.: Труды 1-го Мезвдунар.конгр.мевдунар. федерации по автоматическому управлению. -М., Изд-во АН СССР, 1961, т.З, с.323-329.

32. Гилл А. Введение в теорию конечных автоматов. М.: Наука, 1966. - 272 с.

33. Глушков В.М. Синтез цифровых автоматов. М.: Физматгиз, 1962. - 476 с.

34. Гольдман Р.С., Чипулис В.П. Техническая диагностика цифровых устройств. М.: Энергия, 1976. - 224 с.

35. Горовой В.Р. Синтез оптимизированных структур релейных устройств с одновременным составлением таблиц тестов. Автоматика и телемеханика, 1968, № 3, с.140-152.

36. Городний А.В. и др. Запоминающее устройство с самоконтролем. Авторское свидетельство № 231274.

37. Горожин А.Д, Крайнов К.С. Построение полностью самопроверяемых комбинационных устройств с использованием полиномиальных. форм. Автоматика и телемеханика, 1979, № 12, с.159-166.

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

39. Горожин А.Д. Синтез полностью самопроверяемых синхронных автоматов с использованием полиномиальных форм. Автоматика и телемеханика, 1982, № I, с.141-150.

40. ГОСТ 20911-75. Техническая диагностика. Основные термины и определения. Издательство стандартов, 1975, - 14 с.

41. ГОСТ 20417-75. Техническая диагностика. Общие положенияо порядке разработки систем диагностирования. Издательство стандартов, 1975. - 4 с.

42. ГОСТ 23564-79. Техническая диагностика. Показатели диагностирования. Издательство стандартов, 1979. - 16 с.

43. ГОСТ 23563-79. Техническая диагностика. Контролепригодность диагностирования. Правила обеспечения. Издательство стандартов, 1979. - II с.

44. Гремальский А.А. Структурно-аналитический алгоритм построения полных проверяющих тестов комбинационных схем. Автоматикаи телемеханика, 1980, № 5, с.142-151.ч

45. Гробман Д.М., Сергеев Б.Г. Автоматизированная система контроля цифровых модулей средств вычислительной техники. Управляющие системы и машины, 1973, № I, с.86-93.

46. Данилов В.В., Колесов Н.В., Подкопаев Б.П. Алгебраическая модель аппаратного контроля автоматов. Автоматика и телемеханика, 1975, № 6, с.118-125.

47. Данилов В.В., Филиппов Ф.В. Тестовое диагностирование программ и микропроцессорных устройств. В кн.: 1У Всесоюзное совещание по технической диагностике, Черкассы, 1979: Тез.докл.,ч.П, М., Наука, 1979, с.122-124.

48. Даурова А.Т. 0 построении эквивалентной нормальной формы и ее инверсии для комбинационных устройств. Труды 2-го Всесоюзного совещания по технической диагностике. Известия ЛЭТИ, 1972, вып.118, ч.1, с.138-142.

49. Дмитренко И.Е. Теория и методы автоматического контроляи диагностики устройств СЦБ в эксплуатационных условиях.: Автореф. Дис.докт.техн.наук. М., 1979. - 46 с.

50. Дмитренко И.Е., Сахнин А.А., Дурнев А.И. Техническая диагностика устройств автоматики и телемеханики. Автоматика, телемеханика и связь, 1977, № 4, с.5-7.

51. Дмитренко И.Е. Техническая диагностика и автоконтроль в железнодорожных системах автоматики и телемеханики. М.: Транспорт, 1976. - 96 с.

52. Дубро Э.Б. О построении полного проверяющего теста комбинационного устройства при представлении его эквивалентным деревом. Автоматика и телемеханика, 1975, № I, с.154-161.

53. Дубровский А.В. Построение теста единичной длины для проверки комбинационной схемы на одиночное замыкание соединений. -Автоматика и вычислительная техника, 1980, № 2, с.56-60.

54. Дубровский А.В. Построение входной тестовой последовательности для проверки комбинационной схемы на одиночное замыкание соединений. Автоматика и вычислительная техника, 1980, № 5, с.57-59.

55. Дудниченко А.И. Контроль автоматики на сортировочных горках. Автоматика, телемеханика и связь, 1976, № 12, с.11-13.

56. Дундуа А.А., Сапожников В.В., Сапожников Вл.В., Трохов В.Г. Синтез самопроверяющихся тестеров в автоматах с обнаружением неисправностей. Автоматика и телемеханика, 1980, № 7, с.150-160.

57. Дундуа А.А., Сапожников В.В., Сапожников Вл.В. 0 кодировании состояний асинхронных автоматов кодом с постоянным весом. -Сообщения АН Грузинской ССР, 1979, т.96, № 3, с.669-672.

58. Егоренков Н.Г. Испытательные устройства диспетчерской централизации системы "Луч". Автоматика, телемеханика и связь,1979, № 5,6,7,8,9.

59. Ермилов В.А. Метод отбора существенных неисправностей для диагностики цифровых схем. Часть I. Общие выражения для неисправностей, возможных при эксперименте. Автоматика и телемеханика, 1971, № I, с.159-167. ■

60. Щуков М.В. Метод проверки кратных неисправностей в дискретных устройствах. I. Автоматика и телемеханика, 1976, № 7.

61. Забара С.С., Романкевич A.M., Руккас О.Д., Толпанов Ю.А. Об одном методе технической диагностики сложного электромонтажа.-Управляющие системы и машины, 1977, № 2, с.107-111.

62. Закревский А.Д. Алгоритмы синтеза дискретных автоматов.-М.: Наука, 1971. 512 с.

63. Илзиня И.Г, Толмачева А.ГО., Фрицнович Г.Ф. Нахождение максимальных клик графа. Автоматика и вычислительная техника, 1970, № 3, с.93-96.

64. Исследование эффективности применения новых элементов в устройствах автоматики и телемеханики на железнодорожном транспорте. Отчет НИР, ЛИИЖТ, 1981.

65. Казначеев В.И. Диагностика неисправностей цифровых автоматов. М.: Советское радио, 1975. - 256 с.

66. Карвацкий С.Б, Терпугов Г.А. Кодовые централизации РПК-2 и СКЦ-ЦНИИ. М.: Транспорт, 1968. - 144 с.

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

68. Кирьянов К.Г. К теории сигнатурного анализа. Техника средств связи. Серия " Радиоизмерительная техника", 1980, № 2 (27).

69. Коган И.В. Контроль работы логических устройств. В кн.: Синтез релейных структур: Труды Междунар.симпозиума. М., Наука, 1965, с.379-392.

70. Коган И.В. 0 построении проверяющих и диагностических тестов для комбинационных устройств. Автоматика и вычислительная техника, 1974, № I, с.37-42.

71. Корабельщиков А.И., Романов В.М. Проверка локомотивной аппаратуры АЛСН в критических режимах. Автоматика, телемеханика и связь, 1977, № 10, с.6-8.

72. Кострыкин А.И. Логический контроль релейно-контактных схем. М.: Связь, 1970, - 88 с.

73. Крыжов С.И., Переборов А.С., Прокофьев А.А., Сапожников Вл.В. Об автоматизации контроля электрического монтажа в системах железнодорожной автоматики и телемеханики. РЖ ВИНИТИ "Железнодорожный транспорт", 1981, № 3, реф. ЗД15-81.ч

74. Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. -М.: Энергия, 1978. 408 с.

75. Лейнов М.Л., Качалуба B.C., Рыжков А.В. Цифровые делители частоты на логических элементах. М.: Энергия, 1975. - 128 с.

76. Лопуха А.Л., Сапожников В.В., Сапожников Вл.В. Синтез синхронных автоматов с самоконтролем по выходное состоянию. Известия АН СССР. Техническая кибернетика, 1981, № I, с.144-149.

77. Мадатян Х.А. О контролируемости логических схем. В кн.: Сб.работ по мат.кибернет.Вычисл.центр АН СССР. - 1976, вып.1,с.5-12.

78. Мазнев В.И. Синтез полностью самопроверяемых последовательностных схем. -Автоматика и телемеханика,1977,№ 6, с.167-175.

79. Мазнев В.И. О синтезе самотестируемых 1/р-тестеров. Автоматика и телемеханика, 1978, № 9, с.142-145.

80. Мальцев А.И. Алгебраические системы. М.: Наука, 1970.- 392 с.

81. Мелихов А.Н. Ориентированные графы и конечные автоматы.- М.: Наука, 1971, 416 с.

82. Мелкадзе Т.Г., Сапожников В.В., Сапожников Вл.В. Свойства кратных неисправностей в контактных схемах, Автоматика и телемеханика, 1981, № II, с.139-146.

83. Меньшиков Н.Я., Королев А.И., Ягудин Р.Ш. Надежность железнодорожных систем автоматики и телемеханики. М.: Транспорт, 1976. - 215 с.

84. Микони С.В. Метод построения тестов комбинационных автоматов. Автоматика и вычислительная техника, 1969, № 6, с.24-29.

85. Микони С.В., Дубровский А.В. О контроле коротких замыканий в комбинационных автоматах. В кн.: Применение электронныхвычислительных машин при решении железнодорожных задач: сб.научн. тр.Л., ЛИИЖГ, 1972, вып.335, с.112-119.

86. Микони С.В., Дубровский А.В. Замыкания в электронных схемах и их модели. Электронная техника, 1976, серия 8, вып.4 (46), с.15-23.

87. Мозгалевский А.В., Гаскаров Д.В. Техническая диагностика. М.: Высшая школа, 1975. - 207 с.

88. Мотеюнас К.Л., Шейнаукас Р.И. Влияние коротких замыканий на эквивалентную нормальную форму и обратную эквивалентную нормальную форму. В кн.: Совершенствование методов автоматизированного проектирования средств цифровой техники. - Каунас, 1978, с.25-29.

89. Мотеюнас К.Л. Метод построения контролирующих тестов для коротких замыканий. В кн.: 1У Всесоюзное совещание по технической диагностике, Черкассы, 1979: Тез.докл., ч.1, М., Наука,с.95-98.

90. Носков В.Н. 0 сложности тестов, контролирующих работу входов логических схем. Математические заметки, 1975, т.18, № I,с .137-150 .Г)

91. Норкин Р.Г. Об одной задаче, возникающей при построении контролирующих тестов для логических сетей. Автоматика и телемеханика, 1975, № 6, с.126-131.

92. Обнаружение и исправление ошибок в дискретных устройствах/ под ред.В.С.Толстякова. М.: Советское радио, 1972. - 288 с.

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

94. Островский В.И., Поттосин D.B. Исследование алгоритмов поиска максимальных полных подграфов в симметричном графе.- Автоматика и вычислительная техника, 1970, № 2, с.19-26.

95. Пархоменко П.П. Диагноз технического состояния дискретныхустройств методом выделения подозреваемых неисправностей. I. Комбинационные устройства. Автоматика и телемеханика, 1971, № 6, с.126-137.

96. Пархоменко П.П., Правильщиков П.Л. Диагностирование программного обеспечения. Автоматика и телемеханика, 1980, № I.

97. Пархоменко П.П., Согомонян Е.С., Томфельд Ю.Л. Назначение, принципы построения и технические характеристики ряда проверочных универсальных машин типа ПУМА. В кн.: Техническая диагностика. -М.: Наука, 1972, с.303-306.

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

99. Паршина Н.А. Синтез легко диагностируемых комбинационных схем методом факторизации тупиковых ДНФ. Автоматика и вычислительная техника, 1980, № 4, с.68-74.

100. Переборов А.С., Шацев Н.З., Федотов А.Е., Качмарская O.K. Демографическая ситуация и проблемы развития отрасли. Автоматика, телемеханика и связь, 1979, № 10, с.2-4.

101. Переборов А.С., Сапожников В.В., Сапожников Вл.В., Лопуха А.Л., Прокофьев А.А. Устройство электрической централизации стрелок и сигналов. Авторское свидетельство № 520286. ЕЙ № 25, 1976.

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

103. Переборов А.С., Бойков А.В., Василенко М.Н., Молодцов В.П, Крыжов С.И., Прокофьев А.А., Сапожников В.В. Устройство для автоматической проверки параметров электрических цепей. Авторское свидетельство № 883805. БИ № 43, 1981.

104. Перникис Б.Д., Ягудин Р.Ш. Поиск и устранение неисцрав-ностей в устройствах СЦБ. М.: Транспорт, 1977. - 160 с.

105. Поспелов Д.А. Логические методы анализа и синтеза схем.-М.: Энергия, 1974. 368 с.

106. Разработка конструкторских документов для изготовления увязки видеотерминала с АХР. Отчет НИР, ЛИИЖТ, 1977. - 41 с.

107. Разработка, изготовление и испытания горочного программно-задающего устройства на базе видеотерминала пВидеотон-340п в увязке с EC-I0I0 для параллельного роспуска составов. Отчет НИР, ЛИИЖТ, 1978.

108. Разработка автоматизированного устройства проверки исправности электрического монтажа. Отчет НИР, ЛИИЖТ, 1979. - III с.

109. ИЗ. Разработка блоков сопряжения видеотерминала, оснащенных средствами технической диагностики, с устройствами горочной автоматики. Отчет НИР, ЛИИЖТ, 1979.

110. Разработка необслуживаемой системы бесконтактной кодовой автоблокировки. Отчет НИР, ЛИИЖТ, 1979, - 98 с.

111. Разработка необслуживаемой системы бесконтактной кодовой автоблокировки. Отчет НИР, ЛИИЖТ, 1980.

112. Рогинский В.Н. Построение релейных схем управления. -М.Л.: Энергия, 1964. 424 с.

113. Романкевич A.M. Методы и средства повышения эффективности систем диагностирования цифровых схем за счет Использования резервов времени контроля.: Автореф. Дис.докт.техн.наук. Киев, 1980. - 48 с.

114. Романкевич A.M., Валуйский В.Н., Остафин В.А. Структурно-временная избыточность в управляющих схемах. Киев: Вища школа, 1979. - 160 с.

115. Сапожников В.В., Сапожников Вл.В. Контроль работы логических устройств. В кн.: Железнодорожная автоматика и телемеханика на бесконтактных элементах: Сб.научн.тр.Л., ЛИИЖТ, 1967,с.94-107.

116. Сапожников В.В., Сапожников Вл.В. Построение проверяющих тестов для однотактных схем. В кн.: Железнодорожные системы автоматики и телемеханики с применением бесконтактных элементов: Сб. научн.тр.Л., ЛИИЖТ, 1970, вып.312, с.92-102.

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

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

119. Сапожников В.В., Сапожников Вл.В., Трохов В.Г. О синтезе и контроле защищенных автоматов. В кн.: Новые элементы и системы автоматики и телемеханики на железнодорожном транспорте: Сб. научн.тр.Л., ЛИИЗЙТ, 1976, вып.391, с.80-90.

120. Сапожников В.В., Шумаков В.М. 0 применении модели эквивалентной нормальной формы для анализа релейно-контактных схем.-Вкн.: Исследование элементов автоматики и связи на железнодорожном транспорте: Сб.научн.тр.Ташкент, ТашИИТ, 1976, вып.127, с.24-30.

121. Сапожников В.В., Сапожников Вл.В., Трохов В.Г. Синтез асинхронных конечных автоматов с обнаружением отказов. Автоматика и телемеханика, 1977, № 4, с.139-148.

122. Сапожников В.В., Сапожников Вл.В., Трохов В.Г. Синтез конечных автоматов со свойством самоконтроля. Автоматика и вычислительная техника, 1977, № 3, с.6-11.

123. Сапожников В.В., Сапожников BiuB. Применение избыточных кодов для обнаружения отказов в асинхронных конечных автоматах. -В кн.: Седьмой Всесоюзный симпозиум по проблеме избыточности в информационных системах: Тез.докл., Л., 1977, ч.Ш, с.57-60.

124. Сапожников В.В., Сапожников Вл.В. Кодирование состояний конечного автомата с упрощением логического преобразователя.- Проблемы передачи информации, 1977, т.З, вып.4, с.72-80.

125. Сапожников В.В. 0 множестве отношений между путями в комбинационных схемах. В кн.: Автоматическое управление на железнодорожном транспорте: Сб.научн.тр.Л., ЛИИЖГ, 1977, вып.404,с.56-65.

126. Сапожников В.В. Об отношениях между неисправностями в комбинационных логических схемах. Автоматика и телемеханика,1978,1. I, с.167-171.

127. Сапожников В.В., Сапожников Вл.В., Трохов В.Г. Асинхронные конечные автоматы с самоконтролем. В кн.: Вопросы технической диагностики. - Ростов-на-Дону, 1977, вып.17, с.52-56.

128. Сапожников В.В., Сапожников Вл.В., Цегловски Л. Синтез самоконтролирующихся схем на Т-триггерах. -Труды Международного симпозиума "Надежные системы и диагностика", Гданьск, 1978,с.265--275.

129. Сапожников В.В., Сапожников Вл.В., Шумаков В.М. О контроле контактных схем. Автоматика и телемеханика, 1978, № II,с.175--182.

130. Сапожников В.В., Сапожников Вл.В., Чухонин В.М. Обнаружение коротких замыканий в комбинационных схемах. Автоматика и вычислительная техника, 1978, № 6, с.31.

131. Сапожников Вл.В. О контроле линейных схем и полинома Же-галкина. В кн.: Автоматика, телемеханика и вычислительная техника на железнодорожном транспорте: Сб.научн.тр. Л., ЛИИЖГ, 1978,с.47-56.

132. Сапожников В.В., Сапожников Вл.В., Шумаков В.М. Преобразования переменных и диагностические свойства функций алгебры логики . В кн.: Автоматика, телемеханика и вычислительная техника на железнодорожном транспорте: Сб.научн.тр.Л., ЛИИЖГ, 1978,с.90-99.

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

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

135. Сапожников В.В. Контроль линейных комбинационных схем.

136. Кибернетика, 1979, № 3, с.44-47.

137. Сапожников В.В., Сапожников Вл.В. Об одном классе легко контролируемых схем. Автоматика и телемеханика, 1979, № 10,с.129-132.

138. Сапожников В.В., Сапожников Вл.В., Трохов В.Г. Синтез синхронных конечных автоматов с обнаружением неисправностей. В кн.: Теория конечных автоматов и ее приложения. - Рига, 1979, № 10, с.3-20.

139. Сапожников В.В., Сапожников Вл.В., Чухонин В.М. Диагностика логических устройств методом сравнения с эталоном. В кн.: Автоматика и телемеханика на железнодорожном транспорте: Сб.научн. тр.Л., ЛИЖГ, 1979, с.48-65.

140. Сапожников Вл.В. 0 свойстве самоконтроля конечных автоматов. В кн.: Автоматика и телемеханика на железнодорожном транспорте: Сб.научн.тр.Л., ЛИЙЗКТ, 1979, с.82-90.

141. Сапожников Вл.В. О перечислении контактных схем. В кн.: Автоматика и телемеханика на железнодорожном транспорте: Сб.научн. тр.Л., ЛИИЖГ, 1979, с.142-150.

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

143. Сапожников В.В., Сапожников Вл.В. Алгоритмы синтеза синхронных конечных автоматов с обнаружением отказов. Известия АН СССР. Техническая кибернетика, 1980, № 2, с.183-189.

144. Сапожников В.В., Сапожников Вл.В., Мелкадзе Т.Г. О формировании контрольных списков неисправностей в контактных схемах. В кн.: Теоретическая радиотехника: Сб.научн.тр.Тбилиси, ГШ, 1980, № 10 (231), с.62-65.

145. Сапожников В.В. Метод синтеза самоконтролирующихся асинхронных конечных автоматов. В кн.: Вопросы технической диагностики. - Ростов-на-Дону, РИСИ, 1980, с.102-109.

146. Сапожников В.В., Сапожников Вл.В., Трохов В.Г. Триггер-ное устройство со счетным входом. Авторское свидетельство805480. ЕИ № 6, 1981.

147. Сапожников В.В., Сапожников Вл.В., Трохов В.Г. Синтез самоконтролирующихся конечных автоматов на 0К-триггерах. РЖ ВИНИТИ "Железнодорожный транспорт", 1981, № 3, реф.ЗД17-81.

148. Сапожников Вл.В. Контроль и диагностика компактных функций. РЖ ВИНИТИ "Железнодорожный транспорт", 1981, № 3,реф. ЗД4-81.

149. Сапожников В.В., Сапожников Вл.В., Молодцов В.П., Чу-хонин В.М. Построение систем передачи и преобразования информации с контролем в процессе функционирования. В кн.: Вопросы технической диагностики. - Ростов - на - Дону, РИСИ, 1981,с.34-38.

150. Сапожников Вл~В. 0 типах полностью самоконтролирующихся автоматов. РЖ ВИНИТИ "Железнодорожный транспорт", 1981, № 3, реф.ЗД16-81.

151. Сапожников В.В., Сапожников Вл.В., Чухонин В.М. Обнаружение коротких замыканий в комбинационных схемах типа ИЛИ-И и ИЛИ-И--ИЛИ. Автоматика и вычислительная техника, 1981, № б, с.30-31.

152. Сапожников В.В., Сапожников Вл.В., Дундуа А.А. О контроле дискретных устройств железнодорожной автоматики. В кн.: Железнодорожный транспорт: Сб.научн.тр.Тбилиси, ГПИ, 1981, № 6 (238), с.55-59.

153. Сапожников Вл.В. О надежности автоматов с контролем в процессе функционирования. В кн.: Новые разработки в области железнодорожной автоматики и телемеханики: Сб.научн.тр.Л., ЛИИЖТ, 1981, с.56-61.

154. Сапожников Вл.В. Контроль исправности фундаментального симметричного многополюсника. В кн.: Новые разработки в области железнодорожной автоматики и телемеханики: Сб.научн.тр.Л., ЛИИЖГ, 1981, с.77-84.

155. Сапожников В.В., Сапожников Вл.В., Трохов В.Г., Дундуа А.А. О синтезе тестеров в самоконтролирующихся автоматах. -В кн.: Техническая кибернетика: Сб.научн.тр.Тбилиси, ГПИ, 1981, № 7 (239). с.78-83.

156. Сапожников В.В., Сапожников Вл.В., Хорунов Ш.Р. Об одном способе контроля конечных автоматов. В кн.: Вопросы кибернетики. - Ташкент, 1981, вып.ИЗ, с.29-34.

157. Сапожников В.В., Сапожников Вл.В., Чухонин В.М. Обнаружение кратных коротких замыканий в комбинационных схемах. В кн.:

158. Автоматизация конструкторского проектирования в радиоэлектронике и вычислительной технике. -Вильнюс, 1981, с.132-139.

159. Сапожников В.В., Василенко М.Н., Молодцов В.П., Прокофьев А.А., Крыжов С.И., Бойков А.В. Устройство контроля монтажа.-Информационный листок, ЛЦНТИ, 1981, № 249-81 НТД.

160. Сапожников В.В., Сапожников Вл.В. Каталог самопроверяющихся -тестеров. Автоматика и вычислительная техника, 1982, № 5, с.77.

161. Сапожников В.В., Сапожников Вл.В., Трохов В.Г. Парафаз-ное триггерное устройство со счетным входом. Авторское свидетельство № 921048. БИ № 14, 1982.

162. Сборник трудов П Всесоюзного совещания по технической диагностике. Известия ЛЭТИ, вып.118, чЛ, П, Л., 1972.

163. Селлерс Ф. Методы обнаружения ошибок в работе ЭЦВМ. -М.: Мир, 1971. 310 с.

164. Скляревич А.Н. Логические методы проверки комбинационных автоматов. Рига: Зинатне, 1975, - 200 с.

165. Слабаков Е.В. Построение полностью самопроверяемых комбинационных устройств с использованием остаточных кодов. Автоматика и телемеханика, 1979, № 10, с.133-141.

166. Слабаков Е.В., Согомонян Е.С. Построение полностью самопроверяемых комбинационных устройств с использованием равновесных кодов. Автоматика и телемеханика, 1980, № 9, с.173-181.

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

168. Слободов М.С., Иоффе Я.С. Построение теста для контроля одиночных замыканий в бесповторных логических схемах. В кн.: Управление и информация. Техническая диагностика больших систем. - Владивосток, 1974, вып.14, с.38-45.

169. Согомонян Е.С. Построение дискретных объектов с диагностикой в процессе функционирования. Автоматика и телемеханика,1970, № II, с.153-160.

170. Согомонян Е.С. Применение методов и средств функционального диагностирования при построении самовосстанавливаемых дискретных объектов. Автоматика и телемеханика, 1975, № 10, с.144-158.

171. Согомонян Е.С. Построение одновыходных самопроверяемых схем контроля. Электронное моделирование, 1980, № 4, с.26-32.

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

173. Соколов В.И., Сапожников В.В., Сапожников Вл.В., Вали-ев Ш.К. Кодовый трансмиттер. Авторское свидетельство № 780195, ЕЙ № 42, 1980.

174. Соколов В.И., Сапожников В.В., Сапожников Вл.В., Вали-ев Ш.К. Распределитель импульсов. Авторское свидетельство843237. БИ № 24, 1981.

175. Соловьев Н.А. Тесты (теория, построение, применение). Новосибирск: Наука, 1978. - 187 с.

176. Труды I Всесоюзного совещания по технической диагностике. М.: Наука, 1972.

177. Тезисы докладов Ш Всесоюзного совещания по технической диагностике. -М.: Наука, 1975.

178. Тезисы докладов 1У Всесоюзного совещания по технической диагностике. 4.1 и 2. М., 1979.

179. Убар P.P. Анализ диагностических тестов для комбинационных схем методом обратного прослеживания неисправностей. Автоматика и телемеханика, 1977, № 8.

180. Удалов B.C. Двоичный счетчик с контролем ошибок. Авторское свидетельство № 231274.

181. Фатеев Б.П., Кирьянов К.Г., Соловейчик Э.Б. Методы диагностики современной радиоэлектронной аппаратуры.Сигнатурный анализ. Техника средств связи. Серия "Радиоизмерительная техника", 1980, № I (26).

182. Федотов А.Е., Стукан В.Л. Влияние методов технического обслуживания устройств автоматики и телемеханики на рост производительности труда. Автоматика, телемеханика и связь, 1979, № 10, с. 4-8.

183. Халчев В.Ф. Построение проверяющего теста для комбинационных схем. Автоматика и телемеханика, 1970, № 10, с.166-171.

184. Чегис И.А., Яблонский С.В. Логические способы контроля работы электрических схем. Труды Матем.ин-та АН СССР им.В.А.Стек-лова, 1958, т.51, с.226-269.

185. Чжен Г., Мэннинг Е., Метц Г. Диагностика отказов цифровых вычислительных систем. М.: Мир, 1972. - 232 с.

186. Яблонский С.В., Чегис И.А. 0 тестах для электрических схем. Успехи математических наук, 1955, т.10, вып.4 (66).

187. Abramovici М«, Breuer М.А. On Redundancy and Fault Detection in Sequential Circuits. IEEE Trans. Comput., 1979,v. C-28, No.11, p.863-865.

188. Akers S.B. On a Theory of Boolean Functions. Journal

189. SIAM, 1959, v.7» No.p.487-4-98.199» Anderson D.A., Metze G. Design of Totally Self-Checking Check Circuits for m-out-of-n Codes. IEEE Trans. Comput., 1973, v. 0-22, No.3, p.263-269.

190. Arlat J., Crouset Y., Landrault C. Operationally Secure Microcomputers. International Simposium Fault-Tolerant Systems and Diagnostics, FTSD'78, Gdansk, 1978, p.1-9.

191. Armstrong D.B. On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic Nets. IEEE Trans. Electron. Comput., 1966, v. EC-15, No. 1, p.66-73

192. Armstrong D.B. Deductive Method for Simulating Faults in Logic Circuits. IEEE Trans. Comput., 1972, v. C-21, N0.5.

193. Ashjaee M.J., Eeddy S.M. On totally self-checking checkers for separable codes. IEEE Trans. Comput., 1977, vol. C-26, N0.8, p.737-744.

194. Badagliacca L., Catteron E. Combining diagnosis and emulation yields fast fault-finding. Electronics, 1977, v.50, No.23, p.107-110.

195. Berger J.M. A note on error detection codes for asymmetric cannels.- Inform, and Control, 1961, No.4, p.68-73.

196. Bertrand J.C., Giambiasi N., Mercier J.J. Totally self checking sequential circuits. International Symposium "Discrete Systems", Eiga, 1974, v. 2, p.36-44.

197. Betancourt E. Derivation of minimum test sets for unate logical circuits.-IEEE Trans. Comput., 1971, v.C-20, No.11,p.1264-1269.

198. Bossen D.C., Hang S.J. Cause-effect analysis for multiple fault detection in combinational networks. IEEE Trans. Comput., 1971, v. С-20, No.11.

199. Breuer M.A. Generation of fault tests for linear logic networks. -IEEE Trans. Comput., 1972, v. C-21, No.1, p.79-83.

200. Carter W.C., Duke K.A., Schneider P.R. Self-checking error for K-out-of-N codes data.- U.S.A. Patent 3559168, 1971.

201. Ceglowski L., Sapoznikow W.W., Sapoznikow Wl.W. Synteza strukturalna ukladow logicznych z wymaszonymi przejsciami cyclicz- i nymi. Zeszyty Nankowe Politechniki Swietokrzyskiej, Kielce, Transport, 1977, s. 21-32.

202. Cheng R.M.H. Designing sequential control with fault-detection. Fluidics Quart, 1975, v.7, No.1, p.77-88.

203. Chuang H.Y.H. Pail-safe asynchronous machines with multiple-input changes. -IEEE Trans. Comput., 1976, v. C-25, No.6, p.637-642.

204. Chung H.Y., Chappel S.G., Elmendorf C.H. Comparison of parallel and deductive fault simulation methods. IEEE Trans. Comput., 1974, v. С-23, No.11, p.1132-1138.

205. Ciompi P., Simoncini L. Analysis and optimal design of self-diagnosable systems with repair. IEEE Trans. Comput., 1979, v. C-28, N0.5, p.362-365.

206. Coy W. Drei Komplexitatsmasse sweistufiger normalformen Boolescher Eunktionen. beet. Notes Comput. Sci., 1975» 26,p.161-169.

207. Coy W. On the design of easily testable iterative systems of combinational cells. IEEE Trans. Comput., 1979, v.C-28, No.5, P.367-371.

208. Coy W. On easily an minimally testable sequential logic.-Proceedings of the 5th International seminar applied aspects of the automata theory, v.2, Varna, Bulgaria, 1979, p.568-573»

209. Curtis H.A. Systematic procedures for realizing synchronous sequential machines using flip-flop memory. Part I. -IEEE Trans. Comput., 1969, v. C-18, No.12, p. 1121-1127.

210. Curtis H.A. Systematic procedures for realizing synchronous sequential machines using flip-flop memory. Part II. IEEE Trans. Comput., 1970, v. C-19, No.1, p.66-73.

211. Dandapani E., Beddy S.M. On the design of logic networks with redundancy and testability considerations. IEEE Trans. Comput., 1974, v. С-23, No.11, p.1139-1149.

212. Dandapani E. Derivation of minimal test sets for mono-tonic logic circuits. IEEE Trans. Comput., 1973, v. C-22, No.7, p. 657-661.

213. David E. A totally sel-cheeking 1-out-of-3 checker. -IEEE Trans. Comput., 1978, v. C-27, No.6, p.570-572.

214. Dias F.J.O. Fault masking in combinational logic circuits.-IEEE Trams. Comput., 1975, v. C-24, No.5, Р.476-Л82.

215. Diaz M. Design of self-testing machines using k-out-of-N codes and totally self-checking output networks. International Symposium "Discrete Systems", Eiga, 1974, v.2, р.97-Ю8.

216. Diaz M., Geffroy J., Courvoisier M. On set realization of fail-safe sequential machines. IEEE Trans. Comput., 1974, v. C-23, No.2, p.133-138.

217. Diaz M., Azema P., Ayache J.M. Unified design of self-checking and fail-safe combinational circuits and sequential machines. IEEE Trans. Comput., 1979, v. C-28, N0.3, p.276-281.

218. Floutier D. Identification of redundancy in combinatinal logic networks. Digital Proceesus, 1979, N0.5, P.59-72.

219. Fridrich M., Davis W.A. Minimal fault tests for combinational networks. IEEE Trans. Comput., 1974, v. C-23, N0.8,p. 850-859.2J0. Friedman A.D., Mennon P.R. Fault Detection in Digital Circuits. -Englewood Cliffs, New Jersey, Prentice-Hall, 1971.

220. Friedman A.D. Fault detection in redundant circuits. -IEEE Trans. Electron. Comput., 1967, v.EC-16, No.2, p.99-100.

221. Friedman A.D. Diagnosis of short-circuit faults in combinational circuits. IEEE Trans. Comput., 1974, v. C-23, N0.7, p.746-752.233* Friedman A.D. Easily testable iterative systems. IEEE Trans. Comput., 1973, v. C-22. No.12, p.1061-1064.

222. Fujiwara H., Nagao Y., Sasao Т., Kinoshita E. Easily testable sequential machines with extra inputs.- IEEE Trans. Comput., 1975, v. С-24, No.8, p.821-826.

223. Garey M.B., Johnson D.S., So H.C. An application of graph coloring to printed circuit testing. Proceedings of the 16th Annu. Symp. Found. Comput. Sci, New York, 1975» p.178-183.

224. Geffroy J.C., Courvoisier M., Diaz M. Realization de circuits sequentiels asynchrones autotestables. Revue R.A.I.R.O., J-3, Novembre, 1973, p.75-92.

225. Geffroy J.C. Totally self-testing asynchronous sequential circuits. International Symposium "Discrete Systems", Riga, 1974, v.2, p.134-143.

226. Geffroy J.C., Courvoisier M. On-line testing and security of a distribued system for process control. Proceedings of the 13th IEEE Comput. Society Intern. Conf., Washington, 1976, p.112-116.

227. Gordon G., Nadig H. Hexadecimal signatures identify trouble-spots in microprocessor systems. Electronics, 1977, v.50, N0.5,p.89-96.

228. Hayes J.P. NMD model for fault diagnosis in combinational logic networks. IEEE Trans. Comput., 1971, v. C-20, No.12, p.1496-1506.

229. Hayes J.P. On the properties of irredundant logic networks. IEEE Trans. Comput., 1976, v. C-25, No.7, p.884-892.

230. Hayes J.P., Friedman A.D. Test point placement to sim-plity fault detection. IEEE Trans. Comput., 1974, v. C-25, No.7, p.727-735.

231. IsoupoVicz A. Optimal detection of bridge faults and stuck-at faults in two-level logic, IEEE Trans. Comput., 1978, v. C-27, N0.5, p. 452-455.

232. Kamal S. An approach to the diagnosis of intermaittent faults. IEEE Trans. Comput., v. 0-24, No.5, p.461-467.

233. Kamal S., Page S.V. Intermittent faults: A model and a detection procedure. IEEE Trans. Comput., 1974, v. C-2J, N0.7, p.713-719.

234. Karpovsky M., Su S.Y.H. Detection and location of input and feedback bridging faults among input and output lines. -IEEE Trans. Comput., 1980, v. C-29, N0.6, p.525-527.

235. Kautz W.H. Fault testing and diagnosis in combinational digital circuits. -IEEE Trans. Comput., 1968, v. C-17, No.4.

236. Kautz W.H. Testing for faultscin wiring networks. -IEEE Trans. Comput., 1974, v. C-23, No.4, p.558-565.

237. Kodandapani K.L., Pradhan D.K. Undetectability of bridging faults and validity of stuck-at fault test sets. -IEEE Trans. Comput., 1980, v. C-29, No.1, p. 55-59*

238. Kohavi I, Kohavi Z. Detection of multiple faults in combinational logic networks. IEEE Trans. Comput., 1972, v. C-20, N0.6, p.556-558.

239. Lee H.P., Davidson E.S. Redundancy testing in combinational networks.-IEEE Trans. Comput., 1974, v. C-23, No.10,p. 1029-1047.

240. Marouf M.A., Friedman A.D. Efficient design of self-checking checker for any m-out-of-n code. IEEE Trans. Comput., 197S, v. C-27, N0.6, p.482-490.

241. Marouf M.A., Friedman A.D. Design of self-checking checkers for Berger codes. Proceedings of the 8th Annu. Int. Conf. Faul-Tolerant Comput., Toulouse, 1978, No.4, p.123-128.

242. Mei K.C.I. Bridging and stuck-at faults. -IEEE Trans. Comput., 1974, v. C-23, No.7, p.720-727.255* Patterson W.W., Metze G.A. A fail-safe asynchronous sequential machines. IEEE Trans. Comput., 1974, v. C-23, No.4, p.369-374.

243. Pradhan D.K. Fault-tolerant asynchronous networks using read-only memories. IEEE Trans. Comput., 1978, v. C-27, N0.6, p.674-679257» Reddy S.M. Easily testable realizations for logic functions. IEEE Trans. Comput., 1972, v. C-21, No.11, p. 1183-1188.

244. Reddy S.M. A note on self-checking checkers. '- IEEE Trans. Comput., 1974, v. C-23, No.10, p.1100-1102.259* Roth J.P. Diagnosis of automata failures: a calculis and a method. IBM J.Res. and Develop., 1966, v.10, No.4, p.278-291.

245. Roth J.P., Bouricius W.G., Schneder P.R. Programmed algorithms to compute tests to detect and distinguish between failures in logic circuits. IEEE Trans. Electron. Comput., 1967, v. EC-16, N0.5, p.567-580.

246. Roy В.К. Diagnosis and fault equivalence in combinational circuits. IEEE Trans. Comput., 1974, v. C-23, Ho.9, p.955-963.

247. Saluja K.K., Eeddy S.M. Fault detecting test sets for Eeed-Muller canonic networks. IEEE Trans. Comput., 1975,v. С-24, No.10, p.995-998.

248. Sapozhnikov V.V., Sapozhnikov VI.V., Ceglovski L. Problems of logic circuit synthesis for automatic traffic control. -International Simposium Fault Diagnosis of Digital Networks and Fault-Tolerant Computing, Katowice, 1976, p.148-150.

249. Sapoznikow W.W., Sapoznikow Wl.W., Ceglowski L. Metoda syntezy automaton asynchronicznych z kontrola uszkodzen wewne-trznych elementow. Zeszyty Naukowe Politechniki Swietokrzys-kiej, Transport, 1978, 7, p.13-19.

250. Savir J. Detection of single intermittent faults in sequential circuits. IEEE Trans. Comput., 1980, v. C-29, No.7, p.673-678.

251. Savir J. Syndrome-testable design on combinational circuits. IEEE Trans. Comput., 1980, v. C-29, No.6, p.442-451.

252. Sawin D.H., Maki G.K. Fail-safe asynchronous sequential machines. IEEE Trans. Comput., 1975, v. C-24, No.6, p.675-677.

253. Sawin D.H., Maki G.K. Asynchronous sequential machines design for fault detection. IEEE Trans. Comput., 1974, v. C-23,1. No.3, p. 239-249.

254. Sawin D.H. Design of reliable synchronous sequential circuits. IEEE Trans. Comput., 1975, v. C-24, N0.5, p.567-570.

255. Scherts D.R., Metze G.A. New reprezentation for faults in combinational digital circuits. IEEE Trans. Comput., 1972., v. С-21, No.8, p.858-866.

256. Taylor R.D. Automatic interconnection testing of electronic subassemblies. Electronic Packaging and Production, 1979, 19, No.5, p. 125-134.

257. Thayse A. Multiple-fault detection in large logical networks. -Philips. Res. Rep., 1972, 27.

258. Tohoma Y., Ohyama Y., Sakai R. Realization of failsafe sequential machines by using a k-out-of-N code. IEEE Trans. Comput., 1971, v. 0-20, No.11, p. 1270-1275.

259. Tohma Y. Design technique of fail-safe sequential circuits, using flip-flops for internal memory. IEEE Trans. Comput., 1974, v. C-23, No.11, p.1149-1154.

260. Turcat C., Verdillon A. Recursion and testing of combinational circuits.- IEEE Trans. Comput., 1976, v. C-25, N0.6, p. 652-654.

261. Verdillon A. Pannes dans les reseaux sans circuits. -Revue R.A.I.R.O., 1974, J-8, N 1-2, p.85-99.

262. Wakerly J.F. Partially selfchecking circuits and their use in performing logical operations. IEEE Trans. Comput.,1974, v. 0-23, No.7, p.658-666.

263. Weiss C.D. Bounds on the length of terminal stuck-fault tests. IEEE Trans. Comput., 1972, v. C-21, No.3, p.'305-309.282.' Whiney G.E. Algebraic fault analysis for constraned comibinational networks. IEEE Trans. Comput., 1971, v. C-20, No.2, p.141-148.

264. Yamamoto M. Synthesis for easily diagnosable logic circuits. Systems, Computers, Controls, 1974, v. 5, No.1, p.8-14.