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

Введение

1. НАЗНАЧЕНИЕ И ПРИНЦИПЫ ПОСТРОЕНИЯ БАНКА ТИПОВЫХ СХЕМОТЕХНИЧЕСКИХ РЕШЕНИЙ (БАНКА СХЕМ) В РАМКАХ СИСТЕМЫ СХЕМОТЕХНИЧЕСКОГО ПРОЕКТИРОВАНИЯ (ССП)

1.1. Основные функции банка схем (БС) в процессе автоматизированного схемотехнического проектирования

1.2. Принципы построения БС.

1.3. Общие требования к программным средствам БС и выбор технических средств реализации БС

1.4. Выводы.

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. Методика применения программных средств БС.

4.4. Перспективы развития БС.

4.5. Выводы.

В решениях ХХУ1 съезда КПСС подчеркивается необходимость дальнейшего совершенств ования вычислительной техники, ее математического обеспечения, систем сбора, передачи и обработки информации, создания развитых систем автоматизированного проектирования / I /.

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

В основе схемотехнического проектирования лежит этап структурного схемотехнического синтеза, на котором определяется конфигурация схемы проектируемого электронного устройства. Успехи, достигнутые в решении задач структурного схемотехнического синтеза, относятся, как правило, к узким классам схем. Видное место в решении проблемы синтеза линейных схем занимают работы Лан-нэ А. А. / 55 /. В работах Глориозова E.JI. разработан аппарат схемотехнического структурного синтеза логических электронных схем / 26,27 /. Задача схемотехнического структурного синтеза представляет собой творческую задачу, для решения которой человеку необходимо использовать знания, опыт, интуицию. По-прежнему, в выполнении этого этапа центральная роль принадлежит человеку / 73 /.

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

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

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

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

- накапливать варианты схемных решений и эффективно использовать их в дальнейшем;

- сократить повторные расчеты электронных схем;

- создавать на основе готовых схемных решений новые варианты схем в рамках ССП;

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

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

- высокую наглядность;

- резкое сокращение объема ввода текстовой информации;

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

Создание в рамках ССП мощной информационной базы для хранения сведений о готовых электронных схемах - банка типовых схемотехнических решений ( для краткости - банка схем ) - предполагает решение следующих задач:

- разработка информационной структуры банка схем (БС);

- разработка специальных программных средств БС;

- организация отбора схемотехнической информации для наполнения БС.

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

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

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

Для достижения указанной цели необходимо решение следующих основных задач:

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

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

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

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

- обеспечение информационного единства БС и ССП;

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

Научная новизна результатов диссертационной работы заключается в следующем:

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

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

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

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

Теоретические и практические результаты диссертационной работы использовались в двух научно-исследовательских работах, выполненных на кафедре электронных и магнитных цепей ЛЭТИ им. В.И.Ульянова (Ленина) в 1980-1983 гг. по программе САПР Минвуза РСФСР для нузд промышленности, разработанные автором программные средства банка типовых схемотехнических решений входят в состав базовой учебно-проектной САПР "ЭМЦ-СМ", создаваемой в соответствии с постановлениями ГКНТ СССР, ГОСПЛАНА СССР и АН СССР № 474/250/132 от 12.12.80 г. ( целевая комплексная научно-техническая программа 0.Ц.027, задание 05.21.).

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

Основные результаты диссертационной работы заключаются в следующем:

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

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

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

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

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

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

Теоретические и практические результаты диссертации использовались в научно-исследовательских работах, выполненных на кафедре электронных и магнитных цепей ЛЭТИ имени В.И.Ульянова(Лешша) по тематике САПР. Основные результаты диссертационной работы обсуждались на следующих семинарах и конференциях:

- Всесоюзном совещании-семинаре "Теоретические и прикладные вопросы разработки, внедрения и эксплуатация САПР РЭА", г.Алушта, 1981;

- П Всесоюзной школе-семинаре "Г&зработка и использование технических и программных средств системы малых ЭВМ (СМ ЭВМ)", г.Домбай, 1982;

- Ш Всесоюзной конференции "Автоматизация поискового конструирования и подготовка инженерных кадров", г.Иваново, 1983;

- Межреспубликанском семинаре "Кибернетика и исследование операций в управлении учебным процессом", г.Рига, 1984;

- Республиканской конференции "Моделирование и идентификация компонентов и узлов электронной техники", г.Киев, 1981-82 гг.;

- Втором Республиканском совещании-семинаре по машинному проектированию электронных схем, Славско, 1981;

- X научно-технической конференции "Автоматизация конструкторского проектирования РЭА и ЭВА", г.Пенза, 1983;

- научно-технической конференция "Применение систем автоматизации проектярованяя в машиностроения", г.Свердловск, 1982;

- Областном научно-техническом семинаре ЛДНТП "Машинные методы проектярованяя электронно-вычислительной аппаратуры", г.Ленинград, 1981;

- семинаре Ленинградского областного правленяя НТО ПРЙБ0Н1Р0М "Автоматизация проектирования электронных цепей", г»Ленинград, 1981-83 гг.;

- научно-техняческях конференциях профессорско-преподавательского состава ЛЭТИ яменя В.И.Ульянова (Ленина), 1981-83 гг.

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

ЗАКЛЮЧЕНИЕ

1. Материалы ХХУ1 съезда КПСС. - М.: Политиздат, 1981.223 с.

2. Автоматизация расчета частотных характеристик электронных цепей: Учеб. пособие /в.И.Анисимов, Г.Д.Дмитревич, М.В.Капитонов и др.; Под ред. В.И.Анисимова. -Л.: 1981.- 79 с.

3. Автоматизация поискового конструирования ( искусственный интеллект в машинном проектировании) / А.И.Половинкин, Н.К.Бобков, Г.Я.Буш и др.; Под ред. А.И.Половинкина.- М.: Радио и связь, 1981. 344 с.

4. Автоматизированное проектирование. Геометрические и графические задачи / В.С.Полозов, О.А.Будеков, С.И.Ротков и др.-М.: Машиностроение, 1983. 280 с.

5. Александров A.M. Исследование методов и алгоритмов создания инвариантной системы централизованного хранения и управления алфавитно-цифровых и геометрических данных САПР: Дис. . канд. техн.наук. Москва, 1978. - 150 с.

6. Александров В.В., Булкин Г.А., Поляков А.О. Автоматизированная обработка информации на языке предикатов. М.: Наука, 1982. - 104 с.

7. Анисимов В.И., Перков Н.К., Соколова В.В. Некоторые проблемы развития систем автоматизированного проектирования электронных схем. Изв.ЛЭТИ, Науч.тр. / ленингр.электротехн. ин-т им. В.И.Ульянова (Ленина), 1977, вып. 224, с. 3-II.

8. Анисимов В.И., Дмитревич Г.Д., Ларистов А.И. ДИСП система диалогового схемотехнического проектирования на СМ ЭВМ. -Изв. ЛЭТИ. Науч.тр. / Ленингр. электротехн. ин-т им. В.И.Ульянова ( Ленина ), 1981, вып. 284, с. 3-8.

9. Анисимов В.И., Перков Н.К. Требования к банку схем в системе автоматизированного схемотехнического проектирования.-Изв. ЛЭТИ. Науч.тр. / Ленингр. электротехн. ин-т им. В.И.Ульянова (Ленина), 1982, вып. 306, с. 52-56.

10. Анисимов В.И., Соколова В.В. Проблемно-ориентированный пакет прикладных программ для автоматизированного проектирования электронных схем. Изв. ЛЭТИ. Науч.тр. / Ленингр. электротехн. ин-т им. В.И.Ульянова ( Ленина ), 1979, вып. 235, с.3-7.

11. Анисимов В.И., Соколова В.В. Организация базы данных моделей компонентов в системе схемотехнического проектирования.-Изв. ЛЭТИ. Науч.тр. / Ленингр. электротехн. ин-т им. В.И.Ульянова ( Ленина), 1979, вып. 249, с. 3-8.

12. Байдун В.В., Курбатов С.С., Семенова Е.Т. Прикладные аспекты систем представления знаний, базирующихся на фреймах.-В сб.: Прикладная математика и математическое обеспечение ЭВМ: Межвуз. сб. тр.- М., 1982, с. 44-50.

13. Бакулов А.Д., Черный А.И. Лингвистическое обеспечение современных автоматизированных банков данных. Итоги науки и техники ВИНИТИ АН СССР. Серия Информатика, 1981, т. 6, с. 160222.

14. Башмаков И.А., Саркисян А.П. О проектировании диалоговых средств САПР. Тр. МЭИ / Моск. энергетич. ин-т, 1978, вып. 386, с.3-7.

15. Белоногов Г.Г., Новоселов А.П. Автоматизация процессов накопления, поиска и обобщения информации. М.: Наука,1979. - 256 с.

16. Брановицкий В.И., Никитин А.И. Диалог человека и ЭВМ. Ориентация диалоговой системы на уровень подготовки пользователя. Управляющие системы и машины, 1982, № 4, с. 57-59.

17. Бублик В.В., Дорошенко А.Е., Кривой СЛ. и др. Интерактивная обработка структур данных. Кибернетика, 1978, $ 5,с. 13-18.

18. Бутков Ю.Г. Программное управление графическими терминалами с развитой системой интерпретации. Управляющие системы и машины, 1979, № I, с. 17-19.

19. Варшавский В.И. Блочный синтез в классе апериодических схем. В кн.: Теория дискретных управляющих устройств. - М.: Наука, 1982, с. 152-159.

20. Вольфенгаген В.Э., Воскресенская О.В., Горбанев Ю.Г. Система представления знаний с использованием семантических сетей. -Вопросы кибернетики, 1979, № 55, с. 49-69.

21. Вольфенгаген В.Э., Кузин Л.Т., Саркисян В.И. Реляционные методы проектирования банков данных. Киев: Вища школа, 1979. -192 с.

22. Воронов В.Л., Гайфулин Э.Ш., Слугин В.И. Кодирование графической информации в системах автоматизированного проектирования. Тр. МЭИ/Моек, энергетич. ин-т, 1978, вып. 380, с. 50-53.

23. Герасимов Н.А., Полищук В.Н. Разработка программного обеспечения адаптивных диалоговых систем. Программирование, 1982, № 4, с. 44-53.

24. Гилой В. Интерактивная машинная графика: Структуры данных, алгоритмы, языки. М.: Мир, 1981. - 384 с.

25. Гладун В.П. Эвристический поиск в сложных средах. Киев: Наукова Думка, 1977. - 166 с.

26. Глориозов Е.Л. Информационно-поисковая система для структурного синтеза логических электронных схем. Изв.вузов. Радиоэлектроника, 1978, т.21, J& 6, с. 17-23.

27. Глориозов Е.Л. Схемотехнический структурный синтез логических электронных схем.- Микроэлектроника, 1981, т.10, вып.2, с. 165-177.

28. Глушков В.М., Бакаев А.А., Крамаренко Р.П. Система управления базами данных ПАЛЬМА. Управляющие системы и машины, 1980, № 5, с.94^97.

29. ГОСТ 2865-67. Резисторы постоянные. Ряды номинальных сопротивлений. Изд-во стандартов, 1973.

30. ГОСТ 23501.0-79. Системы автоматизированного проектирования. Основные положения. Изд-во стандартов, 1979.

31. ГОСТ 23501.4-79. Системы автоматизированного проектирования. Общие требования к программному обеспечению. Изд-во стандартов, 1980.

32. ГОСТ 23501.9-80. Системы автоматизированного проектирования. Общие требования к автоматизированным банкам данных. Изд-во стандартов, 1980.

33. Графические средства автоматизации проектирования РЭА/ Д.И.Томашевский, Г.Г.Масютин, А.А.Явич и др.- М.: Сов.радио, 1980.- 224 с.

34. Дворянкин A.M., Половинкин А.И., Соболев А.Н. Методы синтеза технических решений. М.: Наука, 1977. - 104 с.

35. Дейт К. Введение в системы баз данных. М.: Наука, 1980.- 464 с.

36. Диалоговая система автоматизированного проектирования: Учеб.пособие/ В.И.Анисимов, Г.Д.Дмитревич, А.И.Ларистов и др.-Л.: ЛЭТИ, 1982. 79 с.

37. Дмитревич Г.Д., Ежов С.Н. К проектированию электронныхсхем на мини ЭВМ в интерактивном режиме. Изв. ЛЭТИ. Науч.тр./

38. Ленингр.электротехн.ин-т им.В.И.Ульянова (Ленина), 1981,вып. 296, с.122-124.

39. Довгялло A.M. Диалог пользователя я ЭВМ: Основы проектирования я реализации. Киев: Наукова Думка, 1981*— 232 с.

40. Додонов С.Б. Система автоматизированного проектирования в машиностроении (САПР-М). Управляющие системы и машины, 1979, № I, с. 73-76.

41. Додонов С.Б., Висикирскяй В.А., Андреев Н.Е. Обработка графической информации в диалоговой системе автоматизированного проектирования технологических работ в машиностроении. Управляющие системы и машины, 1979, № 4, с. I3I-I33.

42. Додонов С.Б., Квачев В.Г. Об интерпретации заданий в диалоговой системе обработки графической информация. Управляющие системы я машины, 1978, № 4, с. 60-62.

43. Дрибас В.П. Реляционные модели баз данных. Мн.: Изд-во Б1У им.В.И.Ленина, 1982. - 192 с.

44. Елшин Ю.М. Автоматизированные рабочие места при проектировании РЭА. М.: Радио и связь, 1983. - 128 с.

45. Енгябарян К.К. Использование АРМ для документирования принципиальных электрических схем и подготовки исходных данных для САПР. В кн.: Машинные методы проектирования ЭВА: Материалы краткосрочного семинара. - Л.:ЛДНТП, 1981, с. 10-14.

46. Закревский А.Д. К методологии построения диалоговых систем логического проектирования. В кн.: Теория дискретных управляющих устройств. - М.: Наука, 1982, с. 214-222.

47. Зелковиц М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. М.: Мир, 1982. - 368 с.

48. Золотов Е.В., Кузнецов И.П. Расширяющиеся системы активного диалога. М.: Наука, 1982. - 317 с.

49. Ильин В.Н. Основы автоматизации схемотехнического проектирования. М.: Энергия, 1979. - 392 с.

50. Интеллектуальные банки данных: Сб.статей/ Под ред.Л.Т. Кузина. М.: Энергоиздат, 1982. - 132 с.

51. Клыков Ю.И., Горьков Л.Н. Банки данных для принятия решений. М.: Сов.радио, 1980. - 208 с.

52. Кнут Л. Искусство программирования для ЭВМ, т.З. Сортировка и поиск. М.: Мир, 1978. - 844 с.

53. Кокорева Л.В., Малашинин И.И. Проектирование банков данных. М.: Наука, 1984.- 256 с.

54. Коструба Т.В. Исследование и разработка концептуальной схемы, обеспечивающей повышение эффективности использования реляционной СУБД в АСУ: Автореф. Дис. . канд.техн.наук.-Киев: ИК АН УССР, 1984. 18 с.

55. Кынчев Д.Р. Разработка системы управления данными как компоненты комплекса инвариантных средств автоматизации проектирования: Дис. . канд.техн.наук.-Москва, 1975.- 148 с.

56. Ланнэ А.А. Оптимальный синтез линейных электронных схем. : Связь, 1978.- 335 с.

57. Латинский B.C., Латинский С.М. Оптимальный синтез модульных радиоэлектронных систем. Изв.вузов. Радиоэлектроника, т.19, № 6, 1976, с. 33-37.

58. Литвак С.Р., Роосмаа Т.А., Салувеэр М.Э. и др. 0 распознавании гиперсобытий в системе понимания связного текста.-Уч. зап. ТГУ/Тартуский гос.ун-т, 1981, вып.594, с.56-70.

59. Любарский Ю.Я. Диспетчерская вопросно-ответная система с виртуальной семантической сетью.- Проблемы бионики, 1980,$246, с.86-93.

60. Лященко А.Н. Процедура семантического встраивания. В кн.: Динамика сложных систем. -Хабаровск:ДВНЦ АН СССР, 1979,с.93-104.

61. Майерс Г. Надежность программного обеспечения.- М.:1. Мир, 1980.- 360 с.

62. Малые ЭВМ и их применение/ Дедов Ю.А., Островский М.А., Песелев К.В. и др.; Под общ. ред. Б.Н.Наумова. М.: Статистика, 1980. - 231 с.

63. Маныпин Г.Г., Тузлуков П.Г. Эффективность применения машинных методов автоматизированного проектирования.- В кн.: Автоматизация поискового конструирования.- Горький,1978, с.142-152.

64. Мартин Дж. Организация баз данных в вычислительных системах.- М.: Мир. 1980. 662 с.

65. Мешков В.Е., Перков Н.К., Федоров А.Н. Применение банка схем для автоматизации выбора прототипов вторичных источников питания. В кн.: Автоматизация проектирования ЭВМ и систем: Тез. докл.Всесоюз. Научно-технич.конф., т.I.- Ереван,1983, с.82.

66. Мешков В.Е., Федоров А.Н. Обучение схемотехническому проектированию с использованием банка схем. В кн.: Кибернетика и исследование операций в управлении учебным процессом: Тез.докл. Межресп.семинара. - Рига, 1984, с.164-165.

67. Мидоу Ч. Анализ информационных систем. М.: Прогресс, 1977. - 400 с.

68. Минский М. Фреймы для представления знаний. М.: Энергия, 1979. - 151 с.

69. Новожилова Л.М., Соколова В.В. Система управления базой данных моделей компонентов. Изв.ЛЭТИ. Науч. тр. / Ленингр. элек-тротехн. ин-т им. В.И.Ульянова (Ленина), 1980, вып. 266, с. 2127.

70. Новожилова Л.М., Федоров А.Н. Библиотека инструментальных программ C0MMDU Программа перекодировки содержимого памяти для печати в виде шестнадцатиричных чисел, Аннотир. перечень новых поступлений, М., МОСФАП, вып.2, JS 7314.

71. Новожилова Л.М., Федоров А.Н. Работа с базой данных системы "ЭМЦ-2". Изв.ЛЭТИ. Науч.тр./Ленянгр. электротехн. ин-т им. В.И.Ульянова(Ленина), 1981, вып. 296, с. 68-72.

72. Норенков И.П. Введение в автоматизированное проектирование технических устройств: Учеб. пособие для втузов. М.: Высшая школа, 1980. - 311 с.

73. Норенков И.П,, Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры: Учеб. пособие для вузов. М.: Высшая школа, 1983. 272 с.

74. Ньюмен У., Спрулл Р. Основы интерактивной машинной графики. М.: Мир, 1976. - 573 с.

75. Оре 0. Теория графов. М.: Наука , 1980. - 336 с.

76. Овчаров Л.А., Селетков С.Н. Автоматизированные банки данных. М.: Финансы и статистика, 1982. - 262 с.

77. Олле Т.В, Предложения КОДАСИЛ по управлению базами данных /Пер, с англ. М.: Финансы и статистика, 1981. - 286 с.

78. Основные характеристики отечественных СУБД и ИПС/Под ред. А.А.Стогния. Киев, 1980. - 71 с. (Препринт/Ин-т кибернетики: П-80-49).

79. Остапенко Г.С. Аналоговые полупроводниковые интегральныемикросхемы. М.: Вадио и связь, 1981. - 280 с.

80. Перков Н.К. ^определение ошибок перфорации в текстах описаний электронных схем. Изв.ЛЭТИ. Науч.тр./Ленингр. элек-тротехн. ин-т им.В.И.Ульянова(Ленина), 1979, вып. 249, с.29-32.

81. Полянин К.П. Интегральные стабилизаторы напряжения. -М.: Энергия, 1979. 192 с.

82. Попов Э.В. Общение с ЭВМ на естественном языке. М.: Наука, 1982. - 360 с.

83. Поспелов Г.С. Методы искусственного интеллекта в деятельности инженера. В сб.: Автоматизация поискового конструирования. - Горький, 1978, с. 14-34.

84. Поспелов Д.А. Логико-лингвистические модели в системах управления. М.: Энергоиздат, 1981. - 231 с.

85. Потемкин И.О. Автоматическое решение задач синтеза. -Тр.МЭИ/Моск. энергетич. ин-т, 1977, вып. 349, с. 15-23.

86. Прикладная информатика: Сб. статей/Под ред. В.М.Савинкова. Вып. 1(6). - М.: Финансы и статистика, 1984. - 150 с.

87. Сиротко В.К. Основные характеристики системы автоматизированного проектирования СПУР-2. Изв.ЛЭТИ. Науч.тр./Ленингр. электротехн. ин-т им.В.И.Ульянова(Ленина), 1977, вып. 224,с. 29-41.

88. Соколова В.В. Организация программного обеспечения систем автоматизированного проектирования электронных схем на ЭВМ серии ЕС. Дис. . канд. техн. наук. - Ленинград, 1978. - 138 с.

89. Солтон Г. Динамические библиотечно-информационные системы. М.: Мир, 1979. - 558 с.

90. Телешюс Э.Ю. Семантическая модель данных диалогового банка данных. Моделирование экономических систем, 1980, № 19, с. 31-39.

91. Тодорой Д.Н. Расширяемые средства машинной графики (программное обеспечение). М.: Радио и связь, 1983. - 208 с.

92. Томас Д.Э. Автоматизированный синтез цифровых систем. -ТИИЕР: Пер. с англ., 1981, т.69, Ш 10, с. 20-35.

93. Трамбле Ж., Соренсон П. Введение в структуры данных. -М.: Машиностроение, 1982. 784 с.

94. Уинстон П. Искусственный интеллект. М.: Мир, 1980. -519 с.

95. Ульман Дж. Основы систем баз данных. М.: Финансы и статистика, 1983. - 334 с.

96. Уокер Б.С., Гурд Дж.Р., Дроник Е.А. Интерактивная машинная графика. М.: Машиностроение, 1980. - 170 с.

97. Федоров А.Н. Логическая организация банка схем в системе схемотехнического проектирования. Изв.ЛЭТИ. Науч.тр./Ленингр. электротехн. ин-т им.В.И.Ульянова(Ленина), 1982, вып. 310,с. 31-34.

98. Федоров А.Н. Представление информации о принципиальных схемах в банке схем. Изв.ЛЭТИ. Науч.тр./Ленингр. электротехн. ин-т им.В.И.Ульянова(Ленина), 1982, вып. 306, с. 56-59.

99. Федоров А.Н. Поисковые процедуры банка схем системы схемотехнического проектирования. Изв.ЛЭТИ. Науч.тр./Ленингр. электротехн. ин-т им.В.И.Ульянова(Ленина), 1983, вып. 335,с. 38-40.

100. Федоров А.Н. Применение банка электронных схем на мини

101. ЭВМ в учебном процессе. В кн.: Применение систем автоматизированного проектирования в машиностроении: Тез. докл. научно-тех-нич. конф. - Свердловск, 1982, с. 40.

102. Фуке В.И. Принципы проектирования я оценка резерва производительности графических комплексов СМ ЭВМ. Приборы и системы управления, 1980, № II, с. 9-12.

103. Хьюз Дне., Мичтом Дж. Структурный подход к программированию. М.: Мир, 1980. - 280 с.

104. Цурин 0.§., Махяяенко Л.И. Графическая диалоговая система ввода и редактирования структурных и принципиальных схем. -Управляющие системы и машины, 1979, №6, с. II2-II6.

105. Черный А.И. Введение в теорию информационного поиска. -М.: Наука, 1975. 238 с.

106. Чупракова И.С., Федоров А.Н. Программа вывода графической информации на экран терминала. Аннотир. перечень новых поступлений. М., МОСФАП, 1982, вып. 4, JS 7363.

107. Шомье Ж. Банки данных: Использование электронной вычислительной техники/Пер. с франц. М.: Энергоиздат, 1981. - 72 с.

108. Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971. - 254 с.

109. НО. ЭВМ в проектирования и производстве/А.В.Амосов, Т.А.Арбузова, В.Е.Архангельский и др.; Под общ. ред. Г.В.Орловского. -Л.: Машиностроение, Ленянгр. отд-ние, 1983. 296 с.

110. Язык описания данных КОДАСИЛ/Пер. с англ. М.: Статистика, 1981. - 183 с.

111. Ясин Е. Теоретические проблемы развития информационных систем. В кн.: Модели данных я системы баз данных. - М.: Наука, 1979, с. 5-30.

112. Codd E.F. A relational model of Data for Large Shared Data Banks. Comm. ACM, vol. 13, No. 6 (1970), p. 377-587.

113. Delobel C. An overview of the relational data theory.-In: Information Processing 80, Amsterdam: Worth-Holland, 1980, p. 413-426.

114. Giordana A., Laface P., Saitta L. Modelling control strategies for artificial intelligence applications.- In: Proc. Int. Conf. Parallel Process., New York, 1980, p. 347-349.

115. Hammer Н», McLeod D. Database Description with SDM:

116. A Semantic Database Model. ACM Transaction on Database Systems, 1981, vol. 16, No. 3, p. 351-386.

117. Harris L.R. Using the database as a semantic component to aid in the parsing of natural language data base queries.-J. Cibernetics, 1980, vol. 10, No. 1-3, p. 77-96.

118. Johnson W.A., Crowley J.J., Ray J.D. Mixed level simulation from a hierarchical CHDL. SIGDA Newsletter, 1980, vol. 10, No. 1, p. 2-10.

119. Kane J.B. Design automation concerns. In: 16th Des. Automat. Conf. Proc., San Diego: California, 1979, p. 347-348.

120. Lozinscii E.L. Constraction of relations in relational databases. ACM Trans. Database Syst., 1980, vol. 5, No. 2,p. 208-224.

121. Molina F.W. A practical data base design method. -Data Base, 1979, vol. 11, No. 1, p. 3-11.

122. Mylopoulos John An overview of knowledge representation, SIGART Newsletter, 1981, No. 74, p. 5-12.

123. Mylopoulos John A perspective for research on conceptual modelling, SIGART Newsletter, 1981, No. 74, p. 167-170.

124. Quillian M.P. Semantic Memory in Semantic Information

125. Processing, Mynsky M. (ed.) MIT Press, Cambridge, Mass., 1968, p. 459-476.

126. Studer R. Functional specification of a decision support system, Ins 5th Int. Conf. Very Large Data Bases, Rio de Janeiro, 1979» New York, p. 85-93.

127. Taylor R.W., Fry J.P., Smith D.C.P., Su S.Y.W. Database program conversion a framework for research. In; 5th Int. Gonf. Very Large Data Bases, Rio de Janeiro, 1979, New York, p.299-312.

128. Yoshikawa H. General design theory and a CAD system. -Proc. of IFIP Conf. on Man-Machine Commun. in CAD/CAM, 1981,p. 35-53.