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

информацию об используемых модулях в виде:

имя модуля тип модуля входные модели (количество, имя модели)

выходные модели (количество, имя модели)

[время работы] (по умолчанию 1)

[вычислительная ошибка] (по умолчанию 0)

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

информацию об используемых проектах:

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

информацию о САПР:

номера проектов (количество, массив номеров).

На основе   этой  информации  формируются  файлы  sci,  хранящие сведения   о   моделях,   модулях,   проектах   и   системе.   С

использованием   этих   файлов   модуль  INTFACE  подготавливает информацию neti для работы модуля PETRI. Модуль PETRI использует информацию о начальной маркировке сети mkj в виде:

имя модели маркировка (количество фишек).

Выходной информацией модуля является граф достижимости gdij.

Модуль GD    осуществляет   операцию   объединения   графов достижимости.

Модуль DIJKSTRA использует сокращенный  граф достижимости и сведения о  входных-выходных  моделях  проекта  tz  и  реализует алгоритмы  планирования  и  оптимизации,  основанные  на  задаче поиска кратчайшего пути и методе "обратной волны".

Модуль MAKE  использует  данные,   подготовленные   модулем

DIJKSTRA-utl, для формирования файла map, содержащего информацию о модулях и моделях, требуемых для реализации проекта.

Структура взаимодействия программных  модулей  представлена на рис. 4.2.

Подготовку информации    для    работы    модуля    INTFAСE

осуществляет   разработчик   САПР,  формируя  входные  данные  о взаимодействии единиц системы проектирования  и  базы  данных  и характеристики программных компонент и моделей. Опытный экспертпроектировщик указывает на основе собственной  практики  типовые проекты,   выполняемые   в   системе,   и   их   фрагменты,  что формализуется  в  виде  маркировок  mkj   и   используется   для построения   сокращенного  графа  достижимости,  аккумулирующего знания.  Конечный  пользователь,  используя   подготовленную   в системе информацию,  решает задачи проектирования, представляя в качестве входных данных входные и выходные  модели  технического задания,  получает  результат  в  виде  технологической  карты с указанием порядка применения модулей  (с  учетом  параллелизма), моделей,  хранимых  на  каждом  этапе  проектирования.  В первом случае  маркировка  сети  Петри   определяется   как   Mo1={sci}

Mt1={neti},  во втором - Mo2={neti, mkj, gd} Mt2={gd}, в третьем

- Mo3={2sci, gd, tz} Mt3={map}.

4.3. Использование  интеллектуального проектировщика в САПР

Электронных систем.

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

Рассмотрим общую   структуру   сценария   САПР  Электронных систем.  Сценарий САПР  Электронных  систем  представим  в  виде двудольного  графа  G=(V,U),  где  V=V1  U  V2,  V1  - множество моделей; V2 - множество модулей, используемых в САПР Электронных систем.

Описания моделей и модулей, используемых в САПР Электронных систем, приведены в таблицах 4.2, 4.3.

В соответствии  с  логикой  работы  каждого пакета сценарию

САПР Электронных систем соответствует сеть Петри, представленная на  рис.4.3.  В  данной сети вершины р11 и р12 объединены в одну вершину р11,  которая соответствует БД системы,  а вершины  р19, р15,  р16  -  в  вершину р15,  которая соответствует БД проекта.