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

Таблица 1.1 (продолжение)

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

¦                          ¦        ¦        ¦         ¦        ¦       ¦

¦ Параметры системы        ¦  МАВР  ¦ САТУРН ¦ ДИСУППП ¦(Чистов)¦  ИП   ¦

¦                          ¦        ¦        ¦         ¦        ¦       ¦

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

¦    систем                ¦    -   ¦    -   ¦    -    ¦    -   ¦   +   ¦

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

¦ 7. Уровень рассмотрения: ¦        ¦        ¦         ¦        ¦       ¦

¦    (модули, операторы    ¦    2   ¦    3   ¦    3    ¦    3   ¦   3   ¦

¦    и др.)                ¦        ¦        ¦         ¦        ¦       ¦

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

¦ 9. Организация знаний    ¦    +   ¦    +   ¦    +    ¦    -   ¦   +   ¦

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

¦10. Формирование новых    ¦        ¦        ¦         ¦        ¦       ¦

¦    знаний                ¦    -   ¦    -   ¦    -    ¦    -   ¦   +   ¦

L--------------------------+--------+--------+---------+--------+-------1 - оператор; 2 - модуль; 3 - пакет

Таблица 4.1.

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

¦ С точки зрения пользователя   ¦  С  точки  зрения  системы    ¦

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

¦1.Описание моделей  и  модулей ¦1.Позиции и переходы сети Петри¦

¦2.Описание сценария проекта    ¦2.Сеть Петри проекта           ¦

¦3.Описание сценария САПР       ¦3.Сеть  Петри  САПР            ¦

¦4.Описание входных и выходных  ¦4.Маркировки сети Петри        ¦

¦ моделей                       ¦                               ¦

L-------------------------------+-------------------------------Таблица 4.2.

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

¦ NN ¦  pi ¦            используемая  модель                   ¦

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

¦  1 ¦  p1 ¦ описание алгоритма функционирования логического   ¦

¦    ¦     ¦ устройства ;                                      ¦

¦  2 ¦  p2 ¦ граф переходов  управляющего  автомата ;          ¦

¦  3 ¦  р3 ¦ коды   внутренних  состояний  автомата ;          ¦

¦  4 ¦  p4 ¦ система булевых функций ;                         ¦

¦  5 ¦  p5 ¦ минимизированная система булевых функций ;        ¦

¦  6 ¦  p6 ¦ структурный граф ;                                ¦

¦  7 ¦  p7 ¦ комбинационная схема на логических модулях ;      ¦

¦  8 ¦  p8 ¦ входные  последовательности ;                     ¦