Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

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

Диссертация: Моделирование и разработка структур и инструментальных средств интерактивных систем проектирования технологических объектов
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Дальнейшее повышение производительности труда, снижение себестоимости продукции возможны лишь за счет внедрения развитых автоматизированных систем для процессов проектирования и производства конечного продукта, таких как системы автоматизированного проектирования (САПР), автоматизированные системы управления технологическими процессами (АСУ ТП), гибкие автоматизированные производства (ГАП) и т… Читать ещё >

Содержание

  • 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-технология (ComputerAided 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,118 120,121,122].

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

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

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

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

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

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

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

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

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

    ЗАКЛЮЧЕНИЕ

    .

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

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

    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. 69 570 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., Дилигенский С. Н. и др. Устройство для управления процессом смешения при получении многокомпонентной смеси //А.с.№ 224 639.
    57. Е.И. Цифровой пропорционально-интегральный с воздействием по производной регулятор// A.c. № 259 226.
    58. Е.И., Чистова Е. С. Цифровое регулирующее устройство //ГОСИНТИ.- Т. У.- Вып. 3.- 1968.
    59. Е.И., Дилигенский С. Н. Устройство дли контроля взаимного соотношения параметров //A.c. № 222 744.
    60. Е.И., Преображенский Н. И. Многоканальное вычислительное устройство для тяговых испытаний сельскохозяйственных машин //A.c. № 226 261.
    61. Е.И. и др. Устройство телеконтроля за ходом испытаний //A.c. № 394 835.
    62. Е.И., Преображенский Н. И., Боголюбов E.H. и др. Устройство для пооперационной регистрации времени испытаний машин и механизмов //A.c. № 271 933.
    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 fur 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. 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. А.Г., Асиповская Е. В., Шнейтор К. И. Моделирование трехмерных объектов в составе 111 111 ФАП-КФ //Тезисы 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. L.M. Тор down, Bottom — up, and structured programming. — IEEE transaction on software engineering, VI, N4, Dec. 1975.
    231. 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.
    Заполнить форму текущей работой

    Заказал и сдал!