📊 statistics

A Fractional M/M/1 Queue Governed by Stretched Non-Local Time Operators

تقدم هذه الورقة تعميماً غير ماركوفي لطابور M/M/1 باستخدام مؤثرات زمنية غير محلية ممتدة، موضحاً أنه بينما يظل توزيع الحالة المستقرة هندسياً في ظل ظروف الاستقرار القياسية، فإن المعلمات الكسرية تغير بشكل كبير معدلات التقارب العابر وديناميكيات ذيل الذاكرة الطويلة.

المؤلفون الأصليون: Mehmet Sıddık Çadırcı

نُشر 2026-02-03

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Mehmet Sıddık Çadırcı

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل مقهى مزدحمًا ببارستا واحد فقط. هذا هو نموذج الطابور (M/M/1) الكلاسيكي، وهو نموذج رياضي يُستخدم لفهم الطوابير، وأوقات الانتظار، والازدحام. في النسخة "الكلاسيكية" من هذه القصة، يتحرك الوقت مثل نهر سلس ومستمر. إذا وصل زبون، فإن احتمال وصول الزبون التالي يكون هو نفسه في كل ثانية، بغض النظر عما حدث قبل خمس دقائق. النظام ليس له ذاكرة؛ إنه يعيش بالكامل في اللحظة الراهنة.

ومع ذلك، فإن العالم الحقيقي ليس دائمًا نهرًا سلسًا. أحيانًا يشعر المرء أن الوقت "لزج" أو "ممتد". ربما تشتت انتباه البارستا، أو أن الزبائن يصلون في دفعات غير متوقعة تبدو وكأنها عالقة. هنا يأتي دور ورقة البحث التي كتبها محمد صديق تشادريجي.

إليك شرح للأفكار الجوهرية للورقة باستخدام تشبيهات بسيطة:

1. الساعة "اللزجة" الجديدة

يقترح المؤلفون نسخة جديدة من طابور المقهى. فبدلاً من النهر السلس، يتخيلون أن الوقت محكوم بـ "مؤثر زمن ممتد غير محلي".

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

2. الدالة السحرية: كيلباس-سايغو (Kilbas-Saigo)

لحل الرياضيات الخاصة بهذا الطابور اللزج والممتلئ بالذاكرة، يستخدم المؤلفون أداة رياضية خاصة تسمى دالة كيلباس-سايغو.

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

3. "مسافر عبر الزمن الشبح"

أحد أكثر النتائج إثارة للاهتمام هو كيفية ارتباط هذا الطابور الجديد بالطابور القديم. تثبت الورقة أن سلوك هذا الطابور المعقد الممتلئ بالذاكرة هو في الواقع مجرد طابور كلاسيكي يعمل على ساعة عشوائية مشوهة.

التشبيه: تخيل مقهيين متطابقين.
- المقهى (أ) (الكلاسيكي): الوقت يمر بشكل طبيعي.
- المقهى (ب) (الكسري): البارستا هو نفسه، والزبائن هم أنفسهم، لكن الساعة المعلقة على الحائط معطلة. إنها تسرع وتتباطأ عشوائيًا بناءً على قاعدة محددة.
- النتيجة: إذا راقبت المقهى (ب)، سيبدو الطابور وكأنه يتحرك ببطء أو يتصرف بغرابة، ولكن إذا استطعت "إعادة ضبط" ساعة المقهى (ب) المعطلة لتتطابق مع الوقت الطبيعي للمقهى (أ)، فسيظهر كلا الطابورين متطابقين تمامًا.
الادعاء: تثبت الورقة رياضيًا أن الطابور الكسري هو مجرد طابور كلاسيكي يتم تقييمه عند "زمن عشوائي غير متناقص".

4. المفاجأة الكبرى: النتيجة النهائية لا تتغير

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

التشبيه: سواء مشيت إلى المتجر بخطوات سريعة أو خضت وسط طين عميق، إذا بدأت من نفس المكان واتبعت نفس المسار، فستصل في النهاية إلى نفس الوجهة.
الادعاء: طالما أن المقهى ليس غارقًا بالزبائن (معدل الوصول أقل من معدل الخدمة)، فإن التوزيع النهائي المستقر لعدد الزبائن في الطابور هو تمامًا مثل النموذج الكلاسيكي. "الوقت اللزج" يغير سرعة وصولك إلى هناك، ولكن ليس أين ينتهي بك المطاف.

5. الفرق الحقيقي: الرحلة، لا الوجهة

بينما الوجهة النهائية هي نفسها، فإن الرحلة مختلفة تمامًا.

التشبيه: في النموذج الكلاسيكي، إذا أصبح الطابور طويلاً، فإنه يتقلص ويعود لطبيعته بسرعة كبيرة (بسرعة أسية). في النموذج "اللزج" الجديد، يتقلص الطابور ببطء شديد. لديه "ذيول طويلة".
الادعاء: تؤثر المعاملات $\alpha$ $α$ و $\gamma$ $γ$ (التي تتحكم في "اللزوجة" و"التمدد" للزمن) بشكل كبير على النظام العابر (الفترة المؤقتة قبل الاستقرار).
- $\alpha$ صغيرة أو $\gamma$ كبيرة: يستغرق النظام وقتًا أطول بكثير ليهدأ. إنه يحتفظ بـ "ذاكرة" فترة الازدحام لفترة طويلة.
- $\alpha$ كبيرة: يتصرف النظام بشكل يشبه النموذج الكلاسيكي سريع الحركة.

الملخص

تقدم الورقة طريقة أكثر مرونة لنمذجة خطوط الانتظار التي تأخذ في الاعتبار "الذاكرة" و"لزوجة" الوقت.

تغير قواعد الوقت: تستبدل الوقت القياسي بنسخة "ممتدة" تتذكر الماضي.
تستخدم أداة رياضية جديدة: دالة "كيلباس-سايغو" لوصف كيفية استرخاء النظام.
ترتبط بالقديم: توضح أن هذا النظام الجديد هو مجرد نظام قديم يعمل على ساعة غريبة وعشوائية.
تحافظ على نفس النهاية: يظل متوسط عدد الأشخاص في الطابور على المدى الطويل هو نفسه كما في النموذج الكلاسيكي.
تبطئ البداية: الفرق الرئيسي هو أن النظام يستغرق وقتًا أطول بكثير للاستقرار بعد فترة من الازدحام، مما يخلق "ذيولاً ثقيلة" حيث يبقى الطابور لفترة أطول مما هو متوقع قبل العودة إلى الحالة الطبيعية.

لقد تحقق المؤلفون من ذلك باستخدام عمليات المحاكاة الحاسوبية (مونت كارلو)، موضحين أنه من خلال تعديل معاملات "اللزوجة"، يمكنهم نمذجة أنظمة تسترخى ببطء أكبر بكثير مما تسمح به النماذج التقليدية.

ملخص تقني: طابور M/M/1 كسري محكوم بمؤثرات زمنية ممتدة ومشدودة

بيان المشكلة
يعتبر طابور M/M/1 الكلاسيكي نظاماً ماركوفياً محكوماً بمعادلات كولموغوروف الأمامية الخطية ذات المشتقات الزمنية العادية. ورغم فاعلية هذا الإطار في الأنظمة ذات أوقات الفترات البينية عديمة الذاكرة، إلا أنه يفشل في التقاط التأثيرات الزمنية غير المحلية، والاستمرارية، والاسترخاء الشاذ الذي يُلاحظ غالباً في الأنظمة المعقدة في العالم الحقيقي. تعتمد التعميمات الكسرية الموجودة عادةً على مشتقة كابوتو (Caputo) القياسية، والتي تُدخل الذاكرة ولكنها تفتقر إلى المرونة اللازمة لنمذجة سلوكيات القياس الزمني الأكثر تعقيداً. تعالج هذه الورقة الفجوة في دمج المؤثرات الزمنية الممتدة وغير المحلية بشكل منهجي في التحليل العابر لنماذج الطوابير لتوصيف ديناميكيات الذيل ذات الذاكرة الطويلة بشكل أفضل.

المنهجية
يقترح المؤلفون تعميماً غير ماركوفي لطابور M/M/1 عبر استبدال المشتقة الزمنية من الدرجة الأولى في معادلات كولموغوروف الأمامية بـ مؤثر كسري مشدود ممتد، يُرمز له بـ $D^{(\alpha, \gamma)}_t$ . يُعرف هذا المؤثر بأنه $t^{-\gamma} {}^C D^\alpha_t$ ، حيث ${}^C D^\alpha_t$ هي مشتقة كابوتو الكسرية من الرتبة $\alpha$ حيث $0 < \alpha < 1$ ، و $\gamma \ge 0$ هو معامل التمدد الذي يحقق الشرط $\alpha + \gamma \le 1$ .

يسير التحليل عبر الخطوات التالية:

صياغة النموذج: يتم التحكم في احتمالات الحالة $p_n(t)$ عبر نظام من المعادلات التفاضلية الفرقية الكسرية، حيث يتم استبدال المشتقة الزمنية بـ $D^{(\alpha, \gamma)}_t$ .
الحل التحليلي: يستخدم المؤلفون تقنيات تحويل لابلاس لحل المعادلات الحاكمة. يعتمد هيكل الحل على دالة كيلباس-سايغو ( $E_{a,m,l}$ )، وهي دالة خاصة تعمم عائلة "ميتال-ليفلر" وتعمل كدالة ذاتية للمؤثر الزمني المشدود.
التمثيل العشوائي: يتم بناء تفسير لتغيير الوقت، يوضح أن عملية الطابور الكسرية $\{N_{\alpha,\gamma}(t)\}$ تكافئ توزيعياً عملية M/M/1 كلاسيكية يتم تقييمها عند زمن عشوائي غير متناقص $A_{\alpha,\gamma}(t)$ . هذا الزمن العشوائي هو معكوس "المُنزاح" (subordinator) المرتبط بالمؤثر المشدود.
التحقق العددي: تُجرى عمليات محاكاة مونت كارلو باستخدام مخطط محاكاة متغير زمنياً. يتم توليد مسارات M/M/1 الكلاسيكية عبر خوارزمية مدفوعة بالأحداث، ويتم تقييمها عند أوقات تشغيل عشوائية مستمدة من الديناميكيات الكسرية المشدودة لتقدير مقاييس الأداء العابر.

المساهمات الرئيسية
تقدم الورقة أربع مساهمات رئيسية:

مقترح نموذج ممتد: تقدم نموذج M/M/1 كسري يتضمن مؤثراً زمنياً غير محلي مع معامل تمدد إضافي ( $\gamma$ )، مما يسمح بطيف أغنى من سلوكيات الاضمحلال مقارنة بالنماذج الكسرية القياسية.
الاشتقاق التحليلي: تشتق الورقة احتمالات الحالة العابرة الصريحة معبراً عنها بدالة كيلباس-سايغو، مما يوفر تمثيلاً مغلقاً لتطور النظام.
النظم الحدية: تحدد الورقة بدقة الحالات الحدية التي تستعيد كل من طابور M/M/1 الكلاسيكي (عندما $\alpha \to 1, \gamma \to 0$ ) وطابور M/M/1 الكسري الزمني القياسي (عندما $\gamma \to 0$ )، مما يضمن الاتساق مع الأدبيات الحالية.
التفسير العشوائي: تؤسس الورقة رابطاً احتمالياً بين الطابور الكسري والعملية الكلاسيكية المتغيرة زمنياً، مما يوضح آلية إدخال الذاكرة.

النتائج

السلوك العابر: تغير المعاملات الكسرية $(\alpha, \gamma)$ السلوك العابر بشكل كبير. وتحديداً، يظهر النظام استرخاءً غير أسي وتقارباً أبطأ نحو التوازن مقارنة بالحالة الكلاسيكية. إن احتمال كون النظام فارغاً ( $p_0(t)$ ) ومتوسط طول الطابور ( $m(t)$ ) يتقاربان نحو قيم الحالة المستقرة بشكل أبطأ مع زيادة تأثيرات الذاكرة (التي يتحكم فيها $\alpha$ و $\gamma$ ).
توزيع الحالة المستقرة: تحت شرط الاستقرار القياسي $\rho = \lambda/\mu < 1$ ، تثبت الورقة أن توزيع الحالة المستقرة يظل هندسياً ويتطابق تماماً مع توزيع M/M/1 الكلاسيكي ( $\pi_n = (1-\rho)\rho^n$ ). تؤثر المعاملات الكسرية المشدودة على معدل التقارب ولكنها لا تغير المقياس الثابت للنظام.
ديناميكيات الذيل: تشير الأمثلة العددية إلى أن الديناميكيات الكسرية تؤدي إلى انتشار أوسع لتوزيع طول الطابور في الأوقات المتوسطة، مما يسلط الض الضوء على تأثيرات الاستمرارية الناتجة عن المؤثر الزمني غير المحلي.

الأهمية والادعاءات
تدعي الورقة أنها توفر إطاراً مرناً ومتسقاً رياضياً لنمذجة أنظمة الطوابير ذات الذاكرة والتأثيرات الزمنية غير المحلية. ومن خلال استخدام دالة كيلباس-سايغو، يجسّر هذا النموذج الفجوة بين الديناميكيات الكلاسية والديناميكيات الكسرية المعقدة، مما يوفر أداة لالتقاط ديناميكيات ذيل الذاكرة الطويلة التي لا تستطيع النماذج الماركوفية البسيطة أو النماذج الكسرية العادية التقاطها. ويؤكد المؤلفون أنه بينما يظل التوزيع المستقر ثابتاً تحت هذه التغييرات الزمنية، فإن مقاييس الأداء العابر حساسة للغاية للمعاملات الكسرية، مما يجعل النموذج ذا صلة وثيقة بالأنظمة التي تكون فيها سرعة التقارب وأنماط الازدحام العابر أمراً بالغ الأهمية. ويؤكد العمل أن الإطار الموسع يحافظ على بنية الولادة-الوفاة الخطية للطابور مع إدخال الذاكرة من خلال التطور الزمني.