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

Рис.1.1 Система решения задач на основе концепции рам и баз

(по работе [55])

Уровни:

-----------------¬

¦ Монитор пакета ¦                        4.

LT--------------T¦   -----------+----------------¬

¦   ¦ Задачи реального времени, ¦        3.

¦   ¦  интерактивные программы  ¦

¦   L-T-----------------------T-¦     ¦   --------------------+---¬

¦     ¦   ¦ Алгоритмы, библиотеки ¦      2.

¦     ¦   ¦ методов    управления ¦

¦     ¦   L-------------------T----+-----+-------¬  -------------+---¬

¦  Интерфейс   ¦  ¦    Основные    ¦

¦ операционной ¦  ¦ математические ¦      1.

¦   системы    ¦  ¦    функции     ¦

L---------------  L----------------А)                 Б)

Рис. 1.2  а.  Структура  программного  обеспечения  KEDDC  (по работе [70]).

---------¬         -------------------¬

-------------->¦ Машина ¦<------->¦ Пользовательский ¦

¦              ¦ вывода ¦         ¦    интерфейс     ¦

V              L---------         L---------------------------¬             Л                      Л

¦        ¦             ¦                      ¦

¦        ¦             V                      V

¦ База   ¦         ---------¬           ------------¬

¦ данных ¦         ¦  База  ¦           ¦  Рабочий  ¦

¦        ¦<------->¦ правил ¦<--------->¦  протокол ¦

L---------         L---------           L-----------Рис. 1.2 б. Структурная схема  экспертной  системы  CONEX  (по работе [75]).

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

¦                          ¦       ¦       ¦       ¦       ¦        ¦       ¦      ¦        ¦         ¦        ¦    ¦

¦ Параметры системы        ¦(Спенг)¦ KEDDC ¦(Плакс)¦(Шуров)¦ АСПЕКТ ¦ CONEX ¦ МАВР ¦ САТУРН ¦ ДИСУППП ¦(Чистов)¦ ИП ¦

¦                          ¦       ¦       ¦       ¦       ¦        ¦       ¦      ¦        ¦         ¦        ¦    ¦

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

¦ 1. Математическая модель ¦       ¦       ¦  СП   ¦  СП   ¦   СП   ¦       ¦ граф ¦        ¦  граф   ¦  граф  ¦ СП ¦

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

¦ 2. Возможность планирова-¦       ¦       ¦       ¦       ¦        ¦       ¦      ¦        ¦         ¦        ¦    ¦

¦    ния                   ¦   -   ¦   +   ¦   +   ¦   +   ¦    +   ¦   +   ¦   +  ¦    +   ¦    +    ¦    +   ¦  + ¦

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

¦ 3. Определение полноты   ¦       ¦       ¦       ¦       ¦        ¦       ¦      ¦        ¦         ¦        ¦    ¦

¦    входных данных        ¦   -   ¦   -   ¦   -   ¦   +   ¦    -   ¦   +   ¦   -  ¦    +   ¦    -    ¦    -   ¦  + ¦

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

¦ 4. Рассмотрение:         ¦       ¦       ¦       ¦       ¦        ¦       ¦      ¦        ¦         ¦        ¦    ¦

¦    а) циклов             ¦   -   ¦   -   ¦   -   ¦   +   ¦    -   ¦   -   ¦   +  ¦    -   ¦    -    ¦    -   ¦  - ¦

¦    б) конфликтов         ¦   -   ¦   -   ¦   +   ¦   -   ¦    -   ¦   +   ¦   +  ¦    +   ¦    +    ¦    -   ¦  + ¦

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

¦ 5. Оптимизация           ¦   -   ¦   -   ¦   -   ¦   -   ¦    +   ¦   -   ¦   +  ¦    +   ¦    -    ¦    +   ¦  + ¦

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

¦ 6. Планирование для      ¦       ¦       ¦       ¦       ¦        ¦       ¦      ¦        ¦         ¦        ¦    ¦

¦    многопроцессорных     ¦       ¦       ¦       ¦       ¦        ¦       ¦      ¦        ¦         ¦        ¦    ¦