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

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