Лабораторные работы (2010) (Отчет)

Посмотреть архив целиком

МОСКОВСКИЙ ЭНЕРГЕТИЧЕСКИЙ ИНСТИТУТ

(Технический Университет)



Кафедра прикладной математики















ЛАБОРАТОРНАЯ РАБОТА

по дисциплине "Теория игр и исследование операций"

на тему "Проектирование с помощью инструментального комплекса СИМПР"







Выполнил: Жаров Д.И. (А-13-06)

Проверила: Гречкина П.В.

Преподаватель: Еремеев А.П.













Москва 2010



Содержание

Постановка задачи 3

Описание предметной области 3

Описание табличной модели 4

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

Литература и программное обеспечение: 18







Постановка задачи

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

Описание предметной области

Лесник появляется в левом углу главной формы у себя дома, дровосек в правом углу главной формы у себя дома. Задача лесника - убирать пни и сажать на их месте деревья. Задача дровосека - рубить деревья и относить их на склад(к себе домой). Дровосек должен за определённое время собрать определённое количество деревьев.

Действия лесника:

Если лесник видит, что есть пни, он выходит из дома и идёт сажать дерево. Если нет пней(т.е. на карте 3 дерева), лесник остаётся дома и ждёт. Скорость лесника задаётся случайным образом. Если есть больше одного пня, пень выбирается случайным образом. После того, как лесник доходит до пня, он начинает сажать дерево. После того, как лесник заканчивает сажать дерево, он возвращается домой.

Действия дровосека:

Если дровосек видит, что есть деревья, он выходит из дома и идёт рубить дерево. Если деревьев нет(т.е. на карте 3 пня), дровосек остаётся дома и ждёт. Скорость дровосека задаётся случайным образом. Если есть больше одно дерева, дерево выбирается случайным образом. После того, как дровосек доходит до дерева, он начинает рубить его. После того, как дровосек заканчивает рубить дерево, он возвращается домой. После того, как дровосек доходит до дома, он кладёт дерево на склад.

Описание табличной модели

В процессе разработки были составлены 3 таблицы:

  • Таблица 1(Дровосек)

  • Таблица 2(Лесник)

  • Таблица 3 (Проверка окончания)



Таблица 1(Дровосек).

Таблица состоит из 7 условий и 5 действий. Данная таблица описывает поведение дровосека.


1

2

3

4

5

6

7

8

Описание таблицы

C1

T

T





F

T

Дровосек дома?

C2



T

T





Дровосек идёт за деревом?

C3





T

T



Дровосек рубит дерево?

C4







T


Дровосек возвращается обратно?

C5


F






T

Есть ли деревья для вырубки?

C6



F

T





Дровосек дошёл до дерева?

C7

T




F

T



У дровосека есть дерево?

R1


1







Оставаться в доме и ждать

R2



1





1

Пойти за деревом

R3




1

1




Срубить дерево

R4






1

1


Пойти к дому

R5

1








Войти в дом/Положить дерево

+

2

2

2

2

2

2

2

2






Данная таблица полна и не противоречива.

Имеются логические отношения:

c1->!c2

c1->!c3

c1->!c4

c2->!c3

c2->!c4

c3->!c4

Т.е. дровосек не может находиться сразу в двух состояниях, например "Дровосек дома" и "Дровосек идёт за деревом".


Результаты трансляции:



Таблица 2(Лесник).

Таблица состоит из 7 условий и 5 действий. Данная таблица описывает поведение лесника.


1

2

3

4

5

6

7

8

Описание таблицы

C1

T

T





F

T

Лесник дома?

C2



T

T





Лесник идёт сажать дерево?

C3





T

T



Лесник сажает дерево?

C4







T


Лесник возвращается обратно?

C5


F






T

Можно ли посадить дерево?

C6



F

T





Лесник дошёл до пня?

C7

T




F

T



Лесник уже посадил дерево?

R1


1







Оставаться в доме и ждать

R2



1





1

Пойти сажать дерево

R3




1

1




Посадить дерево

R4






1

1


Пойти к дому

R5

1








Войти в дом

+

3

3

3

3

3

3

3

3






Данная таблица полна и не противоречива.

Имеются логические отношения:

c1->!c2

c1->!c3

c1->!c4

c2->!c3

c2->!c4

c3->!c4

Т.е. лесник не может находиться сразу в двух состояниях, например "Лесник дома" и "Лесник идёт сажать дерево".






Чтобы не видеть здесь видео-рекламу достаточно стать зарегистрированным пользователем.
Чтобы не видеть никакую рекламу на сайте, нужно стать VIP-пользователем.
Это можно сделать совершенно бесплатно. Читайте подробности тут.