Архитектуры и методы проектирования мигрирующих систем тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Степанов, Александр Геннадьевич

• Степанов, Александр Геннадьевич
• кандидат технических наук
• 2005

Оглавление диссертации кандидат технических наук Степанов, Александр Геннадьевич

Сокращения и условные обозначения.

• Введение.

Глава 1. Мигрирующие системы.

1.1. Введение

1.2. Понятие мигрирующих систем.

1.3. Свойства мигрирующих систем.

1.4. Системы мобильных агентов.

1.4.1. Введение

1.4.2. Основные понятия.

1.4.3. Стандарты.

1.4.4. Области применения.

1.4.5. Сравнение с мигрирующими системами.

1.5. Контекстно-ориентированные системы.

1.5.1. Введение

1.5.2. Основные понятия.

1.5.3. Области применения.

1.5.4. Сравнение с мигрирующими системами. 1.6. Системы перераспределения нагрузки.

1.6.1. Введение

1.6.2. Основные понятия.

1.6.3. Области применения.

1.6.4. Сравнение с мигрирующими системами.

1.7. Применение мигрирующих систем.

1.8. Выводы.

Глава 2. Архитектура и работа мигрирующих систем.

I 2.1. Принцип работы мигрирующих систем

2.2. Обобщенная архитектура сервиса мигрирующей системы.

2.2.1. Модуль взаимодействия с другими репликами сервиса. i 2.2.2. Очередь запросов.

2.2.3. Диспетчер запросов.

2.2.4. Интерфейс с клиентами.

2.2.5. Модуль обработки запросов.

2.2.6. Модуль получения контекстной информации.

2.2.7. Модуль принятия решений.

2.2.8. Модуль репликации и дерепликации сервиса.

2.2.9. Модуль удаленной загрузки и запуска приложений.

2.3. Специализированные архитектуры мигрирующих систем.

2.3.1. Архитектура мигрирующей системы для локальных сетей

2.3.2. Архитектура мигрирующей системы для глобальных сетей.

2.4. Выводы.

Глава 3. Математическое моделирование мигрирующих систем.

3.1. Модель системы массового обслуживания

3.1.1. Определения

3.1.2. Ограничения, накладываемые на модель системы.

3.1.3. Классификация.

3.1.4. Модель системы.

3.2. Теоретико-множественно-событийная модель.

3.3. Выводы.

Глава 4. Имитационное моделирование мигрирующих систем.

4.1. Методика построения мигрирующих систем

4.2. Архитектура системы моделирования.

4.2.1. Задачи моделирования

4.2.2. Модель пользователя.

4.2.3. Модель сети.

4.2.4. Модель сервиса.

4.2.5. Модуль сбора статистики.

4.2.6. Модуль визуализации.

4.2.7. Модуль хранения истории процесса моделирования.

4.2.8. Случайные величины

4.3. Проектирование системы моделирования.

4.3.1. Структура модели.

4.3.2. Управление процессом моделирования.

4.3.3. Модель сети.

4.3.4. Модель узла.

4.3.5. Модель сервиса.

4.3.6. Модель реплики.

4.3.7. Модель пользователя.

4.3.8. Модель запроса

4.3.9. Модель очереди.

4.4. Эксперименты с системой моделирования.

4.4.1. Анализ системы с одним сервисом в сети без отказов

4.4.2. Анализ системы в сети с отказами узлов.

4.4.3. Анализ системы с несколькими сервисами.

4.4.4. Определение параметров системы.

4.4.5. Сравнение имитационной модели с моделью системы массового обслуживания.

4.4.6. Оценка возможностей системы моделирования.

4.5. Выводы.

Глава 5. Реализация прототипа мигрирующей системы.

5.1. Инструменты разработки

5.2. Функции и структура системы.

5.2.1. Консоль администратора (MSConsole).

5.2.2. Станция (MSStation).

5.2.3. Сервис (MSService).

5.2.4. Клиент (MSClient).

5.3. Исследование прототипа мигрирующей системы.

5.4. Сравнение результатов имитационной модели и прототипа мигрирующей системы.

5.5. Удаленная загрузка и запуск приложений средствами ОС.

5.6. Выводы.

Введение диссертации (часть автореферата) на тему «Архитектуры и методы проектирования мигрирующих систем»

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

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

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

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

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

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

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

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

- построение методики разработки мигрирующих систем на основе теоретико-множественно-событийных моделей;

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

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

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

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

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

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

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

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

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

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

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

Практическая значимость. В результате выполнения данной работы были получены следующие практические результаты:

- разработаны две специализированные архитектуры, дающие готовые проектные решения при реализации распределенных программных комплексов на основе мигрирующих систем, работающих в локальных и глобальных сетях;

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

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

Апробация. Основные результаты работы докладывались на Международных конференциях по мягким вычислениям и измерениям (SCM) в 2002 - 2004 гг.

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

- Фомичев В. С., Холод И. И., Першин А. В., Степанов А. Г. Поток сообщений в системах мобильных агентов // Материалы международной конференции по мягким вычислениям и измерениям (SCM'2002). - СПб., 25 - 27 июня, 2002, СПбГЭ-ТУ.

- Степанов А. Г. Свойства мигрирующих систем // Материалы международной конференции по мягким вычислениям и измерениям (SCM'2003). - СПб., 25 - 27 июня, 2003, СПбГЭТУ.

- Степанов А. Г. Применение моделей массового обслуживания для анализа мигрирующих систем // Материалы международной конференции по мягким вычислениям и измерениям (SCM'2004). - СПб., 17-19 июня, 2004, СПбГЭТУ.

- Степанов А. Г., Фомичев B.C. Имитационная модель мигрирующей системы // Известия СПбГЭТУ «ЛЭТИ». - СПб., 2004.

- Степанов А. Г., Фомичев B.C. Имитация мигрирующих систем обслуживания // Известия вузов. Приборостроение. - СПб., 5, 2005.

- Степанов А. Г., Фомичев B.C. Пакет программ для имитации мигрирующих систем обслуживания // Известия вузов. Приборостроение. - СПб., 7, 2005.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Степанов, Александр Геннадьевич

5.6. Выводы

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

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

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

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

Трудоемкость разработки прототипа равна приблизительно 50 человеко-дней, что составляет около 10-20% от трудоемкости реализации коммерческой версии мигрирующей системы обслуживания, которая обладает необходимыми механизмами безопасности и надежностью, требуемой для использования продукта в крупных локальных и корпоративных сетях.

Заключение

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

1. сформулировано понятие мигрирующей системы, определены ее основные свойства, а также определены области применения распределенных систем данного класса;

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

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

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Степанов, Александр Геннадьевич, 2005 год

1. Abowd G. D., Atkeson С. G., Brotherton J. Investigating the capture, integration and access problem of ubiquitous computing in an educational setting // Proceeding of Human Factors in Computing Systems (СНГ98), ACM Press, Los Angeles, CA, 1998.

2. Agents that move around and think / Toshiba Corporation, 1999, http://www.toshiba.co.jp/cright/index.htm.

3. Ajanta: A mobile agent research project in Java / http://www.cs.umn.edu/ajanta.

4. Anind K., Dey A. K. Understanding and using context // Personal and Ubiquitous Computing, Springer, 5/1, 2001.

5. Baumann J., Hohl F. Mole: Concepts of a mobile agent system. Technical report 1997/15 // Fakultaet Informatik, University of Stuttgart, August 1997.

6. Baumann J., Hohl F., Rothermel K. Mole: Concepts of a mobile agent system // World Wide Web, #3, 1998.

7. Bee-gent: Bonding and Encapsulation Enhancement Agent / Toshiba Corporation, 1999, http://www.toshiba.co.jp/cright/index.htm.

8. Benelli G., Bianchi A., Marti P., Not E., Sennati D. HIPS: Hyper Interaction within the Physical Space // IEEE, Multimedia System'99, Firenze, 1999.

9. Brody А. В., Gottsman E. J. Pocket bargain finder: a handheld device for augmented commerce // First International Symposium on Handheld and Ubiquitous Computing (HUC'99), Karlsruhe, Germany, 1999.

10. Cheverst K., Davies N., Mitchell K., Efstratiou C. Using context as a crystal ball: Rewards and pitfalls // Personal and Ubiquitous Computing, Springer, 5/1,2001.

11. Cluster strategy: High availability and scalability with industry-standard hardware. Microsoft Clustering Service technical articles // Microsoft Corporation, November 1996.

12. Concordia, version 1.1.2 / http://www.meitca.com/hsl/projects/concordia.

13. CORBA facilities: Mobile agent system interoperability facilities submission. MASIF revision / Object Management Group Framingham Corporate Center, March 1998, http://www.omg.com.

14. Dasgupta P. Narasimhan N. E-Commerce: Mobile Agents for Networked Electronic Trading / 1999, http://alpha.ece.ucsb.edu/~pdg/research/papers/ictechtml.

15. Dasgupta P., Narasimhan N. MAgNET: Mobile Agents for Networked Electronic Trading / March 1999, http://alpha.ece.ucsb.edu/~pdg/research/papers/magnethtml/nodel.html.

16. Deploying notes for Windows NT Load Balancing Service. Windows NT 4.0 technical articles // Microsoft Corporation, January 1999.

17. Fabio В., Giovanni C. JADE administrator's guide // CSELT S.p.A., 2000.

18. Fabio В., Giovanni C. JADE programmer's guide // CSELT S.p.A., 2000.

19. Fano A. Shopper's eye: Using location-based filtering for a shopping agent in the physical world // Proceedings of the Second International Conference on Autonomous Agents, Minneapolis, MN, 1998.

20. Fano A. What are a location's "File" and "Edit" menus? // Personal and Ubiquitous Computing, Springer, 5/1, 2001.21 . Foundation for intelligent physical agents / FIPA Organization, 1998 2001, http://www.fipa.org.

21. Glass G. Voyager: The new face of distributed computing // Object Magazine, June 1997.

22. Gray R. S. Agent Tel: A flexible and secure mobile-agent system // Fourth Annual Tcl/Tk Workshop (TCL 96), Monterey, California, July 1996.

23. Gray R. S. Agent Tel: A transportable agent system / Department of Computer Science, Dartmouth College, Hanover, http://www.dartmouth.edu.

24. Gray R. S. Agent Tel: A transportable agent system / Gray Department of Computer Science Dartmouth College, http://www.dartmouth.edu.

25. Gray R. S. Agent Tel: Alpha release 1.1/ Department of Computer Science, Dartmouth College, Hanover, http://www.dartmouth.edu.

26. Gray R. S., Cybenko G. Agent Tel. In mobile agents: Explanations and examples // Manning Publishing, 1997.

27. Green S., Hurst L. Software agents: A review. Technical report // Trinity Collega, Dublin, Ireland, May 1997.

28. Holger P. The Ara platform for mobile agents / October 1997, http://www.uni-kl.de.

29. JATLite: Java Agent Template, Lite / Stanford University, http://java.stanford.edu/processLink/papers/jatl.html.

30. Jazayeri M., Lugmayr W. Gypsy: A component-based mobile agent system. Technical report TUV-1841-99-09 // Distributed Systems Group, Technical University of Vienna, April 1999.

31. Johansen D., Schneider F. В., Renesse R. What TACOMA taught us //Addison Wesley Publishing Company, 1998.

32. Koblick R. Concordia // CACM, March 1999.

33. Laerhoven K., Aidoo K. Teaching context to applications // Personal and Ubiquitous Computing, Springer, 5/1,2001.

34. Lange D. B. Java Aglet application programming interface. White paper, draft 2 / IBM, Tokyo Research Laboratory, February 1997, http://www.trl.ibm.co.jp/aglets.

35. Lange D. В., Oshima M. Programming and deploying Java mobile agents with Aglets. // Addison-Wesley, 1998.

36. Lugmayer W. Gypsy: A component-oriented mobile agent system / Wiena, http://www.infosys.tuwien.ac.at/gypsy.

37. Microsoft Windows NT Load Balancing Service. Windows NT 4.0 technical articles // Microsoft Corporation, January 1999.

38. Microsoft расширяет кластерные возможности Windows NT Server 4.0 Enterprise Edition // Компьютерная Столица, 1999.

39. Minghua H., Ho-fung L. Agents in E-Commerce: State of the art // Knowledge and Information Systems, Springer, 4/3,2002.

40. Mobile agents white paper / General Magic, 1998, http://www.genmagic.com.

41. Mobile Agents: Going beyond the Web. TRYLLIAN ВV. Version 1.0 / May 2000, http://www.tryllian.com.

42. Moran T. P., Palen L., Harrison S. "I'll get that off the audio": A case study of salvaging multimedia-meeting records // Proceeding of Human Factors in Computing Systems (CHI'97), ACM Press, Atlanta, GA, 1997.

43. Nakanishi Y., Tsuji Т., Ohyama M., Hakozaki K. Context aware messaging service: A dynamical messaging delivery using location information and schedule information // Personal and Ubiquitous Computing, Springer, 4/4, 2000.

44. Not E., Petrelli D., Sarini M., Stock O., Strapparava C., Zancanaro M. Hyper navigation in the physical space: Adapting presentations to the user and to the situational context // The New Review of Hypermedia and Multimedia, 1998,4.

45. Nwana H. S. Software agents: An overview // Knowledge Engineering Review, 1996.

46. ObjectSpace overview of Voyager: ObjectSpace's Product Family for State-of-the-Art / Distributed Computing By Graham Glass, 1999, http://www.objectspace.com/voyager.

47. Oshima M., Karjoth G., Ono K. Aglets specification 1.1 draft / IBM, http://www.ibm.co.jp/trl/aglets.

48. Pascoe J. Adding generic contextual capabilities to wearable computers // Proceeding of Second International Symposium on Wearable Computers, 1998.

49. Petrelli D., Not E., Sarini M., Stock O., Strapparava C., Zancanaro M. HyperAudio = Location Awareness + Adaptivity // Extended Abstract CHI'99, Pittsburgh, May 1999.

50. Petrelli D., Not E., Zancanaro M., Strapparava C., Stock O. Modeling and adapting to context // Personal and Ubiquitous Computing, Springer, 5/1,2001.

51. Quest High Availability for Exchange. User Guide // Quest Software Inc., 2005.

52. Salber D., Dey A. K., Abowd G. D. The context toolkit: Aiding the development of context-enabled applications // Proceedings of CHI'99, 1999.

53. Schilit B. N., Golovchinsky G., Price M. N. Beyond paper: Supporting active reading with free form digital ink annotations // Proceeding of Human Factors in Computing Systems (CHI'98), ACM Press, Los Angeles, CA, 1998.

54. Schilit В., Adams N., Want R. Context-aware computing applications // First International Workshop on Mobile Computing Systems and Applications, 1994.

55. Schilit В., Theimer M. Disseminating active map information to mobile hosts // IEEE Network, 8, 1994.

56. Schmidt A. Implicit human computer interaction through context // Proceedings of the 2nd Workshop on Human Computer Interaction with Mobile Devices, Edinburgh, Scotland, 1999.

57. Sommers B. Agents: Not just for Bond anymore // Java World, April 1997.

58. Sundsted T. An introduction to agents // Java World, June 1998.

59. Urnes Т., Hatlen A. S., Johansen R., Myhre 0. Using mobile code to build a smart kitchen // Personal and Ubiquitous Computing, Springer, 4/4,2000.

60. Urnes Т., Hatlen A. S., Malm P. S., Myhre 0. Building distributed context-aware applications // Personal and Ubiquitous Computing, Springer, 5/1, 2001.

61. Venners B. Under the Hood: The architecture of aglets // Java World, April 1997.

62. Windows NT Server Clustering: Frequently asked questions. Microsoft Clustering Service technical articles // Microsoft Corporation, April 1997.

63. Wong D., Paciorek N. Concordia: An infrastructure for collaborating mobile agents / Mobile Agents First International Workshop (MA'97), Berlin, Germany, April 1997.

64. Александров П.С. Введение в общую теорию множеств и функций. М.: ОГИЗ, 1988.

65. Андронов А. М., Копытов Е. А., Гринглаз JI. Я. Теория вероятностей и математическая статистика. СПб.: Питер, 2004.

66. Боггс У., Боггс М. UML и Rational Rose. М.: Лори, 2000.71 . Бруно Ч., Килмартин Г., Толли К. Средства повышения производительности Web-узлов //Сети, 1,2002.

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

68. Буч Г., Рамбо Дж, Джекобсон А. Язык UML. Руководство пользователя: Пер. с англ. М: ДМК, 2000.

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

70. Вентцель Е.С. Исследование операций: задачи, принципы, методология. 2-е изд. — М.: Наука, 1988.

71. Вересов И., Колушев Ф. Кластеры: суперкомпьютеры на каждый день // Мир Internet, 6-7, 2002.

72. Верещагин Н. К., Шень А. Начала теории множеств. Математическая логика и теория алгоритмов. М.: Изд-во МЦНМО, 1999.

73. Волков И. К., Зуев С. М., Цветкова Г. М. Случайные процессы. М.: Изд-во МГТУ им. Н. Э. Баумана, 1999.

74. Горбатов В. А. Основы дискретной математики. — М.: Высшая школа, 1986.

75. Дегтярев Ю.И. Исследование операций: Учеб. пособие для вузов по специальности АСУ. М.: Высшая школа, 1986.81 . Джекобе Э. В центре внимания Web-ускорение // Сети, 10,2001.

76. Дрейган Р. Будущее программных агентов // PC Magazine, March 1997.

77. Ивченко Г.И., Каштанов В.А., Коваленко И.Н. Теория массового обслуживания: Учеб. пособие для вузов. М.: Высшая школа, 1982.

78. Калинина В. Н., Панкин В. Ф. Математическая статистика. М.: Высшая школа, 1998.

79. Карпов Ю. Г. Теория автоматов. СПб.: Питер, 2002.

80. Клейнрок JI. Теория массового обслуживания. М.: Машиностроение, 1979.

81. Клини С. К. Математическая логика. М.: Мир, 1973.

82. Котов В. Е. Сети Петри. М.: Наука, 1984.

83. Краткий курс лекций по математической статистике и теории вероятностей / apol-lyonl986.narod.ru/docs/tvims/np/lekziitv/soderzhanie.htm.

84. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. — М.: Энергоатомиздат, 1988.

85. Лавров И. А., Максимова JI. JI. Задачи по теории множеств, математической логике и теории алгоритмов. М.: ФИЗМАТЛИТ, 2004.

86. Марков А. А., Нагорный Н. М. Теория алгоритмов. М.: Наука, 1984.

87. Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.

88. Петерсен P. Linux: полное руководство. 3-е изд. К.: Издательская группа BHV, 2000.

89. Питерсон Дж. Теория сетей Петри и моделирование систем. — М.: Мир, 1984.

90. Прохоров Ю. В., Розанов Ю. А. Теория вероятностей. Основные понятия. Предельные теоремы. Случайные процессы. М.: Наука, 1967.

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

92. Степанов А. Г. Свойства мигрирующих систем // Материалы международной конференции по мягким вычислениям и измерениям (SCM'2003). СПб., 25 - 27 июня, 2003, СПбГЭТУ.

93. Судоплатов С. В., Овчинникова Е. В. Математическая логика и теория алгоритмов. Учебник. Новосибирск: Изд-во НГТУ, Инфра-М, 2004.

94. Табке Б. Как работают поисковые системы // 2003, www.searchengines.ru.

95. Темерев А. Контекстно-ориентированные технологии // Мир Internet, 9, 2002.

96. Технологические и методические вопросы разработки имитационных моделей / ДАСИМ, www.ospu.odessa.ua/adss/indru.htm.

97. Тихонов В. Поисковые системы в сети Интернет // 2000, www.searchengines.ru.

98. Фаррелл Р. Способы выравнивания нагрузки // Сети, 1, 2002.

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

100. Чжоу Т. Системы балансировки нагрузки Web-серверов // Windows 2000 Magazine, 3,2000.

101. Шенфилд Дж. Математическая логика. — М.: Наука, 1975.

102. Якобсон А., Буч Г., Рамбо Дж. Унифицированный процесс разработки программного обеспечения. СПб.: Питер, 2002.Ш