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

• Малыгин, Владимир Вячеславович
• кандидат технических наук
• 2003

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

Оглавление.

Введение.

Глава 1. Проектирование САПР как распределенной вычислительной системы.

1.1. Анализ основных требований к САПР и к критериям ее проектирования.

1.2. Методы проектирования распределенных вычислительных систем САПР.

1.3. Выводы.

Глава 2. Разработка математической модели распределенной вычислительной системы.

2.1. Формализация представления вычислительного процесса.

2.2. Формализация представления вычислительной среды.

2.3. Структура распределенной вычислительной системы, способ формализации и основные свойства.

2.3.1. Комбинаторное пространство распределений частных задач.

2.3.2. Определение точки комбинаторного пространства.

2.3.3. Мощность комбинаторного пространства.

2.3.4. Метрика комбинаторного пространства.

2.3.5. Системы координат комбинаторного пространства.

2.4. Разработка структурной функции.

2.5. Выводы.

Глава 3. Исследование свойств структурной функции.

3.1. Методы исследования.

3.2. Общие свойства структурной функции.

3.3. Оценка верхней и нижней границы структурной функции.

3.3.1. Общая постановка задачи.

3.3.2. Приближенное определение границ структурной функции.

3.3.3. Эвристические методы определения границ структурной функции

3.4. Выводы.

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

4.1. Формальная постановка задачи.

4.2. Обзор методов дискретной оптимизации.

4.3. Полный перебор - реализация и перспективы применения.

4.4. Приближенные методы поиска.

4.4.1.Общие замечания.

4.4.2. Случайный поиск.

4.4.3. Комбинация случайного и локального поиска.

4.5. Метод статистического поиска.

4.5.1. Общие замечания.

4.5.2. Определение метода статистического поиска.

4.5.3. Экспериментальное исследование структурной функции.

4.5.4. Достоверность результатов статистического поиска в комбинаторном пространстве большого размера.

4.5.5. Исследования в КП больших размерностей.

4.5.6. Влияние типа графа сети на результат статистического поиска.

4.5.7. Изменения функции распределения S при росте размерности задачи.

4.5.8. Оценка сложности метода статистического поиска.

4.5.9. Апробация метода статистического поиска.

4.6. Выводы.

Введение диссертации (часть автореферата) на тему «Сетевая организация структуры САПР»

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

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

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

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

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

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

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

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

- Разработка формальной модели информационно-вычислительной сети (ВС) САПР.

- Исследование свойств множества возможных вариантов распределения вычислительного процесса САПР.

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

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

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

На научную новизну претендуют:

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

2. Установленные количественные характеристики КП возможных решений задачи распределения - мощность, диаметр и размер единичной шаровой окрестности точек КП.

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

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

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

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

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

Работа состоит из введения, четырех глав и приложения.

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

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

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

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

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

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

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

4.6. Выводы

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

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

Исследование свойств сходимости структурной функции позволило:

- исследовать статистические свойства области комбинаторного пространства Э сходимости СФ к глобальному экстремуму;

- установить влияние, оказываемое на статистические свойства 8 таких характеристик, как топология графа сети и плотность МИП графа задачи;

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

- 131 -ЗАКЛЮЧЕНИЕ

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

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

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

2. Предложен способ формального представления вычислительного процесса САПР как множества взаимодействующих подпрограмм и вычислительной среды их функционирования, основанный на Матрице Информационных Потоков (МИП) и Матрице Вычислительной Сети (МВС), а также предложен способ описания структуры информационно-вычислительной системы в виде Матрицы Комбинаторной Точки (MKT).

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

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

5. Аналитическим путем установлены зависимости определения верхней и нижней границы структурной функции для группы задач с МИП одинаковой плотности и характер их изменения с ростом размерности исследуемой распределенной системы. Предложены

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

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

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

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

Применение разработанных методов

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

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

По результатам работы опубликовано 8 статей

Результаты диссертационной работы обсуждались на 3-й международной конференции «Интерактивные системы: Проблемы человеко-компьютерного взаимодействия» (Ульяновск, 1999), на заседании кафедры «403, Цифровая и вычислительная техника», рабочих группах кафедр «304, Вычислительных машин, систем и сетей», «604, Системный анализ и управление» (МАИ, Москва, 2001), на учебном спецсеминаре «Синтез архитектур вычислительных систем и планирование вычислений» (МГУ, Москва, 2002).

- 133

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

1. P.2 Bill Gascoigne,3 Halstead M.4 MacKay D.M.,6 Айгер M.

2. Абрайтис Jl.Б., Шейнаускас Р.И., Жилевичус В.П.8 Бездушный А.9 Беллман Р., Калаба Р.

3. Бертсекас Д.Б., Галлагер Р.11 Болтянский В.Г.12 Бусленко Н.П.

4. Бусленко Н.П., Калашников В.В., Коваленко И.Н.

5. Бусленко Н.П., Осетинский Н.И.15 Бусленко Н.П. и др.16 Ван дер Верден17 Вентцель Е.С.18 Вермишев Ю.Х.19 Вермишев Ю.Х.20 ВиленкинН.Я.21 Винер Н.

6. Глушков В.М. Капитонова Ю.В.23 Глушков В.М.24 Гмурман В.Е.25 Голыиейн Е.Г., Юдин Д.Б.26 Гусева Т.Н., Башин Ю.Б.

7. Network Optimizations. Belmont: Athena Scientific,1998

8. PDM: The Essential Technology for Concurrent Engineering,http://www.pdmic.com/articles/artetfce.html, 22.02.2001.

9. Thermodynamics of Algorithms, Purdue University, 1972

10. Quantal Aspects of Scientific Information. Proceedings, Symposiumon Information Theory, London, September, 1950.

11. What are STEP, SC4 and P-Lib?, http://www.wt.com.au/ausstep/sc4/begin4.html, 01.07.1998.

12. Комбинаторная теория. M.: Мир, 1982.

13. Автоматизация проектирования ЭВМ. М.: Советское радио,1978.

14. Параллельные вычисления. СМО ВЦ РАН,http://www.ccas.ru/paral. 01.12.2002

15. Динамическое программирование и современная теорияуправления. М.: Наука, 1969

16. Сети передачи данных, М.: Мир, 1989.

17. Оптимальное управление дискретными системами. М.: Наука, 1973.

18. Моделирование сложных систем. М.: Наука, 1978.

19. Лекции по теории сложных систем. М.: Советское радио, 1973.

20. Системы и категории. Сб. // Проблемы кибернетики, М.: Наука, 1976, №32

21. Метод статистических испытаний (метод Монте-Карло) и его реализация на цифровых вычислительных машинах. М.: Физматгиз, 1961.

22. Математическая статистика. М.: Физматгиз, 1962. Теория вероятностей. М.: Наука, 1969.

23. Методы автоматического поиска решений при проектировании сложных технических систем. М.: Радио и связь, 1982. Основы автоматизации проектирования. М.: Радио и связь, 1988.

24. Популярная комбинаторика. М.: Наука, 1975. Кибернетика. М.: Советское радио, 1958.

25. Автоматизация проектирования вычислительных машин. Киев: Наукова Думка, 1975.

26. Теория автоматов и вопросы проектирования структур цифровых машин. Кибернетика, №1, 1965. Теория вероятностей и математическая статистика. М.: Высшая школа, 1996.

27. Задачи линейного программирования транспортного типа. М.: Наука, 1969.

28. Проектирование баз данных в примерах и задачах, М.: Радио и связь, 1992.- 134

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

30. Де Гроот М. Оптимальные статистические решения, М.: Мир, 1974.

31. Емеличев В.А., Ковалев Многогранники, графы, оптимизация. М.: Наука, 1981. М.М., Кравцов М.К.

32. Ершов А.П. Введение в теоретическое программирование. М.: Наука, 1977.

33. Ильин В.Н. Автоматизация схемотехнического проектирования: Учебноепособие для вузов. М.: Радио и связь, 1987.

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

35. Ильин В.Н., Коган B.JI. Разработка и применение программ автоматизациисхемотехнического проектирования. М.: Радио и связь, 1984.

36. Калинина В.Н., Панкин Математическая статистика. М.: Высшая школа, 1994. В.Ф.

37. Калужнин JI.A., Преобразования и перестановки. М.: Наука, 1979 Сушанский В.И.

38. Капитонова Ю.В., Математическая теория проектирования вычислительных Летичевский A.A. систем. М.: Наука, 1988.

39. Климов В. Концепция построения системы управления документами.http://www.citforum.ru/seminars/cis99/vest32.shtml, 15.11.2002

40. Кнут Д.Э. Искусство программирования, Т 1,2,3, М.: Вильяме, 2000.

41. Колмогоров А.Н. Основные понятия теории вероятностей, М.: ФАЗИС, 1998.

42. Колмогоров А.Н. Теория информации и теория алгоритмов, М.: Наука, 1987.

43. Конвей Р.В., Максвелл Теории расписаний: Пер. с англ. М.:Наука, 1975. В.Л., Миллер Л.В.

44. КорнеевВ.В. Параллельные вычислительные системы. М.:Нолидж, 1999

45. Корячко В.П., Теоретические основы САПР: Учебник для вузов. М.: Курейчик В.Л., Нергоатомиздат, 1987.1. Норенков И.П.

46. Костенко В.А. Принципы построения генетических алгоритмов и ихиспользование для решения задач оптимизации. http://lvk.cs.msu.su/literatura.htmh 01.02.2003

47. Костенко В.А., Трекин Генетические алгоритмы решения смешанных задач

48. А.Г. целочисленной и комбинаторной оптимизации при синтезеархитектур ВС //Искусственный интеллект (Донецк), 2000, №2, с.90-96

49. Кофман А. Введение в прикладную комбинаторику. М.: Наука, 1975.

50. Крамер Г. Математические методы статистики. М.: Мир, 1975.

51. Крючков А., Евгенев Г. Еще раз о прорывных технологиях автоматизации предприятийhttp://195.19.33.63/stat/komp498.html, 22.02.2001.

52. Крючков А., Лабезник Вопросы комплексной автоматизации предприятий Е. http://www.sprut.ru/stat.html, 22.02.2001.

53. Кузнецов О.П., Дискретная математика для инженера. М.: Энергоатомиздат, Адельсон-Вельский 1988.1. Г.М.135 52 Лазарев И.А.53 Левин Г.М., Танаев B.C.54 Лесин В.В., Лисовец Ю.П.55 Липский В.56 Ляпунов A.A.,57 Майника Э.

54. Мамиконов А.Г., Пискунов А. Н., Цвиркун А.Д.,

55. Месарович М., Такахара Я.,

56. Месарович М., Мако Д., Такахара Я.,61 Н.И. Минаева и др.,62 Новиков Ф.А.63 Норенков И.П.

57. Норенков И.П., Маничев В.Б.

58. Пападимитриу X., Стайглиц К.66 Парамонов Ф.И.67 Полак Э.68 Пугачев B.C.

59. Первозванский А.А., Гайцгори В.Г.70 Разевиг В.71 Раков Г.К.72 Растригин Л.А.73 Растригин Л.А.74 Растригин Л.А.

60. Растригин Л.А., Трахтенберг B.C.76 Растригин Л.А.77 Рейдман P.M.

61. Композиционное проектирование сложных агрегативных систем. М.: Радио и связь, 1986.

62. Декомпозиционные методы оптимизации проектных решений.

63. Минск: Наука и техника, 1978.

64. Основы методов оптимизации, М.: МАИ, 1998.

65. Комбинаторика для программистов. Пер. с польск. М.: Мир, 1988.

66. Математические исследования, связанные с эксплуатацией электронных вычислительных средств , в кн.: Математика в СССР за 40 лет: 1917 - 1957, т.1 Обзорные статьи , с. 857 - 877, М.: Физматгиз, 1959.

67. Алгоритмы оптимизации на графах и сетях. Пер. с англ. М.: Мир, 1981.

68. Модели и методы проектирования информационного обеспечения АСУ. М.: Статистика, 1975.

69. Общая теория систем: математические основы. М.: Мир, 1978.

70. Теория иерархических многоуровневых систем. М.: Мир, 1973.

71. Методы программирования. М.: Вузовская книга, 1999.

72. Дискртная математика для программистов, СПб Питер, 2001

73. Системы автоматизированного проектирования врадиоэлектронике. М.: Радио и связь, 1986.

74. Основы теории и проектирования САПР. М.: Высшая Школа,1990.

75. Комбинаторная оптимизация. Алгоритмы и сложность. Пер. с англ. М.: Мир, 1985.

76. Математические методы расчета многономенклатурных потоков. М.: Машиностроение, 1964.

77. Численные методы оптимизации. Единый подход. Пер. с англ. -М.: Мир, 1974.

78. Лекции по функциональному анализу. М.: МАИ, 1996. Декомпозиция, агрегирование и приближенная оптимизация. М.: Наука, 1980.

79. СALS концепция, стратегия и технологии, PC WEEK #11, 2001. Методы оптимизации структур вычислительных систем, М.: Энергия, 1974.

80. Стабин И.П., Моисеева B.C.85 Сухарев А.Г., Тимохов1. A.В., Федоров В.В.86 Танаев B.C., Шкубра1. B.В.87 Танаев B.C.

81. Танаев B.C., Гордон B.C., Шафранский Я.М.89 Финкельштейн Ю.Ю.90 Foster I., Kesselman С.91 Хаббард Дж.92 Харари Ф.93 Харари Ф., Палмер Э.94 Хемминг Р.В.95 ХоллА.96 Холл М.97 Холстед М.Х.98 Цвиркун А.Д.,99 Шеннон К.100 ЭшбиУ.Р.101 ЭшбиУ.Р.

82. Юдин Д.Б., Горяшко А.П., Немировский А.С.103 Юдин Д.Б.104 Яблонский С.В.

83. Динамические задачи дискретной оптимизации. Пер. с нем. М.:Радио и связь, 1985.

84. Теория рекурсивных функций и эффективная вычислимость. М. : Мир, 1972.

85. Введение в комбинаторные методы дискретной математики. М.: Наука, 1982.

86. Поиск структурных решений комбинаторными методами. М.: Изд-во МАИ, 1992.

87. Автоматизация синтеза алгоритмов и программ контроля// Методы и системы технической диагностики. СГУ. Саратов, 1981.

88. Модель функционирования распределённых вычислительныхсистем , Вестник МГУ, сер. 15, Вычислительная математика икибернетика, 1990. -№3.

89. Автоматизированный системный анализ. М.:1. Машиностроение, 1984.

90. Курс методов оптимизации. М.: Наука, 1968.

91. Введение в теорию расписаний. М.: Наука, 1975.

92. К теории расписаний. ДАН БССР, 1964, №12.

93. Теории расписаний. Одностадийные системы. М.: Наука, 1984.

94. Приближенные методы и прикладные задачи дискретного программирования, М.: Наука, 1976

95. The Grid. Blueprint for a New Computing Infrastructure, Hardback, ISBN 1558604758, 1998, p. 701

96. Автоматизированное проектирование баз данных. М.: Мир, 1984.

97. Теория графов, М.: Мир, 1973. Перечисление графов, М.: Мир, 1977.

98. Численные методы для научных работников и инженеров, М.: Наука, 1981.

99. Опыт методологии для схемотехники. Пер с англ. М.: Советское радио. 1975.

100. Введение в кибернетику, М.:Иностранная литература, 1959. Математические методы оптимизации устройств и алгоритмов АСУ. М.: Радио и связь, 1982.

101. Методы количественного анализа сложных систем, Изв. АН

102. СССР, Техническая кибернетика, №1, 1966.

103. Введение в дискретную математику, М.: Высшая школа, 2002.