Разработка аппаратно-программных средств интеллектуализации систем автоматизации проектирования на основе методов теории графов

• Автор: Калиев, Айдархан Миралиевич
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 1993
• Место защиты: Ташкент
• Количество страниц: 175 с. : ил.

ОГЛАВЛЕНИЕ
Введение. .
Глава 1, Современное состояние вопроса интеллектуализации систем автоматизации проектирования

1.1 Задачи САПР с точки зрения интеллектуализации

1.2 Математический аппарат САПР обзор.

1.3 Постановка задачи исследований

Выводы по первой главе

Глава 2. Формализация базовых задач автоматизации проектировав ния и методика их реыения

2.1 Формализация объектов автоматизации проектирования аппаратом теории графов

2.2 Единая методика решения базовых задач

2.3 Модифицированный алгоритм решения базовых задач

на примере распознавания изоморфизма графов
2.4 Аппаратнопрограммные средства решения базовых задач на примере распознавания изоморфизма графов.
Выводы по второй главе
Глава 3. Инструментальные средства и принципы интеллектуализа
ции систем автоматизации проектирования
3.1 Инструментальные средства интеллектуализации системы
3.2 Модульный принцип построения программных средств интеллектуализации системы
3.3 Структура и принцип функционирования функциональноориентированного процессора.
3.4 Оценка эффективности аппаратных и программных.средств интеллектуализации системы.
Выводы по третьей главе
Глава 4. Практическая реализация средств интеллектуализации системы автоматизации проектирования
4.1 Реализация аппаратнопрограммных средств интеллектуализации системы
4.2 Диагностический контроль топологии БИС и СБИС
4.3 Использование средств интеллектуализации системы при проектировании технологических процессов в легкой проыыиленности.
Выводы по четвертой главе
Заключение
Список использованной литературы


Данная система базируется на аппарате теории множеств, что дает возможность сохранить некоторые вычисления, которые могут быть описаны эвристиками и таким образом увеличить ' быстродействие интеллектуальных САПР в целом. В-9) предлагается условно этапы проектирования изделий радиоэлектронной техники (РЗА) разделить на верхний и нижний уровни. При ЭТОМ, если полученная арХИТеКТУрв Н8 ПОЛНОСТЬЮ ОТ-рояает требования задания, то уровень проекта определяется знаниями и опытом проектировщика. Таким образом, интеллектуальная САПР - система, которая имитирует деятельность конструктора, управляет алгоритмами и знаниями конкретной предметной области, модифицирует их согласно заданию, производит оптимизацию при синтезе проектируемых схем. С ростом сложности и интеграции сЯем возрастает число знаний:и понятий, которыми необходимо манипулировать ъ процессе проектирования, что приводит к необходимости соответствующих лингвистических средств общения пользователей с интеллектуальными САПР. Р. [] для этих целей предлагают лингвистический процессор, обеспечивающий взаимодействие пользователя с системой на ограниченном г формализованном) естественном языке при наличии двухстороннего диалога. О Предметной Области, а. ТаК ке ИХ КОрреКТИрОВКб. Особое место в [1 отводится алфавиту компилятора, предназначенный для описания алгоритмов реализуемой схемы >; помощью набора Функций. Если каждая функция компилятора называется буквой, тоМ типов букв при проектировании будет иметь Мс разновидностей, отличающихся Параметрами. Р~ ^ Ус (1. Долее авторами дается сущность генерации алгоритмов. Основным принципом при генерации алгоритмов интеллектуальных СЯПР являете« модификация базового алгоритма структурно от исходного. Множество вариантов «:х**ч и алгоритмов полученных при генерации интеллектуальными САПР называются областью возможных решений С ОВР) и отражают порр^ктнисть знаний, заполненных в САПР. Все решения отличают. Функциональных отдельных компонент. Компиляция букв алфавита злементов. Ка рис. ОВР при синтезе некоторого алгоритма, где (1-5) - подобласти отображающие возможные решения при различных математических методах. Зс /»м/у Тс ли,'* > ' (1. И 7тсг1^ 7^/^: Тпал (1. Г> противном случае, необходимо произвести корректировку задания. К. третьем этапе производите. К -. САП! Рис 1. Рис. Рис. Проектирование изделий но верхней уровне. В ГВЯЭИ Г -»ТИК В райОТг. Предлагается производить проверку корректности 5ЛДЛНИ5 ко верхнем уровне. Функциональном. Л.3). Следовательно, с точки «рс-ния интеллектуализации проверка корректности требований задания ь определенной степени заключается в решении задач оптимизации при синтезе, а такие в генерации исходных алгоритмов. Известно, что с переходом на более высокие уровни, число ОВР возрастает и качественно детализируется. Вместе с тем, проверка корректности задания на конечных уровнях, например при технологическом проектировании требует больших вычислительных и материальных затрат. Поэтому предлагается для повышения степени интеллектуализации проектирующих систем, производить проверку корректности задания на алгоритмическом и конструкторском этапе (рис 1. К задачам топологического характера относятся определение планарности схем и построение кратчайших связывающих деревьев. В качестве проблем метрического характера можно рассматривать задачи выделения сильносвязанных элементов и нахождение отдельных компонентов связности модели. Для контроля правильности синтезированных конструктивов и компоновки, на основе типизации используются топологические задачи установления изоморфизма и изоморфного влоаения графов. Известно, что большинство задач конструкторского этапа проектирования, реализуются на основе большого разнообразия методов и алгоритмов, не связанных меа-ду собой общностью математических процедур и операций (). Все алг ритмы и методы относятся к классу комбинаторных и в основно. В основу таких алгоритмов заложены процедуры операции полного или сокращенного перебора, поиска, сочетаний и перестановок. Ряс. Проектирование изделий но воех уровнях.