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



страница1/21
Дата24.11.2016
Размер2.3 Mb.
Просмотров4011
Скачиваний0
  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 -> 2 раздел анализ предметной области 5
2013 -> Магистерская диссертация
2013 -> Влияние вовлеченности на готовность платить за коллекционные товары
2013 -> Выражение гендерных характеристик в англоязычном "глянцевом" дискурсе
2013 -> Продакт Плейсмент и перспективы его развития в сети Интернет
2013 -> 1Лекции первого полугодия
2013 -> «Правовое рассмотрение компьютерного мошенничества», Ницца, 22 октября 1992 года, грамота «весьма достойно»


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


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

войти | регистрация
    Главная страница


загрузить материал