Принципы построения имитационных моделирующих

Алгоритмов

Имитационная модель является, как правило, динамической моделью, отражающей последовательность протекания элементарных процессов и взаимодействие отдельных элементов по оси «модельного» времени t^M.

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

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

Реализация этого правила может проводиться различными способами.

1. Повременное моделирование с детерминированным шагом («принцип ») при повременном моделировании с детерминированным шагом алгоритм одновременно просматривает все элементы системы через достаточно малые промежутки времени (шаг моделирования) и анализирует все возможные взаимодействия между элементами. Для этого определяется минимальный интервал времени, в течении которого не может измениться состояние ни одного из элементов системы; детализированная величина принимается за шаг моделирования.

Способ моделирования с детерминированным шагом состоит из совокупности многократно повторяющихся действий:

на i-м шаге в момент t_i просматриваются все элементы объекта и определяется, какие из них изменяют свое состояние в этот момент;

моделируются все те изменения состояния, которые происходят в момент t_i;

производится переход к (i +1) –му шагу, который выполняется в момент .

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

2. Современное моделирование со случайным шагом (моделирование по «особым» состояниям). При рассмотрении большинства сложных систем можно обнаружить два типа состояний системы: 1) обычные (неособые) состояния, в которых система находится большую част времени, и 2) особые состояния, характерные для системы в некоторые моменты времени, совпадающие с моментами поступления в систему воздействий из окружения, выхода одной из характеристик системы на границу области существования и т.д. Например, станок работает – обычное состояние, станок сломан – особое состояние. Любое скачкообразное изменение состояния объекта может рассматриваться при моделировании как переход в новое «особое» состояние.

Повременное моделирование со случайным шагом (от события к событию) заключается в том, что моделирующий алгоритм осматривает модели элементов системы только в такие моменты времени, когда состояние исследуемой системы меняется. В те моменты времени, когда модель какого либо элемента системы должна менять состояние, происходит осмотр модели именно этого элемента и с учетом взаимосвязей элементов корректируется состояние модели всей системы. Длительность шага – величина случайная. Этот способ отличается от «принципа » тем, что включает процедуру определения момента времени, соответствующего ближайшему особому состоянию по известным характеристикам предыдущих состояний.

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

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

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