Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости

• Автор: Андреева, Валентина Валерьевна
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Томск
• Количество страниц: 129 с.

Введение

Методы контролепригодного проектирования

Модели неисправностей

Самоироверяемые схемы

Самотестируемые схемы

Отказоустойчивые схемы

Выводы но главе

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

самопроверяемых дискретных автоматов

Реализация системы частичных булевых функций

Реализация системы частичных булевых функций, полученной по описанию

Минимизация частично монотонных реализаций частичных систем булевых функций
Минимизация полностью монотонных реализаций частичных систем булевых
функций
Поиск максимальных расширений интервала частичной булевой функции
Матрица ортогональности и ее свойства
Построение всех максимальных расширений интервала частичной булевой
функции
Построение некоторых максимальных расширений интервала частичной булевой
функции
Упрощение матрицы ортогональности
Экспериментальные результаты
Выводы по главе
Построение проверяющего теста, обнаруживающего одиночные неисправности системы
безызбыточных дизъюнктивных нормальных форм БДНФ
Модели неиправностей безызбыточной ДНФ и способы обнаружения неисправностей
Построение проверяющего теста для одиночных неисправностей БДНФ
Поиск корня логического уравнения I 0
Построение всех максимально совместимых подмножеств конъюнкций
Построение проверяющего теста Тдля БДНФ
Построение проверяющего теста Тдля одиночных неисправностей системы БДНФ
Выводы по главе
Архитектура дискретных устройств, устойчивых к кратковременным и перемежающимся
неисправностям 1
Схема, устойчивая к неисправностям
Исследование схемы на устойчивость к неисправностям
Выводы по главе
Заключение
Литература


Актуальность проблемы. Архитектура основана, на1 использовании самопроверяемых схем. Цель работы. Методы исследования. Научная новизна. А.Д. Достоверность полученных результатов. Практическая значимость работы. САПР с целью сокращения аппаратурных затрат. I i i i технологий. ДНФ и ориентированный на сокращение длины теста. Реализация полученных результатов. Основные результаты диссертации внедрены в учебный процесс ТГУ. Апробация работы и публикации. ТГУ. I Ii i i , , . Томск, Россия, . Томск, Россия, . ВАК РФ. АЛО. Матросова, В. В. Апдреева. Автометрия. Том . С. . АЛО Матросова, I. Андреева. Харьков, Украина, . С. . V. v, . I Ii i i . V. v. АЛО. Матросова, Останин, В. В. Андреева, Ю. В. Седов. Москва, Россия января, . С. . АЛО. Матросова, В. В. Андреева. Вестник ТГУ. Приложение. С. 2. V. v, О. К. iii, . Радиоэлектроника и информатика. С. . V. v, . Ii . Андреева ВВ. Вестник ТГУ. Приложение. С. . В.В. Андреева, . I Матросова. ДНФ Вестник ТЕУ. Приложение. С. . Андреева В. Вестник ТГУ. Приложение. АЛО Матросова,. В.В. Андреева, Е. А Николаева. Вестник ТГУ. Андреева . Перспективы развития фундаментальных наук. Россия, . Издво ТПУ. С. . V. v, . Ii. Диссертация состоит из введения, 4х глав,. Основное содержание работы.