The study of the assembly of poisson flows.pdf В работе строится модель сборки независимых пуассоновских потоков, под которой понимается соединение заявок с одинаковыми номерами в потоках. Процесс сборки встречается в компьютерных сетях [1, 2], системах изготовления изделий [3] и т.д. Однако исследование потока заявок, выходящих после сборки, затрудняется сложными аналитическими вычислениями, поскольку не определена удобная математическая модель этого потока. В настоящей работе строится математическая модель процесса сборки. Эта модель основана на дискретном марковском процессе, описывающем число заявок в исходных потоках на полуинтервалах времени [0,t). Скачки определенного типа у этого марковского процесса можно рассматривать как точки потока сборки. Такая модель возникает при изучении выходных потоков в моделях массового обслуживания с показательными распределениями времени обслуживания и пуассоновским входным потоком. В теореме Бурке доказано, что стационарный выходной поток в подобной системе обслуживания совпадает по распределению с входным потоком. В работе [5] дается обобщение теоремы Бурке на основе модели пуассоновского потока, предложенной А.Я. Хинчиным [6]. В настоящей работе доказывается, что сборка независимых пуассоновских потоков является нестационарным пуассоновским потоком, что существенно затрудняет исследование потока, получающегося в результате сборки. Однако с помощью вероятностных неравенств удается доказать, что интенсивность этого потока при устремлении времени t к бесконечности стремится к меньшей из интенсивностей исходных пуассоновских потоков. Получена оценка скорости этой сходимости. В случае двух потоков с одинаковой интенсивностью степенная скорость сходимости оценивается с помощью известной асимптотики функции Инфельда. В случае r > 2 потоков с одинаковой интенсивностью строятся верхние степенные оценки скорости сходимости, поскольку асимптотики получающихся в результате гипергеометрических рядов использовать не удалось. Однако если у исходных потоков интенсивности разные, то интенсивность потока сборки стремится к предельной гораздо быстрее. 1. Сборка пуассоновских потоков Пусть имеется r независимых пуассоновских потоков с интенсивностью λ. Представим эти потоки в виде T^ = {0≤ tj 1 ≤ tj 2 ≤..}, i = 1, ^, г. Назовем поток ®r=1 Т, = {0 ≤ max(-1,1,., -г,1) ≤ max(t1,2,., -г^') ≤ ••} сборкой потоков T1,.,Tr . 51 Г.Ш. Цициашвили, М.А. Осипова Определим следующие множества индексов: J^ = {1,..,r} /{i}, i = 1, ^, r. Обозначим r-мерный вектор, состоящий из r -1 нулей и единицы на і-м месте, 1. Рассмотрим марковский процесс (n1(t ),^, nr (t)), t ≥ 0, где n^ (t) - число точек потока T^ на полуинтервале [0, t), k = 1^.., r. Скачок этого процесса из состояния (n1,^, nh ), n^ 2 справедливо соотношение (t) =| λ(t) -λ I= O(tr-1)/2), t →∞, 1/2. Иными словами, с ростом числа собираемых потоков r величина (t) убывает по r достаточно быстро. ∞ Замечание 1. Ряд ∑(ak / к!)r, исследуемый в теореме 2, является обобщенным гипергеометри-к=0 ческим рядом. Однако воспользоваться известными асимптотическими формулами для этого ряда не удается [8. Ch. 16. Formula (16.11.5)]. Поэтому для него в теореме 3 приходится строить верхние оценки. е ~ aad dde~d^J2πa У 3. Сборка потоков с разными интенсивностями (9) (10) Рассмотрим теперь случай, когда имеется два пуассоновских потока T, T с интенсивностями λ λ, λ.^, λ < λ2. Полагая d = λ21, cd = λ1t, 0 < c = - < 1, исследуем функцию λ2 P{n, (t) ≥ -у,)) = ∑e - ‘ ≈-

Скачать электронную версию публикации