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

  • Куликов, Дмитрий Анатольевич
  • кандидат технических науккандидат технических наук
  • 2002, Иваново
  • Специальность ВАК РФ05.13.12
  • Количество страниц 130
Куликов, Дмитрий Анатольевич. Автоматизация настройки и сопровождения логики в системах автоматизированного проектирования на основе объектно-дедуктивной модели: дис. кандидат технических наук: 05.13.12 - Системы автоматизации проектирования (по отраслям). Иваново. 2002. 130 с.

Оглавление диссертации кандидат технических наук Куликов, Дмитрий Анатольевич

Введение.

1. Анализ состояния вопроса.

Модели и реализация логики в существующих АС.

Анализ архитектурных решений АС.

Выводы и результаты.

2. Разработка объектно-дедуктивной модели логики.

Анализ прототипов.

Объектно-дедуктивная модель интеграционной логики.

Выводы и результаты.

3. Разработка и реализация машины вывода ОДМЛ.

Анализ стандартной вычислительной модели логической программы.

Представление структур данных в машине вывода ОДМЛ.

Реализация компонентов объектного подхода.

Архитектура интерпретатора ОДМЛ

Лингвистические средства ОДМЛ.

Выводы.

4. Практическое применение средств автоматизации проектирования и сопровождения интеграционной логики.

Использование ОДМЛ в составе системы ElectriCS 3D при решении задачи оптимизации раскладки электрических кабелей по полкам.

Использование ОДМЛ в составе инструментального комплекса RADHYC.

Выводы.

Рекомендованный список диссертаций по специальности «Системы автоматизации проектирования (по отраслям)», 05.13.12 шифр ВАК

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

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

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

1. Не существует единообразного подхода к описанию логики на различных уровнях (ограничения целостности данных, логика прикладных операций, логика принятия решений).

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

3. Логика прикладных программ проектируется путем неявной трансформации в нее логики нормативных и технологических документов, независимо от информационной модели САПР. Например, в САПР общих видов щитов КИПиА ЭЛКА (институт Уралгипромез) ограничение, не позволяющее 4 разместить на щите прибор, монтажная зона которого пересекает монтажную зону другого прибора, жестко прописано в коде приложения. Однако, если с файлами ЭЛКА, содержащими описание щита, будет работать другое приложение (например, оптимизирующее размещение приборов), указанное выше ограничение может быть проигнорировано этим приложением, что повлечет нарушение логической целостности данных. Таким образом, раздельная реализация логики и данных: создает трудности согласования логики с контекстом ее применения при изменении операционной и/или информационной моделей; S уменьшает возможность повторного использования определений логики при расширении функциональности САПР.

4. Многие разработки построены без учета технологических принципов, использование которых позволяет разрабатывать приложения с прогнозируемой степенью открытости. Такой подход не обеспечивает совместного использования логики различными автоматизированными системами (АС). В составе современных САПР все шире используются приложения, открывающие доступ к своей функциональности, например САПР раскладки кабелей на промышленных и других предприятиях ElectriCS 3D использует AutoCAD для подготовки чертежей и Microsoft Word для подготовки отчетов. Кроме того, в состав САПР могут быть включены системы автоматизации документооборота [23, 32, 97, 98, 99]. Однако модули, реализующие специфическую для САПР функциональность, в большинстве случаев остаются закрытыми для повторного использования. Это не способствует сохранению интеллектуальных инвестиций заказчика в выполненный проект при изменении требований к функциональности САПР, а также и при смене операционной и/или аппаратной платформ. Например, система CADdy (ZIEGLER-Informatics GmbH) [58] предполагает расширение собственной функциональности только модулями, разработанными ZIEGLER-Informatics (Электротехника, Graphlnfo и др.) и не предполагает использование этих модулей другими системами, что жестко привязывает заказчика к продукции данной фирмы и повышает стоимость владения системой. 5

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

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

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

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

•S обладающих декларативностью (информацию декларативного характера легче получить от экспертов, декларативные модели компактны и удобны для реализации адаптивных стратегий);

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

V естественно интегрируемых в форматы реляционных СУБД; 6

S позволяющих описывать логику доступа и обработки независимо от используемой СУБД.

2. Разработка интерпретатора объектно-дедуктивной модели логики (ОДМЛ).

3. Разработка открытой архитектуры сервера ОДМЛ на базе интерпретатора логической модели.

4. Создание инструментальных средств разработки и сопровождения ОДМЛ, ориентированных на непрограммирующего пользователя (эксперта).

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

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

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

Лингвистические средства, включающие: • язык описания объектно-дедуктивной модели логики, отличающийся от выбранного в качестве прототипа языка логического программирования Пролог наличием:

S поддержки абстракций объектного подхода; 7

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

•S встроенных предикатов поддержки внелогических операций многовариантного анализа и событийного взаимодействия с клиентом; • стек протоколов обмена данными между сервером ОДМЛ и клиентом, состоящий из протокола взаимодействия сервера ОДМЛ и его клиента и надстроенного над ним протокола формализации семантики взаимодействия, отличающийся возможностью в рамках фиксированного синтаксического соглашения обеспечить настраиваемый взаимный доступ к функциональности сервера и клиента.

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

S скрытой реализацией структурных аксиом, реализующих принципы объектного подхода; S наличием механизмов динамического связывания перманентных объектов и их представлений в базе данных; S наличием механизмов статического связывания множественных и графовых объектов логической программы с базой данных АС; S идентификацией состояния множественных и графовых объектов в процессе реализации стандартной стратегии вывода в терминах последовательности операций их преобразования (операционных контекстов).

Архитектура сервера ОДМЛ, отличающаяся от традиционной тем, что компоненты, составляющие сервер (модуль взаимодействия с клиентом, объектный источник данных, модули расширения), работают под управлением s интерпретатора ОДМЛ. Интерпретатор координирует взаимодействие компонентов сервера в контексте решаемой задачи и обеспечивает возможность централизованного перепроектирования логики АС. На защиту выносятся:

5. Объектно-дедуктивная модель логики;

6. Лингвистические средства описания объектно-дедуктивной модели логики;

7. Машина вывода на объектно-дедуктивной модели;

8. Архитектура сервера ОДМЛ.

Основные положения диссертационной работы доложены на международных научно-технических конференциях

• «Современное состояние, проблемы и перспективы развития Российской экономики» (Кондратьевские чтения), Иваново, 1996 г.,

• «VIII Бенардосовские чтения», Иваново, 1997 г.,

• Ш международной электронной научной конференции «Современные проблемы информатизации», Воронеж, 1998 г.,

• V Международной электронной конференции «Современные проблемы информатизации в непромышленной сфере и экономике», Воронеж, 2000,

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

• «X Бенардосовские чтения», Иваново, 2001 г.

Диссертационная работа структурно состоит из введения, четырех глав и заключения.

Похожие диссертационные работы по специальности «Системы автоматизации проектирования (по отраслям)», 05.13.12 шифр ВАК

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Куликов, Дмитрий Анатольевич

Результаты работы нашли применение при решении следующих практических задач.

1. Проектирование оптимальной раскладки кабелей по полкам в составе системы ElectriCS 3D, использованное при проектировании энергоблока Мут-новской геотермальной электростанции.

2. Разработка сервера бизнес-логики в составе инструментального комплекса RADMYC, на основе которого реализованы системы кадрового учета (АСУ «Персонал») для ИГЭУ и ОАО «Ивтелеком».

3. Среда разработки определений и локальный вариант машины вывода ОДМЛ, реализованный в виде ActiveX компонента, внедрены в учебный процесс ИГЭУ и используются для проведения лабораторных работ по курсу «Логическое программирование».

Дальнейшее развитие исследований планируется в следующих направлениях.

121

1. Усовершенствование пользовательского интерфейса среды разработки определений ОДМЛ, подразумевающее расширение набора мастеров для повышения интуитивности процесса разработки и автоматизации рутинных операций.

2. Придание модульности описанию ОДМЛ для повышения его портативности и эффективности интерпретации.

3. Создание сервера Workflow на базе сервера ОДМЛ, поскольку, во-первых, назрела необходимость включения сервера Workflow в состав комплекса RADMYC, а во-вторых, ОДМЛ хорошо подходит для описания потоков работ.

4. Создание клиентских компонентов для сервера ОДМЛ в стандарте OLE DB для обеспечения возможности работы широкого спектра клиентских приложений баз данных, использующих для работы с базой данных стандарты OLE DB или ADO, совместно с сервером ОДМЛ.

122

Заключение

В ходе выполнения исследований получены следующие основные результаты.

1. Выполнен анализ существующих моделей и реализаций логики в многопользовательских автоматизированных системах, включающий анализ моделей логики в существующих АС и архитектурных решений АС. Установлены следующие недостатки существующих моделей логики АС.

• Не существует единообразного подхода к описанию логики на различных уровнях.

• Доминируют процедурные средства описания логики, хотя декларативное представление логики в виде правил является более естественным для специалистов в предметной области и в большей степени соответствует реляционным моделям данных. Поэтому:

S традиционные средства описания логики ограничивают возможности вовлечения специалистов в предметной области в процесс ее разработки

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

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

S создает трудности согласования логики с контекстом ее применения при изменении операционной и/или информационной моделей;

S уменьшает возможность повторного использования определений логики при расширении функциональности АС.

• Существующие методы и средства автоматизации конфигурирования АС не обеспечивают совместного использования логики различными АС.

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

На основании анализа прототипов (моделей бизнес-логики в ИУС, CPRсистем, объектно-ориентированных логических языков, дедуктивных объектно-ориентированных баз данных) разработана объектно-дедуктивная модель логики АС (ОДМЛ). Ее отличительными особенностями являются:

• интеграция объектного и логического подхода в описании логики приложения;

• поддержка основных понятий ООП, в том числе событийного управления;

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

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

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

Разработана и реализована машина вывода ОДМЛ, обеспечивающая:

• поддержку ОДМЛ, включающую интеграцию в интерпретатор компонентов объектного подхода и средств поддержки событийного управления;

120

• доступ к данным в актуальном для ИУС реляционном формате и эффективную их обработку, обеспечиваемую:

Z способом реализации реляционных термов в виде структуры данных, включающей основу и дерево контекстов; S алгоритмом интерпретации реляционных термов, основанном на использовании операционных контекстов; ^ алгоритмом определения времени жизни операционного контекста по принципу "жив, пока нужен"; ^ способом интерпретации встроенных шаблонных предикатов при помощи вложенной активации машины вывода.

4. Разработана многозвенная архитектура сервера бизнес-логики, включающая интерпретатор ОДМЛ, объектный источник данных, а также протоколы взаимодействия сервера бизнес-логики и клиентских приложений. Архитектура удовлетворяет требованиям открытости.

5. Созданы инструментальные средства разработки и сопровождения бизнес-логики, ориентированные на непрограммирующего пользователя.

Список литературы диссертационного исследования кандидат технических наук Куликов, Дмитрий Анатольевич, 2002 год

1. Autolog 32. Руководство пользователя. FF-Elektroniikka Fredriksson Ky, 1990.

2. CASE технология в России: настоящее или будущее? //Computer world Moscow. 1992. N40-41. С.8-9.

3. Chris John Idzerda Nile.com: The COM+ Implementation (http://msdn.microsoft.com/library/techart/nilecomplus.htm).

4. Grady Booch, James Rumbaugh, Ivar Jacobson. The Unified Modelling Language User Guide (Addison-Wesley 1998).

5. Guy Eddon. The COM+ Security Model Gets You out of the Security Programming Business // Microsoft Systems Journal №11, 1999 (http://www.microsoft.com/msj/1199/comsecurity/comsecurity.htm).

6. Laverdure L., Collonna-Romano J., Srite P. Network Application Support Architecture Reference Manual - Digita Press, 1993.

7. Lehrstuhl Prof. Dr. Matthias Jarke, c/o ConceptBase Team. ConceptBase A deductive object manager for meta databases (http://www-i5.informatik.rwth-aachen.de).

8. Prolog++ toolkit (http://www.lpa.co.uk/ppp.htm).1 l.TPWin, Trine-Prolog WINdows class library (http://www.trmc-prolog.com/pages/tpwin.php3).

9. Акопянц А. Блеск и нищета клиент-серверных технологий (http://akop.ru/personal/1856).

10. Али У. Что такое технология клиент-сервер и как ее внедрять (http://www.ites.ru/products/articles/general/cs-technology.html).

11. Архитектура и принципы построения системы «Мегаполис» (http://soffline.kiev.ua/products/megaarch.html).

12. Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы). Л.: Энергия, 1979.

13. П.Бернштейн Ф. Middleware: модель сервисов распределенной системы // Системы управления базами данных №2, 1997 (http://www.osp.ru/dbms/l997/02/41 .htm).

14. Богатырев Р. Природа и эволюция сценарных языков // Мир ПК №11,2001 с. 144-154.

15. Виасофт. АБС нового поколения Smart-Bank Gold (http://viasoft.com.ua/winl251/smgold.htm).

16. Владимиров С., Кроль Т., Пантелеев Е. Технология быстрой разработки информационно-управляющих систем образовательных учреждений // Информационные технологии, №1,2001. с. 39-44.

17. Вэн Дам Э. Пользовательские интерфейсы нового поколения // Открытые системы №6 1997. с. 34-37.124

18. Гавердовский А. Концепция построения систем автоматизации документооборота. // Открытые системы №1, 1997 (http://osp.asu.pstu.ac.ni/os/l 997/0 l/29.htm).

19. Голиков А. Интегрированное решение моделирования, подготовки и ведения конструкторской документации // Компьютер Пресс №5, 1997. с. 231236.

20. Грей П. Логика, алгебра и базы данных: Пер. с англ. М.: Машиностроение, 1989. -368 с.

21. Громов А., Каменнова М., Старыгин А. Управление бизнес-процессами на основе технологии Workflow // Открытые системы №1, 1997 (http://osp.asu.pstu.ac.ru/os/! 997/01/35 .htm).

22. Дмитриев В. Сервер приложений Jaguar CTS // Открытые системы №1, 2001 (http://www.osp.ru/os/2001/0 l/068.htm).

23. Дронов П. Практическое использование Windows NT 4.0 Terminal Server Edition. Повышение эффективности работы в системе "1С Предприятие (http://www.ixbt.com/comm/winnttse.html).

24. Евгенев Г., Безбородое В. Компьютеризация инженерных знаний // САПР и графика №12,1997. с. 69-74.

25. Евсеев О., Попов Э. Роль интеллектуальных инструментальных средств в реинжиниринге бизнес процессов предприятий. Изв.РАН. Теория и системы управления, 1999, № 5. с. 74 - 82.

26. Заде Л., Дезоер Ч. Теория линейных систем. Метод пространства состояний. М.: Наука, 1970.

27. Зубков Д. Staffware система управления документооборотом // Открытые системы №1,1997 (http://osp.asu.pstu.ac.ru/os/1997/01/45.htm).

28. Зыков А.А. Гиперграфы, Успехи математических наук 29:6 (1972) с.89-154.

29. Иодан Э. Структурное проектирование и конструирование программ. М.: Мир, 1979.125

30. Казанский Д. К вопросу формализации понятий «бизнес-система», «бизнес-процесс», «бизнес-функция» // Информационные технологии, №2, 1997.

31. Когаловский М. Энциклопедия технологий баз данных. М.: Финансы и статистика 2002. - 800 стр.http://www.citforum.ru/book/enctbd/enctbdotr.shtml).

32. Коршунов Ю. Математические основы кибернетики: Учеб. Пособие для вузов. 2-е изд., перераб. и доп. - М.: Энергия, 1980. - 424 е., ил.

33. Кочан И. T-FLEX DOCs новая система технического документооборота // САПР и графика №9,1997. с. 29-31.

34. Криницкий Н.А. Алгоритмы вокруг нас. М.: Наука, 1984.

35. Крючков А., Лазебник Е. Вопросы комплексной автоматизации предприятий // САПР и графика №7, 1997. с. 6-12.

36. Кузнецов С. Основы современных баз данных (http://fortecya.com.ua/RLinux/osbd/contents.html).

37. Кузнецов С. Тенденции в мире систем управления базами данных (http://www.neic.nsk.su/rus/tech/cit/kbd96/48.htm).

38. Кузнецов С. Открытые системы, процессы стандартизации и профили стандартов (http://www.ukma.kiev.ua/~oxanka/os/opsys.htm).

39. Кузнецов С. Тенденции в мире систем управления базами данных (http://www.citforum.ru/ /database/articles/art25 .shtml).

40. Куликов Д.А. Реализация сервера бизнес-логики в среде быстрой разработки информационно-управляющих систем RADHYC // Тез. Докладов МНТК «X Бенардосовские чтения». Иваново: ИГЭУ, 2001, с. 18.126

41. Ладыженский Г. Технология «клиент-сервер» и мониторы транзакций // Открытые системы №3 1994. (http://www.csu.ac.rU/osp/os/1994/03/source/l.html).

42. Лазарь Б. Клиент/сервер это серьезно. //LAN/Журнал сетевых решений, №5, 1995 (http://www.murom.ru/intranet/cd/lan/1995/05/65.htm).

43. Лайл Скофилд У. Соединение М и SQL (Обзор системного архитектора) // М Computing №12,1996 (http://www.sparm.com/doc/bulletin/c6/mb.htm).

44. Лингер Р., Миллс X., Уитт С. Теория и практика структурного программирования. М.: Мир, 1982.

45. Липпман С. С++ для начинающих. Т.1,2: Пер. с англ. М.: Унитех; Рязань: Гэллион, 1993.-304с. :ил.

46. Лисовский К. Реализация объектно-дедуктивных СУБД в реляционной среде (http://synthesis.ipi.ac.ru/sigmod/seminar/sl9980129).

47. Любимов А. Управление персоналом в R/3 // Компьютер Пресс №5, 1997. с. 190-193.

48. Макаров И.М. Виноградская Т.М. Рубчинский А.А. Соколов В.Б. Теория выбора и принятия решений М.: Наука. Главная редакция физико-математической литературы, 1982. - 328 с.

49. Маккарти Дж. Общность в системах искусственного интеллекта // Лекции лауреатов премии Тьюринга за первые двадцать лет. 1966-1985. М.: Мир, 1993.

50. Малпас Дж. Реляционный язык Пролог и его применение: Пер с англ. /Под редакцией В.Н. Соболева. М.: Наука. Гл. ред. Физ.-мат. лит., 1990 - 464 с,

51. Маслов А. Технология клиент-сервер в корпоративных системах на базе М-технологии // Открытые системы №6 1997. с. 62-65.

52. Матеросян С. Проектирование в CADdy Электротехника: от технического задания до реализации проекта // САПР и графика №12,1997. с. 35-43.

53. Морозов А. Логический анализ функциональных диаграмм в процессе интерактивного проектирования информационных систем. Автореферат диссертации на соискание учёной степени кандидата физико-математических наук Москва 1998.127

54. Морозов А. Логическое программирование: диалог логиков и программистов (http://www.cplire.ru/Labl44/125 l/04020000.html).

55. Мотовилов Д., Волков А. От САПР к интегрированной среде проектирования // САПР и графика №8, 1997. с. 60-62.

56. Одинцов А., Норенков Ю., Горин Д. Динамическое моделирование предприятия// Информационые технологии, № 2,1997. с. 20-24.

57. Орлик С. Многоуровневые модели в архитектуре клиент-сервер (http://mirrors.usaaa.ru:8000/database/kbd97/22.shtml)

58. Остераут Дж. В XXI век с языками описания сценариев // ComputerWeekly, N25,1998, с.27,28,29,30,44.

59. Открытые системы: концепция или реальность // Открытые системы №4, 1993 (http://www.osp.ni/os/l993/04/1 .htm).

60. Пантелеев Е. Р., Куликов Д.А. Дедуктивная база данных для поддержки принятия решений // Тез. Докладов МНТК "8 Бенардосовские чтения". -Иваново: ИГЭУ, 1997, с. 45.

61. Пантелеев Е. Р., Куликов Д.А. Генератор альтернатив на реляционной модели данных в задачах принятия решений // Тез. Докладов Ш международной электронной научной конференции «Современные проблемы информатизации» Воронеж, ВПУ, 1998, с 164-165

62. Пантелеев Е. Р., Куликов Д.А. Решение динамической модели оптимального планирования производства методом итераций в среде порождения аль128тернатив 11 Изв. Вузов. Технология текстильной промышленности, №4 1999, с.3-6

63. Пантелеев Е.Р. Куликов Д.А. Логическое программирование: Учеб. Пособие; Иван. гос. энерг. ун-т. Иваново, 2000. - 80 с.

64. Пантелеев Е.Р., Кроль Т.Я., Куликов Д.А. Объектно-дедуктивная модель бизнес-логики в среде быстрой разработки информационно управляющих систем RADMyC // Информационные технологии, №9,2000. с.34-37

65. Пантелеев Е.Р., Куликов Д.А. Порождение альтернативных вариантов рас пределения ресурсов в задачах принятия решений // Информационые технологии, № 8, 1998. с. 19-24.

66. Пацкин А. Программа ВЕБриаль технологический прорыв в области веб-интерфейсов СУБД (http://www.artint.ru/packin/abrial/webrial.htm).

67. Прангишвили И.В., Амбарцумян А.А. Научные основы построения АСУ ТП сложных энергетических систем. М.: Наука, 1992.

68. Путеводитель по системе «Монополия». (http://www.formoza-soft.ru\index.html).

69. Рубинов В.И., Шалыто А.А. Построение граф-схем бинарных программ для систем булевых функций, заданных таблицами истинности //Автоматика и вычислительная техника. 1988. N1. С.87-92.

70. Салин А.Г., Целищев Е.С., Шемякин А.Н., Куликов Д.А. Автоматизированная раскладка кабелей в среде ElectriCS 3D // CAD Master №3, 2002, с. 28-31.

71. Свами С., Тхуласираман К. Графы, сети и алгоритмы : Пер. с англ.-М.: Мир, 1984 455 с.

72. Сигнор Р., Стегман М.О. Использование ODBC для доступа к базам данных: Пер. с англ. М.: БИНОМ; НАУЧНАЯ КНИГА, 1995. -384 с.

73. Симоне Дж. ЭВМ пятого поколения: компьютеры 90-х годов. М.: Финансы и статистика, 1985.

74. Система GradDOC: Описание комплекса, (www.grad.kiev.ua\descr.html).

75. Смирнов А., Шереметов JI. Многоагентная технология проектирования сложных систем. Окончание // Автоматизация проектирования, №1, 1999 (http://www.murom.ru/intranet/cd/ap/1998/03/45.htm).

76. Смирнов А., Шереметов JI. Обзор системы DESO и некоторые приложения // Автоматизация проектирования, №1, 1999 (http://www.osp.ru/ap/1999/01/42.htm).

77. Смирнов А., Шереметов Л. Организация взаимодействия агентов в многокомпонентных САПР // Автоматизация проектирования, №2, 1999 (http://www.osp.ni/ap/l 999/02/007.htm)

78. Смит Д., Меленовски М. Время пришло для профессионалов в области открытых систем // Открытые системы №1, 1995 (http://osp.asu.pstu.ac.ru/os/1995/01/29.htm)

79. Уилсон С., Мэйплс Б., Лэндгрейв Т. Принципы проектирования и разработки программного обеспечения. Учебный курс MCSD: Пер. с англ. М.: Издательско-торговый дом «Русская редакция», 2000. - 608 стр.: ил.

80. Фасти У. Основы технологии «клиент-сервер» PC Magazine/RE №9, 1999 (http://www.pcmag.ru/news.asp?ID=99).

81. Федоров А. Активные серверные страницы //Компьютер Пресс №4, 1997. с. 88-94

82. Фоминов О. Корпоративный компьютер и конвергенция // PC Magazine/RE №12, 1999 (http://www.pcmag.ru/news.asp?ID=234&page=4).

83. Фролов Е., Высочин С. Интегрированная система оперативного планирования // САПР и графика №9,1997. с. 10-13.

84. Хоггер К. Введение в логическое программирование: Пер. с англ. М.: Мир, 1988. -348 с.

85. Цимбал А. Сравнительный анализ технологий CORBA и СОМ (http://www.interface.ru/borland/corbacom.htm).131

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