Метод синтеза генераторов детерминированных тестов на сетях клеточных автоматов (СКА)

Дипломная работа - Компьютеры, программирование

Другие дипломы по предмету Компьютеры, программирование

Содержание

 

Перечень обозначений и сокращений

Реферат

Введение

1. Основные понятия теории клеточных автоматов

1.1 Основные определения и понятия

1.2 Основные свойства классической модели клеточных автоматов

1.3 Двумерный клеточный автомат

1.4 Моделирование физических процессов

1.5 Игра "Жизнь"

2. Анализ существующих программных и аппаратных реализаций ка

2.1 Программная реализация КА на IBM PC

2.2 Машина клеточных автоматов CAM-8

3. Анализ подходов встроенного самотестирования однородных Сетей

3.1 Детерминированное тестирование

3.1.1 Основные определения и понятия

3.1.2 Установочные последовательности

3.1.3 Синхронизирующие последовательности

3.1.4 Построение проверяющих последовательностей

3.1.5 Отличительные последовательности в ОС

3.2 Псевдослучайное тестовое диагностирование

4. Модули сигнатурного мониторинга на сетях клеточных автоматов

4.1 Метод генерирования субпоследовательностей

4.2 Алгоритмы отыскания субпоследовательностей

4.2.1 Алгоритм основной программы

4.2.2 Алгоритмы подпрограмм

4.2.3 Результаты работы основного алгоритма

4.2.4 Правила настроек КА

5. Программа моделирования ска на языке Delphi

5.1 Исходные требования к программе моделирования

5.2 Алгоритм реализации программы

5.3 Результаты моделирования сети клеточных автоматов

6. Экономическая часть

6.1 Технико-экономическое обоснование дипломной работы

6.2 Исследования и анализ рынков сбыта

6.2.1 Сегментация рынка по потребителям

6.2.2 Анализ емкости сегментов

6.2.3 Параметрическая сегментация рынка

6.3 Оценка затрат на разработку продукта

6.3.1 Определение потребности в материальных ресурсах

6.3.2 Расчет основной заработной платы на разработку программы

6.3.3 Расчет дополнительной заработной платы

6.3.4 Отчисления на социальные мероприятия

6.3.5 Расчет машинного времени

6.3.6 Расчет накладных расходов

6.3.7 Расчет коммунального налога

6.3.8 Расчет себестоимости программного продукта

6.3.9 Расчет прибыли

6.3.10 Расчет оптовой цены

6.3.11 Расчет налога на добавочную стоимость

6.3.12 Расчет цены на продажу

6.4 Экономическая эффективность научно-исследовательской работы

6.5 Выводы

7. Охрана труда и окружающей среды

7.1 Общие вопросы охраны труда и окружающей среды

7.2 Производственная санитария

7.2.1 Метеорологические условия помещения

7.2.2 Характеристика производственного помещения

7.2.3 Виды вентиляции

7.2.4 Естественное и искусственное освещение

7.2.5 Статическое электричество

7.3 Пожарная безопасность

7.4 Охрана окружающей среды

Заключение

Список источников информации

Приложение А

Приложение Б

 

Перечень обозначений и сокращений

 

БВВ - блок ввода/вывода

БИС - микросхема большой степени интеграции

ГПП - генератор псевдослучайной последовательности

ДУ - дискретное устройство

ДЭ - диагностический эксперимент

КА - клеточный автомат

СКА - сеть клеточных автоматов

КЛБ - конфигурируемый логический блок

МаБИС - матричная микросхема большой степени интеграции

ОЗУ - оперативное запоминающее устройство

ОС - однородная сеть

ПЗУ - постоянное запоминающее устройство

ПКН - покрытие константных неисправностей

ПЛИС - программируемая логическая интегральная схема

ПМЛЭ - программируемая матрица логических элементов

ППЗУ - перепрограммируемое постоянное запоминающее устройство

СБИС - микросхема сверхбольшой степени интеграции

СП - синхронизирующая последовательность

СРЛОС - сдвиговый регистр с линейной обратной связью

ЦОП - циклическая отличительная последовательность

CPLD - Complex Programable Logic Devices- Field Programable Gate Array

Реферат

 

Записка _____ страница; 22 рисунка; 16 таблиц; 35 использованных источников; приложений 2.

В данной работе предлагается новый метод синтеза генераторов детерминированных тестов на сетях клеточных автоматов (СКА). Для заданного множества тестовых векторов с необходимым покрытием синтезируется генератор, который по алгоритму формирует это множество тестов за наименьшее время. Генераторы, которые синтезированы предлагаемым методом, обладают высокой производительностью, регулярную и тестопригодную структуру, а их реализация осуществляется с небольшими аппаратными затратами.

Ключевые слова: КЛЕТОЧНЫЙ АВТОМАТ, ГЕНЕРАТОР ТЕСТОВ, СХЕМЫ ВТРОЕННОГО САМОТЕСТИРОВАНИЯ, ПРОГРАММИРУЕМАЯ ЛОГИЧЕСКАЯ МИКРОСХЕМА, ДИСКРЕТНОЕ УСТРОЙСТВО.

 

Реферат

 

Записка ____ сторінка; 22 малюнка; 16 таблиць; 35 використаних джерел; додатків 2.

У роботі запропоновано новий метод синтезу генераторів детермінованих тестів на сітях клітинних автоматів (СКА). Для заданої множини тестових векторів з необхідним покриттям несправностей синтезується генератор, що алгоритмічно формує цю множину тестів за найменший час. Генератори, що синтезовані запропонованим методом, мають високу швидкодію, регулярну та тестопридатну структуру, а їх реалізація здійснюється з невеликими апаратними витратами.

Ключові слова: КЛІТИННИЙ АВТОМАТ, ГЕНЕРАТОР ТЕСТІВ, СХЕМИ ВБУДОВ?/p>