Математические модели систем

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

При построении математических моделей процессов функционирования систем можно выделить следующие основные подходы: непрерывно-детерминированный, дискретно-детерминированный, дискретно-стохастический, непрерывно-стохастический, сетевой, обобщенный (или универсальный). Соответственно этим подходам были разработаны типовые математические схемы создания моделей [10].

1. Непрерывно-детерминированный подход использует в качестве математических моделей системы дифференциальных уравнений

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

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

2. Дискретно-детерминированный подход реализуется с помощью математического аппарата теории автоматов. Система представляется в виде автомата, перерабатывающего дискретную информацию и меняющего свои внутренние состояния лишь в допустимые моменты времени. Математической моделью при этом подходе является конечный автомат, характеризующийся конечным множеством X входных сигналов, конечным множеством Y выходных сигналов, конечным множеством Z внутренних состояний, начальным состоянием Z₀; функцией переходов g(z,x); функцией выходов v(z,x). Автомат функционирует в дискретном автоматном времени, моментами которого являются такты (примыкающие друг к другу равные интервалы времени, каждому из которых соответствуют постоянные значения входного и выходного сигналов и внутренние состояния).

Подобный подход используется для описания таких объектов как элементы и узлы ЭВМ, устройства контроля регулирования, и управления, коммутационные устройства (например, телефонные станции).

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

Исследование автомата может проводиться как аналитическими, так и имитационными (например, методом статистического моделирования) методами. Этот подход применим для изучения эксплуатационных характеристик производственных объектов (например, надежности, ремонтопригодности, отказоустойчивости и т.п.).

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

Различают потоки однородных и неоднородных событий. Поток событий называется однородным, если он характеризуется только моментами поступления этих событий и задается последовательностью

{t_n }={0<= t₁<= t₂... <= t_n <=... }, где t_n - момент наступления n -го события.

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

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

Поток событий называется ординарным, если вероятность того, что на малый интервал времени, примыкающий к моменту времени t, попадает больше одного события P_>1(t, t + Δ t) пренебрежимо мала по сравнению с вероятностью того, что на этот же интервал времени попадает ровно одно событие P₁(t, t +Δ t). Для любого интервала верно следующее:

P₀(t, t +Δ t) + P₁(t, t +Δ t) + P_>1(t, t +Δ t) = 1

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

P₀(t, t +Δ t) + P₁(t, t +Δ t) =1, P_>1(t, t +Δ t) = 0

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

Рассмотрим на оси времени ординарный поток событий и найдем среднее число событий, наступающих на интервале времени Δt:

0·P₀(t, t +Δ t) +1·P₁(t, t +Δ t) = P₁(t, t +Δ t)

Тогда среднее число событий ординарного потока в единицу времени (интенсивность потока):

 λ = λ(t)

Для стационарного потока интенсивность постоянна.

Процесс функционирования устройства обслуживания можно представить как процесс изменения состояний его элементов во времени z(t). Переход в новое состояние для устройства означает изменение количества заявок, которые в нем находятся. Если каналы различных устройств обслуживания соединены параллельно, то имеет место многоканальное обслуживание (многоканальное Q-схема), а если устройства и их параллельные композиции соединены последовательно, то имеет место многофазное обслуживание (многофазная Q-схема). В зависимости от емкости накопителя разделяют системы с потерями (емкость накопителя равна нулю), системы с ожиданием (емкость накопителя неограниченна) и системы смешанного типа (емкость накопителя ограничена).

Неоднородность заявок, отражающая процесс в той или иной реальной системе, учитывается с помощью введения классов приоритетов. Различают статические и динамические приоритеты. Статические приоритеты назначаются заранее и не зависят от состояний Q-схемы. Динамические приоритеты возникают при моделировании в зависимости от возникающих ситуаций. Исходя из правил выбора заявок из накопителя на обслуживание каналом, можно выделить относительные и абсолютные приоритеты. Относительный приоритет означает, что заявка с более высоким приоритетом, поступившая в накопитель, ожидает окончания обслуживания предшествующей заявки каналом и только после этого занимает канал. Абсолютный приоритет означает, что заявка с более высоким приоритетом, поступившая в накопитель, прерывает обслуживание каналом заявки с более низким приоритетом и сама занимает канал.

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

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