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

Скачать 0.53 Mb.

Название	Правительство Российской Федерации Федеральное государственное автономное образовательное учреждение высшего профессионального образования
страница	1/15
Тип	Документы

rykovodstvo.ru > Руководство эксплуатация > Документы

1 2 3 4 5 6 7 8 9 ... 15

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

"Национальный исследовательский университет "Высшая школа экономики"

Отделение программной инженерии

Кафедра Управления разработкой программного обеспечения
ВЫПУСКНАЯ КВАЛИФИКАЦИОННАЯ РАБОТА

На тему	«Библиотека программ для обеспечения взаимодействия агентов в
распределённых системах на основе обмена сообщениями»

Студента группы №	271мУРПО
Лидского Георгия Алексеевича
(Ф.И.О.)
Научный руководитель
Д.ф.-м.н., профессор
(должность, звание)
Ломазова Ирина Александровна
( Ф.И.О.)

Москва, 2013

Аннотация

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

Ключевые слова: распределённый алгоритм, распределённая система верификация, волновой алгоритм, обход сетей, поиск лидера, координирование.

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

Аннотация 3

Оглавление 4

Введение 4

Распределённые системы 7

Распределённые алгоритмы 9

Алгоритмы обхода 10

Алгоритм Тарри обхода связных сетей 12

Алгоритмы избрания лидера 13

Алгоритм Ле-Ланна выбора лидера 14

Описание программной системы «Хореография» 14

Обмен информацией с узлами распределённой системы 15

Архитектура Хореографии 17

Агенты 18

Представители 19

Сети 20

Группы 20

Алгоритмы 22

Выполнения алгоритмов 23

Менеджеры 23

Пример работы Хореографии 25

Верификация Хореографии 29

Обзор существующих инструментов для проверки моделей 31

Верифицируемые модули 33

Свойства для верификации распределённых алгоритмов 34

Свойства для верификации алгоритма обхода Тарри 34

Настройка Java Pathfinder 36

Верификация алгоритма обхода Тарри 38

Результаты верификации 45

Список использованных источников 47

Приложение 1 49

Приложение 2 59

Приложение 3 64

1 2 3 4 5 6 7 8 9 ... 15

Похожие:

	Программа дисциплины «Сценарный трейдинг» Правительство Российской... Федеральное государственное автономное образовательное учреждение высшего профессионального образования		Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования
	Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования		Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования
	Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования		Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования
	Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования		Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования
	Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования		Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования
	Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования		Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования
	Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования		Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования
	Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования		Правительство Российской Федерации Федеральное государственное автономное... Федеральное государственное автономное образовательное учреждение высшего профессионального образования

Руководство, инструкция по применению