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

^ррпена Трудового Ирасного Знамени

КйЛИЕВ ЙЙДЙРХЙН ИНРПЯИЕБНЧ

РАЗРАБОТКА ЙПППРЙТНО-ЛРОГРЙШШХ СРЕДСТВ ЙНТШтИА--ЛИЗЙЦИЙ СИСТЕН ЙбТОШИЗАЩ! АРОЕКТЙРОШЙЯ НА ОСНОВЕ ЫЕТОДОВ ТЕОРИЙ ГРЙФО0

Специальность 05,13.12 - Систеци автоматизации

веский институт

На правах рукописи

УДК 681,3.06

проектирования

Автореферат диссертации на соискание ученой степени кандидата технических надк

йлыати - 1993

Работа выполнена в лаборатории " Вычислительная техника и системы автоматизации проектирования" Института Кибернетики с ВЦ АН Республики Узбекистан

Научный руководитель: д.т.н., чл.-корр. Международной инженерной Академии, профессор Магрупов Т.М.

Официальные оппоненты: д.т.н., чл.-корр. Мевдународной академии технологической кибернетики, профессор, -Сагынгалиев К.С,

кандидат технических наук Юсупов С.Ю.

Ведущая организация:Царчно-технический инженерный центр "Легпром" Инженерной Академии Республики Казахстан

Защита диссертации состоится "____"__________ 1993 г.

в аудитории______в-----час_____мин. на заседании Специализированного Совета Д - 058,03.02 в Казахском Ордена Трудового Красного Знамени политехническом институте.

С диссертацией можно ознакомиться в библиотеке КазПТИ.

Отзывы в двух экземплярах, заверенные печатью, просьба направлять по адресу: 480013, г.Алматы, ул Сатпаева 22, Ученый Совет.

Автореферат разослан "____"_________ 1993 г.

Нченый секретарь

Специализированного Совета /г 0

Д-058.03,02, к.т.н., доцент!—'о^ У^-Б.А. Ченсизбаев

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТУ.

АКТУАЛЬНОСТЬ П Р О Б fl Е H U. Современный уровень развития вычислительной техники представляет разра-" ботчикан в области автоматизации проектирования весьма виро-кие возможности, главный образом в направлении интеллектуализации САПР. Это связано с разработкой принципиально новой теоретической и методологической основы, аппаратных решений, а также математического и информационного обеспечения в совершенствовании технических средств. Б автоматизации проектирования существуют стандартные наборы решений разнообразных задач, которые в практической использовании в определенной степени, удовлетворяют поставленным требованиям. Эти решения выполняются программным путем, хотя намного эффективнее считается аппаратная реализация, Кроме того, для более адекватного отобраяениа результатов проектирования, требуется система, имитирующая деятельность человека-конструктора.

Интеллектуальные САПР (ИСАПР) не могут формировать новые идеи, но в то «е время опираясь на знания, базовые алгоритмы решения проектируемых обьектов, технологий изготовления изделий, алфавит компилятора и параметры элементов обьектов поз-воляит проводить направленный поиск требуемых ренений.

В концепции развития автоматизации проектирования на машинах пятого поколения обязательным условием является разработка интеллектуальной сервисной системы (ИСС), для обеспечения пользователи работы в целой с системой проектирования и сохранения высокой надеаности ее функционирования.

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

Интеллектуализация САПР трудноформализуемих обьектов,с точки зрения аппаратно-программной реализации, ставит проблему использования методов и аппарата теории графов . Повыввннв степени интеллектуализации САПР, требует необходимости разработки единой методики реиения. базових задач теории графов и единого входного языка описания знаний и данных об обьектая исследования. Для эффективного речения задач проектирования, целесообразно разработать и использовать аппаратно-програкв-

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

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

В диссертации исследуются и разрабатываются следующш

задачи:

- анализ существующих методов, алгоритмов и систем автоматизации проектирования;

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

- математический аппарат, базирующийся на методах теории графов;

- разработка единой методики решения базовых задач теории графов и способа представления графов на основе единоп входного языка;

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

- инструментальные средства формализации обьектоЕ сложной структуры.

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

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

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

юв.

2, Предлоаен способ представления графовой информации I формальной квадратичной форме, обеспечивавций форыализацио ¡адач проектирования и единый входной язык в виде цниверсаль-шй структуры комбинированной записи информации с постоянными < переменными частями для обработки знаний и данных а различ-шх предметных областях.

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

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

Практическая ценность работы,

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

Реализация результатов работы,Основные результаты диссертаций получен« при выполнении научно-исследовательской работы в лаборатории."ВТ и САПР" Института Кибернетики с BÏJ Академии наук Республики Узбекистан для решения проблемы диагностического контроля топологии БИС и С5ИС в радиоэлектронной промышленности. Инструментальные средства и программное обеспечение система одобрена Худоиесгвенно-тех-ническини Советами Акционерного обьединения "ЙОШУВЬ", §аы-билского производственного торгово-ввейногб обьединения "СИЛУ" и принятц на опитнуи эксплуатации, Внедрение результатов работы подтверядено соответствующими актами,

Основные полоиения, виносимые на защиту;

1, Методические основа реализации пройдем проектирования 'с точки зрения интеллектуализации и математический аппарат, базирцвчийся на катодах теории графов позволяют реиить трудноформализуемие задачи различных этапов проектирования, Это достигается за счет комплексного подхода к процессу проектирования.

2. Комплексный подход к проблемам проектирования тре-

бует разработки совершенных способов и средств решения задач теории графов. Аппаратная реализация метода разбиения вершин графа на уровни позволит повысить степень интеллектуализации систем автоматизации проектирования в целом. Единая методика ренения базовых задач теории графов обеспечит конструктивнув настраиваемость задач проектирования и высокую информационную связь иевду ними,

3. Эффективность функционирования систем автоматизации проектирования с точки зрения интеллектуализации определяют средства их создания. Инструментальные средства обеспечивают наиболее удобный диалог пользователя с системой и формализации задач проектирования, Модульный принцип построения программного обеспечения и аппаратная реализация процедур комбинаторного характера позволяют составлять оптимальный маршрут решения задач проектирования и повысить быстродействие системы в целом.

4. Способ взаимодействия аппаратной реализации и программного обеспечения базовой машины обеспечивает распараллеливание вычислений за счет разделения задач на аппаратное и программное выполнение. Обладая, отмеченными преимуществами, средства интеллектуализации САПР могут использоваться-при проектировании трудноформализуемых обьектов различных предметных областей.

Апробацияработы. Основные полояения диссертационной работы докладывались и обсуждались на следующих конференциях и семинарах: "Проблемы вычислительной математики и автоматизации научных исследований" (Алма-Ата,1988), IX Республиканская межвузовская научная конференция по математике и механике (Алиа-Ата,1989 ), Международная научно-техническая конференция "Теория и методы создания интеллектуальных САПР в ыавиностроении и приборостроении" (Минск, 1992), II/ Всесоюзная конференция "Катоды и средства обработки сложной графической информации" (Нижний Новгород,1991), III Международная научно-техническая конференция "Интеллектуальные САПР" (Таганрог,.1992) и др.

Публикации. По теме диссертации опубликованы 3 научных статей и тезисов докладов на Международных, Всесо-пзных и Республиканских конференциях.

Структура и обьем работы.

Диссертация состоит из введения," четырех глав, заключения, списка литературы и приложения. Работа содержит 162 страниц текста, -55 рисунков, 4 таблицы, 10 листингов программ

списка литературы из 10? наименований, СОДЕРШИЕ РОБОТЫ Во введении обоснована актуальность проблемы интеллвк-|ализац(ш систем автоматизации проектирования, Сфориулирова-I цели и задачи исследования, показана научная новизна.

Глава I. Современное состояние вопроса интеллектуализации автоматизации проектирования, Анализ существующих методов, алгоритмов и систеи авто-зтизации проектирования с точки зрения интеллектуализации оказивает эффективность использования с качестве дниверсаль-ой модели при проектировании - графовую модель, а для реяе-ия оптимизационных задач ■• методы теории графов, Зто связано тем, что задачи проектирования иошю представить в виде рафов, в узлах которых указываются выполняемые операции, в ебрах - входная и выходная информация. Применение методов еории графов в проектировании для повниекия стопами ингел-юктуализации является одним из наиболее перспективных нап-1авлений в развитии интеллектуалы/их СЙПР,

Так как, под интеллектуальной САПР понимается система, сотораа имитирцеГ деятельности человека-конструктора, управ-1яет алгоритмами и знаниями конкретной предметной области, модифицирует их согласно поставленный требованиям, производит оптимизации при синтезе проектируешь объектов, то возникает необходимость разработки методической основы ее создания и ®орыализованного способа представления знаний и данных предметных областей,

В данной главе рассматриваются актуальные задачи теории графов, алгоритм!! которых могут использоваться в качестве базовых на всех этапах проектирования. Задачи - распознавания изоморфизма графов, декомпозиции графов, построения минимальной гаиильтоновой цепи и цишшалыюго связывающего дерева, отыскания путей в графе, изоморфного влоаеиия графов относятся одному классц, т,к, при ревалин кавдой из них мовно использовать метод разбиения вервии графа на уровни.. Методическуи основу интеллектуализации САПР наиболее удобно описать языка« и аппаратом теории графов, Для аффективного ревення задач данного класса с нзилцчвик качеством и за минимальное время, целесообразно создание аппаратно-программной паддер«ки метода разбиения вервин графа на уровни,

В результате анализа сформирована постановка задачи

ь

интеллектуализации САПР я определены основные вопросы, которых необходимо ревгить:

1. Анализ существующих методов, алгоритмов и систем автоматизации проектирования с точки зрения интеллектуализации,

2, Разработка единого входного языка описания обьектов и единой методики решения базовых задач теории графов, .

3, Разработка методической основы интеллектуализации САПР на примере задачи распознавания изоморфизма Графов.

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

3. Аппаратная реализация метода разбиения вершин графа на уровни и разработка способа взаимодействия с базовой машиной.

6. Реализация средств интеллектуализации систем авто-, иатизации проектирования в различных, отраслях промышленности,

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

Вопросы интеллектуализации Г.ППР тесно связаны с выбором математического аппарата, разработкой методики решения базовых эад'чч проектирования и входного языка описания обьектов. Катекатический аппарат должен обеспечивать не только точность вычислений и достоверность резулыатов, но и активно взаимодействовать с базами данных и знаний предметных областей. В связи с этим, в данной главе описываются способы представления графовой информации с помощью: списка ребер графа с указанием их конца л добавлением списка изолированных вершин; матриц« иниидетнос'тн; матрицы смекности.

Указанные способы не могут -полностыл'представлять знания и данные о проектируемом обьекте и не обладают способностью быстрого'преобразования'из одной формы представления б другую. Решить указанные проблемы можно представив, графовую информацию в формальной квадратичной форме,. Для этого, произвольный граф 1,-<Х,1!> представляется в виде матрицы сие«ности:

> ' : и)

где с - номер строки ( начальная вервина дуги или рёбра), у - номер столбца.( .конечная вершина'-дуги или ребра),

-t'ij - количество peflep и дуг ыемду смкннимн вершинами.

Формально, квадратную матрицу с вершинами мовно записать в виде:

• Р

5>Н££(х.,. (2)

где р- количество вершин графа, ¿¿j - количество дуг или ребер направленных из вершит в вершину xj . Как вндно из выражения (2) формальную' квадратичную форму ыовно преобразовать в любую форму представления графов,

Для полного описания обье'кта, представленного в виде графа, необходимы не только постоянные (глобальные) характеристики (3), но и переменные (локальные) характеристики, например число ребер, дуг меиду соседними вершинами, число петель в исследуемой вершине, ;

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

Информацию, характеризуют!/!) конкретную вершину и качественную связь между вершинами предлагается представить в виде универсальной структур" комбинированной записи графовой информации с постоянной и переменной частями:

SHEG = Record

ве^;

ЕМ! г постоянная часть

MJ

—-----------------1----------(3)

petQ

REBI > переменная часть

DUG ¡7 End.

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

В качестве базовых задач теории графов повыкащнх степень интеллектуализации САПР используются следующие задачи;

1. Декомпозиция графов,

2, Построение минимального связывающего дерева и мин мальной гамильтоновой цепи,

3, Отыскание путей в графах.

4. Изоморфное влоиение графов,

5, Покрытия областей, определяемых контурными графам

6. Изоморфизм графов.

В работе рассмотрена задача распознавания изоморфиз графов, т.к. выше перечисленные задачи имеют с ней в болып степени общие процедуры. Единой сложной процедурой комбин торного характера используищейся почти во всех задачах явл ется процедура разбиения вершин графа на уровни. Решение эт задач сведено к единой методике, основанной на процедуре ра биения веряин-графа на уровни. Предложен модифицированный а горитм распознавания изоморфизма графов, Разработана метод четкая основа интеллектуализации СИПР, базирующейся методах теории графов и принятия решений.

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

- управляющий алгоритм задачи - й;

_ процедура представления исходных данных - В;

- алгоритм определения локальных характеристик графа - С;

- алгоритм получения матрицы признаков - 0;

- процедура сравнения матриц признаков - Е;

- процедура разбиения -вершин графа на уровни - F;

-алгоритм поуровневого сравнения графов - L;

- процедура локализации ошибок - К;

- алгоритм корректировки ошибок - И;

- процедура вывода результатов - N.

С помощью процедур, алгоритмов В - N и X - специфич! процедур конкретной задачи , моино■составить маршрут peuei базовых задач 1 .-. 5 и управляющий алгоритм (I (рис.2). рис.1, приводится таблица применяемости процедур для penei базовых задач согласно предлагаемой единой методике.

Как правило, решение задач теории графов характери: ется большим числом операций поиска, перестановок и соче ний. Для'сокращения числа переборов вершин, в работе пред, гается аппаратная реализация процедуры .разбиения вершин гр,

процедура задача А в с в Е { 1 Й А) ж

11 X + + + X X х X X +

2 X + + X X ! + X X X +

3 X + + X X X X X +

4 X + X ' + X X X X X +

5 X + + X X X X X X + •

6 + + + + +'■»■'+ + + +

РиоЛ. Таблица применяемости процедур.

Приметаниз: +' - означает использование в задаче аппаратных , средств; + - использование процедуры в решении задачи; X - неопределенная процедура (алгоритм).

Рис.З. Структурная схема агшаратннх средств интеллеятуаля-зации систем автоматизации проектирования

X Е С С

X к

а)

в. с

X -=>-

X г х-

в) ■

А/с. 2. Схема составления маргрута для задач теории графов, а) для решения задачи 1 ; в) для ревения задачи 3 .

и

цропни н ее эффективную связь с программным обеспечением темы проектирования. Структурная схема аппаратной поддера-ириведена на рис.3 и состоит из четнрех частей: блок связи •ззовпй машиной, логическое устройство, оперативная память лок обмена.

Предложенный метод аппаратно-программной реализации • недуры разбиения вершин графа па уровни позволит повысить пень интеллектуализации СОПР.

Глава 3. Инструментальные средства и принципы интеллектуализации систем автоматизации проектирования

Интеллектуализация систем автоматизации проектиропания многом зависит от степени формализации задач, которые име-комбинаторный характер и от принятия решений в конкретных овиях, В число таких задач можно отнести задачи проекгирп-яя средств вычислительной техники и технологических про-сов различных отраслей, например легкой промышленности, дание интеллектуальных систем в основном зависит от раэра-1Ш инструментальных средств. Универсальность инструмэи-ышх средств определяет уровень интеллектуализации систе-

Инструмеитальные средства интеллектуализации СППР ус-но модно разделить на два уровня. Проектирование изделий технологического процесса, в основном базируется на идее етания инженерной интуиции, возможностей системы и спосп-человеко-маиинного взаимодействия. Поэтому, инструмон-ьные средства первого уровня, хар'актернзуптся большим раз-5раэиен средств формализации объектов различных предметных астей, с помощью которых пользователь формирует задание, К грументалышм средствам второго уровня относятся средства, ;печивакппие непосредственно процесс проектирования, т.е. цная информация для аппаратных и программных средств, реа-/нщих проектные процедуры базовых задач теории графов.

Одним из основных средств обеспечения взаимодействия эзователя с системой на' всех уровнях являются командный юг и диалог типа "вопрос-ответ". При построении структуры ■раммного обеспечения максимально учтена интерактивные ' (ципы, при которых;

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

- для более опытного пользователя система оказывает

помочь и действует только по его запросу.

Кроме интерактивного рекиыа взаимодействия пользователя с интеллектуальной системой в качестве инструментальных средств в работе использованы средства отладки программного обеспечения (компиляторы), средства ввода-вывода, средства поыоци типа "HELP", редакторы базы знаний. При создании интеллектуальной системы эти средства иснользувтся в сочетании : или по отдельности на различных уровнях.

Одной из наиболее актуальных проблем интеллектуализации САПР является проблема разработки программного обеспечения. Предловен модульный принцип построения программных средств интеллектуализации систем автоматизации проектирова-: 1шя н его спецификация. Выбран базовый язык программирования, реализувщий проектные процедуры и алгоритмы.

Для эффективного реиения задачи F определения изоморфизма графов , произведена декомпозиция задачи, т.е. разбиение на множество подзадач f1, где i = 1,п.

Тогда,

F .= .....П.....fn) . (4)

где п - количество подзадач, fi - i-я подзадача,

В свою очередь i-ую подзадачу fi мовно описать в виде

fi = < Bi. li > , (5) ■

где gi - глобальные переменные i-ой подзадачи ; 11 - локальные переменные i-ой подзадачи. .

Следовательно, из (5) моино сделать вывод, что каада цэ подзадач fi представляет собой законченный модуль дл ' включение в банк алгоритмов и программ интеллектуальной САП и иовет использоваться, как элемент составления маршрута ре вениа базовой задачи . ; Для компоновки подзадач fl£F , необходимо создат

: иправлявций модуль fB, реализующий основную задачу.

Так как, в управлявцем модуле fc функционируют толм Глобальные е0 и управлявцие U переменные:

f = < B0.U > сеь -

Следовательно, основная задача распознавания изоио| «нэна графов F, будет выглядеть слвдуичим образом:

п

И = Гв ♦ [у Г!

1 = 1

С 7).

Подставляя 5 и 6 в 7 получим модель оптимальных пере-шшх для решения задачи распознавания изоморфизма графов ' виде :

п

У = + 1/с81,Н) (0).

Таким образом, из вырангения С8 > видно, что глобальные ременные в„ и 61 могут использоваться во всех подзадачах , в то время, как лдкальные переменные И одной подзада-П не могут использоваться в другой, подзадаче П + /. Переча глобальных параметров между подзадачами осуществляется рез управляющий модуль (о.

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

После определения параметров спецификации, способа ор-низации паияти и марарута взаимодействия подзадач возникает облема выбора средств программирования для дальнейиеП реа-зации на базовой маиине ,■

Выбранный язык программирования должен удовлетворять ве указанным требованиям форвального описания- и обладать едующими возыовностями:интеллектуальное обеспечение ойчения зработчика системы; интеллектуальная поддержка библиотек н провождения пакета прикладных программ (ППП); интеллекту-ьная поддержка внешних баз данных и записей; высокой надея-стьв , описания процедур и структурных типов данных. Такими зможностями обладает язык Паскаль.

Предложены структура и принцип функционирования функ-онально-ориентированного процессора (спецпроцессора), кото-й является основным звеном в интеллектуализации систем томатизации проектирования.

Описаны основные преимущества разработанного спецпро-ссора;

1Ь

- спецпроцессор является мощным средством повышения на несколько порядков производительности САПР ;

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

- повышение эффективности работы спецпроцессора зависит от качественного взаимодействия его с программный обеспечением базовой цаыини (БИ) и САПР в целой,

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

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

0 работе обосновывается, что аппаратная реализация проектной процедуры считается эффективной , если общее'время реализации оператора в функционально-ориентированном процессоре (ФОП) и обмена между БУ и ФОН будет намного меньше времени реализации оператора на БЧ,

Вместе с тем. БМ и ФОП не могут достичь указанной эффективности и производительности, если программнив средства, реализующие базовые задачи, не удовлетворяет требованиям критериев оценки эффективности. . Одной из особенностей таких систем является трудность определения единого критерия эффективности программ и наличия нескольких более или менее равнозначных критериев. Это обьясняется тем, что ка«дий программный модуль имеет свою целевую задачу и специфический частный критерий качества, как правило, не совпадающий с критерием эффективности всего комплекса программ. Поэтому, основными критериями эффективности прикладного программного обеспечения являются максимальное использование вычислительных ресурсов ЭВМ, трудоемкость и длительность их создания, т. е, тьхнология проектирования комплекса программна так«е зат-

рлты при разработке,

Глава 4, Практическая реализация средств интеллектуализации системы автоматизации проектирования

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

Однако, такой подход будет малоэффективным, если не решить проблему интеграции'спецпроцессора с программным обеспечением системы и базовой машиной (ЕЮ, Минимизация потерь времени на обмен между базовой машиной и спецпроцессором возможна за счет усложнения программных и аппаратных средств БН, использования режима разделения ресурса спецпроцессора между несколькими БН. В данном случае процессор команд БН и спецпроцессор отслеживают и выбирают собственные команды. Обмен данными осуществляется через механизм прямого доступа к памяти (ПДП). Такой способ аппаратно-программной реализации задачи, характеризуется не только распараллеливанием вычислений, но и присущей для интеллектуальных САПР возможностью эффективного взаимодействия БН и спецпроцессором.

Необходимо подчеркнуть, что реиение задач посредством аппаратно-программного обеспечения и при эффективном их взаимодействии осуществляется в 2.....10, а для некоторых задач в

20 раз быстрее, чем с помощью программного обеспечения, Поэтому, аппаратно-программные средства интеллектуализации САПР могут пироко использоваться при проектировании устройств вычислительной техники, технологических процессов и изделий различных отраслей промышленности.

Предложены способы использования средств ' интеллектуализации САПР для диагностического контроля топологии болыгих и сверхбольших интегральных схем в радиоэлектронной промыж-ленности, а также рассматриваются возможности применения для проектирования технологических процессов изготовления изделий в отраслях легкой промышленности.

ЗАКЛЮЧЕНИЕ

Последние достижения в области создания систем автома-

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

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

2, Разработана единая методика решения базовых за* теории графов, основанная на методе разбиения вершин rpaq на уровни.

' 3, Разработан единый входной язык описания графоЕ формальной квадратичной форме. Предложена универсалы структура комбинированной записи графовой информации с nocí янными и переменными частями для обработки знаний и даннш различных предметных областях. •

4, Разработаны аппаратные, программные и инструм( тальные средства интеллектуализации решения базовых задач • ории графов. . Предложен модифицированный алгоритм распозна! ния.изоморфизма.графов, основанный на методе разбиения вер! графа на уровни,

5. Произведена оценка эффективности аппаратных и npi раммных средств интеллектуализации задач , проектирован] способа их "взаимодействия. Рассмотрены примеры исполь'зова! средств интеллектуализации для диагностического контроля пологии БИС и СБИС в радиоэлектронной промышленности и про тирования технологических процессов-в отраслях легкой пром ленности.

ОСНОВНОЕ С0ДЕР1АНИЕ ДИССЕРТАЦИИ ОТРАЖЕНО В СЛЕДУ ПУБЛИКАЦИЯХ: ■ ' "

1, Цагрупов1.М., Иалиев А.И, Процедурный метод по роения интеллектуальных САПР- РЭА ; И СБИС.//Теория и мет создания интеллектуальных САПР в машиностроении и приборо роении. Тезисы научно-технической конференции 18-20 ноя 1992 г.//Минск, 1992..- с. 54-55.

2.. Магрупов-Т.и.Каляев Й.Н. Интеллектуальная ср дло распознавания изоморфизма графов при автоматизации про тирования i//Интеллектуальные САПР. Тезисы докл. 3-й Неаду родной научно-технической конференций,/ Таганрогский рад

зхническИй институт, Таганрог, 1992,

3. Калиев О,К. и др. Представление графической тформации о реально« обьекте на мифологическом этапе проек-1рования баз данных // Методы и средства обработки сложной эафической информации. Тез, докл. IU Всесоюзной конференц, / •iserop, гос. ун-т. Нижний Новгород, 19Э1. - с. 172

4. Калиев P.M. Аппаратно-программные средства интел-эктуальной системы распознования изоморфизма графов // Моде-1, методы и программные средства управления организацион-з-технологическими системами / Сборник научных трудов. азПТИ, Алма-Ата, 1991,

5. Калиев A.M. Использование персональных компьютеров зи создании автоматизированных систем проектирования// Мате-зтика и механика. Тез, докл. IX Республ, межвузовской науч-зй конференции по математике и механике // КаэГН, Алма-Ата, 389. - с. 77.

одписано в печать 23.0^.1993 г. Формат бОхЭ'» Печать »фсетная Зъем [,5 п.*. Тираж IOO экз. Заказ '98

Пзчатно-множительнып участок' КззПТИ, Ажкатч, Фрунзе. 53

Введение.

Глава 1. Современное состояние вопроса интеллектуализации систем автоматизации проектирования

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

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

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

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

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

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

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

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

2.4 Аппаратно-программные средства решения базовых задач (на примере распознавания изоморфизма графов).

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

Глава 3. Инструментальные средства и принципа интеллектуализации систем автоматизации проектирования

3.1 Инструментальные средства интеллектуализации системы?

3.2 Модульной принцип построения программных средств интеллектуализации системы.

3.3 Структура и принцип функционирования Функционально-ориентированного процессора.,

3.4 Оценка эффективности аппаратных и программных.средств интеллектуализации системы.

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

Глава 4. Практическая реализация средств интеллектуализации системы автоматизации проектирования

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

4.2 Диагностический контроль топологии БИС и СБИС.

4.3 Использование средств интеллектуализации системы при проектировании технологических процессов в легкой промыо-ленности.

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

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

Интеллектуальные САПР не могут формировать новые идеи, |!l) |1 ТО V0 ПрОМЯ опираясь на знания, базовые алгоритмы реые-ния проектируемых обьектов, технологий изготовления изделий, алфавит компилятора и параметры элементов систем позволяют проводить направленный поиск реиений.

В работе [891 описана концепция развития автоматизации проектирования на машинах пятого поколения, где обязательным условием является содержание в системе программного обеспечения следующих компонентов:

1. Интеллектуальная система обеспечения системотехнических исследований (ИСОСИ);

2. Интеллектуальная сервисная система (ИСС),, для обеспечения работы пользователя в целом с системой проектирования и сохранения высокой надежности ее функционирования.

ИСОСИ обеспечивает проектировщика интеллектуальными средствами, для помощи в проведении системотехнических исследований и состоит в основном из:

- интеллектуальной системы программирования, системы проектирования, баз знаний:

- интеллектуальной систем!» проектирования сверхбольиих интегральных схем.

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

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

В диссертации исследуются и разрабатываются следующие задачи:

- анализ существующих методов, алгоритмов и систем автоматизации проектирования,

- методйяагические основы интеллектуальной системы автоматизации проектирования,

- математический аппарат, базирующийся на методах теории графов,

- способы и методы решения задач теории графов на основе единого входного языка,

- аппаратная и программная реализация решения задач теории графов,

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

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

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

1. Разработана методчв&гическая основа интеллектуальных систем автоматизации проектирования, базирующаяся на методах теории графов и принятия решений. Особенностью такой методе#е«т является комплексный подход в решении проблем проектирования обьектов сложной структуры.

2. Предложена единая методика реиения задач теории графов, • основанная на методе разбиения вершин графа на уровни. Единая методика позволяет существенно сократить количество комбинаторных операций возникающих б процессе проектирования.

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

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

5. Разработан способ аппаратно-программной реализации процесса проектирования обьектпв слояной структуры, основанный на методе разбиения вершин графа на уровни.

6. Предложен способ взаимодействия между аппаратной реализацией и программным обеспечением базовой мамины в процессе проектирования, обеспечивающий высокую производительность за счет распараллеливания вычислений.

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

Практическая ценность работы.

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

Реализация результатов работы. Основные результаты диссертации получены при- выполнении научно-исследовательской работы в лаборатории "ВТ и САПР" Института Кибернетики с ВЦ Академии наук Республики Узбекистан; для ре-сения проблемы диагностического контроля топологии БИС и .СБИС б радиоэлектронной промышленности. Инструментальные средства и программное обеспечение системы одобрены Художественно-тех--ническими Советами Акционерного объединения "ШОБУВЬ", Яаы-билского производственного торгово-кьейного объединения "СУДУ" и приняты на опытную эксплуатацию. Внедрение результатов работы подтверждено соответствующими актами.

А п р о б а ц и я р а 0 и т и. Основные положения диссертационной работы докладывались и обсуждались на следующих, конференциях и' семинарах: "Проблемы вычислительной математики и автоматизации научных исследований" (Алма-Ата,1308), IX Республиканская межвузовская научная конференция по математике и механике (Алма-Ата,1389), Международная научно-техническая конференция "Теория и методы создания интеллектуальных САПР в машиностроении и приборе,г. грс.с-нии" (Минск,.1332), IV Всесоюзная конференция "Методы и средства обработки сложной графической информации" (Нижний Новгород,1331), Региональная иаучно-мэтодичоская кпнференция &уяиь Ирллл и Сибири (Челябинск, 1989). III Международная научна техническая конференция "Интеллектуальные САПР" fТаганрог,1ПЗ^М и др. п у б л vi к о 11 и и. по т к ч >: дисс ертоции опу иликоват«'

6 научных статей и тезисов докг,г.дпь и.• Международных, Всесоюзных и Республиканских конференциях.

Структура побьем работы.

Диссертация состоит из введения, четырех глав, заключения, списка литературы и прилоченил. Работа содержит 150 страниц текста, 55 рисунков, 4 таблицы, 10 листингов программ и списка литературы из 107 наименований.

ЗАКЛЮЧЕНИЕ I

Последние достижения в области создания систем'автоматизации проектирования в различных отраслях, в частности разработки изделий микроэлектроники- и средств вычислительной техники требуют повышения степени интеллектуализации процесса проектирования. Данная проблема возникла из-за трудноформали-|Зуемости и труднорешаемости задач проектирования, В связи с этим, для решения поставленных проблем в диссертации получены следующие результаты:

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

2. Разработана единая методика решения: " базовых задач теории графов, • основанная на методе разбиения вершин графов на уровни.

3. Разработан единый входной язык описания графов в формальной квадратичной Форме. Предложена универсальная структура комбинированной записи графовой.информации с постоянными и переменными частями для обработки знаний и данных о различных предметных областях. !

4. Разработаны аппаратные, программные и инструментальные средства интеллектуализации решения базовых задач теории .графов. Предложен модифицированный алгоритм распознавания изоморфизма графив, основанный, на методе разбиения вершин графа на уровни. и. Произведена оценка эффективности'аппаратных и;программных средств интеллектуализации задач: проектирования, способа их взаимодействия. Рассмотрены примеры использования средств интеллектуализации для диагностического'контроля топологии ВИС и СВИС в радиоэлектронной промышленности и проектирования технологических процессов в отраслях легкой промышленности.

1. Автоматизация проектирования технологических процессов в машиностроении./Корсаков B.C., Капустин Н.М. и др. •!. :Маииностр<., 1985. с.304.

2. Автоматизированное проектирование и производство в машиностроении./ Соломенцем Е.М., Митрофанов В.Г. и др. М.: Иашиностр. , 1988, 25G с.

3. Автоматизированная система проектирования; техноло-. гических процессов механосборочного производства. /Зарубин Г.М., Капустин Н.М.и др., М.: Машиностроение, 1979, 247 с.

4. Автоматизация проектирования в радиоэлектронике и гнчислительной техники. М: МДНТП, 1981. ■

5. Агафонов В.Н. Типы и абстракция данных в языках программирования : Обзор// Данные в языках программирования . М.: Мир, 1982. - с.' 265-327.

6. Алексеева Е.В. Гуленков В.Ю. Структурные принципы : технологического процесса в условиях ГПС.// сб. Гибкие произодственные системы . М.: Изд-во стандартов. 1987.

7. A.c. 596951 СССР, МКИЗ G06F 15/20. Устройство для пределения изоморфизма графов / В.М. Курейчик и др.- Опубл.1378 , Бюл. Н 9. .

8. A.c. 732879 СССР, ШЗ G06F 15/20. Устройство-для .феделения изоморфизма для ориентированных графов / А.Г. Коолев, В.И. Курейчик, В.А. Калашников,- Опубл. 1980,- Бил. IL.« •

9. A.c. 1305703 СССР, МКИЗ G06F 15/20. Устройство для •збиения графа на подграфы / В.М. Глушань,, В.М; Курейчик, И.

10. Левин, Л.И. Щербаков.- Опубл. 1987, Бюл. N 15. .

11. A.c. 596951 СССР, МКИЗ G06F 15/20. Устройство для | пределения изоморфизма графов. /В.М. Курейчик и др.- Опубл. .378, Бюл.Н- 9. . '

12. Байков В.Д., Смолов В.Б, Аппаратурная реализация лементарных функций в ЦВМ. Л.: Машиностроение. Ленинградско-i института, 1975, 96 с.

13. Баталов Б.В., Магрупов Т.М. Определение соответс-■ ия больиой интегральной схемы принципиальной схеме. // Микзлектроника. 1974 Bun. 4. с. 311.

14. Баталов D.B., Норенков H.H. . Системы тонатизированного проектирования СБИС // Микроэлектроника "Л т.9 вып. 5. с. 401-412.

15. Батицев Д.И. Оптимизация радиоэлектронных устойств. М.:Сов.радио, 1975. с.47.

16. Буданова Т.И.,Гудим И.В. и др. Структурная модель охнологического' процесса изготовления швейных изделий для винного проектирования потоков.// РС : Швейная 'промышленность, вып.З. М. ЦНИИТЗИ Легпром. 1983.

17. Васильев В.В., Радугин Е.А. Электронные модели за-14 на графах. Киев.: Паук, думка, 1987. 152 с.

18. Васин О.В. Алгоритм установления изоморфизма гра-// Алгоритмизация логического проектирования;дискретныхстройств. Киев, 1974, 168 с.

19. Вермишев В.Х. Основы автоматизации проектирования. Радио и связь, 1988, с. 280.

20. Вирт Н. Алгоритмы + структуры данных = программы: : р. с англ.- М.: Мир, 1985, 406 с.

21. Вирт Н. Язык программирования ПАСКАЛЬ // Алгоритмы организация решения экономических задач. М.: Статистика, :74, Вып. 3, с. 38-66.

22. Вирт Н. Алгоритмы и структуры данных ': пер. с игл. И. : Мир', 1989, 360 с.

23. Гридин В.II. Формализация средств лингвистического -оимодействия пакетов прикладных программ в комплексной САПР

24. Вопросы электроники. Сер. ЗВТ. 1984 N 3. с. ■9-145.

25. Гридин В.П., Сперанский С.Н. и др. Система реляци-мно-логического программирования КОНЦЕПТ,- ориентированная!надачи САПР //Докл. I международной научно-практической конвенции САПР СВТ . 89 .М. .

26. Гридин В.Н. Тенденции построения ^развития прог- ' '.мннотехнических средств автоматизации проектирована микроэтронной аппаратуры // Лекции школы -семинара по объемным тегралышм схемам . Тбилиси : ГПИ : 1988, с. 7-14

27. Гроувс С. Система взаимодействия меяду основным . оцессором и сопроцессорами стандартного интерфейса // .онтроника. 1983, N. 10, с. 66-71. •

28. Грувер К., Знинерс 3. САПР и автоматизация произтва. М. : Мир, 108?.

29. Гуткин Л.С. Методы оптимального проектирования.М.: но и связь, 1984. с.86.

30. Деньдобренько Б.IL, Малика A.C. Автоматизация труирования РЗА, И.: Высш. ^кола, 1980, 384 с.

31. Дхонс Дл.К. Методы проектирования. М.: Мир, 1986.

32. Диксон Дн. Проектирование систем: Изобретательст-анализ и принятие решений. М.: Наука, 1977, с, 243.

33. Евстигнеев В.А. Применение теории графов в прог-пфовании. // под ред. А,П. Ершова. М.: Наука. 1985. -352.

34. Замулин A.B. Типы данных в языках программирования; • -•.зах данных . Новосибирск : Наука, 1987. - 150 с. i

35. Зыков A.A. Теория конечных графов. Новосибирск, :3. 543 с.

36. Иванов Е.А., Певченко В.П. 0 паралельных вычисле-• на графах. // Кибернетика. 1981. Н 3. - с. 89-94.

37. Иванов Е.А. Паралельные алгоритмы на графах // Кинетика. 1981 - IL 3. с. 81-83.

38. Ильичев A.B. и др. Эффективность проектируемых •:ентов сложных систем. М.: Высш. школа, 1982. с. 106.

39. Интеллектуальные интегрированные САПР РЗА и СБИС. .: Наука, 1990. с. 165. . .

40. Интеллектуальные системы имитации./ Тез. докл. 6-й • ;но-метод. конференции 28-30 октября 1985 г., Новосибирск

41. Кабулов В.К., Гуськов Г.9., Магрупов Т.М. Концеп-ьное проектирование микроэлектронных вычислительных ктур и ситем. Ташкент.: Фан, 1989. с, 224

42. Казенное Г.Г. Структура, основные требованиями .:: :цнпы построения САПР микроэлектронных приборов. М.: Высш. • а. 1978

43. Казеннов Г.Г., Шепелев В.А., Попова Т.Н. и др. :см контроля топологии интегральных схем на базе мини-ЗВМпользованием дисплеев. В кн.: Микроэлектроника; Вып.,9. ' ов. радио, 1976.

44. Калиев A.M. Аппаратно-программные средства интел-.альной системы распознования изоморфизма графов // Модеи, методи и программные сродства управления организационно-технологическими системами / Сборник научных трудов. Алматн 1991

45. Карелин В.Н,, Миронов Б Л1. Алгоритм определения 'изоморфизма однородных неориентированных графов // Изв. АН СССР. Техническая кибернетика, 1975. IL 2.-е. 145-148.

46. Карапетян A.M. Автоматизация оптимального; конструирования ЭВМ. М.: Сов. радио, 1973. с. 382

47. КерниганБ., Плоджер Ф. Инструментальные средства программирования на языке Паскаль. М.: Радио и связь,: 1985 , - 313 с.

48. Кикуст П. В, Алгоритм распознавания изоморфизма графов и его применение б идентификации логических сетей // Автоматика и вычислительная техника. 1979., - Н 4 - с. ;М-27.

49. Князьков В.С., Волченская Т.В. Организация; аппаратных средств подд.-ркки САПР // ЛЭТИ, вып. 364, 1985, с. 40 ■46.

50. Конструирование Функциональных узлов ЭВМ на интегральных схемах / Под ред. Ермолаева. М.: Сов, радио,.1988.

51. Корячко В.П. и др. Теоретические основы! САПР: !'чебник для вузов. Знергоптомиздат, 1987. с. 400.

52. Краснощеков П.С., Петров А.А. и др. Информатика и ::роектироание. М-.: Знание, 1986. Сер. Математика, .Кибернетика. N 10. Г

53. Курейчик В.К. и др. Система электронного моделирования задач автоматизации конструирования. // Электронное ыо--олироание. 1384. т.О. IL 1. с. 16-17 . .

54. Курейчик В.К. и др. Специализированная вычислительная система для решения задач автоматизации конс-груирования. // Яоь'иннне методы конструкторского проектированы РЗА и ЗВА / Издат. Саратов. ун„та, 1983. с. 16-17.

55. Курейчик В.«. Королев А.Г. Об *одном подходе рас-.ознования изоморфизма графов // Кибернетика 1977 N—2. с. 82 •37 .• :. ,, • .:

56. Курейчик P.M., Королев В.П. Применение алгоритма зонорфизма графов для контроля схем БИС // Микроэлектроника.-.070. IL5 с. 400-400 . 1 ' Г

57. Курейчик В.М., Глуиань В.М., Щербаков Л.И. Комби-.-.торные аппаратике модели и алгоритмы в САПР. М.:; Радио изь. с. 214 i

58. Магруков Т.М. Автоматизация проектирования микроэлектронных вычислительных структур.//Техника средств связи, сер. Микроэлектронная аппаратура, 1982. Вып.КЗ).

59. Магрупов Т.М. Алгоритм плотного размещения менсое-динений монолитных Ги.льыих интегральных; схем// Вопросы кибернетики. Вып.58. Ташкент : ИК с ВЦ АН УзССР. 1973.

60. Магрупов Т.М. Графы, сети, алгоритмы и их приложения. Тапкент.: Сон,1900. с. 120.

61. Магрупов Т.К., Калиев А.М. Интеллектуальная среда для распознавания изоморфизма-, графов при автоматизации'проектирования // ИСАПР. Тезисы докл. 3-й Меад. научно-техн. кон-ссрснции/ Таганрогский радиотехнический ин-т. • Таганрог 1992. ' ' ,

62. Магрупов Т.М., Ариджанов М.К., Юсупов^ С.Ю". Разбиение цифровых устройств на Апльиие интегральные схемы// Вопроси кибернетики, вып. 110. Ташкент,. 1980. •

63. Методы разбиения схем РЗА на конструктивно* законченные части/ под ред. Морозова К.К. -М.: Сов. радио, 1978. -130 с.

64. Меликиг. Е.Х. Золотцева Л.В. и, др. Лабораторный г. л;: г и кум по технологии ¡звейных изделий. М. :Легпромбытиздат.~

65. КелихнБ fi.II., Курейчик В.М., Королев А.Т;. Решение задач контроля при техническом проектировании на основе рас п о ^ :м в а ни я из ом о р ф из ма графов// Материалы XXUI Республ. конф K"j::ac. 1977. с. 139-141. '

66. Мелихов А.П., Бернатейн Л.С., Корелин В.П. Об изо-¡:;.I :изме графов и конечных автоматах// Изв. АН СССР Технич. кибернетика . 1368. - !Н . - с. 128-134.

67. Мелихпн ПЛ., Бернштейн Л.С. и др. Применение гра-для проектирования дискетных устройств. М.:* Наука, 1974.

68. Мелихов А.!!. Бернштейн Л.С. и др. Об изоморфномпни графов.// Математическое моделирование и теория ¡ирических цепей. Run. 8". Киев. 1972. с. 288.

69. Морозов К.К. и др. Автоматизированное проектирова-:•: -нструкций радиоэлектронной аппаратуры . М.: Радио и1983 . 200 с.

70. Морозов К.К,.Одинцов В.Г. и др. Автоматизация про-ания конструкций РЗА. М.: Радио и связь,- 1983.

71. Мурога С. Системное проектирование ;сверхбольших етральных схем1: Пер. с англ. / под ред. В.М. Кисельнико- К.: Мир, 1982.

72. Нильсон 1!. Принципы искусственного^интеллекта . :. г.но и связь , 1985.- с.285.

73. Иукдихин В.Г., Беседин А.Л. Системы автоматизиро-проектирования . Киев .: Вища школа, 1984,

74. Сапокков К.А. и др. Решение задач методом-выделе-графе изоморфных подграфов // Автоматизации конструко проектирования РЗА и ЗВА. Пенза, 1977.- с. 12-19. >1. Селютип В.ft. Машинное конструирование электронных '. тв. И.: Сов. радио, 1977. 383 с.,, , .

75. Серова Т.Н. Разработка организационно-технологи--.оделой проептиропани^ чвейикх потоков./Автореф . дис.• •■»», ii 1 г| о о

76. Г» . I . tl , , 14 , 1 vMM> .а. Сечкин ft.В. , Гудин И.В. и др. Проектирование тех-оких процессов изготовления швейных изделий. М.: . :;тиздат. 1388. .

77. Скирута li.ft., Коммисаров О.Ю. и др. Системное; про;; .ние технолигических потоков в легкой; промышленности.ка. 1900.

78. Смолов В.Б.,!.одяхо ft .И. .Пузалков Д.В. Высоко про-не процессоры для вычисления элементарных функций. ССР. Приборостроение, Л.: ЛИТМО, 1983, с.30-34. Смирнов О.Л., Падапко С.И. САПР: формирование и гание проекмшх модулей . М.: Машиностроение,

79. ЭВМ fl—i*o томления; концепции, проблемы, перспективы./ пЬд ред. Т.Мото-ика; пер. с англ. М.: Финансы и статистика,; 1904.

80. Djavaherv !!., Osborne S. Modula 2f : fin Alternative to С for Sysler>is Prograaning// 3ournal of Pascal, Ada, and Modula 2 . 1ЯСП. U.5, N3. - p.47 - 52.

81. Hayuard D. -CoEpared Anatomy of the Programming Languagel Pascal and C// ACM SIGPLANiNotices. -1986. U.21.N5.-P. 50-601 " .107.,Turbo pascal reference manual.Borland1.ternational, IIIC. 1985. - 376 p. . ,l •

82. У .Т В Е Р I Д А Ю Генеральный директо1. Акционерного объединен^9:М9НЙТАЕ1п1. Ж&1 '19'33г1. АКТприема-сдачи научно-технической продукции на опытную

83. От предприятия Начальник технического отдела

84. От Института Кибернетики с ВЦ АН Республики Узбекистан

85. УТВЕРЗДАЮ Генз&ззт^^ш^директор Iфизводствен-гйного Ш"1. Аргинбаев 1993 г.1. А К Тприемки-сдачи научно-исследовательской работы в опытную эксплуатацию

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