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

• Попов, Владимир Олегович
• кандидат технических наук
• 2005

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

Введение.

1. Пути повышения эффективности автоматизированного проектирования корпоративных систем.

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

1.2 Роль методов оптимизации в повышении эффективности проектных решений на ранних этапах автоматизации проектирования.

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

2. Автоматизация выбора компонентов программно технического комплекса корпоративных ИС на основе трансфера типовых решений

2.1 Многоальтернативная оптимизационная модель выбора компонентов

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

2.3 Агрегация перспективных проектных решений и построение интегрированной процедуры.

Выводы второй главы.

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

3.1 Многоальтернативная оптимизация с использованием имитационной модели ИС на основе иерархии транзакций.

3.2 Многоальтернативная оптимизационная модель корпоративных ИС с использованием сетей Петри.

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

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

Выводы третьей главы.

4. Оценка эффективности оптимизационных процедур при автоматизированном проектировании корпоративной ИС территориального фонда обязательного медицинского страхования (ТФОМС).

4.1 Построение интегрированной среды автоматизированного проектирования

4.2 Анализ эффективности оптимального проектирования корпоративной ИС ТФОМС.

Выводы четвертой главы.

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

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

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

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

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

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

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

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

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

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

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

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

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

Результаты работы внедрены при реализации ранних этапов проектирования корпоративной информационной системы территориального фонда обязательного медицинского страхования Воронежской области, что позволило улучшить временные характеристики системы в пределах 10%. Они используются при выполнении курсового и дипломного проектирования по специальности «Информационные системы и технологии» в Воронежском государственном техническом университете.

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

Результаты диссертационной работы докладывались и обсуждались на международной конференции и российской научной школе молодых ученых и специалистов «Системные проблемы качества, математического моделирования, информационных, электронных и лазерных систем» (Воронеж,2001); Всероссийской конференции «Интеллектуальные информационные системы (Воронеж, 2003, 2004); ежегодных конференциях профессорско-преподавательского состава Воронежского государственного технического университета (2001-2004); заседаниях тематического семинара кафедры САПР и информационных систем (20012004).

Публикации.

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

Структура и объем работы.

Диссертация состоит из введения, четырех глав, заключения на 102 страницах, списка литературы (92 наименования), приложения, содержит 46 рисунков, 4 таблицы.

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

Выводы четвертой главы

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

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

3. Целесообразность введения в предметно-ориентированную среду CASE-технологий оптимизированных процедур подтверждается оценкой эффективности в режиме имитационного моделирования функционирования спроектированной с применением разработанных средств корпоративной информационной системы ТФОМС Воронежской области.

97

Заключение

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

Основными результатами работы являются следующие:

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

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

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

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

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

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

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

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

9. Комплекс моделей, алгоритмов и программных средств вариационного моделирования, агрегации и рационального выбора внедрен при автоматизированном проектировании корпоративной ИС ТФОМС. Оценки полученные в режиме имитационного моделирования функционирования спроектированной системы показывает 10% снижение среднего времени обработки запросов прямого и обратного потоков за счет оптимизации структуры распределенной БД.

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

1. Айзерман М.А., Алескеров Ф.Т. Выбор вариантов. Основы теории. М.: Наука, 1990. 240 с.

2. Ахтырченко К.В. Моделирование транзакций на архитектурном уровне проектирования программных средств // Вычислительные методы и программирование, 2001, Т. №2. С. 49-69.

3. Батищев Д.И., Костюков В.Е., Старости Т.В., Смирнов А.И. Популяционно-генетический подход к решению задач покрытия множества. Н.Новгород: Изд-во НГУ, 2004. 152 с.

4. Батищев Д.И. Генетические алгоритмы решения экстремальных задач. Воронеж. Гос. техн.ун-т; Нижегородский гос.уни-т. Воронеж, 1995. 69 с.

5. Батищев Д.И. Методы оптимального проектирования. М.: Радио и связь., 1981.248 с.

6. Батищев Д.И. Поисковые методы оптимального проектирования. М.: Сов. Радио, 1975.216 с.

7. Батищев Д.И., Львович Я.Е., Фролов В.Н. Оптимизация в САПР: Учебник. Воронеж: Изд-во ВГУ, 1997. 416 с.

8. Боггс У., Боггс М. UML и Ration Rose: Пер с англ. М.: ЛОРИ, 1999. 580 с.

9. Борисов А.Н. Крумберг О.А., Федоров И.П. Принятие решений на основе нечетких моделей. Рига: Зинатне, 1990. 184 с.

10. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд.: Пер. с анг. М.: Изд-во бином, СПб.: Невский диалект, 1999. 560 с.

11. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. М.: Бином, 1998.

12. Вальк М., Гирлих Э., Ковалев М. Проблемы оптимального проектирования систем // Экстремальные задачи оптимального планирования и управления. Минск, 1991. С. 4-21.

13. Вендров A.M. Проектирование программного обеспечения экономических информационных систем. М.: Финансы и статистика, 2000. 352 с.

14. Вермишев Ю.Х. основы автоматизации проектирования. М.: Радио и связь, 1988. 280 с.

15. Гультяев А.К. Имитационное моделирование в среде Windows: Практическое пособие. СПб.: КОРОНА принт, 1999. 288 с.

16. Гарусин М.И., Коплинский А.И. О формировании адаптированных алгоритмов оптимизации псевдобулевых функций на основе методалокальных улучшений. Автоматика и телемеханика, №9, 1976. с. 96104.

17. Донец A.M., Львович Я.Е., Фролов В.Н. Автоматизированный анализ и оптимизация конструкций и технологий РЭА. М.: Радио и связь, 1983. 104 с.

18. Евгеньев Г.Б. Как я пришел к СПРУТ технологии. САПР и графика. 1997. №3. С. 9-13.

19. Емельянов В.В., Ясиновский С.И. Введение в интеллектуальное имитационное моделирование сложных дискретных систем и процессов. Язык РДО. М.: АНВИК, 1998. 427 с.

20. Емельянов В.В., Ясиновский С.И. Гибридная система для планирования производства на основе генетических алгоритмов, методов имитации и экспертных систем // Интеллектуальные САПР. Известия ТРТУ, 1996. №3, С.4-9.

21. Ершов Ю.П. Теория нумераций. М.:Наука, 1977. 416 с.

22. Измайлов В.Б., Попов В.О. Верификация проекта корпоративной информационной системы на основе имитационного моделирования // Проблемы обеспечения надежности и качества приборов, устройств и систем: Сб. науч. тр. Воронеж: ВГТУ, 2000. С. 151-162.

23. Измайлов В.Б., Попов В.О. Задачи координации в корпоративных системах управления // Интеллектуализация управления в социальных и экономических системах: Тр. Всероссийск. конф. Воронеж, 2001. С. 39,40.

24. Калянов Г.Н. CASE технологии. Консалтинг при автоматизации бизнес-процессов. 2-е изд. перераб. и доп. М.: Горячая линия -Телеком, 2000. 320 с.

25. Каплинский А.И., Пропой А.И. Методы нелокальной оптимизации, использующие теорию потенциала. // Автоматика и телемеханика, 1993. №7. С.55-65.

26. Каплинский А.И., Пропой А.И. О градиентах методах нелокальной оптимизации, использующих теорию потенциала. // Доклады АН. 1993. №2. С. 170-172.

27. Климов В.Е. Клишин В.В. Реинжиринг процессов проектирования и производство.//Автоматизация проектирования, 1996. №1. С. 25-31.

28. Ключников В.И. , Львович ИЛ., Попов В.О. Многоальтернативный выбор при описании корпоративных информационных систем с использованием сетей Петри //.

29. Краснощеков П.С., Федоров В.В., Феров Ю.А. Элементы математической теории принятия проектных решений. Автоматизация проектирования, 1997. №1, с. 15-23.

30. Курейчик В.М. Концепция построения интеллектуальных САПР конструкторского проектирования // Автоматизация проектирования электронной аппаратуры, Таганрог: ТРТУ, 1989, Вып. 6, с. 4-8.

31. Курейчик В.М. Математическое обеспечение конструкторского и технологического проектирования с применением САПР: учебник для вузов. М. Радио и связь, 1990. 352 с.

32. Ларичев О.И. Наука и искусство принятия решений. М.: Наука, 1979. 100 с.

33. Львович И.Я. Вариационное моделирование и оптимизация проектных решений. Воронеж, изд-во ВГТУ, 1997. 114 с.

34. Львович И.Я. Генерация и агрегация доминирующих вариантов технологических процессов // Оптимизация и моделирование в автоматизированных системах: Межвуз. сб. науч.тр. Воронеж: ВГТУ, 1995. С. 109-112.

35. Львович И.Я., Попов В.О. Многоальтернативная оптимизационная модель выбора компонентов программно-технического комплекса корпоративных информационных систем.

36. Львович И.Я., Федорков Е.Д. Математические основы информатики, Воронеж: изд. ВГТУ, 1997. 98 с.

37. Львович И.Я., Фролов В.Н. Выбор рациональной процедуры агрегации перспективных проектных решений в САПР // оптимизация и моделирование в автоматизированных системах Межвуз. сб. науч. тр. Воронеж: ВГТУ, 1997. С. 142-148.

38. Львович И.Я., Фролов В.Н. Интеллектуальные технологии принятия проектных решений // Информационные технологии в моделировании и управлении: Тез. докл. международной науч.-техн.конф. С.-Петербург, 1996. С. 306-308.

39. Львович Я.Е. Методы поиска экстремума в задачах разработки конструкции и технологии РЭА. Воронеж: ВПИ, 1982. 77 с.

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

41. Львович Я.Е., Фролов В.Н. Теоретические основы конструирования, технологии и надежности РЭА. М.: Радио и связь, 1983, 192 с.

42. Мартынов Н.Н., Иванов А.П. MATLAB 5.x. Вычисления, визуализация, программирование. М.: КУДИЦ-ОБРАЗ, 2000.336 с.

43. Нечеткие множества в моделях управления и искусственного интеллекта / Под ред. Д.А.Поспелова. М.: Наука, 1986. 312 с.

44. Нечеткие множества и теория возможностей. Последние достижения: Перс с англ. М.: Радио и связь, 1986. 408 с.

45. Норенков И.П. Разработка структур САПР// Радиоэлектроника, 1989, №6. С. 19-25. (изв. выс.учеб.зав.).

46. Норенков И.П., Маничев В.В. Основы теории и проектирования САПР: Учеб. Для вузов. М.: Высш.шк., 1990. 335 с.57.0йхман Е.Г., Попов Э.В. Реинжиниринг бизнеса: реинжиниринг организаций и информационные технологии. М.: Финансы и статистика, 1997. 336 с.

47. Павлов В.В. Унификация программного и информационного обеспечения АПР ТП на основе иерархической системы математического моделирования / Материалы науч.-техн.семин. Разработка и применение САПР ТП. Л.: ЛДНТП, 1985.с. 15-24.

48. Попов В.О. Выбор CASE технологий разработки корпоративных информационных систем.

49. Попов В.О. Имитационное моделирование корпоративной информационной системы. Матер, конф. «Интеллектуальные информационные системы».

50. Потемкин В.Г., Рудаков П.И. Система MATLAB 5 для студентов 2-е издание, испр. и доп. М.: ДИАЛОГ-МИФИ, 1999. 448 с.

51. Питерсон Дж. Теория сетей Петри и моделирование систем. -М.:Мир, 1984.63 .Попов В.О. Имитационное моделирование корпоративной информационной системы. Матер.конф. «Интеллектуальные информационные системы».

52. Рузенкевич М., Цикоцки А. Определение и выполнение потоков транзакций // СУБД, 1995. №2. С. 106-115.№ 4. С. 58-68.

53. Соболев И.М. Численные методы Монте Карло. М.:Наука, 1973.312 с.

54. Семаков А.Ю., Туревский Д.И. Построение информационных моделей в системах автоматизации банковской деятельности // Изв. тул. гос. ун-та. Сер. Математика. Механика. Информатика. Тула: ТулГУ, 1995. Т.1. Вып. 3. С. 131-135.

55. Смирнов А.В., Юсупов P.M. Технология параллельного проектирования: основные принципы и проблемы внедрения. Автоматизация проектирования, 1997. №2. С. 50-55.

56. Технология системного моделирования./ Е.Ф.Аврамчук. А.А. Вавилов, С.В.Емельянов и др.; Под общ. Ред. С.В.Емельянова и др. М.: Машиностроение; Берлин: Техник, 1988. 520 с.

57. Трахтенгерц Э.А. Компьютерная поддержка принятия решений в САПР. // Автоматизация проектирования. 1997. №5.С. 27-38.

58. Трахтенгерц Э.А. Методы генерации, оценки и согласования решений в распределенных системах поддержки принятия решений.// Автоматика и телемеханика. 1995. №4. С. 3-52.

59. Фаулер М., Скотт К. UML в кратком изложении. Применение языка объектного моделирования: Пер.с англ. М.: Мир, 1999. 191 с.

60. Фролов В.Н., Львович Я.Е. Системное проектирование технологических процессов. Воронеж: изд-во ВГУ, 1982ю 124 с.

61. Фролов В.Н., Львович Я.Е., Меткин Н.П. Автоматизированное проектирование технологических процессов и систем производства РЭС. М.: Высш.шк., 1991. 436 с.

62. Фролов В.Н., Львович Я.Е., Подвальный С.Л. Проблема оптимального выбора в прикладных задачах. Воронеж: Изд-во ВГУ. 1980. 139 с.

63. Фор Р., Кофман А., Дени Панен М. Современная математика: Пер с фран. / Под ред. А.И.Колмогорова. М.: мир, 1966. 272 с.

64. Шепеяев В.А. Проблема создания системой среды САПР изделий электроники. Автоматизация проектирования, 1997. №1. С. 24-29.

65. Шоломов Л. А. Логические методы исследования дискретных моделей выбора. М.: Наука, 1989. 288 с.

66. Allen Р.Е., Macaluso E.R., Billy S.F., Nedungadi A. AI-DE 2: An automated analog 1С design system. Inproc. IEEE Cuctom Integrated Circuits Const., Portland, USA, 1985. P. 498-501/

67. Allen W., Rosental D., Fiduk K. The MCC CAD Framework. Methodology management system. Proceeding of28th ACM/IEEE Design Automation Conference, June, 1991. P. 694-698/

68. Architecture Tiger Team. Framework Views Provide Architectural Insight. The Unitiative, Fall 1991. P.8-12.

69. Bass L., Clements P., Kazman R. Software architecture in practice. Reading Addison Wesley, 1998.

70. Bass L., Clements P., Kazman R. Software architecture in practice. Reading: Addison Wesley, 1998.

71. Booch G., Rumbaugh J., Jacobson I. The unified modeling language user guide. Reading: Addison Wesley. 1999.

72. Chrysanthis P., Ramamritham K. ACTA: A framework for specifying and reasoninq about transaction structure and behavior // Proceedinqs of the 1990 ACM SIGMOD International Conference on Managment of Data. Atlantic City, 1990. pp. 194-203.

73. Chrysanthis Р/. Ramamritham K. ACTA: A framework for specifying and reasoning about transaction structure and behavior // Procttdings of the 1990 ACM SIGMOD International Conference on Management of Data,pp. 194-203 .Atlantic Citi, 1990.

74. Clements P.C. Northrop L.M. Software architecture: an executive overview. Technica Report CMU/SEI-96-TR-003, ESC-TR-96-003. Pittsburgh 1996.89.0MG Unified Modeling Language Specification. Version 1.3. June 1999. http:// www.omg.org.

75. Toumazou С., Makris C.A., Berrach C.M. ISAID A methodology for automated analog 1С design. Proc. Int. Symp. on CAS, New Orleans, USA, 1990. P. 531-535.

76. Wawrum K. A formal language description and inference strategy for analog circuit design // Circuits systems and signal processing. V. 15. #6, 1996. P 771-805.

77. Wawryn K. An expert system design for analog circuit design. Proc. Int. Conf. of Artifical Intelligence and Applications and Neural Networks. Zurich. Switzerland, 1990. P. 141-144.