تقليل عمر إكمال المهام مع الطوابير المستقرة

المعلومات الأساسية

• معرّف الورقة: 2511.04630
• العنوان: تقليل عمر إكمال المهام مع الطوابير المستقرة
• المؤلفون: Stavros Mitrolaris, Subhankar Banerjee, Sennur Ulukus (جامعة ماريلاند، كوليج بارك)
• التصنيف: cs.IT, cs.NI, cs.SY, eess.SP, eess.SY, math.IT, math.PR
• تاريخ النشر: 6 نوفمبر 2025 (نسخة arXiv التمهيدية)
• رابط الورقة: https://arxiv.org/abs/2511.04630

الملخص

تدرس هذه الورقة نظام توزيع مهام مقسم زمنياً يتضمن خادماً مركزياً وN مستخدماً وآلة تتغير حالتها وفقاً لسلسلة ماركوف (تسمى آلة ماركوف). يقدم المستخدمون المهام إلى الخادم المركزي وفقاً لعملية وصول عشوائية، ويحتفظ الخادم بطابور مهام مخصص لكل مستخدم. عندما لا تعالج الآلة المهام المخصصة من الخادم، قد تكون في حالة مشغولة داخلياً أو خاملة، وتتبع ديناميكيات هذه الحالات سلسلة ماركوف ثنائية متماثلة. يقوم الخادم بأخذ عينات من معلومات حالة الآلة، وعند تحديد أن الآلة خاملة، يجدول المستخدمين ويقدم المهام. لتعظيم عدد المهام المكتملة في وحدة الزمن، يقدم المؤلفون مقياساً جديداً يسمى "عمر إكمال المهام" (Age of Job Completion). لتقليل عمر إكمال المهام وتكلفة أخذ العينات، يتم اقتراح استراتيجيتين وتقييم أدائهما عددياً، مع إيجاد شروط كافية لضمان استقرار طوابير المهام لكلا الاستراتيجيتين.

الخلفية البحثية والدافع

1. المشكلة المراد حلها

تدرس هذه الورقة مشكلة تفريغ المهام في سيناريوهات الحوسبة الطرفية، حيث يتنافس عدة مستخدمين على جهاز حوسبة طرفية مشترك (آلة ماركوف). تشمل التحديات الأساسية:

• عدم اليقين في حالة الآلة (خاملة/مشغولة داخلياً)
• تكلفة أخذ عينات الحالة
• جدولة المهام تحت المنافسة بين عدة مستخدمين
• ضمان استقرار الطابور

2. أهمية المشكلة

في تطبيقات التحكم في المهام الحرجة مثل المراقبة الذكية، عادة ما تكون أجهزة الحافة مشتركة بين عدة مستخدمين أو خوادم، كل منها ينتج مهام حسابية بشكل مستقل. نظراً لأن:

• عملية تفريغ المهام عشوائية
• توفر جهاز الحافة غير مؤكد للغاية
• يتطلب تتبع فعال لحالة تشغيل الجهاز
• يتطلب تفريغ فوري للمهام الحسابية لضمان أداء النظام

3. قيود الطرق الموجودة

تعاني الأدبيات الموجودة من أوجه قصور التالية:

• مقياس AoII في 5: لا يستهدف بشكل مباشر تعظيم عدد المهام المكتملة
• مقاييس BF و FRR و FAR في 6: لا تلتقط بشكل مباشر هدف تعظيم عدد المهام المكتملة
• الطرق في 7,8,10: لا تأخذ في الاعتبار الطوابير غير المحدودة، وتفتقر إلى تحليل استقرار الطابور
• معظم الأبحاث: إما أنها لا تحتوي على طوابير مهام أو أن سعة الطابور محدودة، وهو غير مناسب لسيناريوهات التشغيل الطويلة الأجل الفعلية

4. الدافع البحثي

• إدخال مقياس يعكس بشكل أكثر مباشرة كفاءة إكمال المهام
• النظر في سيناريوهات سعة الطابور غير المحدودة العملية
• توفير ضمانات نظرية لاستقرار الطابور
• موازنة كفاءة إكمال المهام مع تكلفة أخذ العينات

المساهمات الأساسية

1. اقتراح مقياس جديد "عمر إكمال المهام": يعكس بشكل مباشر عدد المهام المكتملة في وحدة الزمن، وهو أكثر ملاءمة من مقاييس AoII و BF الموجودة لأنظمة تفريغ المهام
2. تصميم استراتيجيتين:
   • استراتيجية عشوائية تكيفية (Adaptive Randomized Policy, ϕ₁)
   • استراتيجية الحد الأقصى للعمر مع أخذ عينات عشوائية تكيفية (Max-Age Policy with Adaptive Randomized Sampling, ϕ̄₁)
3. تحليل استقرار نظري: اشتقاق شروط كافية لاستقرار الطابور لكلا الاستراتيجيتين (الاقتراحات 1 و2)، وهي أول نتائج استقرار مقدمة في أبحاث تفريغ مهام آلة ماركوف
4. تعبيرات صيغة مغلقة: توفير تعبيرات صيغة مغلقة لمتوسط عمر إكمال المهام وتكلفة أخذ العينات للنظام الفرعي الثابت في ظروف الاختناق الدائم (النظريات 1-4)
5. التقييم العددي: التحقق من أداء الاستراتيجيات من خلال التجارب العددية، مع اكتشاف أن استراتيجية الحد الأقصى للعمر تتفوق بشكل كبير على الاستراتيجية العشوائية التكيفية عند معدلات الوصول العالية

شرح الطريقة

تعريف المهمة

نموذج النظام:

• الإدخال: N مستخدماً، كل مستخدم يقدم مهمة بالاحتمالية pᵢ في نهاية الفترة الزمنية (عملية برنولي مستقلة وموزعة بشكل متطابق)
• فضاء الحالة: حالة الآلة x(t) ∈ {-1, 0, 1, ..., N, fr}
  • -1: مشغولة داخلياً
  • 0: حالة غير معروفة بعد إكمال المهمة
  • i ∈ {1,...,N}: معالجة مهمة المستخدم i
  • fr: خاملة
• ديناميكيات ماركوف: احتمالية الانتقال بين الخاملة والمشغولة داخلياً هي q (ثنائية متماثلة)
• وقت الخدمة: تتبع مهام المستخدم i توزيع هندسي بمعامل qᵢ
• بعد إكمال المهمة: الانتقال إلى حالة مشغولة داخلياً باحتمالية s، أو إلى خاملة باحتمالية (1-s)

متغيرات القرار:

• قرار أخذ العينات μ(t) ∈ {0,1}: ما إذا كان يتم أخذ عينات من حالة الآلة في الفترة الزمنية t (التكلفة L)
• قرار الجدولة π(t) = (π₁(t),...,πₙ(t)): اختيار مهمة أي مستخدم

الهدف من التحسين: تقليل إجمالي متوسط التكلفة: $\Delta^{\phi} + S^{\phi} = \frac{1}{N}\sum_{i=1}^{N}\Delta_i^{\phi} + S^{\phi}$

حيث:

• $\Delta_i^{\phi}$: متوسط عمر إكمال المهام للمستخدم i
• $S^{\phi}$: متوسط تكلفة أخذ العينات

القيود: استقرار الطابور (سلسلة ماركوف عائدة بشكل إيجابي)

معمارية النموذج

1. الاستراتيجية العشوائية التكيفية (ϕ₁)

التعريف (التعريف 1): يتم توصيف الاستراتيجية بواسطة المجموعة Π = {(μ(S), π(S)) : S ⊆ N, S ≠ ∅}، حيث:

• μ(S) ∈ (0,1]: احتمالية أخذ العينات عندما تكون مجموعة الطوابير غير الفارغة هي S
• π(S) = (π₁(S),...,πₙ(S)): توزيع احتمالية الجدولة
  • πᵢ(S) > 0 إذا وفقط إذا كان i ∈ S
  • ∑ᵢ∈S πᵢ(S) = 1

طريقة البناء:

1. لكل مجموعة فرعية غير فارغة S ⊆ N، ضع في الاعتبار سيناريو الاختناق الدائم
2. استخدم النظرية 1 و2 للحصول على تعبير صيغة مغلقة لحد أعلى من إجمالي التكلفة
3. حل مشكلة التحسين (12): $\min_{\phi} \sum_{k\in S}\Delta_k^{\phi}(S) + S_{ub}^{\phi}(S)$ مع القيود: μ ∈ (0,1), πₖ ∈ (0,1), ∑ₖ∈S πₖ = 1
4. الحصول على الحل الأمثل المحلي (μ*(S), π*(S))
5. دمج حلول جميع المجموعات الفرعية لتشكيل مجموعة الاستراتيجية Πc

الصيغ الرئيسية (النظرية 1): متوسط عمر المستخدم k: $\Delta_k^{\phi}(S) = \frac{1}{\left(\frac{s}{q}+2\left(\frac{1}{\mu}-1\right)+\bar{\eta}\right)\left(\frac{\psi_k^2}{\pi_k}+\left(\frac{1}{q_k}+\frac{1-s}{q}-2\right)\psi_k+\ldots\right)} + 1$

حيث $\bar{\eta} = \sum_{i\in S}\frac{\pi_i}{q_i}$، $\psi_k = \eta_k + \pi_k + 2(\frac{1}{\mu}-1) + \frac{s}{q}$

حد أعلى لتكلفة أخذ العينات (النظرية 2): $S_{ub}^{\phi}(S) = \frac{(L+1)\mu}{p^*}\left(\frac{1}{\frac{1}{\mu}p^* + \bar{\eta}}\right)$

حيث $p^* = \frac{q}{1-(1-2q)(1-\mu)}$

2. استراتيجية الحد الأقصى للعمر مع أخذ عينات عشوائية تكيفية (ϕ̄₁)

استراتيجية الجدولة: πᴹᴬ(S) تختار في كل فترة زمنية المستخدم ذا أكبر عمر إكمال مهام في المجموعة S (ما يعادل استراتيجية الجدولة الدائرية)

استراتيجية أخذ العينات: أخذ عينات عشوائية تكيفية، يتم توصيفها بواسطة المجموعة Π̄c = ∪_{S⊆N,S≠∅}{μ̄*(S)}

الصيغ الرئيسية (النظرية 3): متوسط عمر المستخدم k: $\Delta_k^{\bar{\phi}}(S) = \frac{N(\beta_2 - \beta_1^2) + \sum_{i\in S}\frac{1-q_i}{q_i^2}}{2\left(N\beta_1 + \sum_{i\in S}\frac{1-q_i}{q_i}\right)} + \frac{1}{2}\left(N\beta_1 + \sum_{i\in S}\frac{1-q_i}{q_i} + 1\right)$

حيث:

• $\beta_1 = \frac{1}{\bar{\mu}}\left((1-\bar{\mu}) + \frac{s}{\bar{\mu}q} + 1\right)$
• $\beta_2 = 2\frac{1-\bar{\mu}}{\bar{\mu}}\left(\frac{s}{1-\bar{\mu}}\alpha^2 + \alpha - s - \bar{\mu}(1-s) + 3\right) + \beta_1$
• $\alpha = 1-\bar{\mu}+\frac{\bar{\mu}}{q}$

تكلفة أخذ العينات (النظرية 4): $S^{\bar{\phi}}(S) = \frac{\bar{\mu}NL}{N\left((1-\bar{\mu}) + \frac{s\bar{\mu}}{q} + 1\right) + \bar{\mu}\sum_{i\in S}\frac{1-q_i}{q_i}}\cdot\frac{1}{\left(p_1^* + \frac{(1-p_1^*)(1+p^*)}{p^*}\right)}$

حيث $p_1^* = s(1-\bar{\mu})p^* + (1-s)(1-(1-\bar{\mu})p^*)$

نقاط الابتكار التقني

1. إدخال مقياس عمر إكمال المهام:
   • التعريف: vᵢ(t) = t - sup{t' : t' < t, bᵢ(t') = 1} (الوقت منذ آخر إكمال مهام)
   • المميزات: يعكس بشكل مباشر تكرار إكمال المهام، وما يعادل تعظيم عدد المهام المكتملة في وحدة الزمن
   • الفرق عن AoII: يركز AoII على صحة المعلومات، بينما يركز عمر إكمال المهام على الإنتاجية
2. تصميم الاستراتيجية العشوائية التكيفية:
   • تختلف عن استراتيجيات الاحتمالية الثابتة التقليدية
   • تعديل احتمالية أخذ العينات والجدولة بشكل ديناميكي بناءً على مجموعة الطوابير غير الفارغة
   • استخدام فعال لموارد النظام (عدم جدولة مستخدمي الطوابير الفارغة)
   • قابلة للمعالجة رياضياً (كل مجموعة فرعية تتوافق مع استراتيجية عشوائية ثابتة)
3. طريقة تحليل الاختناق الدائم:
   • افتراض أن طوابير المجموعة الفرعية S غير فارغة بشكل دائم
   • اشتقاق تعبيرات صيغة مغلقة للتكلفة
   • الحصول على معاملات الاستراتيجية المثلى لتلك المجموعة الفرعية من خلال التحسين
   • دمج جميع المجموعات الفرعية لتشكيل استراتيجية تكيفية كاملة
4. شروط كافية لاستقرار الطابور:
   • الاقتراح 1: شرط على مستوى الأس للاستراتيجية العشوائية التكيفية
   • النتيجة الطبيعية 1: شرط واحد لكن أكثر تحفظاً
   • الاقتراح 2: شرط كافٍ لاستراتيجية الحد الأقصى للعمر
   • إدخال دالة χ(q,s) لتوصيف الحد الأدنى لاحتمالية خمول الآلة

إعداد التجربة

معاملات التجربة العددية

تكوين النظام:

• عدد المستخدمين: N = 4
• معاملات الآلة:
  • احتمالية انتقال الحالة: q ∈ 0.1, 0.9 (معامل متغير)
  • احتمالية المشغولة داخلياً بعد الإكمال: s = 0.5 (بعض التجارب) أو s = 0.3
• تكلفة أخذ العينات: L = 5
• متجه معدل الخدمة: q̄ = 0.1, 0.4, 0.6, 0.9 (بعض التجارب) أو تكوينات أخرى

تكوين معدل الوصول:

• معدل وصول منخفض: p = 0.01, 0.02, 0.05, 0.06
• معدل وصول مرتفع: p̃ = 0.05, 0.2, 0.5, 0.6
• اختبار الاستقرار: تكوينات متعددة

مؤشرات التقييم

1. إجمالي متوسط التكلفة: Δ^φ + S^φ
   • يتضمن متوسط عمر إكمال المهام ومتوسط تكلفة أخذ العينات
   • مؤشر الأداء الرئيسي
2. استقرار الطابور:
   • ملاحظة عملية طول الطابور من خلال المحاكاة العددية
   • التحقق من شروط الاستقرار النظري

طرق المقارنة

• ϕ₁: الاستراتيجية العشوائية التكيفية
• ϕ̄₁: جدولة الحد الأقصى للعمر + أخذ عينات عشوائية تكيفية

تفاصيل التنفيذ

• يتم حل مشاكل التحسين (12) و(16) من خلال طرق عددية للحصول على الأمثل المحلي
• تحسين لجميع 2^N - 1 مجموعة فرعية غير فارغة
• استخدام محاكاة سلسلة ماركوف لتقييم أداء الاستراتيجية
• محاكاة طويلة الأجل للحصول على السلوك المستقر

نتائج التجربة

النتائج الرئيسية

الشكل 4: إجمالي التكلفة كدالة في q

تحت التكوين N=4, s=0.5, L=5, q̄=0.1, 0.4, 0.6, 0.9:

1. معدل وصول منخفض p = 0.01, 0.02, 0.05, 0.06:
   • أداء الاستراتيجيتين متقاربة
   • تنخفض إجمالي التكلفة مع زيادة q
   • السبب: عند معدل وصول منخفض، كلا الاستراتيجيتين المحافظتين على العمل يمكنهما التعامل بفعالية مع المهام
2. معدل وصول مرتفع p̃ = 0.05, 0.2, 0.5, 0.6:
   • ϕ̄₁ (استراتيجية الحد الأقصى للعمر) تتفوق بشكل كبير على ϕ₁ (الاستراتيجية العشوائية التكيفية)
   • فجوة الأداء واضحة (حوالي 10-20 وحدة)
   • تنخفض تكلفة كلا الاستراتيجيتين مع زيادة q
   • السبب: تحت الحمل العالي، الجدولة الحتمية الدائرية أكثر كفاءة من الجدولة العشوائية
3. تحليل الاتجاه:
   • كلما زاد q (انتقال الحالة أسرع)، كلما تحسنت أداء النظام
   • تحت معدل وصول مرتفع، اختيار الاستراتيجية أكثر أهمية

تجارب استقرار الطابور

الحالة 1: غير مستقرة

• المعاملات: N=4, q=0.35, s=0.3, L=5
• معدل الخدمة: q̄ = 0.55, 0.73, 0.84, 0.91
• معدل الوصول: p = 0.09, 0.09, 0.12, 0.14
• النتيجة: شروط الاقتراحات 1 و2 غير مستوفاة، والتحقق العددي يؤكد عدم استقرار الطابور
• الدلالة: معدل الوصول مرتفع نسبياً بالنسبة لمعدل الخدمة

الحالة 2: مستقرة لكن الشروط غير مستوفاة

• المعاملات: N=4, q=0.5, s=0.5, L=5
• معدل الخدمة: q̄ = 0.4, 0.6, 0.8, 0.94
• معدل الوصول: p = 0.04, 0.05, 0.06, 0.06
• النتيجة: الشروط الكافية غير مستوفاة، لكن النتائج العددية تظهر استقرار الطابور تحت كلا الاستراتيجيتين
• الدلالة: الشروط الكافية المقترحة متحفظة (كافية وليست ضرورية)

النتائج المستخلصة من التجارب

1. أداء الاستراتيجية:
   • استراتيجية الحد الأقصى للعمر لها ميزة واضحة تحت الحمل العالي
   • تحت الحمل المنخفض، الفرق بين الاستراتيجيات صغير
   • كلا الاستراتيجيتين محافظتان على العمل
2. شروط الاستقرار:
   • الطابور مستقر فقط عندما يكون معدل وصول المستخدم أقل بكثير من معدل الخدمة
   • الشروط الكافية النظرية متحفظة
   • توجد حالات حيث الشروط غير مستوفاة لكن النظام مستقر فعلياً
3. تأثير معاملات النظام:
   • احتمالية انتقال الحالة q لها تأثير كبير على الأداء
   • تكوين معدل الوصول يحدد أهمية اختيار الاستراتيجية

الأعمال ذات الصلة

تتبع آلة ماركوف

1. 5 مقياس AoII:
   • إدخال مقياس AoII لآلة ماركوف
   • التركيز على أداء التتبع وليس إكمال المهام
   • مقياس هذه الورقة أكثر استهدافاً لتعظيم الإنتاجية
2. 6 شبكة آلات متعددة:
   • استخدام الانتعاش الثنائي (BF)، معدل الرفض الخاطئ (FRR)، معدل القبول الخاطئ (FAR)
   • عدم النظر في طوابير المهام
   • هذه الورقة تأخذ في الاعتبار استقرار الطابور
3. 9 العامل المتعب:
   • دراسة السيناريوهات حيث تعتمد كفاءة العامل على الحالة
   • تحسين توزيع معدل أخذ العينات
   • عدم النظر في ديناميكيات الطابور

توزيع المهام والطوابير

4. 8 تعظيم الإيرادات:
   • مخزن مؤقت واحد (تخزين مهمة واحدة على الأكثر)
   • هذه الورقة تأخذ في الاعتبار الطوابير غير المحدودة
5. 10 طريقة MDP:
   • إطار عمل MDP مخصوم
   • طابور محدود، استبدال أقدم مهمة عند امتلاء الطابور
   • عدم تعظيم متوسط عدد المهام المكتملة بشكل مباشر
6. 7 سيناريو بدون طابور:
   • يتم التخلص من المهام عندما تكون الآلة مشغولة
   • تعظيم احتمالية القبول
   • هذه الورقة تضمن احتمالية القبول 1 (أخذ عينات قبل التقديم)

مميزات هذه الورقة

• أول نتائج نظرية لاستقرار الطابور
• النظر في سيناريوهات الطوابير غير المحدودة العملية
• إدخال مقياس عمر إكمال المهام الأكثر ملاءمة
• توفير تعبيرات صيغة مغلقة للأداء

الخلاصة والنقاش

الاستنتاجات الرئيسية

1. ابتكار المقياس: عمر إكمال المهام يلتقط بفعالية هدف الإنتاجية لأنظمة تفريغ المهام
2. تصميم الاستراتيجية:
   • يتم بناء الاستراتيجية العشوائية التكيفية من خلال تحسين الأنظمة الفرعية
   • استراتيجية الحد الأقصى للعمر لها أداء أفضل تحت الحمل العالي
   • كلا الاستراتيجيتين يمكنهما ضمان استقرار الطابور
3. النظرية الاستقرار:
   • توفير شروط كافية (الاقتراحات 1-2)
   • الشروط تتعلق بمعدل الوصول ومعدل الخدمة ومعاملات الآلة
   • كافية لكن ليست ضرورية (توجد حالات محافظة)
4. رؤى الأداء:
   • تحت الحمل المنخفض، الفرق بين الاستراتيجيات صغير
   • تحت الحمل العالي، الجدولة الحتمية أفضل من العشوائية
   • سرعة انتقال حالة الآلة تؤثر بشكل كبير على الأداء

القيود

1. افتراض التماثل:
   • يأخذ في الاعتبار حالياً فقط سلسلة ماركوف ثنائية متماثلة (احتمالية انتقال متساوية)
   • قد تكون الأنظمة الفعلية غير متماثلة
2. تحفظ شروط الاستقرار:
   • الشروط الكافية صارمة نسبياً
   • تتطلب فحص شروط على مستوى الأس (2^N - 1)
   • الشرط الواحد (النتيجة الطبيعية 1) أكثر تحفظاً
3. الأمثل المحلي:
   • مشاكل التحسين (12) و(16) تحقق فقط الأمثل المحلي
   • قد توجد حلول أفضل
4. غياب تحليل الضرورة:
   • عدم توفير شروط ضرورية لاستقرار الطابور
   • الفجوة بين الكافي والضروري لم تُحدد
5. إغفال الإثبات:
   • جميع الإثباتات محذوفة بسبب قيود المساحة
   • سيتم توفيرها في النسخة الدورية
   • يؤثر على قابلية التحقق من النتائج

الاتجاهات المستقبلية

1. سلاسل ماركوف غير المتماثلة: التوسع إلى احتمالية انتقال عامة
2. الشروط الضرورية: اشتقاق شروط ضرورية لاستقرار الطابور، تقليل الفجوة بين الكافي والضروري
3. الأمثل العام: دراسة الحل الأمثل العام لمشاكل التحسين أو خوارزميات التقريب
4. المستخدمون غير المتجانسون: النظر في أولويات المستخدمين ومتطلبات QoS المختلفة
5. سيناريو آلات متعددة: التوسع إلى شبكة الآلات
6. التحقق من الأنظمة الفعلية: اختبار على منصات حوسبة طرفية حقيقية

التقييم المتعمق

المميزات

1. مساهمة نظرية كبيرة:
   • أول نظرية استقرار طابور لتفريغ مهام آلة ماركوف
   • تعبيرات صيغة مغلقة للأداء (النظريات 1-4) لها قيمة نظرية
   • الاشتقاق الرياضي صارم (على الرغم من عدم تضمين الإثباتات)
2. تصميم المقياس معقول:
   • عمر إكمال المهام بديهي وفعال
   • يتوافق بشكل مباشر مع هدف تعظيم الإنتاجية
   • أكثر ملاءمة من مقاييس AoII و BF الموجودة لأنظمة تفريغ المهام
3. تصميم الاستراتيجية مبتكر:
   • الاستراتيجية العشوائية التكيفية توازن بين المرونة والقابلية للتحليل
   • استراتيجية الحد الأقصى للعمر بسيطة وفعالة
   • تغطي كلا الاستراتيجيتين الطرق العشوائية والحتمية
4. نمذجة المشكلة عملية:
   • تأخذ في الاعتبار تكلفة أخذ العينات
   • الطوابير غير المحدودة تتوافق بشكل أفضل مع الأنظمة طويلة الأجل
   • نموذج آلة ماركوف مناسب للحوسبة الطرفية
5. تصميم التجربة معقول:
   • مقارنة سيناريوهات حمل مختلفة
   • التحقق من نظرية الاستقرار
   • اكتشاف تحفظ الشروط الكافية

أوجه القصور

1. غياب الإثباتات:
   • جميع إثباتات النظريات والاقتراحات محذوفة
   • يؤثر بشكل خطير على قابلية التحقق والموثوقية
   • لا يمكن للقراء فهم خطوات الاشتقاق
2. التجارب غير كافية:
   • تأخذ في الاعتبار فقط نظام صغير الحجم (N=4 مستخدمين)
   • غياب تحليل قابلية التوسع للأنظمة الكبيرة
   • عدم المقارنة الكمية مع طرق الأدبيات الأخرى
   • غياب اختبارات الدلالة الإحصائية
3. عدم وضوح طريقة التحسين:
   • عدم شرح كيفية حل المشاكل (12) و(16) عددياً
   • قد يؤثر الأمثل المحلي على أداء الاستراتيجية
   • عدم مناقشة التعقيد الحسابي
4. تحليل الاستقرار غير مكتمل:
   • توفير فقط شروط كافية، بدون شروط ضرورية
   • لم يتم تحليل مدى تحفظ الشروط
   • الفجوة بين الكافي والضروري لم تُحدد
5. قيود الافتراضات:
   • افتراض سلسلة ماركوف ثنائية متماثلة قوي نسبياً
   • توزيع الخدمة الهندسي قد لا يتطابق مع الواقع
   • عدم النظر في تأخير الاتصال والأخطاء في الإرسال والعوامل الفعلية الأخرى
6. مشاكل الكتابة:
   • بعض الرموز لم تُعرّف بوضوح (مثل استخدام xa(t) نادر)
   • شرح الأشكال 2 و3 يمكن أن يكون أكثر تفصيلاً
   • غياب الكود الزائف للخوارزمية

التأثير

1. التأثير النظري:
   • إنشاء إطار عمل نظرية استقرار لتفريغ مهام آلة ماركوف
   • قد يتم اعتماد مقياس عمر إكمال المهام من قبل الأعمال اللاحقة
   • تصميم الاستراتيجية العشوائية التكيفية له قيمة إرشادية
2. القيمة العملية:
   • ينطبق على سيناريوهات تفريغ المهام في الحوسبة الطرفية
   • تصميم الاستراتيجية يمكن أن يوجه الأنظمة الفعلية
   • شروط الاستقرار توفر معايير التصميم
3. القيود:
   • تتطلب إثباتات كاملة للتقييم الشامل
   • التجارب الصغيرة الحجم تحد من الإقناع
   • التطبيق الفعلي يتطلب حل المزيد من مشاكل الهندسة

السيناريوهات المعمول بها

1. الحوسبة الطرفية:
   • عدة مستخدمين يتشاركون خادم حافة
   • سيناريوهات تتطلب أخذ عينات من الحالة
   • يمكن للمهام أن تنتظر في الطابور
2. جدولة موارد الحوسبة السحابية:
   • حالة الآلة الافتراضية غير مؤكدة
   • منافسة متعددة المستأجرين على الموارد
3. تفريغ مهام إنترنت الأشياء:
   • تتغير حالة الجهاز بشكل عشوائي
   • تكلفة أخذ العينات غير صفرية
4. السيناريوهات غير المعمول بها:
   • متطلبات الوقت الفعلي عالية جداً (انتظار الطابور غير مقبول)
   • الحالة قابلة للملاحظة بالكامل (بدون تكلفة أخذ عينات)
   • المهام لا يمكن أن تنتظر (يجب معالجتها على الفور أو رفضها)

المراجع

تستند هذه الورقة بشكل أساسي على المراجع الرئيسية التالية:

1. 5 Banerjee & Ulukus (2025): تتبع آلة ماركوف وتوزيع المهام، إدخال مقياس AoII
2. 6 Liyanaarachchi & Ulukus (2025): المراقبة المثلى وتوزيع المهام لآلات ماركوف متعددة
3. 10 Chamoun et al. (2025): مراقبة خادم الحافة باستخدام MAPPO، طريقة MDP
4. 11 Kadota et al. (2018): استراتيجيات الجدولة لتقليل عمر المعلومات في الشبكات اللاسلكية البث
5. 12 Tassiulas & Ephremides (1990): خصائص الاستقرار لأنظمة الطوابير المقيدة
6. 13 Neely (2010): تحسين الشبكات العشوائية، تعريف الاستقرار القوي

التقييم الشامل: تقدم هذه الورقة مساهمات نظرية مهمة في مجال تفريغ مهام آلة ماركوف، خاصة أول تحليل نظري لاستقرار الطابور. إدخال مقياس عمر إكمال المهام مبتكر، وتصميم الاستراتيجيتين معقول. ومع ذلك، فإن غياب الإثباتات وقيود التجارب وتحفظ شروط الاستقرار تمثل أوجه قصور واضحة. يُنصح المؤلفون بنشر نسخة دورية كاملة في أقرب وقت، تتضمن إثباتات مفصلة وتجارب واسعة النطاق وتحليل الشروط الضرورية، لعرض القيمة الكاملة للعمل.