Разработка инструментальных средств создания интеллектуального проектировщика САПР на основе сетей Петри (Диссертация на соискание ученой степени кандидата технических наук), страница 42

¦  9 ¦  p9 ¦ схема   управляющего  автомата  на  логических    ¦

¦    ¦     ¦ модулях  ;                                        ¦

¦ 10 ¦ p10 ¦ схема  в  заданных конструктивах ;                ¦

¦ 11 ¦ p11 ¦ описание  логических  модулей  в  БД системы ;    ¦

¦ 12 ¦ p12 ¦ описание  конструктивов в БД системы ;            ¦

¦ 13 ¦ p13 ¦ имена логических модулей, используемых в проекте ;¦

¦ 14 ¦ p14 ¦ имена конструктивов, используемых в проекте ;     ¦

¦ 15 ¦ p15 ¦ модель  логических  модулей,  используемых  для   ¦

¦    ¦     ¦ проекта ;                                         ¦

¦ 16 ¦ p16 ¦ модель конструктивов, используемых для проекта ;  ¦

¦ 17 ¦ p17 ¦ модель логических модулей для записи в БД системы;¦

¦ 18 ¦ p18 ¦ модель конструктивов для записи в БД системы ;    ¦

¦ 19 ¦ p19 ¦ модель элемента памяти.                           ¦

L----+-----+----------------------------------------------------

Таблица 4.3.

-----T-----T--------------------T----------------T-------------¬

¦ NN ¦ ti  ¦ используемый пакет ¦   вх. модели   ¦ вых. модели ¦

+----+-----+--------------------+----------------+-------------+

¦  1 ¦ t1  ¦ "Алгоритм"         ¦      р1        ¦      р2     ¦

¦  2 ¦ t2  ¦ "Абстракция"       ¦      р2        ¦      р2     ¦

¦  3 ¦ t3  ¦ "Сосед"            ¦      р2        ¦      р3     ¦

¦  4 ¦ t4  ¦ "Частота"          ¦      р2        ¦      р3     ¦

¦  5 ¦ t5  ¦ "Система"          ¦  р2, р3, р13   ¦      р4     ¦

¦  6 ¦ t6  ¦ "Минимизация"      ¦      р4        ¦      р5     ¦

¦  7 ¦ t7  ¦ "Диаграмма"        ¦      р5        ¦      р6     ¦

¦  8 ¦ t8  ¦ "Схема"            ¦  р6, р15       ¦      р7     ¦

¦  9 ¦ t9  ¦ "ПЛМ"              ¦  р5, р15       ¦      р7     ¦

¦ 10 ¦ t10 ¦ "Состязания"       ¦      р5        ¦      р8     ¦

¦ 11 ¦ t11 ¦ "Объединение"      ¦  р7, р2, р3    ¦      р9     ¦

¦ 12 ¦ t12 ¦ "Корпус"           ¦  р9, р16, р2   ¦      р10    ¦

¦ 13 ¦ t13 ¦ "Чертеж"           ¦      р10       ¦             ¦

¦ 14 ¦ t14 ¦ "Моделирование"    ¦  р8, р10       ¦             ¦

¦ 15 ¦ t15 ¦ "Формирование БД   ¦                ¦             ¦

¦    ¦     ¦  элементов"        ¦ р17,р18        ¦ р11, р12    ¦

¦ 16 ¦ t16 ¦ "Управление"       ¦ р13, р14, р11, ¦ р15, р16,   ¦

¦    ¦     ¦                    ¦ р12            ¦ р19         ¦

L----+-----+--------------------+----------------+--------------

ЗАКЛЮЧЕНИЕ

В диссертационной   работе   "Разработка  интеллектуального проектировщика САПР на основе сетей  Петри"  была  поставлена  и решена задача создания средств интеллектуализации САПР.

1. Проведен  анализ  работ  в  рассматриваемой   предметной области, который  показал,  что интеграция программных средств в систему проектирования   приводит   к    проблемам    управления вычислениями в интегрированной среде.  Управление осуществляется по информации    о    предметной     области     и     средствах автоматизированного проектирования.     В     связи    с    этим рассматриваются следующие проблемы:

- получение математической модели предметной области САПР;

- осуществление планирования вычислительным процессом;

- учет использования многопроцессорной техники;

- накапливание   и   организация    знаний    о    процессе проектирования.

2. В работе развит сценарный подход и  предложена  методика описания сценариев проектов и САПР в терминах сетей Петри.

3. Разработана математическая  модель  описания  предметной области САПР  в  виде сокращенного графа достижимости и получены методики решения задач проетирования в непроцедурной постановке.

К этим   задачам  относятся:  задача  планирования,  позволяющая априорно оценить,  а также определить недостающие входные модели для получения  требуемых  техническим заданием выходных;  задачи прогнозирования и  диагностики,  а  также  задача  моделирования