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

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

Автор: Голубева, Ольга Ивановна

Автор: Голубева, Ольга Ивановна

Шифр специальности: 05.13.01

Научная степень: Кандидатская

Год защиты: 2000

Место защиты: Томск

Количество страниц: 117 с.

Артикул: 283619

Стоимость: 250 руб.

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 с. Список литературы включает наименование. Личный вклад. Основные результаты работы получены лично автором. Краткое изложение основного содержания работы. В первой главе вводятся необходимые определения и обозначения. Для формальной постановки задачи моделирования вводятся понятия интервального расширения булевой функции и интервального расширения логического автомата. Далее задача точного троичного моделирования комбинационной схемы на троичном векторе третий символ х обозначает неизвестное значение рассматривался как задача вычисления значений интервальных расширений булевых функций, реализуемых схемой.

Рекомендуемые диссертации данного раздела

04.07.2017

Лето - пора делать собственную диссертацию!

Здравствуйте! Дорогие коллеги, предлагаем Вам объединить отдых и научные исследования. К примеру Вы можете приобрести на нашем сайте 15 ...

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...


Все новости

Время генерации: 0.241, запросов: 242