Введение
ПРИЛОЖЕНИЕ I. ПРИМЕРЫ ИСПОЛЬЗОВАНИЯ СТРУКТУРНЫХ МОДЕЛЕЙ КОМБИНАЦИОННЫХ АВТОМАТОВ
П. I.I. Пример вычисления ЭНФ
П.1.2. Алгоритмы использования матрицы отношений
ПРИЛОЖЕНИЕ 2. ПЕРЕЧИСЛЕНИЕ КОНТАКТНЫХ СТРУКТУР
ПРИЛОЖЕНИЕ 3. АЛГОРИТМЫ И ПРИМЕРЫ ПО РЕШЕНИЮ ЗАДАЧ ДИАГНОЗА КОМБИНАЦИОННЫХ СХЕМ С ПОМОЩЬЮ СТРУКТУРНЫХ МОДЕЛЕЙ
П.З.I. Пример вычисления функции
П.3.2. Пример применения алгоритма 3.2
П.3.3. Вычисление проверяющих функций кратных неисправностей по матрице отношений
П.3.4. Примеры, поясняющие содержательный смысл условий теоремы 3.1
П.3.5. Алгоритмы анализа неисправности на избыточность
П.З.6. Алгоритм формирования списка Т>
П.3.7. Доказательство теоремы 3.4
ПРИЛОЖЕНИЕ 4. СИСТЕМА МАШИННЫХ ПРОГРАММ ПОСТРОЕНИЯ ПРОВЕРЯЮЩИХ ТЕСТОВ
П.4.I. Общие положения
П.4.2. Представление исходных данных
П.4.3. Подпрограмма ПУТЬ
П.4.4. Подпрограмма ГЕНТП
П.4.5. Подпрограмма ФОРМАТ
П.4.6. Подпрограмма СОКРСПИН
П.4.7. Подпрограмма ПРОЕКТ
П.4.8. Подпрограмма МЙНТЭФ
П.4.9. Подпрограмма ПЕРВЕК
П.4.10. Подпрограмма МАКСОГОД
П.4.II. Подпрограмма ВТПІ
П.4.12. Подпрограмма ВТП2
П.4.13. Главная программа
П.4.14. Распечатка программ
ПРИЛОЖЕНИЕ 5. ОБНАРУЖЕНИЕ КОРОТКИХ ЗАМЫКАНИЙ И КОНТРОЛЬ ЭЛЕКТРИЧЕСКОГО МОНТАЖА
П.5.І. Анализ одиночных коротких замыканий с четным числом инверсий в контуре обратной связи
П.5.2. Анализ одиночных коротких замыканий с нечетным числом инверсий в контуре обратной связи..
П.5.3. Доказательство формулы (5.8)
П.5.4. Пример применения формулы (5.II)
П.5.5. Пример применения алгоритма 5.2
П.5.6. Системы диагностирования электрического монтажа
П.5.7. Основные технические требования к электрическому монтажу системы электрической централизации стрелок и сигналов
ПРИЛОЖЕНИЕ 6. ПРИМЕРЫ ПРИМЕНЕНИЯ И АНАЛИЗ АЛГОРИТМОВ СИНТЕЗА АВТОМАТОВ С САМОКОНТРОЛЕМ
П.6.1. Пример применения и анализ алгоритма 6.1
П.6.2. Анализ алгоритма 6.5
П.6.3. Доказательство утверждения 6.1
П.6.4. Доказательство утверждения 6.2
П.б.5. Пример применения алгоритма б.6
П.6.6. Построение I- и О-реализаций КА
П.6.7. Автоматы на элементах памяти с фиксацией воздействия
П.6.8. Пример применения алгоритма 6.7
П.6.9. Пример применения алгоритма 6.8
П.6.10. Алгоритм синтеза самоконтролирующихся АКА на RS - и УК -триггерах
П.6.II. Контроль логического преобразователя в автоматах на Л-триггерах
П.6.12. Пример применения алгоритма б.II
П.6.13. Пример применения алгоритма 6.13
П.6.14. Анализ влияния неисправностей блока ВхП...
П.6.15. Алгоритм и пример синтеза автомата типа А...
П.6.16. Алгоритм и пример синтеза автомата типа В...
П.6.17. Алгоритмы и примеры синтеза автоматов типа С.
П.6.18. Алгоритм синтеза автомата типа Е
П.6.19. Алгоритм и пример синтеза автомата типа G .
П.6.20. Обнаружение неисправностей типа "короткое замыкание" в автоматах с самоконтролем
ПРИЛОЖЕНИЕ 7. АЛГОРИТМЫ СИНТЕЗА И КАТАЛОГ САМОПРОВЕРЯЮЩИХСЯ ТЕСТЕРОВ
П.7.1. Алгоритм синтеза І//і -СПГ
П.7.2. Определение характеристик тестеров
П.7.3. Каталог тестеров
П.7.4. Алгоритм синтеза ИСКА с использованием тестера типа Н
П.7.5. Алгоритм синтеза ПСКА с полным совмещением тестера и ЛП
ПРИЛОЖЕНИЕ 8.ПР0ГРАММА "МОНТАЖ"
ПРИЛОЖЕНИЕ 9.Д0КУМЕНТЫ О ПРАКТИЧЕСКОМ ИСПОЛЬЗОВАНИИ РЕЗУЛЬ
ТАТОВ ДИССЕРТАЦИИ
