Теоретические основы систем автоматизированного проектирования

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