- •Глава 1. Введение в автоматизированное проектирование
- •1.1. Понятие проектирования
- •1.2. Принципы системного подхода
- •1.3. Уровни проектирования
- •1.4. Стадии проектирования
- •1.5. Модели и их параметры в сапр
- •1.6. Проектные процедуры
- •1.7. Жизненный цикл изделий
- •1.8. Структура сапр
- •1.9. Введение в cals-технологии
- •1.10. Этапы проектирования автоматизированных систем
- •Лекция 2. Техническое обеспечение сапр
- •2.1. Требования к техническому обеспечению сапр
- •2.2. Вычислительные системы для сапр
- •2.2.1. Процессоры эвм
- •2.2.2. Память эвм
- •2.2.3. Мониторы
- •2.2.4. Периферийные устройства
- •2.2.5. Шины компьютера
- •2.3. Типы вычислительных машин и систем
- •2.4. Персональный компьютер
- •2.5. Рабочие станции
- •2.6. Архитектуры серверов и суперкомпьютеров
- •2. В.Н. Дацюк, а.А. Букатов, а.И. Жегуло/ методическое пособие по курсу "Многопроцессорные системы и параллельное программирование". -http://rsusu1.Rnd.Runnet.Ru/tutor/method/m1/content.Html
- •2.7. Примеры серверов
- •2.8. Суперкомпьютеры XXI века
- •Лекция 3. Математическое обеспечение анализа проектных решений
- •3.1. Требования к математическим моделям и методам в сапр
- •3.2. Фазовые переменные, компонентные и топологические уравнения
- •3.3. Основные понятия теории графов
- •3.4. Представление топологических уравнений
- •3.5. Особенности эквивалентных схем механических объектов
- •3.6. Методы формирования математических моделей на макроуровне
- •3.7. Выбор методов анализа во временной области
- •3.8. Алгоритм численного интегрирования систем дифференциальных уравнений
- •3.9. Методы решения систем нелинейных алгебраических уравнений
- •3.10. Методы решения систем линейных алгебраических уравнений
- •1. Alglib User Guide. - http://alglib.Sources.Ru/linequations/general/lu.Php. - Проверено 15.12.2009. Лекция 4. Математическое обеспечение анализа проектных решений
- •4.1. Математические модели для анализа на микроуровне
- •4.2. Методы анализа на микроуровне
- •4.3. Метод конечных элементов для анализа механической прочности
- •4.4. Моделирование аналоговых устройств на функциональном уровне
- •4.5. Математические модели дискретных устройств
- •4.6. Методы логического моделирования
- •4.7. Системы массового обслуживания
- •4.8. Аналитические модели смо
- •4.9. Уравнения Колмогорова
- •4.10. Пример аналитической модели
- •4.11. Модель многоканальной смо с отказами
- •4.12. Принципы имитационного моделирования
- •4.13. Событийный метод моделирования
- •4.14. Краткое описание языка gpss
- •1. Томашевский в., Жданова е. Имитационное моделирование в среде gpss. — м.: Бестселлер, 2003.
- •4.15. Сети Петри
- •1. В.Э.Малышкин. Основы параллельных вычислений. -2003 цит сгга, http://www.Ssga.Ru/metodich/paral1/contents.Html
- •4.16. Анализ сетей Петри
- •1. В.Э.Малышкин. Основы параллельных вычислений. -2003 цит сгга, http://www.Ssga.Ru/metodich/paral1/contents.Html Лекция 5. Геометрическое моделирование и машинная графика
- •5.1. Типы геометрических моделей
- •5.2. Методы и алгоритмы компьютерной графики
- •5.3. Программы компьютерной графики
- •5.4. Построение геометрических моделей
- •5.5. Поверхностные модели
- •1. Семенов а.Б. Программирование графических процессоров с использованием Direct3d и hlsl. -http://www.Intuit.Ru/department/graphics/direct3dhlsl/6/1.Html
- •5.7. Графический процессор
- •1. Пахомов с. Революция в мире графических процессоров // КомпьютерПресс, № 12, 2006.
- •5.8. Шейдеры
- •5.9. Геометрические шейдеры
- •5.10. Унифицированный графический процессор
- •1. Пахомов с. Революция в мире графических процессоров // КомпьютерПресс, № 12, 2006.
- •5.11. Примеры графических процессоров
- •Лекция 6. Математическое обеспечение синтеза проектных решений
- •6.1. Критерии оптимальности
- •6.2. Задачи оптимизации с учетом допусков
- •6.3. Классификация методов математического программирования
- •6.4. Методы одномерной оптимизации
- •6.5. Методы безусловной оптимизации
- •6.6. Подходы к решению задач структурного синтеза
- •6.7. Морфологические таблицы
- •6.8. Альтернативные графы
- •Лекция 7.
- •7.1. Интеллектуальные системы
- •7.2. Планирование процессов и распределение ресурсов
- •7.3. Методы локальной оптимизации и поиска с запретами
- •7.4. Методы распространения ограничений
- •7.5. Эволюционные методы
- •7.6. Простой генетический алгоритм
- •7.7. Кроссовер
- •7.8. Метод комбинирования эвристик
- •1. Норенков и.П. Эвристики и их комбинации в генетических методах дискретной оптимизации// Информационные технологии, 1999, № 1.
- •7.9. Примеры применения генетических методов
- •Лекция 8. Автоматизированные системы в промышленности
- •8.1. Системы erp
- •8.2. Стандарт mrp II
- •8.3. Логистические системы
- •8.4. Системы scm
- •8.6. Производственная исполнительная система mes
- •8.7. Автоматизированное управление технологическими процессами
- •8.8. Программирование для станков с чпу
- •8.9. Системы scada
- •8.10. Типовой маршрут проектирования в mcad
- •8.11. Типы сапр в области машиностроения
- •8.12. Основные функции cad-систем
- •8.13. Основные функции cae-систем
- •8.14. Основные функции cam-систем
- •8.15. Графическое ядро
- •Лекция 9.
- •9.1. Структура cad/cam систем
- •9.2. Машиностроительные сапр верхнего уровня
- •9.3. Маршруты проектирования сбис
- •9.4. Схемотехническое проектирование
- •9.5. Модели логических схем цифровой рэа.
- •9.6. Конструкторское проектирование сбис
- •9.7. Проектирование печатных плат
- •9.8. Назначение языка vhdl
- •Лекция10. Методическое и программное обеспечение автоматизированных систем
- •10.1. Типы case-систем
- •10.2. Спецификации проектов программных систем
- •10.3. Методика idef0
- •10.4. Методика idef3
- •10.5. Методика idef1x
- •10.7. Методика проектирования информационных систем на основе uml
- •10.8. Программное обеспечение case-систем
- •10.9. Интегрированные среды разработки приложений
- •Лекция 11. Технологии информационной поддержки этапов жизненного цикла изделий
- •11.1. Обзор cals-стандартов
- •11.2. Структура стандартов step
- •11.4. Интегрированная логистическая поддержка
- •11.5. Интерактивные электронные технические руководства
- •11.6. Стандарт aecma s1000d
- •11.7. Электронная цифровая подпись
- •11.8. Стандарты управления качеством промышленной продукции
- •Лекция 12. Технологии информационной поддержки этапов жизненного цикла изделий
- •12.1. Программное обеспечение cals-технологий
- •12.2. Язык html
- •12.3. Язык xml
- •12.5. Форматирование Web-страниц
- •12.6. Доступ к xml-документам
- •12.7. Мультиагентные системы
- •12.8. Технология soap
- •12.9. Компонентно-ориентированные технологии
7.2. Планирование процессов и распределение ресурсов
В отдельную группу задач структурного синтеза выделяют планирование процессов и распределение ресурсов. В нее входят синтез технологических процессов в различных отраслях промышленности, проектирование вычислительных процессов для многопроцессорных систем и сетей, синтез логистических процессов (например, планирование перевозок грузов при наличии множества заказов и ограниченном числе транспортных средств), а также планирование работ при управлении проектами. Эти задачи объединяет общность ряда свойств и подходов к решению, как задач синтеза расписаний.
Базовым понятием в синтезе расписаний является понятие работы — элементарной планируемой части процесса. Нужно составить план выполнения работ, в котором фиксируются объемы работ, распределение ресурсов всех видов, моменты (даты) начала и окончания каждой работы, называемые событиями (или вехами), стоимости работ. Ресурсы — обеспечивающие компоненты деятельности, включающие исполнителей, энергию, материалы, оборудование и т.д.
С каждой работой можно связать функцию потребности в ресурсах. Различают ресурсы унарные и объемные. Единица унарного ресурса, называемая далее сервером, может одновременно выполнять не более одной работы, и по каждому виду ресурса на работу может быть назначен не более чем один сервер. Примерами унарных ресурсов могут быть токарный станок, процессор ЭВМ, водитель автомашины. Значение объемного ресурса (энергии, финансов, пропускной способности канала), назначаемое для конкретной работы, может быть выбрано в некотором диапазоне и от выбранного значения зависят длительность и (или) стоимость выполнения работы.
Результаты синтеза обычно представляют в виде таблиц и диаграмм. PERT-диаграмма — сеть типа "вершина-событие" — ориентированный граф без контуров, имеющий одну исходную и одну завершающую вершины, в котором вершины поставлены в соответствие событиям, а дуги — работам. Диаграмма Ганта (Gantt diagram) — горизонтальная линейная диаграмма, на которой задачи проекта представляются протяженными во времени отрезками, распределенными между серверами и характеризующимися датами начала и окончания, задержками и возможно другими временными параметрами.
Для задач планирования процессов и управления проектами характерны следующие черты:
широкий диапазон размеров задач, причем верхняя граница диапазона может достигать значений в десятки тысяч и более работ;
многокритериальность, основные критерии — время и стоимость выполнения плана, в качестве целевой функции часто выбирают стоимость, в число ограничений включают времена окончания работ и, возможно, ряд условий использования ресурсов;
разнообразие типов управляемых переменных, среди которых могут быть величины вещественные, целые, нечисловые.
Указанные особенности обусловливают сложность решения задач синтеза расписаний, являющихся задачами дискретной оптимизации.
7.3. Методы локальной оптимизации и поиска с запретами
Среди приближенных
методов решения задач дискретного
математического
программирования
и задач структурного
синтеза
часто используемым является метод
локальной оптимизации.
Так как пространство
метризовано,
то можно использовать понятие
-окрестности
текущей
точки поиска
.
Вместо перебора точек во всем пространстве
осуществляется
перебор только в
.
Если
(
)
<
(
)
для всех
€
(
),
то считается, что найден локальный
минимум целевой функции в точке
.
В противном случае точку
,
в качестве достигается минимум
(
)
в
(
),
принимают в качестве новой текущей
точки поиска.
Недостатком метода
является его явно выраженная локальность
— "застревание" в окрестностях
локальных экстремумов. Повысить
эффективность поиска можно с помощью
метода
поиска с запретами
(Tabu Search). Для этого в
вводят
запреты на попадание в некоторые точки.
Обычно это запреты на повторное
исследование точек, пройденных на
нескольких последних шагах оптимизации.
Запрет распространяется и на лучшую
точку
предыдущего
шага, которая может оказаться точкой
локального минимума. Тогда на данном
шаге перемещение происходит в лучшую
незапрещенную точку
,
несмотря на то, что
.
Тем самым появляется тенденция к выходу
из области притяжения локального
экстремума.
