Инструментальная среда имитационного моделирования распределенных систем мобильных агентов



страница1/21
Дата07.03.2016
Размер2.3 Mb.
  1   2   3   4   5   6   7   8   9   ...   21
Правительство Российской Федерации
Федеральное государственное автономное образовательное учреждение высшего профессионального образования
"Национальный исследовательский университет
"Высшая школа экономики"


Факультет:  Бизнес-Информатика
Отделение:  Программная инженерия
Кафедра: Управление разработкой программного обеспечения


МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ

На тему: Инструментальная среда имитационного моделирования распределенных систем мобильных агентов

Студент группы № 271мУРПО

Новикова Юлия Александровна

Подпись___________________
Научный руководитель

профессор,

доктор физико-математических наук

Ломазова Ирина Александровна

Подпись___________________
Москва, 2013 г.

АННОТАЦИЯ


В данной работе представляется инструментальная среда имитационного моделирования распределенных систем мобильных агентов (Timed Resource Driven Automata nets Tool - TRDA Tool). Этот инструмент предназначен для моделирования и анализа распределенных систем с динамически перемещаемыми агентами в течение времени. В качестве входных данных TRDA Tool использует модели вида TRDA nets. Модель TRDA nets двухуровневая, состоящая из системного и автоматного уровня. Системный уровень (системная сеть) представлен сетью активных ресурсов. Графическое представление сети активных ресурсов – граф с направленными ребрами, обозначающими или производство, или потребление. В вершинах данного графа могут находиться агенты и ресурсы. Автоматный уровень (автоматная сеть) - конечные автоматы, расширенные различными возможностями учета времени, описывающие поведение разных типов агентов в системной сети. При этом агенты сами могут выступать в качестве ресурсов.

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

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

Ключевые слова: Timed Resource Driven Automata net Tool, TRDA модель, имитационное моделирование, двухуровневые сети Петри, анализ поведенческих свойств


Оглавление


АННОТАЦИЯ 2

ВВЕДЕНИЕ 4

1.ФОРМАЛЬНЫЕ МОДЕЛИ РАСПРЕДЕЛЕННЫХ СИСТЕМ 7

1.1. Классические сети Петри 7

1.2 Временные сети Петри 8

1.3 Сети активных ресурсов 9

1.4 Ресурсно-управляемые сети автоматов 10

1.5 Временные автоматы 12

1.6Ресурсно-управляемые сети временных автоматов 13

2. СИСТЕМА TRDA TOOL 18

2.1 Анализ исходных данных и выбор оптимального решения поставленной задачи 18

2.2 Методы проектирования 19

2.3 Обоснование выбора программных и аппаратных средств 19

2.4 Проектирование связей ключевых компонент языка описания RDA сетей 21

2.5Разработка языка описания модели типа ресурсно-управляемых сетей временных автоматов 23

2.6 Описание разработанного языка в нотации Бэкуса-Наура 25

2.7 Возможности TRDA Tool 26

2.7.1. Возможности моделирования 26

2.7.2. Возможности анализа 27

2.7.3 Поведенческие свойства 28

2.7.4 Способ установки программы 30

2.7.5 Соответствие графической визуализации текущего состояния модели ее структурному представлению 31

3ПРИМЕРЫ ПРИМЕНЕНИЯ TRDA TOOL ДЛЯ МОДЕЛИРОВАНИЯ И АНАЛИЗА НЕКОТОРЫХ КЛАССИЧЕСКИХ ЗАДАЧ 36

3.1 Задача об обедающих философах, гуляющих в парке 36

3.2 Задача о философах с дедлоком 44

3.3 Задача о спящем парикмахере 47

3.4 Задача о мусорщиках 51

3.5 Задача о курильщиках 61

ЗАКЛЮЧЕНИЕ 67

Список использованной литературы 69

Приложения 70

Приложение 1 Задача о философах, гуляющих в парке 70

Приложение 2 Задача о философах и дедлоке 74

Приложение 3 Задача о спящем парикмахере 77

Приложение 4.1 Задача о мусорщиках_1 79

Приложение 4.2 Задача о мусорщиках_2 81

Приложение 5 Задача курильщиках 84

Приложение 6 Техническое задание 86

Приложение 7 Программа и методика испытаний 94

Приложение 8 Руководство оператору 99

Приложение 9 Класс ChartInfo.cs 105

Приложение 10 Form_xml.cs 107

Приложение 11 Form1.cs 109

Приложение 12 Form1.Designer.cs 127

Приложение 13 Form1_io.cs 141

Приложение 14 FormChart.cs 146

Приложение 15 FormChart.Designer.cs 149

Приложение 16 FormHelp.cs 151

Приложение 17 FormHelp.Designer.cs 154

Приложение 18 FormLog.cs 156

Приложение 19 FormLog.Designer.cs 157

Приложение 20 FormRezult.cs 159

Приложение 21 FormRezult.Designer.cs 160

Приложение 22 FormVisual.cs 162

Приложение 23 FormVisual.Designer.cs 165

Приложение 24 Lib.cs 169

Приложение 25 Model.cs 171

Приложение 26 Model_candidates.cs 184

Приложение 27 Model_ChartInfo.cs 192

Приложение 28 Model_dot.cs 194

Приложение 29 Model_exec.cs 198

Приложение 30 Model_init.cs 204

Приложение 31 Model_log.cs 210

Приложение 32 Model_marking.cs 218

Приложение 33 MultyLanguage.cs 221

Приложение 34 Program.cs 228

Приложение 35 State.cs 229



Каталог: data -> 2013
2013 -> Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки «Журналистика»
2013 -> Программа дисциплины концепции и концептуальный анализ в математике и гуманитарном знании
2013 -> "Применение инструментов конкурентной разведки для анализа конкурентоспособности компании"
2013 -> Программа учебной дисциплины «Психология»
2013 -> Сетевой образовательный клуб «Некрасовская республика»: самоорганизация, саморазвитие, сотворчество. «Некрасовская республика»
2013 -> Информационное сопровождение бизнес проектов


Поделитесь с Вашими друзьями:
  1   2   3   4   5   6   7   8   9   ...   21


База данных защищена авторским правом ©uverenniy.ru 2019
обратиться к администрации

    Главная страница