Имитационное моделирование (ИМ) является наиболее мощным, а иногда единственным методом исследования динамического поведения сложных систем. Имитационная модель воспроизводит поведение моделируемой системы во времени. В ИМ имеются три понятия времени: физическое, модельное и процессорное. Физи- ческое время относится к моделируемой системе. Модельное время — воспроизведение физического времени в модели. Процессорным временем в этой статье называется время выполнения имитационной модели на компьютере
Для описания динамики моделируемых процессов в имитационном моделировании реализованмеханизм задания модельного времени.Этот механизм встроен в управляющие программы системы моделирования.
Если бы на ЭВМ имитировалось поведение одной компоненты системы, то выполнение действий в имитационной модели можно было бы осуществить последовательно, по пересчету временной координаты.
Чтобы обеспечить имитацию параллельных событий реальной системы вводят некоторую глобальную переменную (обеспечивающую синхронизацию всех событий в системе)t0, которую называютмодельным (или системным) временем.
Существуют два основных способа измененияt0:
- пошаговый(применяются фиксированные интервалы изменения модельного времени);
- по-событийный(применяются переменные интервалы изменения модельного времени, при этом величина шага измеряется интервалом до следующего события).
В случаепошагового методапродвижение времени происходит с минимально возможной постоянной длиной шага(принципt).Эти алгоритмы не очень эффективны с точки зрения использования машинного времени на их реализацию.
Способ фиксированного шага применяется в случаях:
- если закон изменения от времени описывается интегро-дифференциальными уравнениями. Характерный пример: решение интегро-дифференциальных уравнений численным методом. В подобных методах шаг моделирования равен шагу интегрирования. Динамика модели является дискретным приближением реальных непрерывных процессов;
- когда события распределены равномерно и можно подобрать шаг изменения временной координаты;
- когда сложно предсказать появление определенных событий;
- когда событий очень много и они появляются группами.
В остальных случаях применяется по-событийный метод, например, когда события распределены неравномерно на временной оси и появляются через значительные временные интервалы.
По-событийный метод (принцип “особых состояний”).В нем координаты времени меняются тогда, когда изменяется состояние системы. В по-событийных методах длина шага временного сдвига максимально возможная. Модельное время с текущего момента изменяется до ближайшего момента наступления следующего события. Применение по-событийного метода предпочтительнее в том случае, если частота наступления событий невелика. Тогда большая длина шага позволит ускорить ход модельного времени. На практике по-событийный метод получил наибольшее распространение.
Таким образом, вследствие последовательного характера обработки информации в ЭВМ, параллельные процессы, происходящие в модели, преобразуются с помощью рассмотренного механизма в последовательные. Такой способ представления носит название квазипараллельного процесса.
Простейшая классификация на основные виды имитационных моделей связана с применением двух этих способов продвижения модельного времени. Различают имитационные модели:
- непрерывные;
- дискретные;
- непрерывно-дискретные.
Внепрерывных имитационных моделяхпеременные изменяются непрерывно, состояние моделируемой системы меняется как непрерывная функция времени, и, как правило, это изменение описывается системами дифференциальных уравнений. Соответственно продвижение модельного времени зависит от численных методов решения дифференциальных уравнений.
Вдискретных имитационных моделяхпеременные изменяются дискретно в определенные моменты имитационного времени (наступления событий). Динамика дискретных моделей представляет собой процесс перехода от момента наступления очередного события к моменту наступления следующего события.
Поскольку в реальных системах непрерывные и дискретные процессы часто невозможно разделить, были разработанынепрерывно-дискретные модели, в которых совмещаются механизмы продвижения времени, характерные для этих двух процессов.
