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

Например,  если  САПР пополнится новыми модулями,  использующими эффективные методы решения проектных задач.

Администратор БД  поддерживает  интерфейс  с БД,  следит за корректным   обращением   и    манипулированием    с    данными, взаимодействует через базу правил с пользователем.

База правил  ( БП ) содержит формальные правила манипуляции с  данными.  Правила  поддерживают  функциональные   возможности системы и разбиты на несколько групп.

1.Правила описания математической модели САПР:

1а.Описание функциональных единиц САПР ( модули,  пакеты) в терминах теории сетей Петри ( позиции,переходы ).

1б.Построение сценария     проекта     из    представленных функциональных единиц.

1в.Объединение сценариев проектов в сценарий САПР.

2. Правила  построения  обобщенной  модели  САПР  -   графа достижимости:

определение и использование множества входных  моделей  для построения объединенного графа достижимости.

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

Рабочий протокол  (  РП  )  получается  в  процессе  работы системы с пользователем и содержит:

- перечень   запросов   пользователя   (   документирование процесса проектирования );

- возможные варианты решения задач из списка ;

- критерии оптимальности и оптимальные решения. По рабочему протоколу могут быть внесены изменения в БД.

Диспетчер организует   взаимодействие   всех   составляющих системы, поддерживает ведение рабочего протокола.

Использование системы в процессе проектирования.

Если представить  типичный  алгоритм  выполнения  проектной процедуры,    то    система   автоматизированного   планирования используется на этапе определения  последовательности выполнения проектных   операций   для   получения   проектного   документа, удовлетворяющего техническому заданию. Если исходное техническое задание  не  содержит  исходных  данных,  то  система  сообщит о невозможности удовлетворить техническому заданию и выдаст список недостающих моделей.  При этом проектные операции выполняться не будут.  На  этапе  окончательного  принятия  проектного  решения

(которое  возможно  только  при  выполнении проектных операций )

система   выдаст   протокол   выполнения   проектных   операций, содержащий  порядок  и  последовательность использования модулей системы  (   с   учетом   их   взаимодействия   и   возможностью одновременного   выполнения   ),   данные,  используемые  каждым модулем,  данные,  хранимые  и  получаемые   на   каждом   этапе выполнения проектной процедуры.

Построенная таким  образом   математическая   модель   САПР

позволяет  решать  также  задачу  прогнозирования,  то  есть  по имеющимся входным данным  (  моделям  )  и  множеству  возможных преобразований   (   графу  достижимости  )  получить  множество возможных  выходных  моделей  (  описаний  ).  А  также   задачу диагностики :  определить множество входных моделей,  из которых может  быть  получено  множество  заданных  выходных  моделей  с помощью множества возможных преобразований.

4.2. Состав    программной    системы     "Интеллектуальный проектировщик САПР"

Созданные программные     средства     ориентированы     на использование  разработчиком САПР.  Разработанный пакет программ инвариантен к предметной области, так как использует базу знаний созданную  экспертом  в конкретной предметной области.  Основным условием применимости пакета является  возможность  декомпозиции предметной   области   и   выделение   моделей   и  модулей  как самостоятельных единиц и связей  между  ними.  "Интеллектуальный проектировщик  САПР" состоит из программных модулей, выполняющих следующие функции.

Для построения  модели   САПР   в   терминах   сети   Петри пользователь должен с помощью модуля INTFACE представить системе информацию об используемых моделях в виде:

имя модели

[используемая память] (по умолчанию 1)

[трудоемкость получения] (по умолчанию 1)

[комментарий]