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

Министерство по делам науки высшей школы

и технической политики России УРАЛЬСКИЙ ОРДЕНА ТРУДОВОГО КРАСНОГО ЗНАМЕНИ ПОЛИТЕХНИЧЕСКИЙ ИНСТИТУТ имени С. М. Кирова

^ ?с1}'С На правах р:то)писи

ЗАХАРОВА Галина Борисовна

УДК 681. а 069

ИНТЕЛЛЕКТУАЛИЗАЦИЯ СРЕДСТВ ЛОГИКО- КОМПИЛЯТ ИБ1ЮГО ПРОЕКТ ИРСВАНИЯ РЭА

ециалъность 05.13.12 - Система автоматизации проектирования '

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

Екатеринбург - 1993

РаСота выполнена в Институте машиноведения Уральского

отделения Российской Академии на^тс Научный руководитель - доктор технических наук, действ.

член АЕН России Е П. Чистов. Официальные оппоненты - доктор технических наук, член-

корр. АЕН России С. Л Гольдштей* - кандидат технических наук, В. К. Суханов. Ведущее предприятие"- Московский горный институт Занята состойся февраля 1993 года в ^ часов к заседании специали&ироьанного совета К 063.14.13 при Уральс! политехническом институте им. С. М. Кирова - 620002, г. Екате| Сур:', К-2, УПИ.

С диссертацией можно ознакомиться в библиотеке Уральск* политехнического института. Автореферат разослан

января 1993 года. Раз отзыв в двух экземплярах, скрепленный гербовой печ просим направлять по указанному адресу ученому секретарю сп алнгированкого соЕс-та.

Ученый секретарь специализированного

совета К 053.14.13 , , с

кандидат технических наук, доцент ¿Ц A.A. Кокстак

U ;

- 3 -

ОЕЦАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

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

Существующие интеллектуальные системы автоматизпрованно-проектированкя, реализованные для предметной области типа :ть - целое", в основном ориентированы на совмещение /таурных и оценочных свойств объектов' и, как следствие, зшся эффективными только для таких проектов, элементы коле имеют небольшое- число взаимных конструктивных и функци-пьных связей. Устройства ЕЗА таковыми не являются , поэто-зопустимые варианты решений могут быть отобраны за приемке время лишь для проектов с малой степенью интерпретации, организации структурного синтеза решений, содержащих мко-юзневое описание проекта на .его полную глубину, в систему >да подключаются процедуры диалогового аппликатизного про-фования.

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

нерации, в кастояпэе время не развит, поэтому задача co?ga¡ идеологии и соответствующих систем является актунльнс Средства долхны дополняться процедурами аппликативного про>: тироЕания для обеспечения вкусовых требований к проекту.

Цель работы - создание методологии компилятив: го проектирования дискретных систем с автоматической гене; цией решений, удовлетворяющих задаваемым требованиям и orí кичениям, на предметной области типа "чзсть - целое" с раз; лением структурных и стоимостных свсйстя объектов и реалн; ция методов кошилядаи в виде программного продукта.

Соответственно реваются з а д а ч и :

- разработка концепции средств компилятивного проектиро} ния как системы, оснозанной на знаниях;

- создание модели отобра*.ения поедметнай области в 6<: знаний и введение синтаксиса языка ее представления;

- определение постановок задач проектирования в рамках с данной модели представления знаний; .

- обеспечение 'средстЕ вывода пс базе знаний с цель» noj чения множества концептуальных решений в форме метапроекто!

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

- создание средств интерпретации метапроектов в конкреть схемы устройств;

- реализация методов компилятивного'проектирования в b¡ программного продукта и вложение их в диалоговую оболочку } тегрированной САПР, включающей средства графического E20¿ имитационного моделирования и схемного документирования.

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

Научная новизна ргботы заключается в еле;

юп^гм:

- разработана база знаний на предметной области tí: "часть - целое" для объектов вида "класс - представите класса" в форме и/ИЛИ графа, в которг-м отображаются оценочн

характеристики с-Съгктоз, з ;:>. струкгуркке описангя хранятся отдельно; на этой основе предложен новый подход к автоматизации проектирования дискретные: устройств КЭА который позволяет делить заключения о значениях параметров бег схемной реализации проектов;

- ¿ведено четьре типа К-гернзяг ь rpaí«? - ссылоч-гы::, го-рожратаис, декларативых и атрибутных - по их отнесения к соответствую-:^* компилятам, и два типа ИЛЛ-верами, з'стзнавлп-Еанлдпх способ вхождения их конкретизации в структуры Соле;' elcckhx уровней иерархии;

- создан язык продукционного типа для представления Сазь: знаний. позеоляеецй попользовать встроенный механизм выгода языка 1Р0.10Г после этапа предварительной трансляции:

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

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

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

Практическая ценность работы. На основе предложенного подхода к компилятивному пректировз-кпЕ устройств Е?А прогрзмечо реализована система ЛК^КО. Ее первая версия, автомзтпэирлтцля процесс аппликативного проектирования, была Енедрена на ряде предприятий с экономическим ?;фект:м более :СО тыс. рублей.

Еторая версия систем, содерлзцая интеллектуальную ветвь, используется в учебном процессе Уральского политехнического института, и является методологически полным образцом современного подход^. к автоматизации логического этапа проек- • тпровпния íSA.

На выставке "Программное обеспечение и прикладные еисте-т /ЯГ', проходившей в рамках 1:1 Всесоюзной конференции по'

искусственному интеллекту в 1992 году, компилятору ДИСКО присуддена первая премия.

Апробация работы. Основные результаты диссертационной работы догадывались на VI Всесоюзном симшззиуме "Логическое управление з промыхленности", Тбилиси, 1933 г.; III и IV Всесоюзных сем,шарах ")<!оделироЕаш!е дискретных управлявши и вычислительных систем". СвердлоЕСк, 1961 5! 193-1 г.г.; V координационном совеп^упг.'. "Математическое обеспечение пнтегрпроЕакных систем САПР-ГАЛ в машиностроении", Ижевск, 1964 г.; Рг:-сокзной ечолй "Маимнад схемная графика", Мпьсс, 1985 г.; XXVII сколе-семинаре им. Ы. А. Гаврилова "Диалоговье системы логического проектирования", 22-30 апреля, Ташкент, 1985 г.; Всесоюзной конференции "Теоретические и прикладные вопросы разработки и эксплуатации! САПР РЭА и ЕИС", Львов, 1985 г.; VII координационном сс-эегании "Математическое обеспечение интегрированных систем САП?-.ГАЛ" и IX Всесоюзном симпозиуме "Логическое управление в промышленности", Ташкент, 1985 г.; I научно-практической конференции стран - членов СЭВ "Системы автоматизированного проектирования средств еычисл::-тельной техники САПР СБТ. 69", Ленинград, 17-21 апреля 1953 г.; Есесовзной конференции "Тоория и практика построения интеллектуальные 'интегрированных САПР РЭА и БИС", Звенигород, 5-7 декабря 1989 г.; Всесоюзной научно-технической конференций. "Интеллектуальные системы в машиностроении", Самара, 10-14 июня 1991 г.; Всесоюзной сколе-семинаре молодых ученых "Разработка и эксплуатация САПР в радиоэлектронике", Челябинск, 10-12 сентября 1991 г.; II н III Всесоюзных конференциях по искусственному интеллекту, Шнек и Тверь, 1990 и 1992г.

И у б л и к а ц и и. По теме диссертации опубликовано 17 печатных работ.

Обьем и структура работы. Дисеерта-ция состоит из введения,, четырех глав и заключения, изложенных на 156 страницах, списка литературы (104 названий.» и приложений.

СОДЕРЖАНИЕ РАБОТЫ Е о введении показана актуальность выполненной работы, определена ее структура. Кратко изложено содержание всех глав.

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

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

Методы синтеза

т-1—

! Алгоритмические

! 1-

I Генерационные

1 1 1 I I-

1 | I Аппликативные

I I . »-

| I Грамматические

! 1--

I Поиск в пространстве состояний

I---

в И/11ЛИ грзфах | | б семантических сетях

--1 I---

г ~

с ссвыгсрнлем ЕД-ЕЗ | 5 с разделением ЕД-ЕЗ

---1 I__

Рис. 1. Классификация методов структурного синтеза технических объектов.

2 о второй главе разрабатывается алгебраическая моле-ль предметней области и вводится определение базы знаний как систеуч отнесений на ¡¿ножеегве сетей.

Объектом предметной области является сеть Б, которая задается множеством своих входов, выходов, элементов и цепей: 3 « \ У., V, Е, С >.

Входы я выходы сети - не пересекающиеся множества ее внепких полюсов:

X = <л1, х2, ..., ХГ|} И У - <у1, у2, ..., уп}, X А У

Через ЕО будем обозначать объединение всех полюсов сети 5: ЕО - X и У

Если К - множество различных полисов элементов, или множество контактов, то Е - множество всех элементов сети, определяется как под'зюжество множества всевозможных неупорядоченных групп. содержащих п компонентов и.з К, где п может принимать раз-личные целые значения: ЕС { Кп >п.

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

1,1

■ С С и К1 и ЕО. 1=1

Бинарная операция объединения' сетей вводится следующим образом. Если Р1 « { XI, VI, Е1, С1 > и Р2 ° ■( XI, У1, Е1, С1 } - две сс-ти, то результатом их объединения является сеть 3 « N С Р1, Р2 ), получаемая отождествлением одноименных полюсов сете!?: Р1 и Р2, при этом все отождествляемые полюса, за исключением одноименных .входов, становятся выходами результирующей сети. Компоненты сети 5 определяются как результаты теоретико-кдожественных операций: X « XI и Х2 \ , где ТЗ = Х1П У2 и Х2П У1, У - У1 и У2 Е « Е1 и Е2 , С = с ( С1 и С2 ) М Р) \ Р-Здесь Р - множество новых цепей, полученных в результате отождествления полюсов: Р = { 01,... ,ск } С С1 и С2: V С1 6 Р 3 с 6С1 3 Г £ С2:

слг=чег = ( XI и У1 )П( хг и У2 ) & с! = с и г ; И - множество цепей из Р1 и Р2, которые имеют среди своих компонентов хотя бы один отождествляемый полюс:

I? = -( с1,... ,сп У с: С1 и С2: Ус1 = Ш.....кт>еи

•35 €41,2.....т>: кзбг = С XI и У1 ) А ( Х2 и У2 ).

Операция сцеления сетей Р1 и Р2 порождает сеть 5 = Ь ( Р1, Р2 ), которая; получается отождествлением одноименных полюсов этих сетей, при этом в цепях, получаемых соединением Ехода одной сети с выходом другой, внешний полюс не формируется.

Операции, объединения и сцепления названы операциями композиции сетей. Пример приведен на рис. 2.

I-

I I-

1Х| |Х

-У -X

_ А. _

■51

Рис. 2. фимер объединения и сцепления сетей.

Показано, что лкбая композиция сетей коммутативна: М ( И, Р2 ) - N ( Р2, Р1 ), ( Р1, Р2 ) - I ( Р2, Р1 ). Объединение обладает свойством ассоциативности, следовательно множество сетей является коммутативной полугруппой по объединении,

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

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

Обратная операция подстановки вместо блока его внутренней структуры называется раскрытием этого блока, иди декомпозицией, а подстановка структур во все Слски сети -раскрытие« с.ти.

Данная алгебра является основой для средств компилятивного проектирования, предназначенных для■автоматической гене-

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

Определенна'! Еыще предметная область компилятивного проектирования является экстенснокглсм по отношению к вз о дудой далее интенсиональной части - Саде знаний (ЕЗ).

База знаний компилятивного проектирования определяется как семантическая сеть в виде параметризованного >1/ИЛИ графа, который устанавливает отношения на множестве функциональных имен компиллтов и их структур:

а) часть - целое (функциональный блок является частью структуры); б) эквивалентность (ралли шы~. структуры имеют одно и то ж функциональное назначение и принадлежат одному классу устройств). Барсинаи типа ИЛИ сопоставлены функциональные имена блоков, вершинам типа И - конкретные структурные реализации.

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

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

- 11 -

Заданием на проектирование слутзгг ¡шцюрмация о том, ка-гсое устройство следует спроектировать и.каком критериям долх-ны удовлетворять его "параметры, а цель ¡о проектирования по БЗ язляется получение ресения - металроекта (или млодества допустимых ресений) в виде подграфа, содержащего иерархическое описание некоего проекта.

Определено три вида запросов по гре-фу:

1) указание на ИЛИ-герсзшу - спроектировать устройство в заданном классе;

2) указание на И-верещу - подобрать реализацию блоков выбранной структуры; '

3) указание композиции верши - запрос ка проектирование нового' устройства в Форг.?? прототипа, структура которого формируется из блоков, соответствуете ИЛИ-вершинам.

Пример ЕЗ и запросы на ней показаны на рис. 3.

Рис. 3. Пример базы знаний и три вида запросов по ней.

Требования на параметры проектируемого устройства могут формулироваться в следующих вариантах:

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

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

- 12 -

лекксму приоритету набор парам«.ло»;

- удовлетворить ограничениям параметров .-> виде отношен "не Солее", "не менее" заданных.границ.

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

Опыт решения поставленных* задач компилятивного проект рования позволяет сформулировать требования к машине вывода

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

- формировать решения, минимально отличающиеся от гада ксгс про'.'отипа;

- формировать рекекия в гиде подграфов И/КЛИ-графа БЗ.

Задача создания средств вывода является отдельной пр

фессконгльной работой, и такая цель здесь не ставилась. В к честве готовой универсальной машины вывода была испольэоЕа система логического програ-мыитования ПРОЛОГ.

Поскольку ПРОЛОГ не может Сыть внеиним'языком предста лекил БЗ, был разработан язык ее описания для пользовател имеющий простой синтаксис и хоропо приспособленный для авт маткчеикой генерации БЗ и ее модификации и для отображения графические формы. Текст на ПРОЛОГе формируется автоматичес по исходному описанию БЗ. При этом восполняеся отсутствующ в ПРОгОРе возможность формировать так называемый след - си вольньй образ металроекта.

Одним из вариантов сокращения перебора является Еведен поняил иерархической РЗ - И/ИЛИ графа, заключительные Еерс ны которого являются ссылка).а1 на другие И/ИЛИ графы.

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

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

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

кг/ра и языки представления данных, определено место з ин-нрованной САПР РЭА.

Предметная область компилятивного проектирован;« как ?стео иерархических сетей, организованных в библиотечную ктуру, содержится в инструментальной базе данных (ИБД). э КЕД организуется информационный обмен межд;г подспстема-нтегрированной САПР так, -¿зк это показано на рис. 4.

остав системы]-

тг

р -СМ)

Рис. 4. Езаимодействг.э подсистем в интегрированной САПР.

Основными компонентами интегрированной системы являются: ;!Ч2СКЛЛ РЕДАКТОР, -позволяющий создавать схемы на экране лблиотечных элементов; средства СТАТИЧЕСКОГО И ДИНАМИ-:>ГО ЮДЕЛИРОЕ4НИЯ электронных дискретных систем с литерными временнье.«1 параметра)« элементов; система изготовле-ЗлЕМНОЛ ДОКУМЕНТАЦИИ, предназначенная для автоматического ирования чертежей схем с возможностью получения тверды-: 5> удовлетворяющих требованиям ГОСТ; подсистема КОШЭЕС-Е-

УХ., погьслихая формировать прющипиальньй с эка; и передава их в систему Р-САО на конструкторский этап проектирования.

Средства ЙЭШКЕЯИЕЮГО ПРОЕКТИРОВАНИЯ делятся на д части. Пэрьад содержит блоки: КОКПОЗЖИЯ, ДЕШЛОЗИЦИЯ, И РАШЯ, СБОРКА (многоместная композиция), ксторЫе относятся средств конструирования предметной области методами "РЗ-ной" коваля цки. Во второй части представлена гателлектуа! нал коми: пенса, - структура которой приедена на рис. 5.

Рис. Б. Структура средств интеллектуальной компиляции.

Данный блок содержит средства логического Еывода по б знаний и средства интерпретации метапроэктов. ПроектироЕа начинается выбором БАЗЫ ЗНАНИЯ из библиотечного набора к ф мирс-ванием ЦЕЛИ, которая содержит запрос е виде УСТРОЯС или ПРОТОТИПА. После указания, ' ЧТО проектировать, • задае КАК проектировать в виде ТРЕБОВАНИЯ через соответствуя

- 15 -

5лицы, отобраяашие допустимые значения параметров и ■ норитёты. Далее при необходимости задается СТРАКИЧЕН1!Я в це таблицы с перечнем кедопусгащх к использованию зерлнн.

После того, как определена цель, она подается в блек МА-ЯА ВЫВОДА для поиска удовлетворительных решений. И наконец, заключительном этапе выполняется ИКГЕГПгЕТАЕИЯ выбираемого библиотеки УЕТАПРОЕЯТА.

Четвертая глаза посвящена вопросам прогрзм-зй реализащи системы компилятивного проектирования.

Основными принципами, заложенными в систему, я2лякг-:я элюционность развития, модульность, малинная казавнеишеть, га'сче методология структурного пр0грам.\яф0БЗн:ы.

3 состав программного обеспечения входят гр:гапа модулей 1ликат1гвного проектирования и группа модулей кнтедлектуаль-1 компиляции. Показана их структура, построена семаятн-:кая сеть, отображающая взаимосвязи ме.чду модулями, сбразу-;еся по совпадении -их входных и выходных понят;гй. Гаг-ля гь молет быть сгенерирована автоматически теми ле юдулями .¡позиции. Приведен оригинальный алгоритм интерпретации ме-фоектов, в котором раскрываемая сеть сводится к виду, дс-:кающему композицию с подстзвллемъгд! компиллтами.

Показан пример проектирования сумматора по модельной базе ший.

В приложениях призедены аеты о внедрении.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

'1. Предложена модель представления знаний на множестве >архических сетей в виде параметризованного И/ИЛИ графа, 'кватно отображающего два типа отношений - "часть - целое" 'класс - представитель,класса" и количественные зависимости <ду структурами.

2. На основе отделения структурных свойств обектов про-'ирогания от их стоимостных характеристик сформулирован но-I подход к автоматизации проектирования дискретных уст-[ств, при котором заключения о параметрах проектов делаются 1 их схемой реализации.

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

- 1Р -

лов ЛПК-вергдк и включающий средства укззаяи" лекальных ус еий i! предпочтений. Обеспечено иформационное - окружение позволяющее использовать встроенный механизм вывода я; П?0ЛЗГ на «тале поиска множества матапректов.

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

L. Созданы оригинальные алгоритмы интерпретации мета е-кта в Чонкретную схему устройства до заданного уровня д лпзации.

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

• позиции структурных схем до любого уровня детализации и ративние способы распространения регулярны;-: фрагментов в нороднж структуры с произвольным коэффициентом повторен::

7. Реализована система интеллектуального компилятив проектирования на основе принципов модульности, мзпинно? зависимости, эволюционное.'!! развития и осуществлена ее Иг рация в диалоговую оболочку интегрированной CAIff, включ; средства графического ее;дз, моделирования, схемного док;,

ТИрОЕаК:5я.

В. Cncz-eiia компилятивного проектирования внедр-кг двух предприятиях, и используется в учебном процессе Урал: го политехнического института.

Основные результаты диссертации отражены в г.ублпкац;

1. Захарова Г. Б. Базовые средства компилятивного прс ектировзкия // Автоматизация г.рсектнрсвакпя дискретных у< тройств: межвузовский тематический сборник научных трудо; Челябинск, 1952. С. S4-6S.

2. Антонова Е. Ю. , Вптщкий Е IL , Богданов Z. L . Гог: ка U А. , Захарова Г. Б. и др. Система автоматпгированксг' проектирования дискретны/: управляющих и вычислительны устройств // Структура и организация пакетов прикладки программ ( материалы по мат. обеспечению ЗП!) / АН СССР УКЦ. Свердлове:-:, 1384. С. 32-37.

- 17 -

3. Захарова Г. Б., Середа а И. Трансляция итеративных текстов // Мат. обеспечение автомат, проектирования: синтез логических сетей / АН СССР. УНЦ. Свердловск, 1984. С. 54-53.

4. Захарова Г. К Языковые средства в системе компилятивного проектирования // Моделирование дискретных управляющих и

' вычислительных систем: Тез. докл. IV Есесош. семинара, февраль 1984 г. , Свердловск. СЕердлсвск, 1984. С. 243-2^4.

5. Захарова Г. Б. , Богданов Л. А. Имитационное моделирование при компилятивном проектировании вычислительных систем // Перспективы развития вычислительных систем (применение идей адаптации и эволюции): Тез. докл. II Есесоюэ. семинара, май 1985 г. , Рига. Рига, 1985. С. 73-74.

6. Захарова Г. Б. , 1!лышева !.'„ А. Графическое представление блочных с-^тей // Мат. обегпечекие автомат, проектирования: машинная схемография / АН СССР. УНЦ. Свердловск, 1985. С. 143-147.

7. Захарова Г. К , Ильшева М. А. Система компилятивного проектирования // Мат. обеспечение автомат, проектирования: машинная схемография / АН СССР. УНЦ. Свердловск, 1985. С. 175-1985.

8. Захарова Г. Б., Кравцов В. Г. Сжатие и разгертка цепей // Пат. обеспечение автомзт. проектирования: машинная схемография / АН СССР. УНЦ. Свердловск, 1985. С. 208-214.

9. Захарова Г. К , Богданов Л. А. Средства компилятивного проектирования и моделирования в ППП "Академсинтез" // Теоретические и прикладные вопросы разработки и эксплуатации РЭА и БИС: ■ Тез. докл. II Всесооз. конференции, 14-16 января 19£6 г., Львов. Москва, 1985. С. 115-116.

10. Богданов Л. А. , Захарова Г. Б. Композиция моделей при компилятивном пректироганип з ПП "Академсинтез" // Логическое управление в промышленности: Тез.1 докл. IX Есесоюз. симпозиума сентябрь, октябрь 1986 г. , Ташкент. -Ташкент, 1986. С. 132-133.

11. Чистов 3. П. ,. Захарова Г. Б. , Кононенко И. А. и др. Принципы построения интеллектуального интегрированного пакета функционально-логического проектирования СЕТ // САПР СЕТ'59: Доклады I Международной научно-практической ^конференции, 17-21 апреля 1989 г., Лс-яинград. Москва, 1989, С. 42-51.

12. Захарова Г. Б. Проблемный диалог в логике-ко;,«лилятив-

ной САПР // Диалог "Человек - ЭВМ": Тез. докл. Всесовз. конференции, 4-9 сентября 1989 г., Свердловск. Свердловск, 1989. С. 106-107.

13. Захарова Г. Б. , Чистов Е П. Интеллектуальная система компилятивного' проектированы F3A // УСкМ, N 4, 1990 г. С. 78-82.

14. Чистое В. Л.,, КуСарева 0. Г. , Захарова Г. Б. Интеллектуальные средства САПР ГЭА // Искусственный интеллект-SO: Тез. докл. II Всесоюз. конференции, 21-24 октября 1990 г., Минск. Минск, 1990. С. 172-175.

15. Захарова Г. Б. , Чистов В. П. , Шз: сиров Р. Н. Интеллектуальная система проектирования по принципу "часть-целое" /7 Интеллектуальные системы в машиностроении: Тез. докл. Есессюз. научно-технической конференции "Интеллектуальные системы в машиностроении", 10-14 пын;- 19J1 г. , Самара. Самара, 1991. С. 15-16.

16. Захарова Г. Б. , Чистов В. II Интеллектуальный схемный компилятор в составе интегрирование;! САПР F3A // Разработка и эксплуатация САПР в радиоэлектронике: Тез. докл. Всесоаз. Еколы-семинара молодые ученых, 10-12 сентября 1991г., Челябинск. Челябинск, 1991. С. 24-25.

17. Захарова Г. Б. , Чистов Е TL , Еакиров Р. Е Реализация интеллектуального схемного компилятора ДИСКО в составе интегрированной САПР РЗА ■// III Конференция по искусственному интеллекту ЮШ-92: сборник'научных трудов в 2-х томах. Тверь, 1992. С. 64-67.