شبكة BMP

في نظرية الطوابير ، وهي فرع من فروع نظرية الاحتمالات الرياضية ، تُعدّ شبكة BCMP نوعًا من شبكات الطوابير التي يوجد لها توزيع توازن على شكل حاصل ضرب . سُمّيت هذه الشبكة نسبةً إلى مؤلفي الورقة البحثية التي وُصفت فيها لأول مرة: باسكت ، تشاندي ، مونتز، وبالاسيوس. تُشكّل هذه النظرية امتدادًا هامًا لشبكة جاكسون، مما يسمح بتوجيه العملاء وتوزيع أوقات الخدمة بشكل شبه عشوائي، مع مراعاة قواعد الخدمة المحددة. [ 1 ]

الورقة معروفة جيدًا، وقد وصف ج. مايكل هاريسون وروث ج. ويليامز النظرية في عام 1990 بأنها "واحدة من الإنجازات الرائدة في نظرية الطوابير في العشرين عامًا الماضية" . [ 2 ]

تعريف

تُعرف شبكة مكونة من m من الطوابير المترابطة باسم شبكة BCMP إذا كان كل طابور من الطوابير من أحد الأنواع الأربعة التالية:

  1. نظام خدمة العملاء وفقًا لتوزيع زمني أسي سلبي متساوٍ لجميع العملاء . قد يختلف معدل الخدمة باختلاف الولاية، لذا اكتبμج{\displaystyle \scriptstyle {\mu _{j}}}بالنسبة لمعدل الخدمة عندما يكون طول قائمة الانتظار j .
  2. قوائم انتظار مشاركة المعالج
  3. قوائم انتظار الخوادم اللانهائية
  4. نظام LCFS مع استئناف استباقي (لا يضيع العمل)

في الحالات الثلاث الأخيرة، يجب أن يكون لتوزيعات وقت الخدمة تحويلات لابلاس نسبية . وهذا يعني أن تحويل لابلاس يجب أن يكون على الشكل [ 3 ].

ل(s)=شمال(s)د(s).{\displaystyle L(s)={\frac {N(s)}{D(s)}}.}

كما يجب استيفاء الشروط التالية.

  1. تشكل الوافدات الخارجية إلى العقدة i (إن وجدت) عملية بواسون ،
  2. العميل الذي ينهي الخدمة في الطابور i سينتقل إما إلى طابور جديد j باحتمالية (ثابتة)Pأناج{\displaystyle P_{ij}}أو مغادرة النظام باحتمالية1-ج=1مPأناج{\displaystyle 1-\sum _{j=1}^{m}P_{ij}}، وهو غير صفري بالنسبة لبعض المجموعات الفرعية من الطوابير.

نظرية

بالنسبة لشبكة BCMP مكونة من m طابور، سواء كانت مفتوحة أو مغلقة أو مختلطة، حيث يكون كل طابور من النوع 1 أو 2 أو 3 أو 4، فإن احتمالات حالة التوازن تُعطى بواسطة

π(x1،x2،...،xم)=جπ1(x1)π2(x2)πم(xم)،{\displaystyle \pi (x_{1},x_{2},\ldots ,x_{m})=C\pi _{1}(x_{1})\pi _{2}(x_{2})\cdots \pi _{m}(x_{m}),}

حيث C هو ثابت معايرة يتم اختياره لجعل مجموع احتمالات حالة التوازن يساوي 1 وπأنا(){\displaystyle \scriptstyle {\pi _{i}(\cdot )}}يمثل التوزيع التوازني للطابور i .

دليل

تم تقديم البرهان الأصلي للنظرية عن طريق التحقق من استيفاء معادلات التوازن المستقلة .

قدّم بيتر جي. هاريسون برهانًا بديلًا [ 4 ] من خلال النظر في العمليات المعكوسة. [ 5 ]

مراجع

  1. باسكت، ف.؛ تشاندي، ك.؛ ماني ؛ مونتز، ر. ر.؛ بالاسيوس، ف. ج. (1975). "شبكات طوابير مفتوحة ومغلقة ومختلطة مع فئات مختلفة من العملاء" . مجلة ACM . 22 (2): 248-260 . doi : 10.1145/321879.321887 . S2CID 15204199 . 
  2. هاريسون، جيه إم ؛ ويليامز، آر جيه (1990). "حول شبه الانعكاسية لمحطة خدمة براونية متعددة الفئات" . حوليات الاحتمالات . 18 (3). معهد الإحصاء الرياضي: 1249-1268 . doi : 10.1214/aop/1176990745 . JSTOR 2244425 . 
  3. سنكلير، بارت. "نظرية BCMP" . كونيكشنز . تم الاسترجاع في 14 أغسطس 2011 .
  4. هارتشول-بالتر، م. (2012). "الشبكات ذات خوادم المشاركة الزمنية (PS) (BCMP)". نمذجة الأداء وتصميم أنظمة الحاسوب . ص 380-394 . doi : 10.1017/CBO9781139226424.029 . ISBN  9781139226424.
  5. هاريسون، بي جي (2004). "العمليات المعكوسة، وأشكال الضرب، وشكل غير ضربي" . الجبر الخطي وتطبيقاته . 386 : 359-381 . doi : 10.1016/j.laa.2004.02.020 .