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

ВВЕДЕНИЕ.

ГЛАВА 1.

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

В МАШИНОСТРОЕНИИ.

1.1 .Классификация САПР машиностроения.

1.2.0собенности структурной организации и пути совершенствования современных САПР машиностроения.

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

1.3.1. Концепция проектирования САПР.

1.3.2. Требования к инструментальным системам проектирования.

1.3.3.У правление процессом проектирования.

1.3.4.Применение экспертных систем.„л.

1.3.5.СтруктураИС интегрированного проектирования КПОС.

1.4. Методы программирования и стандарты в САПР.

1.4.1.Методы программирования и стандарты представления задач.

1.4.2.Методы программирования и стандарты представления заданий.

1.4.3.Стандарты представления данных в инструментальных системах проектирования и основные требования к способам кодирования.

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

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

1 .б.Технологии комплексного представления информации и разработки программного обеспечения в САПР.

1.7.Метамодели процесса проектирования КПОС.

1.8.0сновные выводы.

ГЛАВА 2.

РАЗРАБОТКА И ИССЛЕДОВАНИЕ МЕТОДА СИНТЕЗА СТРУКТУР КПОС НА ПРИМЕРЕ СИСТЕМ ГЕОМЕТРИЧЕСКОГО МОДЕЛИРОВАНИЯ МАШИНОСТРОИТЕЛЬНЫХ ОБЪЕКТОВ.

2.1 .Концепция синтеза структур КПОС.

2.2.Разработка метода синтеза функциональной модели КПОС.

2.2.1 .Анализ и модификация концепции EDEF0.

2.2.2.Синтез функциональной модели на примере КПОС машиностроения.

2.2.3 .Оценка структурных характеристик КПОС и принятие решений.

2.3.Разработка метода синтеза информационной модели КПОС.

2.3.1 Анализ и модификация концепции IDEF1.

2.3.2.Синтез информационной модели на примере КПОС машиностроения.

2.4.Поиск оптимальных структурных решений КПОС на И/ИЛИ графе.

2.5.Применение разработанных методов для анализа типовых

CAD/CAM систем.

Актуальность темы

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

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

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

Цель и задачи исследования

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

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

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

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

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

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

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

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

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

Научная новизна

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

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

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

Исследования, выполненные в диссертации, осуществлялись в рамках следующих НИР «Разработка программного обеспечения для геометрического моделирования крупногабаритных машиностроительных конструкций» (тема 318-96/18, per. номер

01.96.0009913) по заданию РАН, «Система моделирования и проектирования крупногабаритных конструкций» (тема 465-97/18.) по заданию Миннауки РФ, «Интегрированные САПР»( 463-97/18) по заданию Миннауки РФ.

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

Реализация результатов работы

Эффективность разработанных в диссертационной работе концепций, моделей, методов анализа и синтеза СПК подтверждена положительным опытом их использования при разработке ряда КПОС на машиностроительном заводе в г. Сургут, НИИ "Мосводоканал" и на заводе "Микромашина". Разработанные расширения инструментальных и языковых средств внедрены в состав комплекса программных средств ГРАФИКА-81, созданного в ИПУ РАН и использованы при конструировании сложных машиностроительных объектов.

Апробация работы

Основные положения работы докладывались на международной конференции и дискуссионном научном клубе (Украина, Крым, Ялта-Гурзуф, 1997 г.), на ежегодных научных семинарах лаборатории Института проблем управления РАН. Публикации.

По материалам выполненных исследований опубликованы 3 печатных работы, в том числе одна в соавторстве.

Структура работы. Диссертация состоит из введения, четырех глав, заключения и приложения. Она содержит 180 страниц машинописного текста, 87 рисунков, 13 таблиц, список использованных источников из 120 наименований. Содержание диссертации распределено по главам следующим образом.

4.7. Основные выводы

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

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

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

ЗАКЛЮЧЕНИЕ

Основные научные и практические результаты диссертационной работы следующие: 1 .В диссертации на основе всестороннего анализа методов структурной организации САПР рассмотрены особенности построения структур программного обеспечения (ПО) САПР, структур данных, используемых для внешнего и внутреннего представления информации об объекте проектирования; предложены оценки структурных характеристик КПОС в виде дополнения стандартной IDEF-модели набором вычисляемых характеристик, что позволяет получить представление о структурных характеристиках анализируемой системы, выявить узкие места, источники необоснованных затрат, сравнивать варианты структур с использованием численных оценок и путем моделирования оценить эффект от изменения структуры системы и характеристик отдельных узлов; уточнено понятие "архитектура КПОС", представляющее собой полное описание системы в виде двух разных типов моделей: функциональной и информационной, поддерживаемых соответствующими инструментальными средствами CASE технологии и ее развития SADT и DDEF, необходимых для структурного анализа, интегрального описания и интегральной спецификации системы.

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

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

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

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

156

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

7.Разработана методология конструирования машиностроительных объектов на основе исследования функциональной, информационной моделей и вариантов построения объектов на структурном уровне, а также кинематической и динамической моделей и выполнена ее экспериментальная проверка на примере объемного конструирования сложного объекта машиностроения с использованием расширенных средств комплекса ГРАФИКА-81, созданного в ИПУ РАН.

1. Multi-task CAD/CAM system stands alone .- Dem. Des. Jan 1992, P.30.

2. Gunn Lisa. CAE in the 1990s: will users want performance or integration?- Electron. Dec. 1990. -38, №1.-P 65-75.

3. Жук Д.М.Системы автоматизированного проектирования.- Информационные технологии, N0,1995.

4. Воскобойников Б.С. Технические средства автоматизированного производства деталей и машин.-Детали и машин, Москва, N33, 34, 35, 36, 1994.

5. Lang- lendorff G., Unterburg J. Changes in understanding of CAD/CAM: a database oriented approach.-Computer Aided Design, V21, N5, June 1989.

6. Артамонов Е.И. Принципы построения систем автоматизированного проектирования.-Методические рекомендации, Ижевск, 1989.

7. Яковцев О.П. Состояние и тенденции развития автоматизированных технологий разработки программ.-Информация индустрии программных средств, N1, 1991.

8. Артамонов Е.И. Состояние и перспективы развития интерактивных систем проектирования.-Измерения. Контроль. Автоматизация, М.: N2, 1985.

9. Позин Б.А., Штрик А.А. Выбор инструментальных средств автоматизации разработки программного обеспечения встроенных ЭВМ.- Программные продукты и системы, N3,1989.

10. Papalambros Fanos Y., Chirebdast Mehran. An integrated environment for structural configuration design.-J. Eng. Des., 1990, N1, P73-96.

11. Bunza Geoffrey, Hoffiman G., Thompson O. Design automation in the 1990: driven to abstraction.-Electron, 1990. N1, PI 13-120.

12. Gibson MX. The CASE.-BYTE, 1989, April, P235-245.

13. Time-bine for Windows .- User manual Symantec Inc., 1992, P145.

14. Weley J.W., Wyaocy R.K.- Project management- Reading MA Addlson-Wealy,-1991, 121 P.

15. Brimeon J.A. Activity Product Cost.- IEEE Engineering Management Review, 1993, V21, N1, P23-38.

16. Nicolao M.J. Management business and engineering projects.- Prince Hall International, 1990, P534.

17. Kumar A., Guditaka V. PC-SARA: Software for emergency planing and analysis.- Envir. progr.,1989, V8, N2, P143-149.

18. Pastovi F.Y., Burton Y. Timing Of Monitoring and Control of CPM Projects.- IEEE Translations on Engineering Management, 1993, V 40, N1, P 54-62.

19. Turpin Bill. Bringing expert system to the desktop.- Comput. Lang. (USA), 1992, V9, N5, P70-75.

20. Gaines B.R.> Shaw M.L. Logical foundations of expert system.- Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, 1984, P238-247.

21. Chan Chriatine An Investigation of knowledge access process in expert system development.-Knowl. Eng. Rev., 1991,V6, N2, PI 12-120.

22. Hang Se June. The new CAIA Artificial Intelligence for applications.- IEEE Expert, 1991,V6, N6, P52.

23. Noronha S.J., Sarma V.V.S. Knowledge-based approaches for scheduling problem; A survey.- IEEE Trans. Knowledge and Data Eng., 1991, PI60-171.

24. Gaither Shawn A. A real-time expert system.- AI and simulation, Theory and Applications, Apr1990, P20-26.

25. Carma L.M. Top- down, Bottom- up, and structured programming.- IEEE transaction on software engineering, VI, N4, Dec. 1975.

26. Stat S.B. HIPO and Integrated Program design.- IBM System J., 1976, N2, P143-154. 30.Structured Programming.-Datamation, 1973, N12

27. Liskov В., Guttang D. Abstraction and Specification In program development.- Massachusette Institute of Technology 1986.

28. Design/IDEF. User Manual for the IBM PC and Close Compatibles.- Meta Software, 1992.

29. Baines R.W., Colquhoun G.J. An integration and analysis tool for engineers.-Assembly Automation, Aug. 1990.

30. Lyons T.G.L. The public tool interface in software engineering environments.-Software Engineering Journal, Nov.1986.

31. Kalta M., Davies B.J. Converting 80-character ASCII IGES sequential files into conveniently accessible direct- access files.- Advanced manufacturing technology, 1992.

32. Калинин B.B., Ветко A.H., Прохоров А.Ф. Методика представления и хранения информации о технологическом процессе обработки изделий в системе автоматизированного проектирования.- Вестник машиностроения, N10,1984, С51-59.

33. Kehhicott P.R., Jones L.J. IGES: A step toward integrated Automation.- General Electric Company U.S.A.1993.

34. Shah J.J., Mathew A. Experimental investigation of the STEP form- feature information model -Computer-Aided Design, V23, N4, May 1991.

35. W.Boehm, Overview of structured programming: A quantitative assessment, IEEE Comput. Mag., Vol. 8, PP 38-40, June 1975.

36. Хорафае Д., Jlerr С. Конструкторские базы данных.- Машиностроение, Москва, 1990, С63-76. 41 .Калиниченко Л.А., Рывкин В.М. Машины баз данных и знаний.- М.: Наука, 1990, С46-69.

37. W.P.Stevens, G.J.Myers, L.L.Constantine, Structured design, IBM syst.J., Vol.13, PP 115-139, 1974.

38. McClur C. The CASE Experience.-BYTE, 1989, April, P235-245.

39. DeMarco D., McGoman C. SADT Structured analysis and design technique.-McGraw Hill, 1988.

40. Норенков И.П. Разработка САПР.- Издательство МГТУ им. Баумана, 1994.

41. Zachman J. A framework for information system architecture.-IBM systems journal, V26, N3, 1987.

42. E. И. Артамонов, В. M. Хачумов, Синтез Структур Специализированных Средств Машинной Графики.-Институт проблем управления, РАН, М.: 1991.

43. Gane С. Sarson Т. Structured systems analysis: tools and techniques.- Prentice- hall, 1982.

44. An introduction to SADT.- SofTech, Inc., Waltham, MA, 1976.

45. D. T. Ross and К. E. Schoman, Structured analysis for requirements definition.- IEEE transactions for software engineering, V3, N1, Jan. 1977.

46. Ross D.T. Structured Analysis (SA): A language for communication ideas.-IEEE transaction of software engineering, V3, N1,Jan. 1977.

47. Дмитров В.И., Макаренков Ю.М., Шапошникова О.В. Функциональная модель тактического управления в КИГШ1ИП.-машиностроитель, 1995, N10.

48. Дмитров В.И., Щедрин С.М., Юков И.Е. Геометрическое моделирование на основе использования ISO 10303 (STEP) на этапе конструирования продукции.- Информатика-машиностроение, 1996, N11

49. Colquhoun G.J., Gamble J.D., Baines R.W. The use of IDEFO to link design and manufacture in a CIM environment.- Advanced manufacturing technology, 1988.

50. Godwin A.N;, Gleeson J.W., Gwillian D. An assessment of the IDEF notations as descriptive tools-Information systems, VI4, N1, PI3-28, 1989.

51. Артамонов Е.И., Проектирование структур программных средств CAD/CAM -систем,-Автоматизация проектирования, N2,1997.

52. М.С. Амальник, Методология конструирование механизмов в САПР.- Автоматизация проектирования, N7, 1998

53. Артамонов Е.И., Загвоздкин В.А., Шурупов А.А., Щегольков М.Ю. Языки взаимодействия пользователя с ЭВМ в системе ТРАФИКА-81".- Институт проблем управления РАН, М.:1993.

54. Артамонов Е.И., Высотин O.B., Разумовский А.И., Макаров A.M., Шурупов А.А., Объемное геометрическое моделирование орбитального комплекса "МИР".- Автоматизация проектирования, N4, 1998.

55. Шпур Г., Краузе Ф.Л. Автоматизированное проектирование в машиностроении, М.: 1988, 648С.

56. Charrot P., Gregory J. A. Pentagonal Surface Patch for Computer Aided Geometric Design.-Computer Aided Geometric Design, 1984, VI, N1, P87-94.

57. Gregory J.A. N-sided Surfaces Patches.- The Mathematics of Surfaces, Clarendon Press. Oxford, 1986, P217-232.

58. Hosaka M., Kimura F. Nonfour-sided Patch Expressions with Control Points.-Computer Aided Geometric Design, 1984, VI, N1, P75-86.

59. Sabin M. A. Some Negative Results in N-sided Patches.-CAD: Computer Aided Design, 1986, VI8, N1, P38-44.

60. Catmull E. and dark J. Recursively Generated B-spline Surfaces on Arbitrary Topological Meshes.-CAD, 1978, V10, N6, P256-271.

61. Doo D. Subdivision Algorithm for Smoothing Down Irregular Shaped Polyhedrons -Interactive techniques in Computer Aided Design. Bologna, 1978. P147- 155.

62. Chyokura H., Kimura F. A New Surface Interpolation Method for Irregular Curve Mode Is.-Computer Graphics Forum, 1984, V3, N3, P209-218.

63. Jones A. K. Nonrectangular Surface Patches with Curvature Continuty.-CAD: Computer Aided Design, 1988, V20, N6, P325-335.

64. Sarraga R. F. Free Form Surfaces in GM Solid: Goals and Issues.-Solid Modeling by Computers from Theory to Applications, Plenum Press, New York, 1984, PI 87-210.

65. Ашкалиев Э, Я., Ляпин А. В., Шмелев Г. С. Один из методов моделирования поверхностей со сложной топологией Вопросы кибернетики, Проблемы обработки графической информации в машиностроительный: САПР, М.: ИСК АН СССР, 1989, СЗ5-47.

66. Матов В. И., Шамаева И. М. структура геометрического редактора пространственных моделей.- Вопросы кибернетики, Проблема автоматизации инженерного труда в машиностроении машиностроительных САПР, М.: НСК АН СССР, 1988, С68-72.

67. Casale М. S. Free-Form Solid Modeling with Trimmed Surfaces Patches.- IEEE Computer Graphics and Applications, 1987, V7, N1, P33-43.

68. Crocker G. A„ Reinke W. F. Boundary Evaluation of Non-Convex Primitives to Produce Parametric Trimmed Surfaces.- Computer Graphics, V21, N4, 1987, P 129-136.

69. Miller J. R. Sculptured Surfaces in Solid Models: Issues and Alternative Approaches.- IEEE Computer Graphics and Applications, 1986, V6, N1, P37-48.

70. Ботвич Д. Д., А. И. Грюнталь, Куцаев А. С., Шмелев Г. С. Моделирование на ЭВМ поверхностей сложной формы.- Вопросы кибернетики, Проблемы обработки графической информации в машиностроительных САПР, М.: 1987, С6-19.

71. Фоке А., Пратт М. Вычислительная геометрия.- М.: Мир, 1982, 304 С.

72. Фоке А., Пратт М. Вычислительная геометрия, Применение в проектировании и на производстве, М.: Мир, 1982, 304 С.

73. Gordon W. J. Blending-fimction methods of bivariate and multivariate interpolation and approximation.- SIAM J. Numer. Anal, 1971, V8, N1, PI 58-177.

74. Пшеничный Б. H., Данилин Ю. М. Численные методы в экстремальных задачах,- М.: Наука, 1975, 320 С.

75. Суслин В. П. Сглаживающая , аппроксимация поверхностей бикубическими сплайнами.-Автоматизация процессов проектирования. Минск: Ин-т технич. кибернетики АН СССР, 1980, N3, С11-19.

76. Суслин В. П. Метод наименьших квадратов для решения нелинейных геометрических задач.-Сборник научных трудов САПР в автомобилестроении. М.: 1987, N1, С122-138.

77. Суслин В. П. Метод тестовых сфер для решения нелинейных геометрических задач.-Сборник научных трудов САПР в автомобилестроении, М.: 1988, N1, С47-55.

78. Иванов В.П., Батраков А.С. 3D трёхмерная компьютерная графика.- Радио и связь,М.:1995, 221С.

79. Нартовой Л.Г., Тевлина A.M. Курс начертальной геометрии с алгоритмами для ЭВМ.- МАИ, М.: 1994,253 С.

80. Rosen D.W., Dixon J.R. Languages for feature- based design and manufacturability evaluation.-International journal of system automation: research and applications (SARA) 2, P353-373, 1992.

81. Davis B.J. Part representation for the expert process planning system rational components.-Advanced manufacturing technology, 1994.

82. Woodbury R.F. Oppenheim J.- An approach to geometric reasoning.- Department of architecture, Pennsylvania, U.S.A. 1989, P149-169.

83. Губич Л.В., Грудовик B.M., Сипайло B.A. Типовые проектные решения машиностроительных конструкций и их представление в САПР, ИТК АН БССР, 1989.

84. Гардан И.Б., Люка М. Машинная графика и автоматизация конструирования.- М.: Мир, 1987, 272 С.

85. Клишин В., Люнен В., Недер А. Подход к комплексной оценке интегрированных САПР, Компьютерная графика, N3,1992, С7-18.

86. Дитрих Я. Проектирование и конструирование, Системный подход.- М.: Мир,1981, 451 С.

87. Wyrill G., Kunii A. A functional model for constructive solid geometry.- J. of computer graphics, VI, N1,1985, Pl-14.

88. Норенков И.П., Маничев В.Б. Основные теории и проектирование САПР.- Вычислительные Маш., М.: Высш. шк., 1990,335 С.

89. ЮО.Фоке Л.» Пратт М. Вычислительная геометрия.- М.: Мир, 1982. 304 С.

90. М. Mantula, Boolean operations of 2- manifold through vertex neighborhood classification.* ACM Transactions on Graphics, V5, N1, 1986.

91. Mantula M., An introduction to solid modeling.- Computer science press, New York, 1988, 401 P.

92. Gaal В., Varady T. Experiences and further development of the free form shapes CAD/CAM system.- Robotics and computer. Integrated Manufacturing, 1985.

93. Разработка САПР, в 10 кн. Практ. Пособие, под ред. А.В. Петрова.- М.: Высшая школа, 1990.

94. Горшков С.П., Княш Ю.Б. Синтез трехмерных объектов на основе теоретико-множественного подхода.- Автоматизированное проектирование и производство в машиностроении, М.: Машиностроение, 1986, 177 С.

95. Сиротки» Я.Я., Никифоров В.В. Объемное геометрическое моделирование деталей и сборочных единиц.-Научно техн. конф., Мн.: 1992, 42 С.

96. Mantula М., Sulonen R.A Solid modeler with the Euler operators.- IEEE Computer Graphics, V2, N7, 1982.

97. В.Артамонов Е.И., Графика-81, Комплекс агрегатных средств для создания систем автоматизированного проектирования.- Институт проблем управления, М.:1983, 39 С.

98. Е. Sacks, L. Joskowicz, Automated modeling and kinematics simulation of mechanisms.-Computer Aided Design, V25, N2, Feb.1993. P106-118.

99. Gueddi R.A., Tucker H.A. Methodology in Computer Graphics, North Holland, Amsterdam, 1979.164

100. R.W.Witty, The design and construction of hierarchically structured software, Atlas Computing Div., Rutherford lab., England, 1978.

101. A design methodology for reliable software systems, in proc. Fall joint comput. Conf., 1972, PP 191-199.

102. Barsalon T., Wiederhold G. Complex objects for relational data base.- Computer Aided Design, V22, N8, Oct. 1990.

103. On the criteria to be used in decomposing systems into modules, Commun. Ass. Comput. Mach., Vol. 15, PP 1053-1058, Dec. 1972.

104. D.L.Parnas, D.P.Siewiorek, Use of transparency in the design of hierarchically structured systems, Commun. Ass. Comput. Mach., Vol. 18, PP 401-408, July 1975.