CC BY
21
СИСТЕМЫ И
ПРОЦЕССЫ
УПРАВЛЕНИЯ
УДК 519.21
ФОКУСИРОВКА РАСПРЕДЕЛЕНИЙ МАРКОВСКИХ ПРОЦЕССОВ В ШИРОКОМ СМЫСЛЕ
БАСМАНОВ А.Е., ГЕРАСИН С.Н., ДИКАРЕВ В.А., РОДЗИНСКИЙ А.А.
Исследуются марковские процессы в широком смысле, имеющие континуальное множество состояний. Находятся условия, при выполнении которых имеет место фокусировка неоднородного марковского процесса на заданное распределение, либо стабилизация в его малой окрестности независимо от начального распределения.
Марковским процессом в широком смысле будем называть такой случайный процесс ДД), для которого множество элементарных исходов q с Rn , а множество событий состоит из всех борелевских множеств {B}, в cfl . Предполагается, что на множестве {B} задана вероятностная мера р и условная вероятность удовлетворяет соотношению
P(ад є а/ад є в,ад) є вь...,ад) є Bn ) =
= P(t) є A/|(s) є в), sn <... < s1 < s < t.
Таким образом, рассматриваемый нами процесс является обобщением неоднородного марковского процесса на случай континуального множества состояний. Ниже при изучении процессов фокусировки и ст -фокусировки [1] будем, в основном, использовать счетную систему событий {Bj} , всюду плотную в множестве всех событий {B}. Это позволит свести анализ процесса с континуальным множеством состояний к изучению марковского процесса со счетным числом состояний. Основным объектом анализа будет стохастическая матрица
Pst = ||Pst(Bi,Bj)|| , i, j =1, 2,.... Здесь Pst(Bi,Bj) есть условная вероятность того, что исследуемая система в момент времени t попадает в состояние B j, если в
момент s она находилась в состоянии Bi. Эти вероятности легко вычисляются, если задано марковское семейство стохастических ядер {PSt(x,B)},
s < t, (s,t) є I х I. Здесь I — интервал (полуинтервал, отрезок) временной прямой. Далее существенно используется техника получения некоторых неравенств, сходная с [2].
Сформулируем основной результат работы. Пусть
матрица ||Pst(Bi,Bj)||, s0 < s < t < t0 удовлетворяет условиям:
1. Существуют такие последовательность индексов {jk }k=1 и монотонная последовательность {sk }k=1, sk 110 , sk < sk+1, k = 1,2,..., для которых
TO
Z8(sk,sk+1) = TO, (1)
k=1
где S(sk,sk +1 ) = inf Psk,sk+1 (Bi,B jk ) > 0 .
2. Собственный вектор p(t) матрицы PsTt, отвечающий собственному числу, равному единице, имеет
предел при 1110 : lim p(t) = п .
t lt0
Тогда для любого начального распределения вероятностей п0 , заданного в s є^0Д0),
limp(s,t) = П . (2)
t B0
В описанной ситуации t0 называют точкой фокусировки [1]. Условие (1) эквивалентно существованию неинтегрируемых особенностей в точке t0 всех или некоторых элементов инфинитезимальной матрицы ЛД). Если же ряд (1) сходится, но сумма его достаточно велика, либо последовательность собственных векторов (2) не имеет предела, но ее верхний и нижний пределы отличаются незначительно, при 1110 компоненты вектора p(s,t) будут локализоваться в s-окрестностях компонент некоторого вектора П. В такой ситуации t0 называется точкой s-фокусировки [1].
Приводимое ниже доказательство равенства (2) с некоторыми изменениями проводится по той же схеме, что и в [1]. Эти изменения связаны с тем, что
теперь число состояний {д є Bi } бесконечно (счетно), в то время как доказательство, приведенное в [1], годится лишь для конечного числа состояний. Покажем, что предложенный в [1] подход можно изменить так, чтобы он стал пригоден и для счетного числа состояний.
В [1] исследование неоднородного марковского процесса с инфинитезимальной матрицей ЛД) было сведено к исследованию процесса с кусочно-постоянной инфинитезимальной матрицей ЛД) того же
порядка, что ЛД). Такая аппроксимация исходного процесса процессом с надлежащим образом выбранной матрицей ЛД) позволила при доказательстве (2) использовать анализ, разработанный для однородных процессов. Кроме того, она давала возможность с любой степенью точности описать эволюцию исходного неоднородного процесса процессом с матрицей ЛД). Указанная схема позволила доказать следующее утверждение. Каковы бы ни были є > 0 и начальное распределение п0 , заданное в любой точке s є^0Д0), найдется такое 5 = б(є, П0), что для t є (s0-S,s0) и любого j |pj(s,t)-Пj| <є . Здесь пj —
компоненты вектора П из (2). Модифицируем эту схему для процесса со счетным числом состояний.
РИ, 1999, № 3
15
Считаем, что инфинитезимальная матрица ЛД) исследуемого процесса |(t) непрерывна на [s0,t0) и
что для всех s таких, что s0 < s < t < t0 , ее диагональные элементы удовлетворяют условию |X;i(s)| < c(t) <да.
В этом случае исходный процесс |(t) с матрицей ЛД), содержащей бесконечное число строк и столбцов, на любом отрезке [s0,t], t < t0 можно с любой степенью точности аппроксимировать процессом |(t) с конечным числом состояний n. Инфинитезимальная матрица ЛД) этого процесса есть левый верхний матричный блок матрицы ЛД) , подвергнутый некоторой коррекции. Эта коррекция состоит в замене XИД) величиной XИД) = X^(t) +Д;(t), где
ТО
ДДИ = Е Xij(t), i = .
j=n +1
Известно, что такая аппроксимация возможна при соответствующем выборе n для любого однородного процесса с инфинитезимальной матрицей ЛД), являющейся значением матрицы-функции ЛД) при любом фиксированном s e[s0,t]c[s0,t0). Отсюда нетрудно получить, что существует n такое, что указанная выше аппроксимация исходного процесса |(t) может быть реализована левым верхним диагональным блоком ЛД) матрицы ЛД), имеющим для любого s e[s0,t] одну и ту же размерность n х n .
Очевидно, что выбор n, определяющий размерность матрицы Л(s), зависит от точности аппроксимации исходного процесса с матрицей ЛД) процессом с матрицей ЛД), содержащим n состояний.
Понятно, что с ростом n улучшается точность аппроксимации и что существует такая последовательность чисел ni,n2,...nm,... (nm ^х, m ),
УДК 681.5.015(07)
ДИНАМИЧЕСКОЕ МОДЕЛИРОВАНИЕ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ ВИЗУАЛЬНЫМИ СРЕДСТВАМИ
КУЗЬМЕНКО В.М., ГНЕННЫЙ А.М.___________
Описывается применение идеографического подхода к языку GPSS, что позволило разработать систему визуального моделирования систем массового обслуживания Visual QSDM. Использование данного программного комплекса позволяет проводить моделирование достаточно сложных систем массового обслуживания без глубокого знания языков моделирования.
Решение смежных задач автоматизации исследования, управления и проектирования больших систем в настоящее время не может выполняться без использования методов имитационного моделирования. Для автоматизации динамического моделирова-
что аппроксимирующие процессы с числом состояний n1,n2,...,nm,..., построенные по тому же правилу, что и процесс £(t), при неограниченном росте nm будут давать погрешность в аппроксимации, стремящуюся к нулю. Поскольку для каждого из аппроксимирующих процессов имеет место соотношение (2) [1], то оно же будет иметь место и для предельного процесса |(t).
Отметим, что фокусировка и стабилизация марковского процесса могут быть реализованы за сколь угодно малый промежуток времени путем сообщения инфинитезимальной матрице ЛД) сильных возмущений, выбранных специальным образом.
Литература: 1. Дикарев В.А. Точки фокусировки и теоремы о существовании предельных вероятностей. Харьков, 1995, 9 с. Деп. в ГНТБ Украины 28.02.95 № 526-Ук95. 2. Розанов Ю.А. Теория вероятностей, случайные процессы и математическая статистика: Учебник для вузов. М.: Наука, 1985. 320 с.
Поступила в редколлегию 16.09.99 Рецензент: д-р техн. наук Гиль Н.И.
Басманов Алексей Евгеньевич, аспирант кафедры ПМ ХТУРЭ. Научная специальность: вычислительная математика. Научные интересы: марковские процессы и их приложения. Увлечения: шахматы. Адрес: Украина, 310128, Харьков, Садовый проезд 5, кв.10, тел. 97-23-77.
Герасин Сергей Николаевич, канд. физ.-мат. наук, доцент кафедры ВМ ХТУРЭ. Научные интересы: стохастические процессы. Увлечения: лыжный спорт. Адрес: Украина, 310166, Харьков, пр. Ленина 14, тел. (0572)40-93-72, (0572)72-12-38; e-mail: hm@kture.kharkov.ua.
Дикарев Вадим Анатольевич, д-р физ.-мат. наук, профессор кафедры ПМ ХТУРЭ. Научные интересы: теория вероятностей. Увлечения: туризм. Адрес: Украина, 310166, Харьков, пр. Ленина 14, тел. (0572)40-93-72
Родзинский Анатолий Анатольевич, аспирант кафедры ПМ ХТУРЭ. Научная специальность: математическое моделирование и вычислительные методы. Научные интересы: математические модели в технике и экономике. Увлечения: компьютеры. Адрес: Украина, 310166, Харьков, пр. Ленина 14, тел. (0572)40-93-72.
ния разработаны и используются специализированные пакеты программ, работа которых базируется на интерпретации программ-моделей, записанных посредством специального проблемно-ориентированного языка моделирования: GPSS, СЛАМ-2 и др. [1,2]. Однако создание программ-моделей требует взаимодействия специалистов различных областей: программистов, предметников, постановщиков и др. В связи с развитием самих моделируемых систем, необходимостью рассмотрения только отдельных аспектов этих систем программы-модели должны также изменяться, что требует постоянного взаимодействия этих типов специалистов. Альтернативой традиционной технологии создания имитационных моделей является идеографический подход [3], который позволяет создавать и модифицировать модель специалисту предметной области — непрограммисту.
Основой идеографического подхода служит использование идеографических элементов Idi (i= 1,..,N), которые, с одной стороны, являются визуальным изображением объектов моделируемой системы, а с другой — модулем, адекватно моделирующим этот объект. Идеографическая сеть Is, которая моделирует
16
РИ, 1999, № 3
