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

1. Способ,  основанный на свойствах  подобия  информации  и использованием    специальных    программ    записи-чтения   для преобразования  информации  из  стандартного  формата  в  формат конкретной подсистемы.

2. Прямое   программное   преобразование.

Использование   системы   команд  INTERAC  [86]  предложено

Остремом в [44] для  объединения пакетов IDPAC, MODPAC,  SIMNON,

SYNPAC,  POLPAC  на основе использования интерактивных процедур, описанных макросами. Набор команд должен удовлетворять следующим требованиям:

-полнота, выразительность, небольшой объем;

-должен содержать общепринятые теоретические подходы;

-простота.

Программная система,    интегрированная   модулем   INTERAC

накапливает опыт пользователей в виде  макросов-наборов  команд, реализующих какой-либо метод проектирования, что довольно просто осуществимо и пользователями,  редко  обращающимися  с  ЭВМ,  но такой  подход представляет собой решение конкретной задачи.  Для расширения  набора  команд  пользователь  должен  знать  правила записи  новых  команд  в  форме нотаций Бэкуса-Наура (БНФ).  Это усложняет работу с  системой,  т.к.  от  пользователя  требуется описывать   операции   в  виде  БНФ.  Инициатива  диалога  здесь полностью принадлежит пользователю.

Экспертная   система    CONEX    [75]   содержит   описание предметной области в виде базы правил,  содержащей взаимосвязь и зависимость фактов  о  проектируемом  объекте,  и  базы  данных, содержащей эти факты (рис.  1.2 б).  База данных имеет фреймовую структуру. База правил состоит из высказываний, представленных в виде "IF-THEN".  Правила обрабатываются машиной вывода,  которая анализирует факты и изменяет базу данных. Предложенные механизмы управления процессом проектирования позволяют накапливать знания о предметной   области   (до  200  правил)  и  использовать  эту информацию для планирования.  Поскольку процессы планирования  и выполнения проектных  операций в системе взаимосвязаны, проблема распараллеливания здесь не решается.  При параллельной обработке возникает  явление  интерференции [80], заключающееся в том, что из-за взаимной зависимости  активизированных  модулей  возникает непредсказуемое состояние, т.е. состояние, которое не может быть получено из исходного ни при каком  последовательном  применении группы   модулей.   Чтобы   избежать  интерференции,  проводится разбиение  на  группы,   содержащие   правила,   которые   могут выполняться  одновременно.  Возникает  новая проблема - проблема выбора критериев разбиения.

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

предусмотрены специальные  структурные  единицы,  накапливающие, хранящие и  использующие  информацию  об   имеющихся   средствах проектирования, предметной  области  и  целях проектирования для управления вычислениями  в  системе.  Разработка  таких  средств интеллектуализации актуальна и требует развития новых подходов в ее реализации.

Модели предметных областей в виде  продукций, семантических сетей,  фреймовых  структур требуют введения в структуру сложных модулей типа машин вывода, интерпретаторов сетей, адапторов шага маршрута,  а также разработку новых современных методов работы с этими моделями.  Тем не  менее,  затраты  на  усложнение  систем проектирования  являются  оправданными,  т.к.  служат в конечном счете для:

- уменьшения  рутинной  работы в процессе проектирования;

- уменьшения вероятности ошибок проектирования;

- повышения      качества     проектов,     разрабатываемых пользователями,  не  являющимися  специалистами   в   предметной области;

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

- улучшения   организации   процесса    проектирования    и обеспечения более строгого документирования;

- для того,  чтобы не подменять опыт и суждения человека, а повышать эффективность их использования;