Файл: Бухгалтерия предприятия.pdf

Введение

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

В бухгалтерии предприятия работает один бухгалтер, который имеет персональный компьютер с установленным пакетом программ. С интервалом, распределенным  по нормальному закону со средним значением 6 мин и среднеквадратичным отклонением 2,0 мин, ку­рьер приносит в бухгалтерию документы, которые бухгалтер обрабатывает на компьютере в порядке их посту­пления.  Время обработки документа бухгалтером распределено  по нормальному закону со средним значением 4,8 мин и среднеквадратичным отклонением 1,6 мин. Обработанные документы подшиваются в специальную папку. В работе компьютера периодически возникают неполадки (неисправность в аппаратной части, сбой в программе, нарушение питания и т.п.), в случае чего обработка документов прекращается и вызывает­ся специалист, который устраняет неисправ­ность. Интервал времени между возникновениями неполадок распределен экспоненциальному закону со средним 24 ч, устранение неполадки требует 1±0,5 ч.  Считается, что устранение неполадки начинается мгновенно после ее возникновения. После устранения непо­ла­дка учитывается в специальном журнале. Курьер продолжает приносить документы и во время ремонта компьютера.

Необходимо смоделировать работу бухгалтерии в течение 1200 часов и определить:

• среднее время ожидания документами обслуживания.
• среднюю величину очереди на обслуживание,
• среднюю загрузку бухгалтера,

после чего получить значения тех же параметров на модели безотказного оборудования и сравнить результаты.

Задача будет решена с помощью имитационного моделирования, которое обладает следующими преимуществами:

Применение имитационных моделей дает множество преимуществ по сравнению с выполнением экспериментов над реальной системой и использованием других методов.

• Стоимость. Допустим, компания уволила часть сотрудников, что в дальнейшем привело к снижению качества обслуживания и потери части клиентов. Принять обоснованное решение помогла бы имитационная модель, затраты на применение которой состоят лишь из цены программного обеспечения и стоимости консалтинговых услуг.
• Время. В реальности оценить эффективность, например, новой сети распространения продукции или измененной структуры склада можно лишь через месяцы или даже годы. Имитационная модель позволяет определить оптимальность таких изменений за считанные минуты, необходимые для проведения эксперимента.
• Повторяемость. Современная жизнь требует от организаций быстрой реакции на изменение ситуации на рынке. Например, прогноз объемов спроса продукции должен быть составлен в срок, и его изменения критичны. С помощью имитационной модели можно провести неограниченное количество экспериментов с разными параметрами, чтобы определить наилучший вариант.
• Точность. Традиционные расчетные математические методы требуют применения высокой степени абстракции и не учитывают важные детали. Имитационное моделирование позволяет описать структуру системы и её процессы в естественном виде, не прибегая к использованию формул и строгих математических зависимостей.
• Наглядность. Имитационная модель обладает возможностями визуализации процесса работы системы во времени, схематичного задания её структуры и выдачи результатов в графическом виде. Это позволяет наглядно представить полученное решение и донести заложенные в него идеи до клиента и коллег.
• Универсальность. Имитационное моделирование позволяет решать задачи из любых областей: производства, логистики, финансов, здравоохранения и многих других. В каждом случае модель имитирует, воспроизводит, реальную жизнь и позволяет проводить широкий набор экспериментов без влияния на реальные объекты.

---

Подходы к решению задачи

Основными методами имитационного моделирования являются: аналитический метод, метод статического моделирования и комбинированный метод (аналитико-статистический) метод.

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

Метод статистического моделирования первоначально развивался как метод статистических испытаний (Монте-Карло). Это - численный метод, состоящий в получении оценок вероятностных характеристик, совпадающих с решением аналитических задач (например, с решением уравнений и вычислением определенного интеграла). В последствии этот метод стал применяться для имитации процессов, происходящих в системах, внутри которых есть источник случайности или которые подвержены случайным воздействиям. Он получил название метода статистического моделирования.

Комбинированный метод (аналитико-статистический) позволяет объединить достоинства аналитического и статистического методов моделирования. Он применяется в случае разработки модели, состоящей из различных модулей, представляющих набор как статистических, так и аналитических моделей, которые взаимодействуют как единое целое. Причем в набор модулей могут входить не только модули соответствующие динамическим моделям, но и модули соответствующие статическим математическим моделям.

В математических моделях сложных объектов, представленных в виде систем массового обслуживания (СМО), фигурируют средства обслуживания, называемые обслуживающими аппаратами (ОА) или каналами, и обслуживаемые заявки, называемые транзактами.

Обоснование выбора системы имитационного моделирования

В качестве типичных представителей поколения систем имитационного моделирования 90-х гг. можно назвать следующие распространенные пакеты:

1) Process Charter-1.0.2 (генеральный разработчик и поставщик системы - компания “Scitor”, г. Менло-Парк, шт. Калифорния, США);

2) Powersim-2.01 (генеральный разработчик и поставщик вариантов системы - компания “Modell Data”AS, г. Берген, Норвегия);

---

3) Lthink-3.0.61 (генеральный разработчик и поставщик системы - компания “High Performance Systems”, г. Ганновер, шт. Нью-Хэмпшир, США);

4) Extend+BPR-3.1 (генеральный разработчик и поставщик различных вариантов системы - компания “Imagine That!”, г. Сан-Хосе, шт. Калифорния, США).

5) ReThink (генеральный разработчик и поставщик англоязычного варианта системы - фирма “Gensym”, г. Кембридж, шт. Массачусеттс, США);

6) Pilgrim-2.1 (генеральные соразработчики и поставщики системы - фирма “МегаТрон”, г. М., Россия; компания “Keisy”, г. Гаага, Нидерланды, компания “Enit”AS, г. Таллинн, Эстония);

Пакет Process Charter-1.0.2 имеет “интеллектуальное” средство построения блок-схем моделей. Он ориентирован в основном на дискретное моделирование. Имеет достоинства: удобный и простой в использовании механизм построения модели, самый дешевый из перечисленных продуктов, хорошо приспособлен для решения задач распределения ресурсов. Недостатки пакета: наименее мощный продукт, слабая поддержка моделирования непрерывных компонентов, недостаток средств для анализа чувствительности и построения диаграмм. Пакет Powersim-2.01 является хорошим средством создания непрерывных моделей. Имеет достоинства: множество встроенных функций, облегчающих построение моделей, многопользовательский режим для коллективной работы с моделью, средства обработки массивов для упрощения создания моделей со сходными компонентами. Недостатки пакета: сложная специальная система обозначений System Dynamics, ограниченная поддержка дискретного моделирования. Пакет Lthink-3.0.61 обеспечивает создание непрерывных и дискретных моделей. Имеет достоинства: встроенные блоки для облегчения создания различных видов моделей, поддержка авторского моделирования слабо подготовленными пользователями, подробная обучающая программа, развитые средства анализа чувствительности, поддержка множества форматов входных данных. Недостатки пакета: сложная система обозначений System Dynamics, поддержка малого числа функций по сравнению с Powersim-2.01. Пакет Extend+BPR-3.1 создан как средство анализа бизнес-процессов (сокращение BPR означает Business Process Reengineering), широко использовался NASA, поддерживает дискретное и непрерывное моделирование. Имеет достоинства: интуитивно понятная среда построения моделей с помощью блоков, множество встроенных блоков и функций для облегчения создания моделей, поддержка сторонними компаниями (особенно выпускающими приложения для “вертикальных” рынков), гибкие средства анализа чувствительности, средства создания дополнительных функций с помощью встроенного языка. Недостатки пакета: используется в полном объеме только на компьютерах типа Macintosh, имеет высокую стоимость. Пакет ReThink обладает свойствами Extend+BPR-3.1 и в отличие от перечисленных пакетов имеет хороший графический транслятор для создания моделей. Выполняется под управлением экспертной оболочки G2. Имеет достоинства: все положительные свойства Extend+BPR-3.1 и общее поле данных с экспертной системой реального времени, создаваемой средствами G2. Недостатки пакета: требует применения станций большой мощности, требует экспертную оболочку G2, которая далеко не всегда необходима (особенно при создании моделей бизнес-процессов в ускоренном масштабе времени), имеет слабую поддержку создания непрерывных компонент модели и высокую стоимость.

---

Попытки создания универсальной системы имитационного моделирования привели к появлению системы Pilgrim-2.1, которая стала распространяться в России, Нидерландах и странах Балтии в начале 90-х гг. Пакет Pilgrim обладает широким спектром возможностей имитации временной, пространственной и финансовой динамики моделируемых объектов. С его помощью можно создавать дискретно-непрерывные модели. Разрабатываемые модели имеют свойство коллективного управления процессом моделирования. В текст модели можно вставлять любые блоки с помощью стандартного языка C. Различные версии этой системы работают на DEC-совместимых и IBM-совместимых компьютерах, оснащенных Unix, MS DOS (и Windows). Pilgrim обладает свойством мобильности, т.е. переноса на любую другую платформу при наличии ОС Unix и компилятора C++. Модели в системe Pilgrim компилируются и поэтому имеют высокое быстродействие, что очень важно для отработки управленческих решений и адаптивного выбора вариантов в сверхускоренном масштабе времени. Полученный после компиляции объектный код можно встраивать в разрабатываемые программные комплексы, так как при эксплуатации моделей инструментальные средства пакета Pilgrim не используются. Стоимость пакета существенно ниже суммарной стоимости ReThink и G2. Недостаток пакета: отсутствие такого мощного графического транслятора, какой есть в пакете ReThink (однако такой графический транслятор не всегда бывает необходим).

В качестве системы имитационного моделирования была выбрана система Piligrim, в связи с такими его достоинствами, как возможность имитации финансовой динамики объектов и быстродействие.

Имитационная модель

Граф модели Piligrim

Средством построения моделей в системах типа PILGRIM является специфический конструктор, представляющий собой набор узлов различного назначения. На схеме имитационной модели узел есть графическое изображение некоторого типового процесса, или можно сказать, что внутри узла работает процесс. При этом элементарный процесс может быть, вообще говоря, представлен несколькими узлами имитационной модели, если этого требует логика его работы.

Таким образом, схема имитационной модели представляет собой направленный граф, вершины которого представляют собой компоненты элементарных процессов, а дуги определяют направление потоков заявок.

В системе имитационного моделирования PILGRIM граф модели описывает взаимодействия дискретных и непрерывных компонент имитационной модели и представляет собой стохастическую сеть. Каждый узел графа – это ветвь моделирующей программы.

---

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

Одновременность моделирования всех компонент системы имитируется с помощью единой службы модельного времени.

Основной динамической единицей любой модели, работающей под управлением имитатора, является транзакт.

Транзакт – это формальный запрос на какое-либо обслуживание, например сигнал о загрязнении какого-то пункта местности, телеграмма, поступающая на узел коммутации сообщений, проба загрязненной почвы, ожидающая соответствующего анализа и т.д. Пути «миграции» транзактов по графу определяются логикой функционирования дискретных компонентов модели.

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

Например, предприятие, на котором происходят аварийные выбросы загрязняющих веществ, - это узел, в котором один транзакт порождает случайное число других транзактов, рассеиваемых по координатной сетке местности в случайные моменты модельного времени. Другой пример узла - это передвижная лаборатория, в которой есть один транзакт, представляющий собой распоряжение об обследовании местности, и этот транзакт должен собирать другие - сигналы о возможных недопустимых загрязнениях природной среды. Третий пример – телеграмма, поступившая в центр коммутации сообщений и ожидающая в памяти связной ЭВМ дальнейшей отправки; в данном примере узел - это связная ЭВМ.

Нумерация узлов графа производится разработчиком модели. Следует учесть, что транзакт всегда принадлежит одному из узлов графа и, независимо от этого, относится к определенной точке пространства или местности, координаты которой могут изменяться.

Выход из узла одного транзакта называется событием. Предположим, что в момент времени t произошло какое-то событие, а в момент времени t+d должно произойти ближайшее следующее, но не обязательно в этом же узле. Тогда очевидно, что передать управление непрерывным компонентам модели можно только на время [t,t+d].

Текущее значение модельного таймера хранится в системной переменной timer. Значение модельного таймера доступно для чтения в процессе моделирования.

Вид обслуживания транзакта определяется типом узла.

---