Автоматизированная подсистема конструкторского проектирования блоков ЭВМ тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Мовсеян, Амбарцум Арменакович

• Мовсеян, Амбарцум Арменакович
• кандидат технических наук
• 1983

Оглавление диссертации кандидат технических наук Мовсеян, Амбарцум Арменакович

ВВЕДЕНИЕ.

ГЛАВА I. НАСТРАИВАЕМАЯ СИСТЕМА АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ БЛОКОВ ЭВМ.

1.1. Общая проблематика конструкторского щюектиро-вания блоков ЭВМ и постановка задач

1.2. Исходные данные подсистемы автоматизации конструкторского этапа проектирования блоков и способы их описания

1.3. Средства настройки подсистемы проектирования блоков.

ГЛАВА 2. МИНИМАЛЬНЫЕ РЕАЛИЗАЦИИ ЭЛЕКТРИЧЕСКИХ СХЕМ

2.1. Основные определения и обозначения

2.2. Исследование минимальных jo -реализаций электрических схем (гиперграфов).

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

2.4. Задача заземления отводов бифйлярннх (экранированных) проводов

2.5. Алгоритмы определения и проведения связей схемы при проектировании плат с проводным монтажом.

ГЛАВА 3. ИССЛЕДОВАНИЕ И РАЗРАБОТКА ЯЗЫКОВЫХ И АЛГОРИТМИЧЕСКИХ СРВДСТВ ВИДЕНИЯ ДОКУМЕНТАЦИИ И ОПЕРАТИВНОГО ВНЕСЕНИЯ ИЗМЕНЕНИЙ.

3.1. Язык описания структуры (форм и содержаний) конструкторской и технологической документации блоков

3.2. Алгоритмы генерации документов.

3.3. Средства оперативного внесения изменений при серийном производстве блоков

3.4. Сервисные средства адресации элементов и внесения изменений в исходные данные

ЗАКЛЮШИЕ . . » *

Введение диссертации (часть автореферата) на тему «Автоматизированная подсистема конструкторского проектирования блоков ЭВМ»

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

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

Разработке автоматизированных систем, ориентированных на решение основных задач этапа технического проектирования узлов и устройств радиоэлектронной аппаратуры, посвящен ряд отечественных работС 1-4, 15-17, 22, 23, 29, 34, 44-46, 50, 53, 57, 58, 63, 71, 721, ведущихся в Институте точной механики и вычислительной техники АН СССР, Научно-исследовательском центре электронно-вычислительной техники, Научно-исследовательском институте автоматической аппаратуры, Центральном конструкторском бюро "Алмаз", Институте кибернетики АН УССР, Киевском политехническом институте, Минском Научно-исследовательском институте электронно-вычислительных машин, Каунасском политехническом институте, Таганрогском радиотехническом институте, Ленинградском электротехническом институте, Ереванском научно-исследовательском институте математических машин.

Известны и многочисленные работы, ведущиеся за рубежом ИЗО, 60 , 66 , 78 , 80 , 813 •

Современный подход к электронному конструированию ЭВМ с использованием интегральных схем обычно приводит к многоуровневой конструкции, состоящей из модулей различного уровня сложности (элемент, типовой элемент замены, блок, устройство, ЭВМ). Несмотря на имеющийся прогресс в области создания систем АЛ технического этапа разработки ЭВМ вопросы, связанные с проектированием конструкций блоков (панелей), сравнительно мало изучены. Здесь прежде всего следует особо выделить проблему создания "жизнеспособных" систем, имеющих в своем составе средства адаптации к изменениям конструкций блоков, обеспечения оперативного внесения изменений в их документацию, а также разработки црактических методов решения математических задач, возникающих при конструировании блоков (размещения, трассировки, распределения земляных контактов отводам бифилярных проводов). .

Целью настоящей работы является исследование математических задач, возникающих в цроцессе проектирования блоков ЭВМ, создание соответствующей системы автоматизации проектирования (САПР), настраиваемой на различные конструкции блоков и обеспечивающей эффективный цикл их разработки для моделей ЭВМ серии ЕС и семейства "Наири", цроектируемых в Ереванском НИИ математических машин.

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

Исследования проводились в следующих направлениях:

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

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

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

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

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

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

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

Практическая ценность работы заключается в следующем: а) создание настраиваемой системы, позволяющей проектировать блоки ЭВМ разных конструкций, обеспечивающей сокращение сроков проектирования блоков за счет:

- совмещения процесса проектирования ТЭЗ (в подсистеме АП ТЭЗ) с процессом подготовки и уточнения исходной информации, описывающей ТЭЗ (в подсистеме АП блоков);

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

Теоретической базой проведенных исследований является: теория множеств, теория графов, линейная алгебра, комбинаторика, программирование и алгоритмические языки. Методической основой исследований являются концепции системного подхода к решению проблем построения САПР и математическая теория оптимизации.

Реализация и внедрение результатов работы. На основе разработанных в диссертации языковых средств и предложенных алгоритмов, разработан комплекс программ настройки системы на проектируемый класс панелей, минимизации диагональных соединений, оптимального расцределения земляных контактов, оформления и сопровождения конструкторской документации общим объемом 18 тысяч инструкций языка Ассемблера ВС ЭЕМ, который входит в состав математического обеспечения САПР - блоков системы "Автопроект". Разработанное программное обеспечение использовано при проектировании опытных образцов в серийном производстве ЭШ серии ЕС семейства "Наири" и вычислительных комплексов (Ж) на их основе. Результаты работы применяются при разработке новых образцов вычислительных средств, создаваемых в ЕрНИИММ. Подсистема проектирования блоков внедрена на Казанском заводе ЭВМ (по части документации, синтезируемой подсистемой), АПО "Электрон", НПО "РАЗДАНМАШ" и на опытном заводе ЕрНИИММ.

Апробация работы. Основные положения диссертации докладывались и обсуждались на: конференциях молодых ученых и специалистов района им. 26-ти Комиссаров города Еревана 1977 и 1979 гг; конференциях молодых ученых и специалистов ЕрНИИММ 1976, 1978 и 1980 гг; Всесоюзной школе молодых ученых и специалистов (г. Цахкадзор), 1981 г.; семинаре кафедры автоматизации проектирования электронно-вычислительной аппаратуры Киевского политехнического института; семинаре кафедры математической кибернетики Ереванского государственного университета.

Публикации по работе. Основное содержание диссертационной работы отражено в восьми опубликованных печатных работах.

СОДЕРЖАНИЕ РАБОТЫ

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

Во второй главе рассматривается задача нахождения графа, построенного на множестве всех вершин данного гиперграфа и имеющего минимальное число ребер, подграфы которого, порожденные множеством всех вершин любого ребра гиперграфа, являются связанными. Этот граф называется минимальной реализацией гиперграфа. Приводится необходимое и достаточное условие, при котором реализация гиперграфа является деревом. Исследуются свойства минимальных реализаций гиперграфов и приводится алгоритм их построения. Ставится задача нахождения минимальных реализаций, решение которой упрощает задачу размещения элементов на плате ввиду минимизации общего числа пар модулей, связанных между собой; в общем случае упрощает задачу трассировки и расслоения цепей из-за регулярности проводимых связей; создает более благоприятные условия для применения алгоритмов линейной трассировки (большинство которых оптимально); дает возможность легко и полно использовать эквивалентность контактов модулей при решении задачи трассировки (см. пункты 2.1 и 2.2). Определение минимальных реализаций лежит в основе решения задачи размещения ТЭЗ на панели с минимизацией числа диагональных связей (см. пункт 2.3). В пункте 2.4 приводится решение задачи распределения земляных контактов отводам бифилярных проводов, с учетом ограничений на количество подсоединяемых проводов к каждому земляному контакту и длину отвода бифилярного провода и требованием равномерной загруженности земляных контактов.

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

В третьей главе приводится: способ нумерации (взаимно однозначное отображение) конструктивных элементов (контакт, узел, устройство) проектируемых ЭШ, позволяющий существенно упрощать программные средства, используемые при проектировании (см, пункт 3.4); описание разработанного аппарата внесения изменений в исходные данные, позволяющего значительно сократить объемы и сроки вносимых изменений (см. пункт 3.4); описание процесса генерации конструкторской и технологической документации (КД, ТД) из заданной исходной информации, в частности алгоритмы генерации входных сигналов от выходных и входных, выходных сигналов от таблиц наименований сигналов (см. пункт 3.2).

Конструирование форм документов является одной из наиболее массовых и трудоемких задачСб, 26, 27, 4l3 . Эта ручная работа занимает значительную часть времени разработчиков и основана на их опыте. В связи,с этим в пункте 3.1 приводится описание системы программ автоматического построения форм и содержаний КД, состоящей: из языка описания документа; управляющей программы и модулей, относящихся к формированию требуемых массивов для их отражения в тех или иных документах. Приводится типовой состав КД, и рассматриваются вопросы, связанные со стандартизацией основных массивов.

Приводится обоснование и выбор средств автоматизации проектирования проводного монтажа панелей с учетом особенностей их внесения в серийное производство. Рассмотрены вопросы организации хранения архивной документации и оперативного внесения изменений в документацию без ее полного переиздания на основе разработанной системы извещений. Переиздание документации и обновление нумерации ее листов производится по мере накопления изменений при поступлении директивы о новом перепроектировании модели и присвоении нового литера изменению. Приводится также описание технического цикла проектирования панелей при опытном и серийном производствах (см. пункт 3.3).

В приложении I приведен синтаксис языка в описании исходной информации.

В приложении 2 приведен перечень некоторых семантических ошибок, выявляемых алгоритмами генерации.

В приложении 3 приведен типовой состав КД и ТД панелей.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Мовсеян, Амбарцум Арменакович

Выводы

Разработан язык описания форм и структуры документов и трансляторов с языка, что на порядок сокращает сроки разработки и ведения БД проектируемых изделий.

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

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

Разработан способ нумерации (взаимно однозначное отображение) конструктивных элементов (контакт, узел, устройство) проектируемых ЭВМ, существенно упрощающий программные средства, используемые при проектировании.

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

6. Разработанные алгоритмы и программное обеспечение входят в состав САПР блоков системы "Автопроект". С помощью этой системы проводились работы по проектированию и сопровождению на серийном производстве блоков ЭВМ и устройств (порядка 150 различных типов), разработанных в ЕрНИИММ в период с 19751983 гг.

Список литературы диссертационного исследования кандидат технических наук Мовсеян, Амбарцум Арменакович, 1983 год

1. Абрайтис Л.Б., Шейнаускас Р.И., Жилевичюс В.А. Автоматизация проектирования ЭШ. - М., "Сов. радио", 1978.

2. Автоматизация проектирования печатных блоков с модулями произвольной формы. Герасименко Е.П., Кот В.И., Ландау Н.Я., Сомкин В.М., М., "Машиностроение", 1979.

3. Автоматизация логического проектирования. "Сб. науч. трудов АН БССР, Ин-т технической кибернетики". Науч. ред. А.Д.За-кревский, Минск, ИТК, 1982.

4. Автоматизация проектирования радиоэлектронной аппаратуры и средств вычислительной техники. Межвузовский сб. Свердловск, УПИ, 1981.

5. Амбарян С.Л., Адонц М.М., Мовсесян А.А. Система выпуска технической документации., "Вопросы радиоэлектроники", серия ЭВТ, вып. 9,1979.

6. Амбарян С.Л., Давыдова Э.А., Мовсесян А.А. Система обмена и организации информации в ППП-АП., "Вопросы радиоэлектроники", серия ЭВТ, вып. 13, 1975.

7. Амбарян СЛ., Геолецян Г.Г., Мовсесян А.А. Получение конструкторской документации при автоматизации проектирования панелей ЭВМ. Деп. рук. 1979 MFC, сер. ЭР, 1983, & 27, (ВШИ).

8. Амбарян С.Л., Геолецян Г.Г., Мовсесян А.А. Информационная база автоматизации проектирования панелей ЭВМ., "Вопросы радиоэлектроники", серия ЭЕГ, вып. 14, 1980.

9. Амбарян С.Л., Пилипосян Т.Э., Мовсесян А.А. 0 минимальных реализациях гиперграфов., "Вопросы радиоэлектроники", серия ЭВТ, вып. 16, 1981.

10. Амбарян С.Л., Саркисян С.Г., Севоян К.Т., Пилипосян Т ,.Э,, Мовсесян А.А. К вопросу о проектировании плат методом проводного монтажа., "Вопросы радиоэлектроники", серия ЭВТ,вып. 14, 1982.

11. Артемов В.Б., Рябов Л.Г. Целевая функция и алгоритм расстановки для максимизации числа прямолинейных проводников., "Обмен опытом в радиопромышленности", М., вып. 6, 1975.

12. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов, М., "Мир", 1979.

13. Ахо А., Ульман Дж. Теория синтаксического анализа перевода и компиляции. М., "Мир", 1978.

14. Бабаян Б.А., Пронин Ю.А. Размещение компонентов связностей системы методом ветвей и границ. ИТМиВТ АН СССР, 1971.

15. Бдулин С.С., Барнаулов Ю.М., Бердышев В.А., и др. Автоматизированное проектирование цифровых устройств. М., "Радио и связь", 1981.

16. Бахтин Д.И. Автоматизация в проектировании и производстве печатных плат радиоэлектронной аппаратуры. Л., "Энергия", 1979.

17. Вермишев Ю.Х. Вычислительные процессы машинного проектирования радиоэлектронной аппаратуры., "Обмен опытом в радиопромышленности" ^, М., вып. 6, 1975.

18. Вермишев Ю.Х. Лингвистическое и информационное обеспечение САПР., "Обмен опытом в радиопромышленности", М., вып. 4-5, 1978.

19. Вермишев Ю.Х. База данных и информационный обмен в системах автоматизированного проектирования., "Обмен опытом в радиопромышленности" , М., вып. 2, 1977.

20. Вермишев Ю.Х., Макаров М.И., Рябов Л.П., Темницкий Ю.Н. Алгоритм трассировки конкурирующих проводников., "Обмен опытом в радиопромышленности", М., вып. 6,. 1975.

21. Гаврилов М.А. Интегрирование системы современная тенденция в развитии систем автоматизированного проектирования., "Приборы и системы управления", В I, 1979.

22. Глушков В.М., Капитонова Ю.В., Летичевский А.А. Автоматизация проектирования вычислительных машин., К., "Наукова думка", 1975.

23. Гольдин В.В., Сидоров С.Ф. Пакет прикладных программ проектирования блоков с проводным монтажом., "Обмен опытом в радиопромышленности", М., вып. 2-3, 1981.

24. Грекович А.В., Федоров Н.А., Авдеев А.Ф. Особенности машинного проектирования тонкопроводных монтажных плат., "Обмен опытом в радиоцромышленности", М., вып. 2-3, 1981.

25. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи., М., "Мир", 1982.

26. Единая система конструкторской документации. ГОСТ 2.004-79.

27. Единая система конструкторской документации. Правила выполнения конструкторской документации изделий, изготовляемых с применением электрического монтажа. ГОСТ 2.413-72.

28. Жук Х.Д. Методы системного проектирования как основа построения САПР., К., Ж АН УССР, 1977.

29. Забара С.С., Мильнер А.Д., Захаров A.M. Автоматизация проектирования средств вычислительной техники., М., ЦНИИТЭИ, серия ТС-2, 1977.

30. Йодан Э. Структурное проектирование и конструирование программ., М., "Мир", 1979.

31. Карп Р. Сводимость комбинаторных проблем., "Кибернетический сборник", М., вып. 12, "Мир", 1975.

32. Комплекс общеотраслевых руководящих методических материалов по созданию АСУ и САПР. Государственный комитет СССР по науке и технике., М., "Статистика", 1980.

33. Кристофидес Н. Теория графов. Алгоритмический подход., М., "Мир", 1978.

34. Ларионов A.M., Лазарев А.И. Некоторые вопросы организациисистем автоматизированного проектирования ЭВМ., "Вопросы радиоэлектроники", серия ЭВТ, вып. 3, 1972.

35. Мамиконова О.А. Автоматизация проектирования форм документов., "Уцравление техническими и организационными системами с црименением вычислительной техники", М., "Наука", 1979.

36. Мартин Дж. Организация баз данных в вычислительных системах',' М., "Мир", 1980.

37. Математическое моделирование. Под редакцией Д.Эндрюса, Р.Мак-Лоуна., М., "Мир", 197938. Мелихов А.Н., Берштейн Л.С., Курейчик В.М. Применение графов для проектирования дискретных устройств., М., "Наука", 1974.

38. Мелихов А.Н., Берштейн Л.С. Гиперграфы в автоматизации проектирования дискретных устройств. Отв. ред. Шукшунов В.Е., Из-во "Рост, ун-та", 1981.

39. Мелихов А.Н., Берштейн Л.С., Селянкин В.В. Решение задачи размещения элементов схем с помощью гиперграфов., "Методы расчета и автоматизация проектирования устройств микроэлектронных ЦВМ", К., 1973.

40. Михайлов Б.М. Автоматизация процесса ведения и изготовления документации программного обеспечения в АСУ. М., "Сов. радио", 1980.

41. Мовсесян А.А. Генерация входных сигналов ЭВМ из выходных. Деп. рук., 1979 MFC, сер. ЭР, 1983, № 27, (ВШИ).

42. Мовсесян А.А. К вопросу о минимизации диагональных связей и экранизации соединений при проектировании печатных плат., "Вопросы радиоэлектроники", серия ЭВТ, вып. 16, 1983.

43. Песков М.И., Крыжановский Ю.М. Построение систем автоматазированного проектирования РЭА., "Обмен опытом в радиопромышленности", М., вып. 4, 1972.

44. Петренко А.И. Основы автоматизации проект1фования., К., "Техника", 1982.

45. Петренко А.И., Тетельбаум А.Я. Формальное конструирование электронно-вычислительной аппаратуры., М., "Сов. радио", 1979.

46. Петросян А.В., Шукурян Ю.Г., Маркосян С.Е., Амбарян С.Л. Об одном подходе к автоматизации проектирования печатных плат., К., "Кибернетика", № I, 1974.

47. Петросян А.В., Маркосян С.Е., Амбарян С.Л. Мелик-Адамян Ж.Э. О некоторых комбинаторных задачах размещения. "ДАН Арм. ССР',1 т. УП, № 3, 1973.

48. Петросян А.В., Маркосян С.Е., Шукурян Ю.Г. Математические вопросы автоматизации проектирования ЭВМ. Е., 1977.

49. Петросян А.В., Амбарян С.Л., Маркосян С.Е., Шукурян Ю.Г. Алгоритм трассировки и воцросы их программной реализации при проектировании больших плат. НИИЭИР, Сб. "Рипорт",14, НИМИ СП № 3-4352, 1975.

50. Пилипосян Т.Э. Об одной задаче размещения., "ДАН Арм.ССР", т. ХП, № 5, 1976.

51. Прим Р.К. Кратчайшие связывающие сети и некоторые обобщения., М., "Кибернетический сборник", "Мир", № 2, 1961.

52. Применение вычислительных машин для проектирования цифровых устройств. Под редакцией Матюхина, М., "Сов. радио", 1968.

53. Рейнгодц Э., Нивергельд Ю., Део Н. Комбинаторные алгоритмы. М., "Мир", 1980.

54. Розанов В.А, Два алгоритма размещения элементов на конструкциях ЭШ., "Воцросы радиоэлектроники", серия ВТ, вып. 4, 1968.

55. Саати Т. Целочисленные методы оптимизации и связанные с ними экстремальные проблемы. М., "Мир", 1973,

56. Селютин В.А. Машинное конструирование электронных устройств., М., "Сов. радио", 1977.

57. Семенков О.И. Введение в системы автоматизации проектирования., Минск, "Наука и техника", 1979.

58. Сигорский В.П., Петренко А.И. Алгоритмы анализа электронных схем. М., "Сов. радио", 1976.

59. Системы автоматизации проектирования. "Радиоэлектроника за рубежом", Инф. бюлл., вып. 14, 1976.

60. Система документации Единой Системы ЭВМ. Под редакцией Ларионова A.M., М., "Статистика", 1976.

61. Система математического обеспечения ЕС ЭВМ. Под редакцией Ларионова A.M., М., "Статистика", 1974.

62. Структура системы автоматизированного проектирования. Гре-кович А.В., Божко А.А., Трофимов А.Б., Федоров Н.А. "Вопросы радиоэлектроники", серия ЭВТ, вып. 12, 1979.

63. А.с. № 541303 (СССР). Способ изготовления монтажной.платы Мелик-Оганджанян П.Б., Жуков В.В., Выогин В.А., Заявл. 04.11.74 № 2072582; Опубл. в Б.И., 1976, № 48.

64. Тезисы докладов Всесоюзной конференции "Автоматизация проектных и конструкторских работ., М., "МАИ", 1979.

65. Теория и методы автоматизации проектирования. Под редакцией Брейера М., "Мир", 1977.

66. Тетельбаум А.Я. Об одном методе оптимального размещения конетруктивных единиц и внешних контактных площадок., "Автоматизация проектирования в электронике", К., "Техника", вып. II, 1975.

67. Форд Л., Фалкерсон Д. Потоки в сетях., М., "Мир", 1966.

68. Харари Ф. Теория графов. М., "Мир", 1973.

69. Шрамченко Б.Л., Абакумов В.П. Об определении матрицы смежности модулей. "Автоматизация проектирования в электронике", К., "Техника", вып. II, 1975.

70. Штейн М.Е., Штейн Б.Е. Методы машинного проектирования ЭШ., М., "Сов. радио", 1973.

71. Юрин О.Н. 1!диная система автоматизации проектирования ЭШ., М., "Сов. радио", 1976.

72. Языки и формы описания исходной информации для проектирования радиоэлектронной аппаратуры ОСТИ ГО.ООО.240, 1981.

73. Jbeifye С. Ctctphes et Hypeit^taphes Pan's 9 <Dunod, 1970

74. Ъипетап ФА. Chciiacteiczaiion oj- Rigid Circui-t Gtaphg. „®isciGte Math". 1974 vot 9

75. G avLii У. The Int e i s ec tion Graphs oj 5u$tiees in Tzees aze <5касЫц the u Chorda?

76. Gzaphs. „ J Com&inatoitaf Theory 1974 vot В -16, pi j * '

77. Я-lament С. Hypeiyraphs AzSoies. ,, fiisrtete Math" 19 76, vot 21,

78. Stater P. A Ckaiacteuzation oj bojt Mypeigiaphb. „Canad. Math. %utt* 197^yoI21 Jf3

79. Shamir Adi . A linear Times Afyoiithm jot finding Minimum Cutsetes in ReduciSfe Graphs. „ ЫАМ J Computet", 1979 vol. & fit

80. Macdonald John. b., Podtecxi Mary K. Technical!documentation ty MAGIC. „ 17th des Automat.

81. Conf. Pioc. Minneapolis" Minn." 1 geo.JfeusYove, 440-445 1

82. Mathui Ktibha . Modets jot 'computer aideddesign ' systems. „ %ARG 79. Pioc. Int. Cont

83. Лорд. Comput. Atchit ftuitd. ties, and UiZan

84. Ptann1979. Vx£zidc)e} 485-494