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

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