Ви є тут

Математические модели в проектировании аппаратно-программных реализаций алгоритмов, заданных текстами программ

Автор: 
Лялин Александр Сергеевич
Тип роботи: 
диссертация кандидата физико-математических наук
Рік: 
2008
Кількість сторінок: 
98
Артикул:
15561
179 грн
Додати в кошик

Вміст

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1. МОДЕЛИ И МЕТОДЫ ПРОЕКТИРОВАНИЯ
1.1. Возможные реализации алгоритма
1.2. Традиционные методы проектирования
1.3. Перспективные методы проектирования.
1.4. Автоматизация проектирования
1.5. Неформальное изложение технологии проектирования
1.6. Основные результаты теории схем программ
1.7. Современные системы компилляции.
1.8. Основные выводы главы 1.
ГЛАВА 2. МОДЕЛЬ ПРОГРАММЫ
2.1. Логическая структура алгоритма
2.2. Совершенное регулярное выражение
2.3. Информационная структура алгоритма
2.4. Примитивнорекурсивная информационная структура алгоритма алгоритма.
2.5. Информационные связи и функциональная эквивалентность
2.6. Регулярное выражение логической структуры алгоритма и примитивнорекурсивная информационная структура алгортима
2.7. Яруснопараллельная форма.
2.8. Конвейерные разложения
2.9. Особенности преобразования некоторых структур данных
2 Интерпретация действий элементарными функциями.
2 Фрагменты яруснопараллельной формы . Синхронизация
2 Основные выводы главы 2
ГЛАВА 3. АППАРАТНОПРОГРАММНАЯ РЕАЛИЗАЦИЯ .
3.1. Анализ возможных связей логической структуры алгоритма
3.2. Восстановление информационной структуры алгоритма.
3.3. Правильные разбиения и аппаратнопрограммная реализация
3.4. Необходимое условие правильного разбиения.
3.5. Конструирование управляющей схемы.
3.6. Дополнительные условия правильного разбиения
3.7. Раскрутка циклов и переименование элементов массива переменными .
3.8. Основные выводы главы 3.
ГЛАВА 4. НЕКОТОРЫЕ ПРАКТИЧЕСКИЕ ПРИМЕРЫ ПРИМЕНЕНИЯ
ТЕХНОЛОГИИ
4.1. Различные варианты реализации Ы1Ф8.
4.2. Различные варианты реализации .
4.3. Проектировании аппаратнопро1раммной реализации . .
4.4. Сравнения процесса декодирования и традиционной
архитектуры х
4.5. Основные выводы главы 4.
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ