Накопление, представление и использование знаний о САПР дает несколько альтернативных решений проектировщику, среди которых могут быть известные проекты и проекты, полученные на основе обобщений модели САПР. Система "подскажет" пользователю о недостающих входных данных, решение задач диагностики и прогнозирования укажет пути их получения.
ВЫВОДЫ.
1. В главе развит сценарный подход к проблеме построения математической модели САПР.
Предложена методика описания сценариев проектов в терминах модифицированных сетей Петри по модельному графу проекта.
Предложен способ агрегирования сценариев отдельных проектов в сценарий системы автоматизированного проектирования. Все это позволило использовать математический аппарат сетей Петри для решения задач проектирования.
2. Разработана математическая модель описания предметной области в виде сокращенного графа достижимости, позволяющая:
аккумулировать экспертные знания, решать задачи планирования, прогнозирования, диагностики и моделирования прикладных САПР с учетом параллельной обработки и хранимой на каждом этапе проектирования информации.
3. Разработаны методы решения задач проектирования по предложенной модели предметной области. А именно, решение задачи планирования в непроцедурной постановке, позволяющей определить недостающие входные модели, для получения требуемых техническим заданием (ТЗ) выходных, методы решения задач прогнозирования и диагностики как с использованием сокращенного графа достижимости, так и методики моделирования сетей Петри. Задача моделирования прикладной САПР, как частный случай решения задачи планирования.
4. Установлено, что предложенная математическая модель предметной области дает возможность использовать сценарии, внесенные в систему экспертом, а также, на основе метода планирования в системе проектирования в целом, порождает новые сценарии.
Глава 3. АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ЗАДАЧ
ИНТЕЛЛЕКТУАЛЬНОГО ПРОЕКТИРОВАНИЯ В САПР.
В главе рассмотрены алгоритмы работы системы интеллектуального управления процессом проектирования в САПР.
Для понижения размерности решаемых задач используется преобразование сетей Петри, предусматривающее образование макропозиций, макропереходов и удаление транзитивных замыканий.
Преобразования позволяют сократить размерность сети Петри за счет представления линейных участков сети макровершинами. Для удаления "паразитных" переходов предложен метод "обратной волны". Для поиска оптимального пути в сокращенном графе достижимости может быть поставлена и решена оптимизационная задача. В качестве критериев оптимизации рассмотрены требуемая память, быстродействие и точность. В вычислениях значения критерия оптимизации используются размерность решаемой задачи, характеристики моделей и модулей.
3.1. Упрощение сетей Петри.
Для того, чтобы понизить размерности задач управления информационными процессами САПР, используется преобразование сетей Петри, предусматривающее образование макропозиций, макропереходов и удаление транзитивных замыканий [13].
Преобразования позволяют сократить размерность сети Петри за счет представления линейных участков сети макровершинами.
1. Образование макровершин: "макропозиций". Если в рассматриваемой сети Петри (рис. 3.1 а) существует множество позиций {pn+1, pn+2, ..., pn+k} такое, что входные и выходные функции этого множества удовлетворяют условию:
I(pn+1) = I(pn+2) = ... = I(pn+k)
O(pn+1) = O(pn+2) = ... = O(pn+k), то это множество можно заменить на позицию, обозначаемую
pmacro =U pn+i = {pn+1, pn+2,...,pn+k}, такую, что I(pmacro) = I(pn+1); O(pmacro) = O(pn+1).
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.