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

ВВЕДЕНИЕ.

1.1. Актуальность проблемы.

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

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

ГЛАВА 1. ИССЛЕДОВАНИЕ ПРИНЦИПОВ ПОСТРОЕНИЯ И МЕТОДОВ ПРОЕКТИРОВАНИЯ СТРУКТУР ИНТЕРАКТИВНЫХ СИСТЕМ (ИС).

1.1. Классификация интерактивных систем (ИС).

1.2. Анализ способов представления информации и классификация внешних устройств ИС.

1.3. Анализ алгоритмов функционирования и структур ИС.

1.3.1. Анализ алгоритмов функционирования и структур ИТС.

1.3.2 Алгоритмы функционирования и структуры ИПС.

1.4. Исследование принципов организации систем автоматизированного проектирования.

1.4.1. Этапы процесса проектирования.

1.4.2. Основные операции в САПР.

1.4.3. Возможные варианты организации структур программного обеспечения САПР.

1.4.4. Классификация программного обеспечения систем автоматизированного проектирования.

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

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

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

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

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

1.7. Анализ методов проектирования структур вычислительных систем.

1.7.1. Анализ и синтез структуры сложных аппаратных и программных систем.

1.7.2. Методы проектирования структур аппаратно реализуемых ВС.

1.7.3. Методы проектирования структур программных систем (ПС).

Дальнейшее повышение производительности труда, снижение себестоимости продукции возможны лишь за счет внедрения развитых автоматизированных систем для процессов проектирования и производства конечного продукта, таких как системы автоматизированного проектирования (САПР) [1-4,63,64,72-74], автоматизированные системы управления технологическими процессами (АСУ ТП) [65,66], гибкие автоматизированные производства (ГАП) [12] и т.п. Внедрение указанных систем позволяет ускорить получение конечного продукта, выполнить работы, которые невозможно сделать вручную, высвободить людские ресурсы, повысить качество конечного продукта, освободить человека от рутинной малопроизводительной работы.

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

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

При создании таких систем большое внимание уделяется разработке стандартов по методологии организации систем, стандартов на инвариантные части систем и на структуру данных для обмена с прикладными частями. Таким образом разработан международный стандарт по CALS-технологиям, при проектировании программного обеспечения получила распространение CASE-технология (Computer- Aided Software Engineering), техника и средства структурного анализа SADT (Structured Analyzes and Design Technique), включающего метод интегрального описания, интегральной спецификации IDEF (Integrated Computer Aided DEFinition method), стандарт для описания данных об изделии (STEP), стандарты представления текстовой информации (SGML ) и графики (CGM) и т.п.

В России большой вклад по созданию интерактивных систем проектирования машиностроительных объектов внесли работы Львова В.П., Горелика А.Г., Елшина Ю.М. [13,17,152,153] и др., по созданию систем проектирования изделий радиоэлектроники - Матюхина Н.Я., Зайцевой Ж.Н., Глориозова E.JL, Ойхмана Е. [18,19,20] и др., систем управления технологическими процессами Круг Е.К., Ицковича Э.Л. [25,44,50,51] и др. По разработке методов анализа и синтеза большой вклад внесли работы в области вычислительных систем Глушкова В.М., Матюхина Н.Я. [104,105,130,132], систем логического управления - Гаврилова М.А., Амбарцумяна A.A., Девяткова В.В., Кузнецова О.П. [107], систем обработки информации -Мамиконова А.Г., Кульбы В.В. [116,117,118120,121,122].

Накоплен большой опыт и велись работы по стандартизации в машинной графике и созданию графических систем под руководством Баяковского Ю.М., Климова В.Е., Львова В.А., Лященко A.A. [21-24,62,137,159] и др.

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

6.7. Выводы главы 6.

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

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

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

4. Разработаны геометрические модели "Фермы-3" орбитальной станции МИР, модели и компьютерный фильм процесса монтажа космонавтами фермы на поверхности станции МИР и раскрытия фермы с использованием специальных инструментов.

5. Разработаны алгоритмы и программное обеспечение для тренировки космонавтов процессу срочного покидания международной космической станции (МКС) АЛЬФА, включающее блоки ЗБ геометрического моделирования внутреннего помещения МКС, 2Т> геометрической модели пультов, модели функционирования бортовых систем.

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

281

ЗАКЛЮЧЕНИЕ

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

В диссертации получены следующие основные теоретические и практические результаты:

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

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

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

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

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

6. Разработаны методологические основы проектирования интерактивных программных систем (ИПС). Определены матрицы смежности графовых моделей преобразования растровых и векторных структур графических данных, а также реализаций алгоритмов геометрических построений, ТО и ЗБ геометрического моделирования, решения проблемно-ориентированных задач. Показано, что использование разработанного метода синтеза при проектировании отдельных подсистем позволяет найти не только лучшие решения по организации их структур и структур данных, но и создать унифицированный ряд программных блоков, которые могут быть использованы при разработке различных проблемно-ориентированных систем проектирования.

7. Разработана структура, алгоритмы функционирования и программное обеспечение комплекса инструментальных средств ГРАФИКА-81. Реализация комплекса для СМ ЭВМ, тиражировалась в 80-х годах

ЦЕТРПРОГАММСИСТЕМ г. Калинин; реализация для персональных компьютеров, эксплуатируется на ряде заводов по ремонту нефтебурового оборудования для геометрического моделирования, выпуска конструкторско-технологической документации и подготовки управляющей информации для станков с ЧПУ в г.Сургут. Инструментальные средства комплекса использованы также для создания ряда специализированных систем проектирования.

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

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

10. Разработаны методы и средства взаимодействия пользователей с автоматизированными системами проектирования. Созданы языковые и интерактивные средства описания геометрических моделей и процессов функционирования в комплексе ГРАФИКА-81. Исследованы принципы организации средств взаимодействия пользователя с системой в глобальной сети САПР на основе Internet, создано программное обеспечение ГРАФИКА-Int для геометрического моделирования, выпуска конструкторско-технологической документации и решения прикладных задач удаленными пользователями в сети. Заложена инструментальная база для решения задач параллельного проектирования.

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

12. Разработаны специализированные системы геометрического моделирования на основе комплекса ГРАФИКА-81 и компьютерные методы проектирования крупногабаритных машиностроительных конструкций: система проектирования деталей типа "тела вращения"; система базируется на общих принципах классификации моделей деталей, описании процессов их проектирования и обработки, создании базы данных типовых элементов параметрических моделей; специализированная система объемного геометрического моделирования на основе баз данных параметрических моделей отдельных узлов; объемные геометрические модели внешнего облика всех модулей орбитального комплекса МИР; программное обеспечение и компьютерные фильмы по перестыковки модулей; геометрические модели "Фермы-3" орбитальной станции МИР, модели и компьютерный фильм процесса монтажа космонавтами фермы на поверхности станции МИР и раскрытия фермы с использованием специальных инструментов;

- программное обеспечение для тренировки космонавтов процессу срочного покидания международной космической станции (МКС) АЛЬФА, включающее блоки ЗБ геометрического моделирования внутреннего помещения МКС, 2Б геометрической модели пультов, модели функционирования бортовых систем;

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

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

1. Mattei J. La croissance du marehe de la CAO se ralentit// Paris.- Le monde informatique.- 1987.- No 268.- P. 81.

2. Janiaux P. Intergraph "autonomise" ses stations // Paris.-Le monde informatique.- 1987.- No 268.- P. 23.

3. Peressini Ch. Computer-vision remonte la pente. 01 Informatique //Paris.-Proqiciel Service Informatique.- 1987.-P. 6.

4. Маршалл M., Уоллер Д. Для сверхбольших ИС нужны супер-САПР //Электроника,- 1980,- Вып. 17.- Т. 53.

5. Lin G.S. Application of disturbance observer to computer control of blending process/ZProcceding Joint Automation Control Conf. Unw. Tex.- 1974,- No 4.-P. 514-519.

6. Материалы фирмы "Jiskoot Autocontrol LTd // 1982.- P. 1-40.

7. Проспекты фирмы Foxboro //Product Specification PSS1-7 GA.-1983.- P. 1-8.

8. Status Report of the Graphics standards Planning Commitee of ACM/SIGGRAPH //Computer Graphics.- 1977.- V. 11.- No 3.9. Климов B.E., Кудин Б.В. Стандартизация в машинной графике. В сб.:

9. Машинная графика баз данных. Вып. 26. Международный центр научной и технической информации. М., 1984.

10. ISD/DIN 7942, GKS, VERSION 7.2, ISO ТС 97/SC 5/WG2, 1982.

11. Proposed dp ANS Videotex/Teletext Presentation Level Protocol Syntax (North American PLPS). 1982.- August.

12. Besant C.B., Lui C.W.K. Computer aided design und manufacture // 3-rd Edition. Ellis Horwool Limited.- 1986.- 410 p.

13. Зозулевич Д.Д. Машинная графика в автоматизации проектировавия. -М. Машиностроение.- 1976.

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

15. Автоматизация проектирования.-1986.-Вып. 1.-С. 12-20.

16. Горелик А.Г. Пакет программ машинной графики для ЕС ЭВМ// М.: Машиностроение .-1986.

17. Федулов A.B., Спиров В.И., Корольков С.С., Мацокин A.M., Дебелов В.А. Система машинной графики САПР "Магистраль" //Автоматизация проектирования.- 1986.- Вып. 1.- С. 37-46.

18. Елшин Ю.М., Назаретова H.A. Автоматизация проектирования конструкторской разработки сложных систем //Автоматизация проектирования.- 1986.- Вып. 1.- С. 61-74.

19. Петренко А.И., Тетельбаум А .Я., Шрамченко Б.Л. Автоматизация конструирования электронной аппаратуры,- Киев: Вища школа.-1980.

20. Ойхман Е.Г., Новоженов Ю.В., Зюзин Ю.В. Принципы построения персональной САПР печатных плат //Приборы и системы управления.-1983. № II.

21. Ильин В.Н. Машинное проектирование электронных схем. -М.: Энергия,-1972.

22. Баяковский Ю.М., Галактионов В.А. Графические протоколы (обзор). -Автометрия,- 1978,- № 5.- С. 3-11.

23. Климов В.Е., Мягков С.А. Система графического и геометрического моделировавжя ЕС ЭВМ //Автоматизация проектирования,- 1986,- Вып. 1.- С. 46-55.

24. Львов В.А. Машинная графика //Тезисы докладов 1-й Всесоюзной школы- семинара "Машинная графика и обработка документации в управлении, планировании и проектировании". Цахкадзор: ЕрНИПИ АСУП.- 1983,- С. 10-14.

25. Лященко A.A., Зайцев В.Ф., Олейник В.Д. Опыт реализации предложений международного графического стандарта на мини-ЭВМ семейства СМ-4 //Автоматизация проектирования.-1984.- Вып. 2-3.

26. Ицкович Э.Л., Колпиков Ю.Г., Любимов , Ю.Б. Автоматизированныйсинтез алгоритмов и программ АСУ Ш для распределенной управляющей системы "КУРС" //X Всесоюзное совещание по проблемам управления. Алма-Ата, 1986. Тезисы докладов. Кн. П. М.- 1986,- С. 488.

27. Артамонов Е.И. Методы проектирования специализированных вычислительных устройств //Диссертация на соискание ученой степени к.т.н. М.: ИАТ.- 1970,- 164 с.

28. Артамонов Е.И. Анализ вариантов построения и классификация САПР //X Всесоюзное совещание по проблемам управления. Алма-Ата, 1986. Тезисы докладов. Кн. П. М.- 1986.-С. 484.

29. Digitaliseurs serie 6000. Manual D'exploitation // Reference No 0.4.041.20000.01, Juillet 1982.

30. Агейкин Д.И. и др. Датчики систем автоматического контроля и регулирования //Справочные материалы. Под ред. Б.С. Сотскова.- М.: Машгиз.-1959.

31. Касаткин А.С. Автоматическая обработка сигналов частотных датчиков// М.: Энергия.-1966.

32. Клейн В., Мартин J. и др. Цифровые датчики // М., 1957.

33. Агейкин Д.И. Датчики контроля и регулирования //Справочные материалы. Изд. 2-е, перераб. и допол.- М.: Машиностроение.-1968.

34. Гитис Э.И. Преобразователи информации для-электронных цифровых вычислительных устройств //М.: Госэнергоиздат.-1961.

35. Петренко А.М. Автоматический ввод графиков в электронные вычислительные машины //М.: Энергия.- 1968.- С. 118.

36. Чеголин П.М., Римский Г.В., Леонович Э.Н. Системы преобразования многоканальной графической информации в электрические сигналы //Минск: Наука и техника.- 1969.- С. 100-306.

37. Чеголин П.М., Леонович Э.Н., Савенков В.П. Автоматизация преобразования сложных форм графической информации // Минск: Наука и техника.- 1973.- С. 107-140.

38. Terminal graphique 1020. Usage d'utilisation //SECAPA Informatique, PARC D'Apfaires Regional. 69570 Dardilly, Septembre 1983.

39. Коэн Ч. Анализатор микропроцессоров с активным режимом // Электроника,- 1979,- Т. 52,-№ 15(567).- С. 20-24.

40. Бердичевский A.M., Лакомкина Т.Н., Холмогорский В.Ф. Матричные индикаторы за рубежом //М.: Электроника.- 1972.-Вып. 8(50).- С. 102.

41. Radio Mentor.- 1970,- No 10,- P. 686.

42. Бирман Г., Уэбер Д.M. Новые дешевые типы индикаторов с улучшенным качеством изображения // Электроника.- 1985.-№ 9,- С. 4048.

43. Dawes A. Computer graphics hard copy Systems //MICAD 80.Textes des oonferences. Premiere Conference europienne sur la Conception Assistee par Ordinateur dans les Moyennes et Petites Industries (MPI).- 1980.

44. Артамонов Е.И. Блоки контроля и управления скоростью двигателей постоянного тока //ГОСИНТИ.- Вып. 57.- 1966.

45. Круг Е.К., Дилигенский С.Н., Артамонов Е.И. и др. Промышленные цифровые регуляторы//ГОСИНТИ.-Вып. 13.- 1962.

46. Комбинированное устройство дяя управления шаговым двигателем //Электроника,- 1985.-№ 14,- С. 92.

47. Plotter programming for Calcomp digital incremental plotters //California Computer Products. Inc., Anaheim.-1964.- P. 23.

48. Глазков И.М. Оборудование для производства фотошаблонов и выполнения операций фотолитографии //Советское радио.-1975.

49. Лаймен Дж. Новое поколение высокоавтоматизированного оборудования для производства ИС //Электроника.- 1985,- № 14.-С. 50.

50. Крейг Д. Роуз. Рубиновый лазер для точного сверления отверстий //Электроника,- 1985,- № 14,- С. 80-81.

51. Круг Е.К., Александриди Т.М., Дилигенский С.Н. Цифровые регуляторы //М.: Госэнергоиздат.-1966.

52. Круг Е.К., Дилигенский С.Н. Принципы построения одноканальных цифровых регуляторов//Советское радио.- 1969.

53. Gottschalk Н., Digitale Stelleinrichtungen// Messen. Steuern. Regeln.- 1964.-No 2.

54. Good J.C. Small Computers solves big blending problems // Oil and Gas J.-1961.- V. 59.-No 37.

55. Fritzsche W. Genaue und schnelle Regelungon von Drehzahlen durch digitale Methoden //AEG Mitteilungen.- I960.-No 8/9.

56. Артамонов Е.И., Круг E.K., Дилигенский С.Н. и др. Устройство для управления процессом смешения при получении многокомпонентной смеси //А.с.№ 224639.

57. Артамонов Е.И. Цифровой пропорционально-интегральный с воздействием по производной регулятор// A.c. № 259226.

58. Артамонов Е.И., Чистова Е.С. Цифровое регулирующее устройство //ГОСИНТИ.- Т. У.- Вып. 3.- 1968.

59. Артамонов Е.И., Дилигенский С.Н. Устройство дли контроля взаимного соотношения параметров //A.c. № 222744.

60. Артамонов Е.И., Преображенский Н.И. Многоканальное вычислительное устройство для тяговых испытаний сельскохозяйственных машин //A.c. № 226261.

61. Артамонов Е.И. и др. Устройство телеконтроля за ходом испытаний //A.c. № 394835.

62. Артамонов Е.И., Преображенский Н.И., Боголюбов E.H. и др. Устройство для пооперационной регистрации времени испытаний машин и механизмов //A.c. № 271933.

63. Лященко A.A., Цурин О.Ф. Средства описания и разработки графических диалоговых систем на СМ ЭВМ //Киев: Общество "Знание" УССР.- 1983.16 с.

64. Spur G., Anger Н.-М., Kunzendorf W., Stuckmann G. CAPSY A dialogue

65. System for Computer Aided Manufacturing Process Planning //19 MIDR -Konferenz, Manchester (England), Sept. 1978.

66. Spur G. State of the art and further development of the COMPAC-System //Proceedings CAM-1 Geometric Modelling Meeting. 14-16 Marz, 1987, ST. Louis.

67. Кафаров B.B., Горошин О.И. Автоматизация интеллектуальных функций управления непрерывными технологическими процессами в составе АСУ 111 //Приборы и системы управления.-1983.- № 8.

68. Скурихин В.М., Морозов A.A. Комплексная автоматизация систем управления //УСиМ.- 1976.- № 2,- С. 3-7.

69. Страбыкин Д.А. Управление цифровыми измерительными приборами с помощью встроенных микроЭВМ //Приборы и системы управления.-1983,-№8.

70. Глазков И.А., Мельник А.Л., Островский Ц.Н. Автоматизированная информационно-поисковая система на базе УВК М-6000 //Приборы и системы управления.- 1983.- № 12.

71. Скурихин В.И., Морозов A.A. Проблемы создания и функционирования комплексных автоматизированных систем управления //УСиМ.-1981,- № 3.

72. Артамонов Е.И. Принципы построения систем автоматизированного проектирования //Методические рекомендации.-Установ, 1985.

73. Артамонов Е.И. Организация систем автоматизированного проектирования //Автоматизация проектирования.- 1986.-Вып. 1.- С. 2029.

74. Spur G., Arndt W., Gausemeier 1., Krause F.-L., Lewandowski S., Muller G. Behandlung techniachtr Objekte in CAD-Systemen //CAD-Kfk 31. Gesellschaft fur Kernforschung, Karlsruhe.- 1977.

75. Spur G., Krause F.-L. Geometrie Modelling in CAD-Technology //Geometrie modelling Seminar. Bourhemouth. England.- 1979.

76. Spur G., Krause F.-L., Mayr R., Muller G., Scliliep W. A survey about Geometric Modelling Systems. CIRP, Paris.-1979.

77. Артамонов Е.И. Состояние и перспективы развития интерактивных систем проектирования (ИС) //Измерения, контроль, автоматизация.-1985.-№2.- С. 49-57.

78. Елшин Ю.М., Назаретова H.A. Автоматизация проектно-конструкторской разработки сложных систем //В сб.: Техника, экономика, информация. Сер. Автоматизация проектирования. М.: п/я А-1420.- 1986.- Вып. 1.- С. 61-74.

79. Елшин Ю.М., Назаретова H.A. Интерактивная система автоматизации чертежно-графических работ (Араке-1) //В сб.: Техника, экономика, информация. Сер. Автоматизация проектирования. М.: п/я А-1420,- 1984,-Вып. 2-3.

80. Полозов B.C. Моделирование и синтез операторов геометрического расчета и машинной графики в системах автоматизированного проектирования и автоматизации технологической подготовки производства //Автореф. дисс. д.т.н. М., 1983.

81. Spur G. State of the art and further development of the COMPAC-System //In: CAM-1 Geometric Modelling Meeting: Proc. Conf. St. bonis.- 1978.

82. Романычева Э.Т., Антипов A.B. Машинная графика в автоматизации технологической подготовки производства //В кн.: Математическое обеспечение систем с машинной графикой. Тезисы докладов Ш Научно-технического семинара. Устинов, 1985.

83. CAD-Computer Aided Design. Anwendungs-Software für Konstruktion und Entwicklung. Control Data GmBH, Frankfurt,1979.

84. TIPS-1, Technical Information Processing System for CAD/CAM //Institute of Precision Ingineering, Hokkaido University, Sapporo, Japan.- 1979.

85. Intel designs a graphics chip for both CAD and business use //Electronix.-19 .-No20,-P. 57-60.

86. La Console de visualisation Graphique lntergraph-200. Thompson CSF visualisation & Tratement des Information, Janvier, 1975.

87. Трапезников В.А., Прангишвили И.В., Новохатный А.А., Резанов В.В. Экспедиционные геофизические вычислительные комплексы на базе многопроцессорной ЭВМ ПС-2000 //Приборы и системы управления.-1982.-№2.

88. Бурцев B.C. Принципы построения многопроцессорного вычислительного комплекса "Эльбрус" //Препринт № 1. М.: ИТМиВТ АН СССР.-1977.

89. Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции //М.: Наука.-1981.

90. Softwareproduct CADIS-2D (BS 2000) Computer Aided Design Interactive System //Programmschreibung S.L.; Siemens AG.-1981.

91. Леопольд Дж. Процессор для обработки данных трехмерной графики со скоростью 30 млн. оп/сек //Электроника.-1986.- № 8.- С. 21-22.

92. Недорогое АРМ для практического внедрения искусственного интеллекта //Электроника.- 1986.- № 8.- С. 70-73.92. Programmers Manual Control System DC 300. Drafting machine urth SM-4

93. Computer & Servo-Kongsberg. AIS Kongsberg Vapenfabrikk, 1974.

94. Филинов E.H., Семик В.П. Программное обеспечевие УВК СМ-3 //Приборы и системы управления.- 1977.- № 10.

95. Забара С.С., Наумов Б.Н., Резанов В.В., Смирнов Е.Б. СМ ЭВМ. Состояние и перспективы развития //Приборы и системы управления.-1981.-№2.

96. Калниболотский Ю. М. и др. Расчет и конструирование микросхем //Киев: Вища школа.-1983.

97. Лоулер Р.У., Ньянг М., Гнонг М. Компьютеры, грамотность,языки //Курьер ЮНЕСКО,- Апрель 1983.

98. Systeme avec logiciel de mecanique DAMECA SECAPA INFORMATIQUE, 1984.

99. Фукс В.И., Шкамарда A.H. Графические терминальные станции и комплексы //Измерения, контроль, автоматизация.-1982,- № 3.

100. Newman W., Sproull R. An Approach to graphics system design //Proceedings ШЕЕ.- 1974.-V. 62,-No 4.

101. SE JUNE HONG. Wire-Routing Machines.- New Tools for VLSI Physical Design //Proceedincs of the IEEE.- 1983.- V. 71.- No 1.

102. Задорожный В.В. Комплекс средств для создания и изготовления графической и текстовой документации //Приборы и системы управления,- 1982.- № 12. С. 44-56.

103. Computer Graphics World.-1981.- No 8.

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

105. Глушков В .М. Синтез цифровых автоматов //М.: Физматтиз. -1962.

106. Применение вычислительных машин для проектирования цифровых устройств //Под ред. Н.Я.Матюхина. М.: Советское радио.-1968.

107. Колдуэлл С.Х. Логический синтез релейных устройств // М: Машиностроение, 1978.

108. Гаврилов М.А. Теория релейных устройств и конечных автоматов //Избранные труды. М.: Наука, 1983.- С, 235-263.

109. Moshos G.I. Survey of countup-countdown machines //Radio corporation of America camdem. New Jersey United States of America. IFAC.- 1968.

110. Michael P.C. Simplified machine & automatic test equipment design //Electron. Equipment news. 9., 1967, No 6.

111. Mackinnon A. Flow charts metode. Systems non linear //Computer design. February 1968.

112. Карцев M.A., Брик В.А. Вычислительные системы и синхронная арифметика //М.: Радио и связь.-1981.

113. Карцев М.А. Принципы организации параллельных вычислений, структуры вычислительных систем и их реализация // Кибернетика.-1981.-№2.- С. 68-74.

114. ИЗ. Поспелов Д.А. Классификация структур алгоритмов, реализуемых на вычислительных системах //Известия АН СССР. Сер. Техническая кибернетика.- 1967.- № 5.

115. Поспелов Д.А. Введение в теорию вычислительных систем // М.: Советское радио.-1972.

116. Мамиконов А.Г., Кульба В.В. Синтез оптимальных модульных систем обработки данных //М.: Наука, 1986.

117. Кульба В.В., Мамиконов А.Г. Методы анализа и синтеза оптимальных модульных систем обработки данных (обзор) // Автоматика и телемеханика.- 1980,- № П.

118. Кульба В.В., Косяченко С.А., Сидоров E.H. Методы синтеза модульных систем обработки данных //X Всесоюзное совещание по проблемам управления. Алма-Ажа, 1986. Тезисы докладов. Кн. П.-М., 1986.

119. Садвакасов Е.С. Синтез модульного программного обеспечения СОД с оптимальной структурой информационного обмена //X Всесоюзное совещание по проблемам управления. Алма-Ата, 19,86. Тезисы докладов. Кн. П.-М., 1986.-С. 28-29.

120. Зиглер К. Методы проектирования программных систем // Пер. с англ. -М.: Мир.- 1985.

121. Анисимов A.A., Мамиконов А.Г., Кульба В.В. Оптимальные системы обработки данных //Алма-Ата: Наука Каз.ССР.-1981.

122. Липаев В.В. Качество программного обеспечения //М.: Финансы и статистика, 1983.

123. Мамиконов А.Г., Анисимов А.А., Кульба В.В., Косяченко С.А., Казиев Г.З. Синтез оптимальных функциональных модулей обработки данных в АСУ //Препринт. М.: Институт проблем управления, 1979.

124. Волин В.Г., Сеничкин В.И., Эпштейн В.Д. Проектирование структуры информационных сообщений в условиях АРИУС // Препринт,- М.: Институт проблем управления, 1978.

125. Waters R.C. The programmer's apprentice: knowledge based program editing //IEEE Trans. Software Eng.- 1982.- No 1. P. 1-12.

126. Джермейн К. Программирование на IBM/360 //Пер. с англ. под ред. В.С.Штаркмана. М.: Мир, 1973.

127. Nassi 1., Schniederman В. Flowchart techniques for structured programs //SIGPLANNoticese.- 1973.-No 8.-P. 12-26.

128. HABS Martin LIPP. Methodical Aspects of Logic Synthesis //Prooeodincs of the IEEE.- 1983.- V. 71.- No 1,1. P. 88-97.

129. Breuer M., Friedmen A., losupovioz Ao A survey of the state of the art of design automation /ДЕЕЕ Comput. Soc. Mag.- 1981.- V. 14.- No tO.- P. 58-75.

130. Lipp H.M. Conditions for the development of an effective CAD-system for digital controllers. CAB in Medium Sized and Small Industries //J. Mermet, Ed. Amsterdam: North-Holland.-1981.- P. 397-410.

131. Глушков B.M., Капитонова Ю.В., Летичевский H.A. Об автоматизации проектирования вычислительных машин //Кибернетика,-1967.- № 5.

132. Breuer М.А. General survey of design automation of Digital Computer //Proo. of the IEEB.-1966.- Y. 54.-No 12.

133. Матюхии Н.Я. Некоторые вопросы применения электронно-вычислительных машин при проектировании цифровой аппаратуры //В сб.: Вычислительная техника. Изд. МДНТП, 1965.

134. Waters R.C. The programmed apprentivet KnAviedge based program editing /ЛЕЕЕ Trans. Software Eng. 1982.-No 1.- P. 1-12.

135. Артамонов Е.И. Проблемы разработки систем автоматизированного проектирования //Приборы и системы управления,-1983.- № 2.

136. Артамонов Е.И. Автоматизация проектирования структур специализированных программных систем (СПС) //П-й Всесоюзный семинар по методам синтеза типовых модульных систем обработки данных. Тезисы докладов. -М.: Институт проблем управления.-1985.-С.90.

137. Schlaeppi Н.Р. A formal language for deacribing machine logic, timing and seguencing (LOTIS) //IEEE Trans, on Electronic Comp. EC-13, August, 1964.

138. Львов В.А. О состоянии работ по стандартизации в машинной графике //Тезисы докладов 3-го семинара "Математическое обеспечение систем с машинной графикой*. Усти-нов: ГВЦ СУ УАССР.- 1985,- С. 4.

139. Артамонов Е.И. Блоки цифрового ПИ-регулятора с исполнтгельным механизмом в виде шагового двигателя. Труды 9-ой научно-технической конференции по автоматическому управлению. ИАТ, Москва, 1962г.

140. Enderle G., Капсу К., Pfaff 0. GKS The Graphics Standard //Heidelberg: Springer Verlag.- 1982/83.

141. Острая дискуссия по поводу стандартного языка описания проектных данных //Электроника.- 1985.- № 14.-Т. 58.- С. 5.

142. Neipp G. Methodisches Vorgehen zur Auswahl und zum Einsatz von CAD-System//VDI-Berichte.- 1981.-No 413.-P. 19-31.

143. Grabowski H. Verfahren zur Beurteilung der Wirtschaftlichkeit von CAD-Systemen//VDI-Berichte.- 1981,- No 413. P. 119-136.

144. Sutherland I.E. SCETCHPAD; A man-machine graphical communication system Proc. FJCC //Baltimore, Mda Spartan Books.-1964.- P. 325.

145. Sutherland I.E. Computer graphicsten unsolved problems //Datamation.- 1966.-No 12.-P. 22-27.

146. Принс М.Д. Машинная графика и автоматизация проектирования //Советское радио.-1975.

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

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

149. Фоли Дж., вэн Дэм А. Основы интерактивной машинной графики //М.: Мир.-1985. Т. 1.

150. Энкарначчо Ж., Шлехтендаль Э. Автоматизированное проектирование: основные понятия и архитектура систем //М.:Радио и связь, 1986.

151. Clark B.E.J., Robinson S.K. A graphically interacting program monitor //Comput. J.- 1983.- V. 26,- No 3.-P. 235-238.

152. Верлер K.X. Обработка графической информации с помощью вычислительной техники//M.: Машиностроение, 1979.

153. Горелик А.Г., Буракова В.Я. Автоматизация геометрического моделирования с помощью языка "ФАПКФ" //Вестник машиностроения,-1979,-№10,-С. 66-69.

154. Горелик А.Г., Асиповская Е.В., Шнейтор К.И. Моделирование трехмерных объектов в составе 111111 ФАП-КФ //Тезисы 3-го семинара "Математическое обеспечение систем с машинной графикой". Устинов: ГВЦ СУ УАССР.- 1985.- С. 6.

155. Белов С.Б., Бобков В.А. Универсальная графическая система для сети ЭВМ. Средства вывода. //Препринт. Владивосток: Дальневосточный научный центр. Институт автоматики и процессов управления, 1979.

156. Оперативные графические системы в автоматизации проектирования //Под ред. Н.А.Ярмоша. Минск: Мзд. "Наука и техника", 1974.

157. Осипов В.А. Автоматизированные системы геометрии и графики //Тезисы докладов 1-й Всесоюзной школы-семинара "Машинная графика и обработка документации в управлении, планировании и проектировании".-Цахкадзор: ЕрНИПИ АСУТ.-1983,- С. 15-20.

158. Забара С.С. О выборе структуры интерактивной графической системы проектирования //Управляющие системы и машины.- 1978.- № 6.- С. 100

159. Голиков К.П., Педанов И.Е. РЕДГРАФ система редактирования чертежной документации //М.: Вычислитейьный центр АН СССР. 1981.

160. Климов В.Е., Литвинова Д.Н., Недер A.B., Хохмошкина O.A. Реализация системы машинного конструирования СИМАК в ДОС СМ //Тезисы 3-го семинара "Математическое обеспечение систем с машинной графикой".-Устинов: ГВЦ СУ УАССР.-1985.- С. 5.

161. Лацис А.О., Лебедев Г.В., Романенко С.А. БГП базовый графический пакет: функциональное описание //М.: Институт прикладной математики им. М.В.Келдыша АН СССР, 1983.

162. Язык графического взаимодействия. Методические указания. САПР. 2-я ред. //M.: ВНИИНМАШ, 1983.

163. Язык представления графической и текстовой информации. Методические указания. Системы автоматизированного проектирования. РД 50-445-83 //М.: Изд. стандартов, 1984.

164. Артамонов Е.И., Лебедев B.C., Варшавский А.Д. Система программ для проектирования и изготовления конструкторской документации //М.: Институт проблем уцравления.-1976.- С. 60.

165. Артамонов Е.И. Принципы организации математического обеспечения для систем машинной графики //Тезисы доклада.- М.: МДНТП, 1978.

166. Артамонов Е.И. Математическое обеспечение для систем машинной графики //М.: ВРЭ. Сер. ВТ.- 1978.- Вып. 5.

167. Артамонов Е.И. Принципы построения интерактивных систем проектирования //М.: Вопросы кибернетики, 1980.

168. Артамонов Е.И. Общие вопросы организации автоматизированных систем проектирования //Тезисы докладов УШ Всесоюзного совещания по проблемам управления. Кн. 3.-Таллин, 1980.

169. Артамонов Е.И., Лебедев B.C. Графическое обеспечение САПР на основе системы "Графика" //Межвузовский сборник научных трудов.

170. Челябинский политехнической институт.-1980.- № 256.

171. Артамонов Е.И. Применение системы "Графика" в автоматизированном проектировании.//Информационный бюллетень по химической промышленности.- М.: СЭВ.- 1981.- № 5.

172. Артамонов Е.И., Тремба В.Ю. Состояние и перспективы развития систем машинной графики. Теория и техника управления //М.: Институт проблем управления, 1979.

173. Круг Е.К., Дилигенский С.Н., Артамонов Е.И. и др. Промышленные цифровые регуляторы //ГОСИНТИ.- Вып. 13.- 1962.

174. Артамонов Е.И., Дилигенский С.Н.Электронное времязадающее устройство. Приборы и техника эксперимента, 1968, №6, с. 82-88.

175. Артамонов Е.И. Метод синтеза локальных структурных схем специализированных вычислительных устройств. 16-ая Конф. Молодых специалистов ИПУ(ИАТ). Аннотации докладов. М., 1969, с. 19.

176. АртамоновЕ.И., Нуралиев Д.А. Исследование и разработка систем контроля вытяжки в сушильном агрегате текстильной промышленности.-2-е Всесоюзное совещание по статистическим методам теории управления, М., Наука, 1970.

177. Круг Е.К., Артамонов Е.И., Некоторые вопросы проектирования цифровых устройств локальных систем управления. -Приборы и системы управления., 1970,№6, с.33-36.

178. Artamonov E.I. Automation of digital device structure design. B-215, ACTA IMEKO, 1973, p. 561-570.

179. Круг E.K., Артамонов Е.И. Вопросы проектирования специализированных вычислительных устройств. Институт проблем управления. М.,1974. 69 с.

180. Артамонов Е.И. Проектирование структур специализированных вычислительных устройств.- В кн.: Вопросы кибернетики. Теория релейных устройств и конечных автоматов. М.,1975, с.60-71.

181. Артамонов Е.И., Архипченко И.С., Щаблинин В.Н. Входной язык системы ГРАФИКА//Семинар "Математическое обеспечение систем с машинной графикой":Тез.докл.Ижевск: ДНТП, 1979.-е 35-37.

182. Артамонов Е.И. ГРАФИКА унифицированная система программных блоков САПР. - В кн: Всесоюзн. Совещание по интерактивным системам проектирования. Тез. докладов. М.,1981, с. 9-12.

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

184. Прангишвили И.В., Артамонов Е.И., Шубин А.Н., Юдицкий С.А и др. Научно-техническая концепция: Создание комплексных автоматизированных производств на предприятиях часовой промышленности. Приборы и системы управления, 1985, №4, с. 9-12.

185. Артамонов Е.И., Шурупов А.А., Особенности разработки программного обеспечения подсистем трехмерной машинной графики. Приборы и системы управления.-1986.-№3, с. 21-23.

186. Артамонов Е.И. Синтез структур программных средств, использующих машинную графику. Вычислительная техника, системы, управление. МЦНТИ, Москва-София. Выпуск 1,1989, с. 11-20.

187. Артамонов Е.И. , Кокаев О.Г., Исмаилов Ш-М. А., Хачумов В.М. Параллельный алгоритм Волдера для операции поворота и его применение в машинной графике //УСиМ. -1990.-N1. -С.106-109.

188. Artamonov, N. Majdandziz, A. Nikolas, D. Batagelj. The Conception of Automation System of Information for the Production Management (ASiP) andthe Base of Data on Production Definition. The CO Dubrovnik, ICED 90, august 28-30,1990, p.734-750.

189. Артамонов Е.И., Хачумов B.M. Синтез структур специализированных средств машинной графики. Препринт Института проблем управления. М. 1991, с. 145.

190. Артамонов Е.И., Исмаилов Ш-М.А., Кокаев О.Г., Хачумов В.М. Специализированные алгоритмы и устройства обработки массивов данных.- Махачкала: Дагестанское книжное издательство, 1993.-304 с.

191. Артамонов Е.И., Загвоздкин В.А., Шурупов А.А., Щегольков М. Ю. Языки взаимодействия пользователя с ЭВМ в системе "Графика-81" //М.: Институт проблем управления.-1993,- С. 256.

192. Artamonov E.,Shurupov A.Grafika-81-3D Program Package of 3D-Modelling. International Conference Information Technology in design EWITD'96. M.,1996,p.323-332.

193. Artamonov E.,Shurupov A.,Efremov I.,Petukhov v.,Cherniavsky A. Modelling of the Large-Space Structures Deployment Process. International Conference Information Technology in design EWITD'96, M.,1996,p.l74-176.

194. Артамонов Е.И. Комплекс программных средств CAD/CAM систем ГРАФИКА-81. Автоматизация проектирования, N1,1997 г., стр.42-45.

195. Артамонов Е.И. Фотоплотгеры. Автоматизация проектирования, N1,1997 г.,стр.51-52.

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

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

198. Александров А.П., Артамонов Е.И., Высотин О.В., Новиков Д.В., Шевченко Л.Г. Программное обеспечение для разработки тренажеров. Автоматизация проектирования, N4(10),1998 г., стр.12-14.

199. Артамонов Е.И., Марковский A.B., Шипилина Л.Б. Организация работы пользователей САПР в Internet. Автоматизация проектирования, N4(10),1998 г., стр.21-27.

200. Артамонов Е.И., Касаткин С.И., Сизова Л.Н. Проектирование топологии устройств магнитной микроэлектроники. Автоматизация проектирования, N4(10),1998 г., стр.27-30.

201. Артамонов Е.И., Разумовский А.И., Шурупов A.A. Система проектирования каминов. Автоматизация проектирования, N4(10),1998 г. , стр.30-33.

202. Артамонов Е.И. Методы проектирования CAD/CAM систем. Тез.докладов международного семинара САПР-98, г.Гурзуф, 1998г.

203. Artamonov E.,Shurupov A.,Efremov I.,Petukhov v.,Cherniavsky А.1.ternational Conference on Structural Dynamics, Vibration, Noise and Control, SDVNC'95. Hong Kong, 5-7 December 1995.

204. D.Garlan, D.E.Peny. IEEE Transactions on Software Engineering. Vol. 21, No.4, 1995, pp.269-274.

205. S.R. McCammon. Applied Software Engineering: A Real-Time Simulator Case History. IEEE Transactions on Software Engineering. Vol. SE-1, No.4, 1975, pp.377-383.

206. IEEE, IEEE Standard VHDL Language Reference Manual, IEEE Standard 1076-1987, Mar. 1987.

207. D.E. Thomas and P.R. Moorby. The Verilog Hardware Description Language. New York: Kluwer-Academic, 1991.

208. R.P.Beck et al. Architectures for for large-scale reuse, AT&T Tech.J., Vol.71, No.6, pp.34-45, 1992.

209. R.Allen, D.Garlan. Beyond Definition/use: Architectural interconnection. Proc. ACM Interface Definition Language Workshop, SIGPLAN Notes, Vol.29, No.8,1994.

210. D.E. Perry, A.L. Wolf. Foundations for the study of software architecture. ACM SIGSOFT Software Eng. Notes, Vol.17, No.4,1992.

211. R. Alen, D. Garlan. Formalizing architectural connection. Proceedings ICSE'16, May 1994.

212. G. Abowd, R. Alen, D. Garlan. Using stile to give meaning to software architecture. Proceedings of SIGSOFT'93: Foundations of software engineering, Software engineering notes, Vol. 18, No. 5, pp.9-20,1993.

213. P. Clements, L. Bass, R. Kazman, G. Abowd. Predicting software quality by architecture-level evaluation. Proceedings fifth international conference software quality, Austin, TX, 1995.

214. D. Garlan, R. Alen, J. Ockerbloom.Exploiting style in architectural design enviroments. Proceedings of SIGSOFT'94: Foundations of software engineering, New York: ACM Press, 1994.

215. T.R.Dean and J.R.Cordy. A Syntactic Theory of Software Architecture. IEEE Transaction on Software Engineering. Vol. 21, No.4,1995, pp.269-274

216. M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, G. Zelesnik. Abstraction for Software Architecture and Tools to Support Them. IEEE Transactions on Software Engineering, Vol. 21, No. 4,1995.

217. D. Luckham, L. Augustin, J. Kenney, J. Vera, D. Bryan, W. Mann. Specification and Analysis of System Architecture Using Rapide. . IEEE Transactions on Software Engineering, Vol. 21, No. 4,1995, pp.336-355.

218. T.Bolognesi and E.Brinksma, Introduction to the ISO specification language LOTOS, in The Formal description Technique LOTOS, van Eijk et al., Eds. Amsterdam, The Netherlands: North-Holland, 1989, pp.23-73.

219. G.Berry, P.Couronne and G.Gonthier, Synchronous programming of reactive systems: an introduction to Esterel, INRIA, Paris, Tech. Rep. 647, Mar. 1987.

220. R. Riemenschneider, M. Moriconi, X. Qian. Formal Approach to a Correct Refinement of Software Architectures. . IEEE Transactions on Software Engineering, Vol. 21, No. 4,1995.

221. P. Inverardi, A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. . IEEE Transactions on Software Engineering, Vol. 21, No. 4,1995

222. J.-P. Banatre, D. Le Metayer. The gamma model and its discipline of programming. Science of Comput. Programming, vol. 15, pp.55-77,1990.

223. J.-P. Banatre, D. Le Metayer. Programming by multiset transformation.Commun. ACM, vol.36, pp.98-111,1993.

224. G.Berry, G. Boundol. The chemical abstract machine. Theoretical Computer Science, vol. 96, pp.217-248,1992.

225. V.Rajlich, J.H.Silva. Evaluation and Reuse of Orthogonal Architecture. IEEE Transactions on Software Engineering, Vol. 22, No. 2, pp.153-157,1996.

226. B.Hayes-Roth, K. Pfleger and at all. A Domain-Specific Software Architecture for Adaptive Intelligent Systems. . IEEE Transactions on Software Engineering,

227. Vol. 21, No. 4, pp.288-301,1995

228. Artamonov E.I. Organization of computer aided design systems, Mathematics and Computers in Simulation, 33 (1991), P275-279, North-Holland.

229. Топольский Н.Г.,Носков В.П. Метод направленного разбиения электронных схем на блоки по функции связи графов и схем.- УСиМ, 1975, № 6, с. 120-125.

230. Carma L.M. Тор down, Bottom - up, and structured programming. - IEEE transaction on software engineering, VI, N4, Dec. 1975.

231. Stat S.B. ШРО and Integrated Program design.-IBM System J., 1976, N2, P143-154.

232. Structured Programming. Datamation, 1973, N12.

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

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

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

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

237. Schlechtendahl E.G., Weick W. ESPRIT contributions to the exchange of CAD models. CAD/CAM in Europe, 1990.

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

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

240. Kehhicott P.R., Jones L.J. IGES: A step toward integrated Automation.-General

241. Electric Company U.S.A. 1993.

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

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

244. DeMarco D., McGoman C. SADT Structured analysis and design technique. -McGrawHill, 1988.

245. D.Garlan, D.E.Perry. IEEE Transactions on Software Engineering. Vol. 21, No.4,1995, pp.269-274.

246. S.R. McCammon. Applied Software Engineering: A Real-Time Simulator Case History. IEEE Transactions on Software Engineering. Vol. SE-1, No.4,1975, pp.377-383.

247. IEEE, IEEE Standard VHDL Language Reference Manual, IEEE Standard 1076-1987, Mar. 1987.

248. D.E. Thomas and P.R. Moorby. The Verilog Hardware Description Language. New York: Kluwer-Academic, 1991.

249. R.P.Beck et al. Architectures for for large-scale reuse, AT&T Tech.J., Vol.71, No.6, pp.34-45,1992.

250. R.Allen, D.Garlan. Beyond Definition/use: Architectural interconnection. Proc. ACM Interface Definition Language Workshop, SIGPLAN Notes, Vol.29, No.8,1994.

251. D.E. Perry, A.L. Wolf. Foundations for the study of software architecture. ACM SIGSOFT Software Eng. Notes, Vol.17, No.4,1992.

252. R. Alen, D. Garlan. Formalizing architectural connection. Proceedings ICSE'16, May 1994.

253. G. Abowd, R. Alen, D. Garlan. Using stile to give meaning to software architecture. Proceedings of SIGSOFT'93: Foundations of software engineering, Software engineering notes, Vol. 18, No. 5, pp.9-20,1993.

254. P. Clements, L. Bass, R. Kazman, G. Abowd. Predicting software quality by architecture-level evaluation. Proceedings fifth international conference software quality, Austin, TX, 1995.

255. D. Garlan, R. Alen, J. Ockerbloom.Exploiting style in architectural design enviroments. Proceedings of SIGSOFT'94: Foundations of software engineering, New York: ACM Press, 1994.

256. T.R.Dean and J.R.Cordy. A Syntactic Theory of Software Architecture. IEEE Transaction on Software Engineering. Vol. 21, No.4,1995, pp.269-274

257. M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, G. Zelesnik. Abstraction for Software Architecture and Tools to Support Them. IEEE Transactions on Software Engineering, Vol. 21, No. 4,1995.

258. D. Luckham, L. Augustin, J. Kenney, J. Vera, D. Bryan, W. Mann. Specification and Analysis of System Architecture Using Rapide. . IEEE Transactions on Software Engineering, Vol. 21, No. 4, 1995, pp.336-355.

259. T.Bolognesi and E.Brinksma, Introduction to the ISO specification language LOTOS, in The Formal description Technique LOTOS, van Eijk et al., Eds. Amsterdam, The Netherlands: North-Holland, 1989, pp.23-73.

260. G.Berry, P. Couronne and G.Gonthier, Synchronous programming of reactive systems: an introduction to Esterel, INRIA, Paris, Tech. Rep. 647, Mar. 1987.

261. R. Riemenschneider, M. Moriconi, X. Qian. Formal Approach to a Correct Refinement of Software Architectures. IEEE Transactions on Software Engineering, Vol. 21, No. 4,1995.

262. P. Inverardi, A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, Vol. 21, No. 4,1995

263. J.-P. Banatre, D. Le Metayer. The gamma model and its discipline of programming. Science of Comput. Programming, vol. 15, pp.55-77,1990.

264. J.-P. Banatre, D. Le Metayer. Programming by multiset transformation.Commun. ACM, vol.36, pp.98-111,1993.

265. G.Berry, G. Boundol. The chemical abstract machine. Theoretical Computer Science, vol. 96, pp.217-248,1992.

266. V.Rajlich, J.H.Silva. Evaluation and Reuse of Orthogonal Architecture. ШЕЕ Transactions on Software Engineering, Vol. 22, No. 2, pp. 153-157,1996.

267. B.Hayes-Roth, K. Pfleger and at all. A Domain-Specific Software Architecture for Adaptive Intelligent Systems. IEEE Transactions on Software Engineering, Vol. 21, No. 4, pp.288-301, 1995.

268. Сетотин В.А. Машинное проектирование електронных устройств. M: Советское радио, 1977. - 384 с.

269. Бахин Е.В. КОМПАС. История, которая пишется сегодня. Автоматизация проектирования, № 1, 1997 г., стр. 46 50.

270. Быков А.В. Формула успеха. Автоматизация проектирования ,№ 5, 1997 г., стр. 2-6.

271. Кураксин С.А., Бикулов С.А., Баранов JI.B., Козлов С.Ю., Ксенофонтов Д.К, Ефремов А.Н. Т- FLEX CAD новая технология построения САПР. Автоматизация проектирования, № 1, 1996 г., стр. 50-54.

272. Braccini С., Marino G. Fast Geometrical Manipulation of digital Images. -Comput Graphics and Image Processing, 1980, v. 13, №2, p. 127-141.