Моделирующий алгоритм с детерминированным шагом

Интервал времени (0, T), в течение которого рассматривается работа системы, разбивается на интервалы фиксированной длины . В пределах каждого интервала (шага) последовательно вычисляются приращения всех процессов, протекающих в модели, и производится, если это нужно, изменение состояния отдельных агрегатов (элементов модели). При достаточно малых в точках j (j= 0, 1,...) получается хорошее приближение моделируемых таким образом процессов к процессам в «идеальной» непрерывной модели.

При таком «равномерном обзоре» точность модели обеспечивается большими затратами машинного времени. Действительно, пусть выбрана следующая величина кванта системного времени (т.е. времени, в котором функционирует исследуемый объект) : T / = n. Допустим, что в среднем для реализации программы алгоритма, имитирующего работу объекта на интервале , требуется машинное время Q единиц, а на интервале (0, Т) — время nQ. Можно считать, что величина Q, определяемая типом ЭВМ, особенностями написания программы и другими факторами, не зависит от . Тогда с увеличением точности ( уменьшается) увеличиваются величины n и nQ, это делает модель нереализуемой.

Блоки 4, 5, 6 алгоритма (см. рис.1) работают в случае детерминированного шага следующим образом:

1) вводятся данные о состоянии агрегатов при t = 0;

2) изменяется текущее время: t1 = ;

3) некоторые агрегаты за получают внешние сигналы. При выдаче ими выходных сигналов появляется возможность рассмотреть еще несколько агрегатов, получивших эти сигналы в качестве внешних, и т.д.;

4) агрегаты, не получившие к моменту внешних сигналов, изменяют свои состояния в соответствии с оператором U. Для них необходима проверка принадлежности состояний подмножеству особых состояний и наличия на интервале моментов выдачи выходных сигналов. В связи с этим может появиться новая совокупность агрегатов, получивших в интервале внешние сигналы. Моделирование продолжается до тех пор, пока состояние системы не будет зафиксировано для момента по всем агрегатам. Если система циклическая, то одного просмотра всех элементов на данном шаге недостаточно. На каждом шаге такие элементы просматривают дважды;