Лабораторные работы (2011) (РязановСИМПР)

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

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

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

(ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)


Институт Автоматики и Вычислительной Техники

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



















О Т Ч Е Т


по лабораторной работе №1

«Проектирование с помощью

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

















Студент гр. А-13-07 Рязанов М.А.


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







Москва 2011


Оглавление



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

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

Таблицы в среде СИМПР 3

Начальная таблица 3

Посетитель, проходящий медкомиссию. 4

Посетитель, желающий зарегистрироваться. 5

Интерфейс программы 7

Пример работы программы 7

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

Приложение 11

Цикл обработки сообщений 11

Класс, реализующий регистрирующегося посетителя. 15

Заключение 17

Литература 17























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

С помощью инструментальной системы СИМПР сформировать модель принятия решений в виде совокупности таблиц решений и написать модуль-интерпретатор для данной модели. Объект моделирования – приход посетителя в военкомат.

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

В рабочем здании военкомата есть одно окно регистрации и три кабинета приема посетителей для заполнения анкет, ответов на вопросы или для прохождения медкомиссии (в каждом из кабинетов можно выполнить каждое из этих действий). Человек, пришедший впервые, не зависит от того, кто уже зарегистрирован. Нельзя в один приход и зарегистрироваться, и пройти медкомиссию. В один день принимается 8 человек.

Посетитель, желающий пройти регистрацию, должен отстоять очередь в своё окно, при её наличии. Максимальный размер очереди равен 4, т.е. ждать, пока освободиться терминал, могут одновременно 4 человека. Если посетитель пришел и видит, что в очереди больше 4 человек, он уходит. Если есть свободное место в очереди или если очередь пуста, становится в очередь и постепенно продвигается к регистрационной стойке. Оказавшись рядом с окном регистрации, посетитель регистрируется. Далее он выходит из помещения.

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

Данная область описана тремя таблицами. Ниже приведены сами таблицы, реализованные в среде СИМПР.

Таблицы в среде СИМПР

Начальная таблица




Посетитель, проходящий медкомиссию.



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


Посетитель, желающий зарегистрироваться.

c1->!c2

c1->!c5

c1->!c6

c5->!c7

c3->!c8

c1->!c7

c2->!c7

c7->!c9




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



















Интерфейс программы

- главное окно программы

- человек, совершивший одно из действий, помечается соответствующей надписью (“Done” – прошел медкомиссию, “Reged” - зарегистрировался.

Пример работы программы

  1. Начало работы: два человека зашли в здание. Один для регистрации, другой для прохождения медкомиссии

2)Зашел еще один человек для регистрации. Посетитель сел проходить медкомиссию

3) Зашел еще один посетитель для прохождения медкомиссии, первый посетитель её уже прошел, получив пометку “Done”. Человек встал в очередь на регистрацию, что отображается в текстовом окне.