Методы планирования вычислений в САПР систем реального времени

Гончар Дмитрий Русланович. Методы планирования вычислений в САПР систем реального времени : диссертация ... кандидата технических наук : 05.13.11 / Гончар Дмитрий Русланович; [Место защиты: Вычисл. центр РАН].- Москва, 2008.- 141 с.: ил. РГБ ОД, 61 08-5/1540
Автор
Гончар Дмитрий Русланович
Год
2008
  • 99 000 UZS

Оглавление диссертации
Введение
ГЛАВА 1. Система автоматизации программирования вычислительных систем реального времени. общая схема, потоки информации, структура системы 17
1.1. Задачи, назначение и общая схема САПР систем реального времени «СРВ-Конструктор» 17
1.2. Язык реального времени 21
1.3. Основные блоки транслятора 26
1.4. Управляющий монитор 27
ГЛАВА 2. Входной язык сапр вычислительных систем реального времени 28
2.1. Синтаксис 30
2.2. Типы данных 31
2.2.1. Целые константы 31
2.2.3. Длинные целые константы 31
2.2.3. Константы с плавающей точкой 32
2.2.4. Константы с плавающей точкой двойной точности 32
2.2.5. Символьные константы З 3
2.2.6. Строковые константы 33
2.2.7. Булевские константы 33
2.3. Описания 33
2.3.1. Константные величины 34
2.3.2. Переменные 34
2.3.3. Источники поступления информации в ВСРВ 45
2.3.4. Кадр входных данных 46
2.3.5. Прикладные модули 47
2.3.6. Таблица переключений 50
2.4. Исполняемые конструкции 51
2.4.1. РВ-циклы 52
2.4.2. Предварительная и заключительная части простых заданий 58
2.4.3. Фоновые работы 59
2.4.4. Модуль реакции 61
2.5. Структура РВ-программы 62
2.5.1. Условное задание 63
2.5.2. Простое задание 64
ГЛАВА 3. Система автоматизированного синтеза модели всрв. генератор сетевой модели и расписаний 67
3.1. Основные функции генератора сетевых моделей и расписаний 68
3.2. Структурная схема и последовательность выполнения основных блоков 69
3.2.1. Основные определения и обозначения 69
3.3. Основные алгоритмы 72
3.3.1. Построение сети М-модулей 72
3.3.2. Вычисление директивных интервалов 73
3.3.3. Построение допустимого расписания 73
3.3.4. Построение таблицы соответствия Т-, Е- и Л-модулей 75
3.3.5. Вычисление размеров буферов для входных параметров 75
3.3.6. Назначение стеков Т-модулям 76
ГЛАВА 4. Управляющая программа сапр «срв-конструктор» 77
4.1. Выбор операционной среды 77
4.2. Основные функции управляющей программы 78
4.3. Структура управляющей программы 78
4.3.1. Интерпретатор команд 78
4.3.2. Диспетчер 80
4.3.3. Монитор данных 82
4.3.4. Драйверы внешних устройств 82
ГЛАВА 5. Программный комплекс «СРВ-конструктор» 84
5.1. Сборка и запуск программного комплекса «СРВ-Конструктор» 84
5.2. Генератор кодов. 86
ГЛАВА 6. Планирование расписаний для многопроцессорного варианта системы «срв-конструктор». задача распределения м заданий на n процессоров 89
6.1. Постановка задачи для случая процессоров одинаковой производительности 89
6.2. Постановка задачи для случая процессоров различной производительности 90
6.3. Существующие методы решения 91
6.3.1. Алгоритмы случайного поиска 92
6.3.2. Алгоритмы детерминированной коррекции расписаний 93
6.3.3. Алгоритмы имитации отжига 98
6.3.4. Генетические и эволюционные алгоритмы 99
6.3.5. Алгоритмы агрегирования 101
6.4. Выводы 101
ГЛАВА 7. Эвристические алгоритмы распределения зада ний по процессорам в сапр систем реального времени 103
7.1. Решение задачи 6.1 (для случая одинаковых процессоров). 104
7.1.1. Эври стический алгоритм 1 104
7.1.2. Контрольный алгоритм 1 105
7.1.3. Контрольный алгоритм 2 " 105
7.1.4. Сравнительные итоги расчётов по алгоритму 1 с разными процентами калибровки 106
7.2. Решение задачи 6.2 (для случая различных процессоров) 108
7.2.1. Описание жадного алгоритма 108
7.2.2. Описание эвристического алгоритма 2 108
7.2.3. Вычислительные эксперименты и рекомендации к применению 109
Заключение 114
Литература

Рекомендуем вам товары

99 000 UZS
Автор
Бахтин Владимир Александрович
Количество страниц
Год
2008
99 000 UZS
Автор
Белеванцев Андрей Андреевич
Количество страниц
Год
2008
99 000 UZS
Автор
Болонкин Андрей Владимирович
Количество страниц
Год
2008
99 000 UZS
Автор
Бугеря Александр Борисович
Количество страниц
Год
2008
Модули для Opencart 2, Опенкарт 3