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

• Автор: Голубева, Ольга Ивановна
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Томск
• Количество страниц: 117 с.

1.1. Булевы функции и их интервальные расширения.

1.1.1. Булевы и троичные функции

1.1.2. Интервальные расширения булевых функций

1.2. Абстрактные автоматы, логические автоматы и их интервальные расширения.

1.2.1. Понятие абстрактного конечного автомата

1.2.2. Интервальное расширение логического автомата.

1.3. Моделирование логических схем.

1.3.1. Логические схемы.

1.3.2. Постановка задачи моделирования

1.4. Обзор методов моделирования.

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

1.6. Задачи исследования.
ГЛАВА 2. МОДЕЛИРОВАНИЕ КОМБИНАЦИОННЫХ И СИНХРОННЫХ
ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ, ОСНОВАННОЕ НА
ОДНФПРЕДСТАВЛЕНИИ БУЛЕВЫХ ФУНКЦИЙ
Введение


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