Тихоненко, О. М. Моделирование процессов и систем обработки информации: сборник задач / О.М. Тихоненко. – Мн.: БГУ, 2007. – 48 с. ISBN В сборнике представлены задачи по курсу «Моделирование процессов и систем обработки информации». Его целью является, с одной стороны, закрепление теоретического материала, изложенного в курсе лекций, и, с другой стороны, приобретение навыков самостоятельного исследования информационных систем стохастического характера. Структура сборника и его терминология соответствуют пособию Тихоненко О.М. Моделирование процессов и систем обработки информации: курс лекций. Мн.: БГУ, 2007. Предназначено для студентов факультета радиофизики и электроники. 1. ПРЕДИСЛОВИЕ Сборник задач предназначен для студентов факультета радиофизики и электроники Белорусского Государственного Университета. Его могут также использовать студенты других математических и технических специальностей при условии достаточной математической подготовки. Целью книги является выработка у студента самостоятельных навыков анализа и системного проектирования реальных информационных систем. Структура практикума, его терминология, обозначения и встречающиеся в тексте сокращения соответствуют пособию [1] (Тихоненко О.М. Моделирование процессов и систем обработки информации: курс лекций. Минск: БГУ, 2007). Задачи расчетного характера снабжены ответами. Для некоторых важных и сложных задач приводятся подробные решения. В тексте имеются ссылки на формулы и разделы пособия [1]. Некоторые задачи сборника заимствованы из книг [2, 3]. 2. ЭЛЕМЕНТЫ ТЕОРИИ ВЕРОЯТНОСТЕЙ ТЕОРИЯ ВХОДНОГО ПОТОКА Элементы теории, знакомство с которыми необходимо для решения задач данного раздела, изложены в [1, раздел 2]. ЗАДАЧИ 2.1. Даны две независимые неотрицательные случайные величины (СВ) и . Пусть A(t ) – функция распределения (ФР) СВ , а СВ имеет экспоненциальное распределение с параметром . Найти вероятность P{ } . Чему будет равно P{ } в том случае, если СВ распределена экспоненциально с параметром a? 2.2. СВ имеет экспоненциальное распределение, а неотрицательная СВ не зависит от . Доказать, что в этом случае имеет место свойство отсутствия памяти у экспоненциального распределения: P{ x | } P{ x} . 2.3. Показать, что для простейшего потока вероятность того, что в интервале времени длительности t (t 0) в систему поступит по 3 крайней мере одно требование, равна вероятности поступления за это время в точности одного требования. 2.4. Доказать, что простейший поток (t ) , образуемый суперпозицией (наложением) n независимых простейших потоков 1 (t ), ..., n (t ) с параметрами a1 , ..., a n соответственно, является простейшим с параметром a a1 ... a n . 2.5. Пусть (t ) – простейший поток с параметром a. Каждое его событие не зависимо от других отнесем к i-му подпотоку с вероятностью n pi ( i 1, n; pi 1 ). Доказать, что i-й подпоток является простейшим с i 1 параметром api. 2.6. Пусть (t ) – простейший поток с параметром a, – неотрицательная СВ, которая не зависит от (t ) , а (q) – ее преобразование Лапласа-Стилтьеса (ПЛС). Доказать, что производящая функция (ПФ) Ez ( ) СВ () имеет вид Ez () (a a z) . 2.7. Пусть (t ) – стационарный поток без последействия, характеризуемый параметром а и ПФ G(z ) числа требований в поступающей на вход системы группе. Пусть – неотрицательная СВ, которая не зависит от (t ) , а (q) – ее ПЛС. Доказать, что ПФ Ez ( ) СВ () имеет вид Ez () (a aG( z )) . 2.8. Пусть (t ) – стационарный поток без последействия, характеризуемый параметром а и вероятностью g k того, что в прибывающей в систему группе находится k требований, k 1, 2, .... Пусть G(z ) – ПФ числа требований в группе. Найти вероятность того, что произвольное требование потока находится в группе, содержащей k требований. 2.9. Предположим, что первые k 1 требований простейшего потока с параметром a удаляются из этого потока, k-е требование остается в нем, далее очередные k 1 требований вновь удаляются из потока и т.д. Доказать, что поток требований, оставшихся в исходном потоке (он называется потоком Эрланга k-го порядка с параметром a), является рекуррентным, определяемым следующей ФР промежутков времени между соседними моментами поступления требований: k 1 (at) i x k 1 x at . A(t ) e dx 1 e ( k 1 )! i ! i 0 0 at 4 Найти ПЛС (q) ФР A(t ) и математическое ожидание 1 промежутка времени между соседними моментами поступления требований полученного потока. 2.10. Пусть (t ) – число событий простейшего потока, появившихся в интервале времени [0; t ) . Доказать, что при t T , k n имеет место nk k n t t равенство P{(t ) k | (T ) n} 1 . k T T 2.11. Частица, попавшая в счетчик Гейгера, вызывает разряд, длящийся const единиц времени. Частицы, попадающие в счетчик во время такого разряда, не будут им зарегистрированы. Предположим, что число частиц, попадающих в счетчик в течение времени t, подчиняется распределению Пуассона с параметром at. Найти вероятность того, что в течение времени t 0 счетчик зарегистрирует все попавшие в него частицы. 2.12. Определить ФР A1 (t ) первого интервала стационарного рекуррентного с запаздыванием потока в том случае, если а) все остальные интервалы потока одинаковы и равны t 0 ; б) остальные интервалы распределены по закону Эрланга порядка k с параметром а. 2.13. Доказать, что рекуррентный с запаздыванием стационарный поток является рекуррентным тогда и только тогда, когда он является простейшим. 2.14. Найти вероятность Pk (t ) P{(t ) k} поступления k требований в интервале времени [0; t ) для потока Эрланга порядка 2 с параметром a, k 0, 1, .... 2.15. Предположим, что каждый из n независимых источников в промежутке времени [0; T ) , T 0 , генерирует в точности один импульс, причем для каждого из источников вероятность появления импульса в произвольном временном интервале длительности , принадлежащем интервалу [0; T ) , равно T . Суперпозиция n таких потоков (t ) (каждый поток содержит только одно событие) называется потоком Бернулли. Доказать, что для произвольных 0 t T , 0 k n выполняется раk nk n t t венство Pk (t ) P{(t ) k} 1 . k T T 2.16. Определить ФР СВ k ( k 1, n ), где k – моменты появления событий потока Бернулли (см. задачу 2.15), упорядоченные так, что 0 1 ... n T . Доказать также, что случайный момент появления 5 произвольного (не зависимо от номера) события этого потока подчиняется равномерному распределению на промежутке [0; T ) . Отсюда, в частности, следует, что произвольные (не зависимо от нумерации) моменты появления событий простейшего потока распределены равномерно в интервале [0; T ) при условии, что в этом интервале наступило n событий этого потока, n 1, 2, ... (см. задачу 2.10). 2.17. Пусть – интенсивность произвольного стационарного потока, а величина a – его параметр. Доказать, что a . 2.18. Пусть в момент времени t одновременно работает n независимых идентичных приборов, характеризуемых экспоненциальным с параметром временем обслуживания. Показать, что вероятность того, что до момента t t не закончится обслуживание ни одного из обслуживаемых в момент t требований, равна 1 nt o(t ) ; вероятность того, что в этом промежутке будет обслужено в точности одно требование, равна nt o(t ) ; вероятность того, что в этом же промежутке будет обслужено не менее двух требований, равна o(t ) . 2.19. Показать, что ФР эрланговского времени обслуживания k-го порядка стремится к ФР вырожденной СВ (т.е. дисперсия времени обслуживания 0 ), если k таким образом, что математическое ожидание времени обслуживания остается постоянным. 2.20. Пусть A(t ) – условная ФР времени обслуживания требования при условии, что прибор занят его обслуживанием, B(t ) – безусловная ФР времени обслуживания требования ( B(t ) P{ t}). Показать, что 1 dA(t ) t dB(t ) , где 1 t dB(t ) . Найти моменты ФР A(t ) . Вычислить 1 0 A(t ) для случая экспоненциального распределения СВ , а также в случае детерминированного обслуживания. 2.21. В произвольный момент времени имеет место обслуживание требования. Пусть B(t ) – ФР времени обслуживания. Показать, что ФР длительности промежутка времени от момента до момента окончания обслуживания требования имеет вид F (t ) 11 t [1 B(u)] du , где 1 0 t dB(t ) . Вычислить моменты этого распределения. Рассмотреть слу0 чаи B(t ) 1 e t и t 0 const . 6 ОТВЕТЫ И РЕШЕНИЯ 2.1. P{ } e t dA(t ) () , где (q) – ПЛС ФР A(t ) . Если СВ 0 распределена экспоненциально с параметром a, то P{ } a . a 2.8. kg k G (1) . 2.9. (q) ak (a q) k , 1 ' (0) k a . [t ](a(t i)) i 1 2.11. e 1 . i 0 (i 1) ! t e at k 1 (k i) (at) i , если t t 0 , 2.12. а) A1 (t ) t 0 б) A1 t 1 . k i ! 1, если t t ; i 0 0 1 at 2.14. Pk (t ) (at) 2k e a t , k 0, 1, .... 2k! (2k 1) ! at k 1 n n i i t t 2.16. P{ k t} 1 1 , k 1, n . T i 0 i T 2.20. Решение. Вероятность того, что в данный момент времени прибор обслуживает требование, время обслуживания которого известно (равно х), при условии, что он занят, зависит, очевидно, не только от вероятности появления требования с таким временем обслуживания, но также непосредственно от его величины х. Пусть, например, время обслуживания произвольного требования в системе принимает значение 1 с вероятностью 1 2 и значение 2 также с вероятностью 1 2 . Ясно, что время, в течение которого прибор занят обслуживанием требований, время обслуживания которых равно 2, в этом случае примерно в два раза больше, чем время, в течение которого прибор обслуживает требования с единичным временем обслуживания, поскольку оба типа требований появляются одинаково часто. Поэтому в данном случае искомая вероятность для более «коротких» требований оказывается равной 1 3 , а для более «длинных» – 2 3 . 7 Обозначим через время обслуживания занимающего прибор требования, если известно, что в данный момент времени прибор занят. Искомая вероятность dA(t ) P{ [t; t dt)} , очевидно, пропорциональна вероятности dB(t ) P{ [t; t dt)} появления требования со временем обслуживания t и пропорциональна также величине t. Поэтому можем записать dA(t ) ctdB(t ) , где c 0 – коэффициент пропорциональности, который находится из условия нормировки следует, что c 0 0 dA(t ) 1 c t dB(t ) , откуда 1 , где 1 t dB(t ) . Моменты СВ : i i 1 , 1 1 0 i 1, 2, ... , где i – моменты порядка i времени обслуживания . В случае B(t ) 1 e t A(t ) t 2 xe x имеем dA(t ) t dB(t ) 2 te t dt , откуда следует dx 1 e t (1 t ) . ФР A(t ) характеризует распределе- 0 ние Эрланга второго порядка с параметром . В случае детерминированного обслуживания t 0 имеем 0, если t t 0 , A(t ) B (t ) 1, если t t 0 . 2.21. Решение. Обозначим через остаточное время обслуживания требования, обслуживаемого в момент времени . Полное время обслуживания этого требования обозначим через и положим, что y . Тоdx гда P{ [ x; x dx) | y} (случайная точка, брошенная на интервал y длины y, попадает внутрь его подинтервала длины с вероятностью y ). Найдем теперь совместную вероятность P{ [ x; x dx), [ y; y dy)} P{ [ x; x dx) y} dx dx y dB( y ) P{ [ y; y dy)} P{ [ y; y dy)} 1 y y (см. задачу 2.20). Имеем, следовательно, dB( y ) dx , P{ [ x; x dx), [ y; y dy)} 1 где 0 x y . Поэтому 8 (1 B( x)) dx dx dF ( x) P{ [ x; x dx)} dB ( y ) 1 x 1 t 1 и соответственно F (t ) [1 B(u )] du . ПЛС функции F (t ) имеет вид 1 0 f (q) e q t dF (t ) 0 1 (q) . Моменты ФР F (t ) можно найти из выражеq1 ния для ее ПЛС: f i i 1 , где i – момент порядка i времени обслу(i 1)1 живания, i 1, 2, ... . Для B(t ) 1 e t имеем F (t ) B(t ) . Для t 0 1 и 0 x t 0 имеем dF ( x) dx t 0 , F ( x) x t 0 . 3. МАРКОВСКИЕ СИСТЕМЫ ОБСЛУЖИВАНИЯ Теоретические сведения, необходимые для решения задач данного раздела, изложены в [1, разделы 3 и 4]. ЗАДАЧИ 3.1. Рассмотрим процесс функционирования компьютера. Длительность времени его нормальной работы имеет экспоненциальное распределение с математическим ожиданием 1 (иными словами, поток поломок компьютера простейший с параметром ). После выхода из строя компьютер останавливается и ремонтируется (восстанавливается). Время восстановления распределено экспоненциально со средним 1 . Найти вероятность P(t ) того, что в момент времени t компьютер работал нормально, если известно, что он работал нормально в момент t 0 . 3.2. На телефонную станцию поступают вызовы двух типов: простые и срочные. Если в момент поступления вызова линия свободна, вызов занимает эту линию, если же она в этот момент занята, а поступивший вызов срочный, то обслуживаемый вызов теряется, а поступивший занимает линию. Если в момент поступления простого вызова линия занята, то теряется поступивший вызов. Моменты поступления простых и срочных вызовов образуют простейшие потоки с параметрами 1 и 2 9 соответственно. Время обслуживания, не зависимо от степени срочности вызова, распределено экспоненциально с параметром . Построить цепь Маркова (ЦМ) с тремя состояниями, соответствующую этому процессу. Найти матрицу интенсивностей переходов и стационарные (финальные) вероятности 1 , 2 , 3 того, что линия соответственно: свободна, занята обслуживанием простого вызова, занята обслуживанием срочного вызова. 3.3. Система состоит из трех станков, которые в начальный момент времени t 0 исправны. Время нормальной работы каждого из станков распределено экспоненциально с параметром . Ремонтная бригада в состоянии ремонтировать одновременно только один станок. Длительность ремонта произвольного станка распределена экспоненциально с параметром . Одновременно всегда работают два станка, а третий находится в резерве или ремонтируется. Система моментально останавливается, если неисправными оказываются два станка. Найти вероятность L(t ) того, что до момента t система остановится. Найти решение упражнения в общем виде, а также его решение для случая 1 и 2 . 3.4. Рассмотрим ЦМ, представленную на рис. 1. Найти финальные вероятности ее состояний. 2 0 1 2 Рис. 1 3.5. Компьютер работает нормально в течение случайного времени, распределенного экспоненциально с параметром . Неисправный компьютер ожидает ремонта. Время такого ожидания распределено экспоненциально с параметром . Восстановление компьютера продолжается в течение случайного времени, распределенного экспоненциально с параметром . Найти вероятность всех возможных состояний компьютера в момент времени t при условии, что в начальный момент времени t 0 он работал нормально. Найти финальные (стационарные) вероятности состояний компьютера. 10 3.6. Имеется п одинаковых станков, которые обслуживаются бригадой, состоящей из r ( r n ) рабочих одинаковой квалификации. Каждый рабочий одновременно может обслуживать не более одного станка, каждый вышедший из строя станок может ремонтироваться (восстанавливаться) не более чем одним рабочим. Каждый станок независимо от других работает нормально в течение случайного времени, распределенного экспоненциально с параметром . Вышедший из строя станок сразу же восстанавливается, если в момент его поломки имеется хотя бы один свободный рабочий. Если в этот момент ни одного свободного рабочего нет, станок ожидает, пока он появится. Время восстановления станка распределено экспоненциально с параметром . Найти вероятность p k того, что в некоторый момент времени неисправны k станков, k 0, n , среднее число n простаивающих (т.е. неисправных, ожидающих ремонта) в некоторый момент времени станков и среднее число r незанятых рабочих. 3.7. Вычислить второй момент и дисперсию числа требований в стационарных системах обслуживания M / M / n / m и M / M / n / . Вычислить также математическое ожидание и дисперсию числа требований для стационарной системы M / M / n / m в случае a (n) 1 . 3.8. Найти второй момент и дисперсию времени ожидания для стационарной системы обслуживания M / M / n / . Найти также ФР времени пребывания для этой системы, его второй момент и дисперсию. 3.9. Найти математическое ожидание N числа ожидающих требований для систем а) M / M / n / m и б) M / M / n / в стационарном режиме. 3.10. Рассмотрим систему M / M / n / 0 , в которую поступают два простейших потока требований с параметрами a1 и a 2 . Время обслуживания требований i-го потока распределено экспоненциально с параметром i , i = 1, 2. Для обслуживания требований первого потока используется один прибор, а для требований второго потока – т приборов (т n), которые обслуживают требование одновременно. Требование первого потока теряется, если в момент его поступления все приборы заняты, требование второго потока теряется, если в момент его поступления имеется меньше чем т свободных приборов. Для данной системы найти стационарные вероятности p (k1 , k 2 ) того, что в системе находится k1 требований первого и k 2 требований второго потоков, а также стационарные вероятности потери требований обоих потоков. 11 3.11. Рассмотрим систему обслуживания M / M / 1 / , для которой a – параметр входного потока, параметр времени обслуживания. Требование, ожидающее обслуживания, может покинуть систему без обслуживания в промежутке времени длительности t 0 с вероятностью t o(t ) , 0 . Для данной системы найти стационарное распределение числа требований p k P{ k}, k 0, 1, .... 3.12. Рассмотрим систему M / M / 1 / , которая отличается от системы, рассмотренной в задаче 3.11, тем, что произвольное требование (даже обслуживаемое) может покинуть систему в течение времени t с вероятностью t o(t ) . Найти для этой системы стационарное распределение числа требований. 3.13. Рассмотрим систему M / M / 1 / , в которой параметр входного потока зависит от состояния системы следующим образом: если в течение некоторого промежутка времени [t; t T ) в системе находится k требований, то параметр входного потока в этом промежутке равен a k a (k 1) , k 0, 1, ... . Параметр распределения времени обслуживания равен . Найти стационарное распределение числа требований в системе. 3.14. Рассмотрим систему, состоящую из двух приборов, соединенных последовательно, в которую поступает простейший с параметром а поток требований. Каждое требование сначала обслуживается на первом приборе, а затем на втором, при этом число мест ожидания в очереди к каждому из приборов бесконечно, а время обслуживания на первом и втором приборе распределено экспоненциально с параметром 1 и 2 соответственно. Пусть i (t ) – число требований, находящихся на i-м (i 1, 2) приборе в момент времени t (к i (t ) относятся требования, ожидающие в момент t в очереди к i-му прибору, а также требование, занимающее в данный момент прибор). Введем обозначение P(n1 , n2 , t ) P{1 (t ) n1 , 2 (t ) n2 } , n1 , n 2 0, 1, ... . Предположим, что для рассматриваемой системы существует стационарный режим ( max (1 , 2 ) 1, где i ai i , i 1, 2 ), т.е. существуют конечные пределы p(n1 , n2 ) lim P(n1 , n2 , t ) , n1 , n 2 0, 1, ... . Определить t функции p (n1 , n 2 ) . 3.15. Найти вероятность P0 (t ) свободного состояния в момент t для системы M / M / 1 / 0 , если интенсивность входного потока требований равна , параметр времени обслуживания равен , а также а) в момент 12 t 0 система была свободна от требований; б) в момент t 0 система была занята. 3.16. Найти стационарную вероятность того, что в системе M / M / n / m а) все приборы заняты ( Pn ) ; б) все места ожидания заняты. Вычислить математическое ожидание N числа занятых приборов и математическое ожидание M числа ожидающих требований в стационарном режиме. 3.17. Определить вероятность q n того, что в стационарном режиме в системе M / M / n / все приборы заняты (a – интенсивность входного потока, – параметр распределения времени обслуживания, a (n) 1). 3.18. Рассмотрим систему обслуживания M / M / 1 / , для которой a – параметр входного потока, – параметр времени обслуживания. Предположим, что в момент поступления каждого требования оценивается время его ожидания W, после чего требование либо записывается в очередь (далее оно будет обслужено обычным образом) с вероятностью e W , либо покидает систему с вероятностью 1 e W . В качестве такой оценки возьмем W k , где k – число требований в системе непосредственно перед моментом поступления данного требования, 0 . Найти стационарную вероятность p k числа требований в системе в стационарном режиме, k 0, 1, ... . Для каких 0 , 0 выполняются условия существования стационарного режима? 3.19. Рассмотрим цикличную очередь, в которой M требований циркулируют так, как это показано на рис. 2. Оба обслуживающих устройства характеризуются здесь экспоненциальным распределением времени обслуживания с параметрами 1 и 2 соответственно. Пусть p k – вероятность того, что на первом устройстве находится k требований, а на другом M k требований. Вычислить p k , k 0, M . 1 2 0 0 Этап 1 Этап 2 Рис. 2 13 3.20. Рассмотрим систему обслуживания BM / M / 1/ , в которой входной поток стационарный без последействия с параметром a. Пусть g k – вероятность того, что в поступающей в систему группе находится k требований, k 1, 2, ... , G ( z ) gk z k k 1 в системе P ( z ) Ez в стационарном pk z k , gk k 1 режиме, 1, – число требований p k P{ k} . Найти ПФ СВ и ее математическое ожидание. k 0 3.21. Для рассмотренной в задаче 3.20 системы обслуживания с групповым поступлением найти явный вид стационарных вероятностей p k в случае, когда число требований в группе распределено по геомет- рическому закону с параметром р: g k p(1 p) k 1, k 1, 2, ..., 0 p 1 . 3.22. Для системы обслуживания, рассмотренной в задаче 3.20, найти ПЛС w(q) стационарного времени ожидания произвольного требования в предположении, что в каждой прибывающей в систему группе требования занумерованы в том порядке, в котором они обслуживаются, а очередность обслуживания групп требований соответствует порядку их поступления. Найти ФР стационарного времени ожидания произвольного требования в случае, если число требований в группе распределено по геометрическому закону с параметром р (см. задачу 3.21). 3.23. Рассмотрим систему с бесконечной очередью, на вход которой поступает простейший поток требований с параметром а. Требования обслуживаются группами случайного размера r . Если в момент освобождения прибора в системе находится r требований, то все они начинают обслуживаться одновременно. Если в этот момент в системе находится r требований, то одновременно начинается обслуживание r из них, а остальные остаются ожидать в очереди. Если требование поступает в пустую систему, то оно сразу же начинает обслуживаться. Время обслуживания группы требований не зависит от ее размера и распределено экспоненциально с параметром . Для данной системы найти стационарное распределение числа требований (в предположении существования стационарного режима). 3.24. Рассмотрим систему M / H 2 / 1 / 0 , в которой время обслуживания распределено по гиперэкспоненциальному закону порядка 2 с параметрами g1 , g 2 1 g1 , 1 , 2 . Для данной системы найти стационарное распределение числа требований и вероятность того, что прибор занят. 14 3.25. Рассмотрим систему обслуживания M 2 / M 2 / 1 / 0 с абсолютным приоритетом. Сказанное означает, что в указанную систему поступают два простейших потока требований – первого приоритета (с параметром a1 ) и второго (с параметром a 2 ). Время обслуживания требований первого и второго приоритетов распределено экспоненциально с параметрами 1 и 2 соответственно. Требование первого приоритета, прибывшее в систему в тот момент, когда прибор занят обслуживанием требования этого же приоритета, теряется. В случае же если в этот момент обслуживается требование второго приоритета, поступившее требование сразу же начинает обслуживаться, а требование, обслуживание которого было прервано, теряется. Требование второго приоритета всегда теряется, если в момент его поступления прибор занят. В начальный момент времени t 0 требования в системе отсутствовали. Пусть i (t ) – число требований i-го приоритета, находящихся в системе в момент времени t, i 1, 2 . Найти вероятности P (k1 , k 2 , t ) P{1(t ) k1, 2 (t ) k2} , k1 , k 2 0, 1, k1 k 2 1 . Найти также 1) стационарные вероятности p(k1 , k 2 ) lim P(k1 , k 2 , t ) P{1 k1 , 2 k 2 } , где i – число требоваt ний i-го приоритета в системе в стационарном режиме, 2) частные распределения числа находящихся в системе требований каждого приоритета, 3) стационарные вероятности потери требований каждого приоритета, а также 4) вероятность того, что принятое на обслуживание требование второго приоритета будет обслужено полностью. ОТВЕТЫ И РЕШЕНИЯ ( ) t 1 e . 1 2 ( 1 2 ) 2 ( 2 ) 2 ; 1 3.2. , 3 , 1 2 2 0 2 1 1 3 . 3.1. P(t ) 3.3. P0 (t ) (q1 q2 ) 1 [(2 q2 ) e q2 t (2 q1 ) e q1 t ] , 2 P1 (t ) (e q2 t e q1 t ) , L(t ) 1 P0 (t ) P1 (t ) , где q1 q 2 15 (4 ) (8 ) (4 ) (8 ) , q2 . 2 2 Для случая 1 , 2 имеем q1 L(t ) 1 5 3 5 (3 e 10 5) t 1 5 3 5 (3 e 10 5) t . 2 1 3 2 3 3 3.4. 0 1 2 , 1 0 , 2 0 , 2 2 2 2 где i – финальная вероятность состояния i, i 0, 1, 2. 3.5. Введем обозначения C 0 , C1 , 1 C1 C12 4C 0 2 , 2 C1 C12 4C 0 . 2 Пусть P0 (t ), P1 (t ), P2 (t ) – вероятности того, что компьютер работает нормально, ожидает ремонта и восстанавливается соответственно. Тогда имеем e 1t e 2t e 1t e 2t , P1 (t ) 1 2 1 2 1 ( 1 2 ) 2 ( 2 1 ) e 1t e 2t , P (t ) 1 P1 (t ) P2 (t ) ; P2 (t ) 1 (1 2 ) 2 ( 2 1 ) 0 1 2 , 1 lim P1 (t ) 0 , 0 lim P0 (t ) t t 2 lim P2 (t ) 0 . t n! k p если 1 k r , 0 k !(n k )! , 3.6. где pk n ! k p0 , если r k n , r k r r !(n k )! n r n! n! k p0 k k r r ! (n k ) ! k 0 k !(n k ) ! k r 1 r 16 1 , n n r k r k 1 (k r ) p k , r kp r k . 3.7. Второй момент числа требований 1) для СМО M / M / n / m : n k (n) k n n n m 2 k 2 E p0 k , 2) для СМО M / M / n / : ( k 1 ) ! n ! k n 1 k 1 n k (n) k n n 2 (2 (1 )) n 2 k 2 E p 0 k . 1 k 1 (k 1) ! n! k 1 Для СМО M / M / n / m в случае a (n) 1 : mn n (2n m 1) n kn k n kn k nn 2 E p0 , E p0 2n! k ! ( k 1 ) ! n! k 1 k 1 1 nm k n1 k2, n k mn n n где p 0 . Дисперсия числа требований для всех систем n ! k 0 k ! может быть вычислена с помощью соотношения D E2 (E) 2 . 3.8. Второй момент и дисперсия: 2 n n 3 n p 0 n n 3 n p0 n n 1 n p0 w2 ; DW 2 2 , (1 )(n 1)! 2 (1 ) 3 (n 1) ! (1 )3 (n 1)! где n – количество обслуживающих приборов; загрузка системы; параметр времени обслуживания; p 0 вероятность отсутствия требований в системе. ФР времени пребывания: t (n) n p 0 (n) n p 0 V (t ) 1 1 e (1) n t . e n! (1 )[1 n(1 )] n! (1 )[1 n(1 )] (n) n 1 m [1 m(1 )] (n) n 1 3.9. а) N p 0 , б) N p 0 , n! n ! (1 ) 2 (1 ) 2 где p0 вероятность отсутствия требований в системе. 3.10. Решение. Обозначим через P(k1 , k 2 , t ) вероятность того, что в момент времени t в системе находится k1 требований первого потока и k 2 требований второго потока, k1 , k 2 0, k1 mk 2 n . Пусть a a1 a 2 – параметр суммарного входного потока. Через m, n обозначим символ Кронекера: 17 1, если m n, m, n 0, если m n . Нетрудно убедиться, что введенные вероятности удовлетворяют следующим уравнениям Колмогорова: P (0, 0, t ) aP (0, 0, t ) 1 P(1, 0, t ) 2 P(0, 1, t ) ; P (0, k 2 , t ) a 2 P(0, k 2 1, t ) (a k 2 2 ) P(0, k 2 , t ) 1 P(1, k 2 , t ) (k 2 1) 2 P(0, k 2 1, t ) , m mk 2 n m ; P(0, k 2 , t ) a2 P(0, k 2 1, t ) [(1 mk 2 , n ) a1 k 2 2 ]P(0, k 2 , t ) (1 mk 2 , n ) 1P(1, k 2 , t ) , n m mk 2 n ; P(k1 , 0, t ) a1P(k1 1, 0, t ) (a k11 ) P(k1, 0, t ) (k1 1) 1P(k1 1, 0, t ) 2 P(k1, 1, t ) , 1 k1 n m ; P (k1 , 0, t ) a1 P(k1 1, 0, t ) [(1 k1, n ) a1 k11 ]P(k1 , 0, t ) (1 k1, n ) (k1 1) 1 P(k1 1, 0, t ) , n m k1 n ; P(k1 , k 2 , t ) a1P(k1 1, k 2 , t ) a2 P(k1 , k 2 1, t ) (a k11 k 2 2 ) P(k1 , k 2 , t ) (k1 1) 1P(k1 1, k 2 , t ) (k 2 1) 2 P(k1 , k 2 1, t ) , k1 , k 2 1, 1 m k1 mk 2 n m ; P (k1 , k 2 , t ) a1 P(k1 1, k 2 , t ) a 2 P(k1 , k 2 1, t ) [(1 k1 mk 2 , n )a1 k11 k 2 2 ]P(k1 , k 2 , t ) (1 k1 mk 2 , n ) (k1 1) 1 P(k1 1, k 2 , t ) , k1 , k 2 1 , n m k1 mk 2 n . Из данной системы получаем следующие уравнения для стационарных вероятностей p (k1 , k 2 ) : 0 ap 0, 0 1 p1, 0 2 p0, 2 ; 0 a 2 p(0, k 2 1) (a k 2 2 ) p(0, k 2 ) 1 p(1, k 2 ) (k 2 1) 2 p(0, k 2 1) , m mk 2 n m ; 0 a 2 p(0, k 2 1) [(1 mk 2 , n ) a1 k 2 2 ] p(0, k 2 ) (1 mk 2 , n ) 1 p(1, k 2 ) , n m mk 2 n ; 0 a1 p (k1 1, k 2 ) a 2 p (k1 , k 2 1) (a k11 k 2 2 ) p (k1 , k 2 ) (k1 1) 1 p (k1 1, k 2 ) (k 2 1) 2 p (k1 , k 2 1) , k1 , k 2 1, 1 m k1 mk 2 n m ; 0 a1 p(k1 1, k 2 ) a2 p(k1 , k 2 1) [(1 k1 mk 2 , n ) a1 k11 k 2 2 ] p(k1 , k 2 ) (1 k1 mk 2 , n ) (k1 1) 1 p(k1 1, k 2 ) , k1 , k 2 1, n m k1 mk 2 n . 18 Очевидно, условие нормировки в данном случае записывается следующим образом: n [( n k1 ) m] k1 0 k 2 0 p(k1 , k 2 ) 1 . Непосредственной подстанов- кой легко показать, что решение данной системы имеет вид 1k1 2 k2 , p(k1 , k 2 ) p(0, 0) k1! k 2 ! 1 n [( n k1 ) m] k1 k2 1 2 где i ai i , i 1, 2 , p (0, 0) . k ! k ! k1 0 k2 0 1 2 Требования первого потока теряются, если в момент их поступления все приборы заняты, откуда следует, что вероятность потери требования первого потока есть P1 [ n m] p(n km, k ) . Требования второго потока те- k 0 ряются, если в момент их поступления количество свободных приборов не превышает m 1 . Следовательно, вероятность потери требования второго потока есть P2 n p(k , [(n k1 ) m]) . k 0 ak ak p 0 , где p 0 3.11. p k k 1 k 1 k 0 ( i) ( i) i 0 i 0 что 1 (предполагаем, 1 ... 1). i 0 ak ak p 0 ; k 1, 2, ... ; p 0 1 3.12. p k k k k 1 ( i) ( i) i 1 i 1 k e , где a , k 0, 1, ... . 3.13. p k k! 1 . 3.14. Решение. Данная СМО описывается двумерным марковским случайным процессом η(t ) (1 (t ) , 2 (t )) с непрерывным временем, 19 множеством состояний Х которого является множество пар неотрицательных целых чисел (n1 , n 2 ) . Уравнения Колмогорова для функций P(n1 , n 2 , t ) имеют вид P (0, 0, t ) aP (0, 0, t ) 2 P(0, 1, t ) ; P (n1 , 0, t ) (a 1 ) P(n1 , 0, t ) 2 P(n1 , 1, t ) aP (n1 1, 0, t ) , n1 1, 2, ...; P (0, n 2 , t ) (a 2 ) P(0, n 2 , t ) 1 P(1, n 2 1, t ) 2 P(0, n 2 1, t ) , n 2 1, 2, ...; P (n1 , n2 , t ) (a 1 2 ) P(n1 , n2 , t ) 1 P(n1 1, n2 1, t ) 2 P(n1 , n2 1, t ) aP(n1 1, n2 , t ) , n1 1, 2, ...; n2 1, 2, .... Поскольку lim P (n1 , n2 , t ) 0 в условиях существования стациоt нарного режима, то из выписанной системы получаем следующую систему алгебраических уравнений для функций p (n1 , n 2 ) : 0 ap (0, 0) 2 p(0, 1) ; 0 (a 1 ) p(n1 , 0) 2 p(n1 , 1) ap (n1 1, 0) , n1 1 ; 0 (a 2 ) p(0, n 2 ) 1 p(1, n 2 1) 2 p(0, n 2 1) , n 2 1 ; 0 (a 1 2 ) p(n1 , n2 ) 1 p(n1 1, n2 1) 2 p(n1 , n2 1) ap(n1 1, n2 ) , n1 1, n2 1. Сюда же следует добавить условие нормировки p(n1 , n2 ) 1 . n1 0 n2 0 Легко показать, что удовлетворяющее условию нормировки решение системы алгебраических уравнений для всех n1 , n 2 0, 1, ... имеет вид p(n1 , n2 ) (1 1 ) (1 2 ) 1n1 2 n2 . Заметим, что решение это элементарным образом обобщается на произвольное конечное число т «экспоненциальных» последовательных приборов с бесконечным числом мест ожидания для каждого: m p(n1 , ..., n m ) (1 i ) i ni . i 1 3.15. а) P0 (t ) ( ) t . e () t ; б) P0 (t ) e (n) n 1 m1 n n n m p0 ; p 0 ; б) p n m 3.16. а) Pn n! n! 1 20 k n n n 1 (1 m ) (n) n (1 m1 ) n1 (n) p0 , N p0 ; M n ! ( 1 ) ( k 1 ) ! ( n 1 ) ! ( 1 ) k 1 где n – число приборов; m число мест ожидания; a ( n) – загрузка системы (a – параметр входного потока, параметр времени обслуживания); p 0 – вероятность отсутствия требований в системе. ( n ) n p 0 , где p 0 – вероятность отсутствия требований в 3.17. q n n!(1 ) системе. 3.18. k k k 1 a a p k exp i p 0 e k ( k 1) i 0 a k где p 0 e k ( k 1) k 0 ( 2 ) ( 2 ) p 0 , k 0, 1, ..., 1 . k 3.19. p k 2 p k 1 2 p0 , k 0, M ; 1 1 M p 0 2 k 0 1 k 1 1 , где 2 1 . M 1 1 3.20. Решение. Анализируемый процесс является марковским, однако не может быть представлен как процесс рождения и гибели. Обозначим через (t ) число требований в системе в момент времени t, Pk (t ) P{(t ) k} , k 0, 1, ... . Легко можем убедиться, что уравнения Колмогорова для безусловных вероятностей Pk (t ) в этом случае имеют вид P0 (t ) aP0 (t ) P1 (t ) ; P1(t ) (a ) P1 (t ) ag1 P0 (t ) P2 (t ) ; k 1 Pk (t ) (a ) Pk (t ) a g k i Pi (t ) Pk 1 (t ) , k 2, i 0 где – параметр времени обслуживания. Легко можно показать, что, как следует из теории цепей Маркова, при aG ' (1) 1 (заметим, что G ' (1) kg k представляет собой математическое ожидание числа треk 1 21 бований в прибывающей группе) существуют пределы pk lim Pk (t ), t pk 0; p k 1; lim Pk (t ) 0 ; k 0, 1, ... . Будем считать, что выпол- t k 0 нено условие 1 . Тогда из выписанной системы дифференциальных уравнений получаем следующие стационарные уравнения: 0 ap0 p1 ; 0 (a ) p1 ag1 p 0 p 2 ; k 1 0 (a ) p k a g k i pi p k 1 , k 2 ; i 0 p k 1 (условие нормировки). k 0 Чтобы получить уравнение для ПФ P(z ) , умножим k-е уравнение полученной системы на z k , k 0, 1, ... , и сложим полученные уравнения. При этом получим k 1 0 aP( z ) p k z k a z k g k i pi p k z k . z k 1 k 1 k 1 i 0 Вычислим двойную сумму в последнем соотношении: a z k k 1 i 0 k i 1 g k i p i a p i g k i z k k 1 i 0 a pi z i g k i z k i i 0 k i 1 a p i z i g l z l aP( z )G ( z ) . i 0 l 1 Тогда из этого соотношения следует уравнение для P(z ) : a aG( z ) z P( z ) z P(0) . Поскольку P (1) pk 1 и G' (1) E где – число требований в k 0 группе, то, дифференцируя полученное равенство по z в точке z 1, a находим, что P(0) p0 1 G' (1) 1 . Имеем, следовательно, ( z 1 ) (1 ) (1 ) (1 z ) . a aG( z ) z 1 (1 z ) a z (1 G ( z )) Математическое ожидание числа требований в системе при этом равно P( z ) 22 2aG (1) aG' ' (1) . 2( aG' (1)) 3.21. Решение. ПФ числа требований в группе в данном случае имеет вид pz G z p (1 p) k 1 z k . 1 ( 1 p ) z k 1 При этом среднее число требований в группе E G (1) 1 p , так что a G (1) a ( p ) . Подставляя полученное значение G(z ) в соотношение для ПФ P(z ) числа требований в системе BM / M / 1 / (см. задачу 3.20), находим (1 ) [1 (1 p ) z ] (1 ) [1 (1 p ) z ] P( z ) [a (1 p )] z 1 (1 p a ) z E P' (1) (1 ) [1 (1 p) z ] [(1 p a ) z ] k k 0 1 (1 ) [(1 p a ) k (1 p ) (1 p a ) k 1 ] z k k 1 1 (1 ) ( a ) (1 p a ) k 1 z k , k 1 откуда окончательно получаем k 1 a a p 0 1 , p k (1 ) 1 p , k 1, 2, .... 3.22. Решение. Если в момент прибытия некоторой группы в системе находится k других требований, то время ожидания для ее первого требования распределено по закону Эрланга порядка k, k 0, 1, ... , с параметром (где – параметр времени обслуживания). Отсюда следует, что ПЛС w1 (q) времени ожидания первого требования группы определяется соотношением w (q) e 1 0 qt k P , dW (t ) q q k 0 1 где W 1 (t ) – ФР времени ожидания данного требования, P(z ) – ПФ числа требований в системе в стационарном режиме. 23 В том случае, если требование имеет внутри группы номер i (i 1) , то время его ожидания равно сумме времени ожидания первого требования группы и времени обслуживания тех требований группы, которые имеют номера j 1, i 1 , где все перечисленные СВ независимы в совокупности. Отсюда следует, что время от начала обслуживания первого требования в группе до начала обслуживания требования с номером i распределено по закону Эрланга порядка i 1 с параметром (это время, очевидно, равно нулю, если i 1 ). Стационарное распределение времени ожидания произвольного требования найдем с учетом того, что требование это содержится в составе группы из k требований с вероятностью kg k G (1) (см. задачу 2.8). При этом в группе размера k произвольное требование имеет номер i (i 1, k ) с вероятностью 1 k . Таким образом, пользуясь формулой полной вероятности, для ПЛС (q) СВ получаем k 1 i 1 kg k q 1 1 k (q) k q G (1) g k G ( 1 ) k 1 i 1 k 1 1 q q . 1 G qG (1) q Имеем, следовательно, q P , w(q) w1 (q) (q) 1 G qG (1) q q где Pz определено в задаче 3.20. В случае, когда число требований в группе распределено по геометрическому закону, находим, пользуясь обозначениями и соотношениями, (1 ) p( q) полученными в задачах 3.20, 3.21, что w(q) . Обращая q (1 ) p преобразование Лапласа wq q , получаем W (t ) 1 [1 (1 ) p] e (1) pt . 3.23. Решение. Обозначим через p k P{ k} стационарную вероятность наличия в системе k требований, k 0, 1, ... . Тогда в состояние { 0} система переходит из состояний { 1}, …, { r} с одинаковой 24 интенсивностью и выходит из этого состояния с интенсивностью а. Из состояния { k} , k 1, система выходит, очевидно, с интенсивностью a , а переходит в него из состояния { k 1} с интенсивностью а и из состояния { k r} – с интенсивностью . Приведенные соображения позволяют выписать следующие уравнения равновесия: ap0 ( p1 ... p r ) ; (a ) p k apk 1 p k r , k 1. Введем ПФ P( z ) p k z k . Умножая уравнение с номером k в по- k 0 k лученной системе на z и суммируя полученные уравнения по k от 0 до , имеем следующее уравнение для ПФ P(z ) : ( a ) [ P ( z ) p 0 ] r P ( z ) p k z k a zP ( z ) , zr k 0 r p k z k ( a ) p 0 z r откуда находим P( z ) k 0 r 1 az ( a ) z r . Из выписанной системы r уравнений следует, что (a ) p 0 p k , поэтому, вводя обозначение r 1 k 0 pk ( z k z r ) a (r ) , получаем P( z ) k 0 r 1 . r z (1 r) z r 1 Воспользуемся теперь теоремой Руше1. Многочлен в знаменателе последнего выражения имеет r 1 корней, одним из которых является, очевидно, z 1 . Как следует из теоремы Руше, r 1 из этих корней лежат в единичном круге z 1 . Корень z 1 является единственным из корней, лежащим на окружности z 1 , а оставшийся корень z 0 удовлетворяет неравенству z 0 1. Поскольку функция P(z ) аналитична, а знаСм., например, Тихонов А. Н., Свешников А. Г. Теория функций комплексной переменной. М.: Наука, 1979. Теорема Руше. Если функции f (z ) и g (z ) аналитичны внутри замкнутого контура и на его границе, и f ( z ) g ( z ) на , то функции f (z ) и f (z ) + g (z ) имеют одно и то же число нулей внутри контура . 1 25 чит ограничена, в области z 1 , отсюда следует, что r 1 лежащих внутри круга z 1 корней знаменателя должны совпадать с лежащими в этой области корнями числителя. Обозначив через A(z ) и B(z ) соответственно числитель и знаменатель выражения для P(z ) , получаем, таким A( z ) B( z ) образом, что многочлены и степени r 1 пропор(1 z ) (1 z z 0 ) 1 z циональны, т.е. r 1 C pk ( z k z r ) k 0 1 z r z r 1 (1 r) z r 1 . (1 z ) (1 z z 0 ) Получаем отсюда, что P( z ) [C (1 z z 0 )] 1 . Постоянная С находится из условия нормировки P(1) 1, откуда следует, что C (1 1 z 0 ) 1 , т.е. k 1 1 z0 1 z P( z ) 1 , 1 z z 0 z 0 k 0 z 0 откуда следует, что k 1 1 p k 1 , k 0, 1, ... , z0 z0 т.е. стационарное число требований в системе распределено по геометрическому закону. 1 g ag ag g 3.24. p0 1 1 2 , p1 ap0 1 2 . 1 2 1 2 3.25. Решение. Состояния данной системы обозначим через ( k1 , k 2 ) , где k1 k 2 1 . Граф ее состояний показан на рис. 3. Уравнения Колмогорова в данном случае имеют вид P (0, 0, t ) (a1 a 2 ) P(0, 0, t ) 1 P(1, 0, t ) 2 P(0, 1, t ) ; P (1, 0, t ) a1 P(0, 0, t ) 1 P(1, 0, t ) a1 P(0, 1, t ) ; P (0, 1, t ) a 2 P(0, 0, t ) (a1 2 ) P(0, 1, t ) . Начальные условия: P(0, 0, 0) 1, P(1, 0, 0) P(0, 1, 0) 0 . Условие нормировки: P(0, 0, t ) P(1, 0, t ) P(0, 1, t ) 1. Введем преобразования Лапласа p(k1, k 2 , q) e qt P(k1 , k 2 , t ) dt . 0 Тогда из выписанных дифференциальных уравнений получаем с учетом 26 условия нормировки и начальных условий следующие уравнения для функций p(k1 , k 2 , q) : qp (0, 0, q) 1 (a1 a 2 ) p(0, 0, q) 1 p(1, 0, q) 2 p(0, 1, q) ; q p(1, 0, q) a1 p(0, 0, q) 1 p(1, 0, q) a1 p(0, 1, q) ; qp (0, 1, q) a 2 p(0, 0, q) (a1 2 ) p(0, 1, q) ; p(0, 0, q) p(1, 0, q) p(0, 1, q) 1 q . a1 0, 0 1 1, 0 2 a2 0, 1 a1 Рис. 3 Решая полученную систему, находим a1 a 2 ( q 1 ) p (1, 0, q ) , p (0, 1, q) , q (q a1 1 ) q (q a1 1 )(q a1 a 2 2 ) (q 1 )(q a1 2 ) p (0, 0, q) . q (q a1 1 )(q a1 a 2 2 ) Обращая полученные преобразования Лапласа методами теории вычетов, имеем a1 P(1, 0, t ) (1 e ( a1 1 ) t ) ; a1 1 a 2 1 a1a 2 P(0, 1, t ) e ( a1 1 ) t (a1 1 )(a1 a 2 2 ) (a1 1 )(a 2 2 1 ) ( a1 a2 2 ) t a 2 1 a1a 2 ; e (a1 1 )(a1 a 2 2 ) (a1 1 )(a 2 2 1 ) P(0, 0, t ) 1 (a1 2 ) a1 ( 2 1 ) e ( a1 1 ) t (a1 1 )(a1 a 2 2 ) (a1 1 )(a 2 2 1 ) 27 ( a1 a2 2 ) t a2 1 a1 e . a1 1 a1 a 2 2 a1 2 1 Частные распределения числа требований первого и второго приоритетов имеют вид 1 a1 e ( a1 1 ) t ; P0(1) (t ) P{1 (t ) 0} P(0, 0, t ) P(0, 1, t ) a1 1 a1 1 P1(1) (t ) P{1 (t ) 1} P(1, 0, t ) ; P0( 2) (t ) P{2 (t ) 0} P(0, 0, t ) P(1, 0, t ) a (a a2 2 ) 1 (a1 1 ) a1a2 1 1 e ( a1 1 ) t (a1 1 )(a1 a2 2 ) (a1 1 )(a1 2 1 ) ( a1 a2 2 ) t a2 1 a1 e ; a1 1 a1 a 2 2 a 2 2 1 P1(2) (t ) P{2 (t ) 1} P(0, 1, t ) . Стационарные вероятности состояний получаются, если в соотношениях для P(k1 , k 2 , t ) перейти к пределу при t : a1 (a1 2 ) a 2 1 p (0, 0) ; p (0, 1) p1( 2) ; (a1 1 )(a1 a 2 2 ) (a1 1 )(a1 a 2 2 ) a1 1 p (1, 0) p1(1) ; p 0(1) ; a1 1 a1 1 a (a a 2 2 ) 1 (a1 2 ) p 0( 2) 1 1 . (a1 1 )(a1 a 2 2 ) Вероятность потери равна, очевидно, p(1, 0) для требования первого приоритета и p(0, 1) p(1, 0) – для требования второго приоритета. Стационарная вероятность r того, что поступившее на обслуживание требование второго приоритета будет обслужено полностью, равна, очевидно, вероятности того, что за время его обслуживания не поступит ни одного требования первого приоритета, или, как следует из свойств экспоненциального распределения, a2 . r a 2 e ( a1 2 ) t dt a 2 2 0 28