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

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

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1. ОБЗОР МЕТОДОВ ОБЕСПЕЧЕНИЯ РАБОТОСПОСОБНОСТИ СИСТЕМ С ПРОИЗВОЛЬНЫМ ДОСТУПОМ И САМОПРОВЕРЯЕМОСТИ ЛОГИЧЕСКИХ СХЕМ.
1 Введение

1.2. Обзор методов восстановления поврежденных систем с произвольным доступом.

1.2.1. Статическое резервирование

1.2.2. Динамическое резервирование.

1.2.3. Гибридная избыточность

1.2.4. Использование резервирования для восстановления поврежденных систем с произвольным доступом.

1.3. Обзор методов обеспечения самопроверяемости логических схем

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

1.3.2. Самопроверяемые схемы.
1.4. Выводы
2. ЧАСТИЧНОЕ ВОССТАНОВЛЕНИЕ РАБОТОСПОСОБНОСТИ ДИСКРЕТНЫХ СИСТЕМ С ПРОИЗВОЛЬНЫМ ДОСТУПОМ
2.1. Введение
2.2. Постановка задачи.
2.3. Минимизация отображения Р.
2.3.1. Точный метод
2.3.2. Построение минимизированного отображения Р
2.3.3. Сравнение алгоритмов
2.4. Выводы.
3. ЧАСТИЧНО МОНОТОННЫЕ СИСТЕМЫ И
А ,БНЕИСПР АВНОСТИ.
3.1. Введение.
3.2. Монотонные и частично монотонные системы.
3.3. Получение частичномонотонных систем булевых функций но
микропрограммному описанию синхронного последовательностного устройства
3.4. Многоуровневые методы синтеза
3.5. Выводы.
4. ПРОЯВЛЕНИЕ А,БНЕИСПРДВНОСТЕЙ В СИНХРОННЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ УСТРОЙСТВАХ
4.1. Введение.
4.2. Проявление А,Бнеисправностсй в самопроверяемых синхронных последовательностных схемах.
4.3. Выводы
СПИСОК ЛИТЕРАТУРЫ


При этом стремятся обеспечить обнаружение неисправности в момент се первого проявления на выходах устройства. Один из подходов к обнаружению неисправности в момент ее первого проявления на выходах заключается в проектировании самопроверяемых устройств. Таким образом, задачи восстановления работоспособности устройств и обеспечения их самопроверяемости являются актуальными. Целью работы является разработка методов восстановления работоспособности систем с произвольным доступом и обеспечения самопроверяемости синхронных последовательностных устройств внесением избыточности в их структуру. Решение обеих проблем предполагает минимизацию дополнительных аппаратурных затрат. В работе используется аппарат дискретной математики, в частности, алгебры логики, теории автоматов и теории графов. Эффективность разработанных методов подтверждается компьютерными экспериментами. Предложен метод частичного восстановления работоспособности системы с произвольным доступом в случае неисправности части ее элементов. Разработаны точный и приближенный алгоритмы минимизации интервального представления. Введена функциональная модель неисправностей синхронных последовательностных схем, описывающая практически значимый класс структу рных неисправностей этих схем. Установлено, что неисправности, данного класса проявляются на выходах синхронной последовательностной схемы только монотонно и накопление таких неисправностей сохраняет их монотонное проявление. Все научные утверждения и выводы, содержащиеся в диссертации, основаны на утверждениях, доказанных с использованием аппарата дискретной математики. Эффективность предложенных алгоритмов подтверждена компьютерным моделированием. Предлагаемый в работе метод частичного восстановления работоспособности систем программно реализован и может быть использован при разработке реконфигурируемых устройств с произвольным доступом. Эго позволяет воспользоваться существующими САПР для разработки самопроверяемых дискретных устройств. Предлагаемый метод обеспечения самопроверяемости позволяет существенно снизить сложность дополнительного аппаратного обеспечения детектора кодов за счет наблюдения только за выходами самопроверяемых синхронных последовательностных устройств, а не за выходами и линиями обратных связей, как это обычно делается. Исследования, результаты которых изложены в диссертации, проводились в рамках следующих проектов. Госбюджетная тема Сибирского физикотехнического института при ТГУ СФТИ, программа Исследование и разработка новых методов электромагнитного контроля и диагностики материалов, сред и технических систем, гг. Разработка методик и аппаратуры исследований. Межвузовская научнотехническая программа Конверсия и высокие технологии. Федеральная целевая программа Интеграция. Раздел Прикладная дискретная математика. Элементы, узлы и устройства автоматики, телемеханики и вычислительной техники, гг. Исследование проблемы повышения качества тестирования и контролепригодного проектирования, гг. Исследование проблемы синтеза самотестируемых устройств и проблемы повышения качества тестирования, гг. Научные результаты, приведенные в данной работе, обсуждались и получили одобрение на заседаниях объединенного семинара кафедры математической логики и проектирования радиофизического факультета ТГУ, кафедры программирования и кафедры защиты информации факультета прикладной математики и кибернетики ТГУ, лаборатории синтеза дискретных автоматов Сибирского физикотехнического института СФТИ при ТГУ. III Международная конференция Новые информационные технологии в исследовании сложных структур Россия, Томск, . I Ii i i , ,
4. IV Всероссийская конференция с международным участием Новые информационные технологии в исследовании сложных структур Россия, Томск, . Диссертация состоит из введения, 4 глав, заключения и списка используемой литературы. Диссертация содержит рисунков и 8 таблиц. Объем диссертации составляет 7 стр. Во введении обосновывается актуальность работы, изложены цель, научная новизна и практическая ценность работы.