Зыков А.Г., Поляков В.И. Алгоритмы конструкторского проектирования ЭВМ

СПб.: Университет ИТМО, 2014. — 136 с.Рассмотрены вопросы проектирования технических объектов. Представлены базовые понятия и определения в области систем автоматизированного проектирования, приведена информация по их классификации и видах обеспечения. Даны общие сведения о математическом обеспечении САПР, рассмотрены основные понятия теории множеств и теории графов. Особое внимание в пособии уделяется задачам автоматизированного проектирования электронных средств, подробно рассмотрены методы и алгоритмы решения задач конструкторского проектирования. Приведены элементы теории сложности алгоритмов. Рассмотрен графо-теоретический подход к синтезу топологии. Описаны эволюционные алгоритмы оптимизации.Учебное пособие предназначено для бакалавров, обучающихся по направлению "Информатика и вычислительная техника", а также для студентов других технических направлений и специальностей.Автоматизированное проектирование ЭВМ
Этапы жизненного цикла промышленных изделий
САПР ЭВМ и их место среди других автоматизированных систем
Проектирование технического объекта
Этапы проектирования сложных систем
Общие сведения о САПР
Блочно-иерархический подход к проектированию
Классификация САПР
Структура САПР
Виды обеспечения САПР
Математическое обеспечение САПР
Требования к математическому обеспечению
Требования к математическим моделям
Классификация математических моделей
Формализация проектных задач
Математические методы описания моделей конструкций ЭВМ
Математические модели электрических схем
Алгоритмы автоматизированного проектирования ЭВМ
Основные свойства алгоритмов
Элементы теории сложности
Алгоритмы компоновки
Алгоритм покрытия
Последовательный алгоритм компоновки
Итерационный алгоритм компоновки
Смешанный алгоритм компоновки
Алгоритмы размещения элементов
Постановка задачи
Математическая модель задачи размещения
Метод ветвей и границ
Конструктивные алгоритмы начального размещения
Алгоритм обратного размещения
Итерационные алгоритмы улучшения начального размещения
Алгоритм групповых перестановок
Непрерывно-дискретные методы размещения
Размещение разногабаритных элементов
Алгоритмы трассировки межсоединений
Алгоритмы построения минимальных связывающих деревьев
Алгоритмы раскраски графа
Порядок проведения проводников
Трассировка соединений
Лучевые алгоритмы трассировки
Канальные алгоритмы трассировки
Программа автоматической трассировки SPECCTRA
Графо-теоретический подход к синтезу топологии
Разбиение графа на планарные суграфы
Нахождение гамильтонова цикла. Алгоритм Робертса-Флореса
Верификация. Основные понятия
Место верификации при проектировании вычислительных систем
Изоморфизм графов
Нахождение эйлерова цикла
Алгоритм Флери
Сравнение эйлеровых и гамильтоновых циклов
Эволюционные алгоритмы оптимизации
Генетические алгоритмы
Биоинспирированные методы в оптимизации