Interpretable Digital Twin-Safe Scheduling for Deadline-Aware Task Allocation in Dynamic Fog-Edge Computing: A Comparative and Prediction-Validity Evaluation
تقترح هذه الورقة وتقيم إطار عمل لجدولة التوأم الرقمي الآمن والقابل للتفسير لتخصيص المهام المدركة للمواعيد النهائية في الحوسبة الضبابية-الحافية الديناميكية، مما يثبت أن التوأم الرقمي التحليلي خفيف الوزن يحقق أداءً تنافسياً مع الاستدلال المصمم يدوياً ويتفوق بشكل كبير على خطوط الأساس للتعلم المعزز العميق القائم على القيمة، مع توفير ضمانات سلامة قوية وتشخيصات تنبؤية.
في العالم الحديث، تولد أجهزتنا تدفقاً مستمراً من البيانات التي تتطلب اهتماماً فورياً. فمن منظم الحرارة الذكي الذي يتكيف مع تغير درجات الحرارة، إلى روبوت المصنع الذي يتوقف لأسباب تتعلق بالسلامة، أو المستشعر الطبي الذي ينبه الطبيب، تعتمد كل هذه التقنيات على قدرة حوسبية سريعة بما يكفي لاتخاذ الإجراء قبل فوات الأوان. وقد دفعت هذه الحاجة إلى السرعة بالحوسبة بعيداً عن مراكز البيانات الضخمة والبعيدة نحو "الحافة" (the edge) في الشبكة، أي بالقرب من حيث توجد الأجهزة فعلياً. هذا النهج، المعروف باسم "حوسبة الضباب والحافة" (fog-edge computing)، يضع خوادم صغيرة بالقرب من المستخدم للتعامل مع المهام بسرعة. ومع ذلك، فإن هذا القرب يخلق بيئة فوضوية؛ فهذه الخوادم المحلية ليست مثالية، إذ تمتلك عمر بطارية محدود، ويمكن أن تتعطل بشكل غير متوقع، وغالباً ما تواجه طفرات مفاجئة في حجم العمل. ويتمثل التحدي الرئيسي للمهندسين في تحديد الخادم الذي يجب أن يتولى أي مهمة، والقيام بذلك فوراً، دون تفويت موعد نهائي أو تحميل آلة تعاني بالفعل فوق طاقتها.
وضع فريق من الباحثين هدفاً لحل لغز الجدولة هذا عبر اختبار نهج جديد يجمع بين المحاكاة الافتراضية وفحص السلامة. لقد بنوا نموذجاً رقمياً، أو "توأماً رقمياً" (digital twin)، لشبكة مكونة من خمسة عشر خادماً ضبابياً. يعمل هذا النموذج مثل كرة بلورية تتنبأ بما سيحدث إذا أُرسلت مهمة معينة إلى خادم محدد. وقبل اتخاذ القرار، يحسب النموذج وقت الانتظار المحتمل، واحتمالية تفويت الموعد النهائي، وعمر البطارية المتبقي، وما إذا كان الخادم سيصبح مثقلاً بالأعباء بشكل خطير. والأهم من ذلك، يتضمن النظام قاعدة سلامة صارمة تمنع فوراً أي خيار من شأنه إرسال مهمة إلى آلة معطلة، أو ذات بطارية فارغة، أو خادم وصل بالفعل إلى نقطة الانهيار. ثم اختبر الباحثون هذا النظام التنبئي مقابل عدة طرق أخرى، بما في ذلك قواعد التقدير البسيطة وخواروات الذكاء الاصطناعي المتقدمة التي تتعلم من خلال التجربة والخطأ.
كشفت الدراسة، التي أجريت من خلال آلاف عمليات المحاكاة، أن نهج التوأم الرقمي فعال للغاية في إبقاء المهام ضمن الوقت المحدد. وفي هذه المحاكاة، لم يفت التوأم الرقمي المواعيد النهائية إلا بنسبة 2.42 في المائة تقريباً. وكان هذا الأداء متطابقاً تقريباً مع أفضل طريقة قائمة على القواعد صاغها البشر والتي اختبرها الباحثون، والتي فوتت المواعيد النهائية بنسبة 2.27 في المائة. وبينما كانت الطريقة القائمة على القواعد هي الأفضل تقنياً بفارق ضئيل جداً، إلا أن الفرق كان صغيراً لدرجة أنه لم يكن ذا دلالة إحصائية. ومع ذلك، تكمن القيمة الحقيقية للتوأم الرقمي في شفافيته؛ فخلافاً لطرق الذكاء الاصطناعي، التي تعمل غالباً كـ "صندوق أسود" يتخذ القرارات دون شرح الأسباب، يوفر التوأم الرقمي تنبؤاً واضحاً وخطوة بخطوة للنتيجة لكل خيار يتم النظر فيه. فهو يخبر النظام بالضبط كم ستستغرق المهمة وكم ستستهلك من الطاقة قبل إرسال المهمة حتى.
وعندما قارن الباحثون توأمهم الرقمي بأنظمة الذكاء الاصطناعي الأكثر تعقيداً والمصممة لتعلم أفضل جدول زمني من تلقاء نفسها، كانت النتائج صارخة. فقد واجهت الأنظمة القائمة على التعلم، التي حاولت اكتشاف الاستراتيجية المثلى من خلال الممارسة المتكررة، صعوبات كبيرة. حيث فوت أحد أنواع خوارزميات التعلم المواعيد النهائية بنسبة تقارب 22 في المائة، بينما فوت النوع الآخر بنسبة 19 في المائة. وقد تفوق التوأم الرقمي على هذه الأنظمة التعليمية من خلال تقليل المواعيد النهائية الفائتة بنسبة تقارب 89 في المائة مقارنة بأسوأ أداء. وحتى عندما حاول الباحثون دمج نظام التعلم مع التوأم الرقمي، لم يضف جزء التعلم أي قيمة؛ بل في الواقع، تجاهل أفضل نسخة من النظام المدمج مكون التعلم تماماً واعتمد بنسبة 100 في المائة على تنبؤات التوأم الرقمي. وهذا يشير إلى أنه بالنسبة لهذا النوع من المشكلات، حيث تتغير الظروف بسرعة وتكون السلامة أمراً بالغ الأهمية، فإن النموذج التنبئي المصمم جيداً أكثر موثوقية من النظام الذي يحاول التعلم من الصفر.
كما تحقق الباحثون من مدى دقة تنبؤات التوأم الرقمي. ووجدوا أن النموذج توقع بشكل صحيح ما إذا كانت المهمة ستفوت موعدها النهائي بنسبة 97.42 في المائة. وكان أكثر دقة فيما يتعلق بالسلامة، حيث حدد بدقة 100 في المائة متى سيصبح الخادم مثقلاً بالأعباء أو غير آمن. كما قدر النموذج الطاقة المتبقية والوقت الذي ستقضيه المهمة في الانتظار بدقة عالية. وتشير هذه النتائج إلى أن التوأم الرقمي ليس مجرد أداة جدولة، بل هو طبقة تشخيصية موثوقة تفهم الحالة المستقبلية للشبكة. وتخلص الدراسة إلى أنه بينما يمكن للقواعد البسيطة المصممة بعناية أن تظل الأكثر كفاءة عددياً في الجدولة، فإن التوأم الرقمي يقدم بديلاً قوياً يكاد يكون بنفس الكفاءة في الالتزام بالمواعيد النهائية، ولكنه يتفوق بمراحل في شرح قراراته وضمان السلامة.
يسلط هذا العمل الضوء على تحول في كيفية إدارة الشبكات الحاسوبية المعقدة. فبدلاً من الاعتماد فقط على الذكاء الاصطناعي لتعلم قواعد بيئة ديناميكية، أو الالتزام بتعليمات جامدة وغير قابلة للتغيير، يوفر النهج الهجين باستخدام نموذج تنبئي حلاً وسطاً. يعمل التوأم الرقمي كمستشار شفاف، يتنبأ بعواقب كل خطوة ويقوم بتصفية الخيارات الخطيرة قبل وقوعها. وفي عالم يجب أن تتفاعل فيه الأجهزة فوراً وبأمان، فإن امتلاك نظام يمكنه رؤية النتيجة المحتملة لقرار ما قبل اتخاذه يثبت أنه استراتيجية قوية وجديرة بالثقة. وتظهر النتائج أنه بالنسبة للمهام الحرجة والحساسة للوقت، فإن القدرة على التنبؤ والشرح لا تقل أهمية عن القدرة على اتخاذ القرار فحسب.
ملخص تقني: جدولة آمنة تعتمد على التوأم الرقمي وقابلة للتفسير لتخصيص المهام المدركة للمواعيد النهائية في الحوسبة الضبابية-الحافية الديناميكية
1. بيان المشكلة
يتناول البحث تحدي تخصيص المهام المدركة للمواعيد النهائية (deadline-aware) في بيئات الحوسبة الضبابية-الحافية (Fog-Edge computing) الديناميكية. في هذه الأنظمة، يجب تعيين مهام إنترنت الأشياء الواردة إلى عقد ضبابية متباينة مع إدارة متغيرات عشوائية معقدة:
الظروف الديناميكية: طفرات عبء العمل، فشل العقد، وتعافي العقد.
قيود الموارد: سعات العقد المتباينة، مستويات الطاقة المتبقية، وتراكم الطوابير.
تكمن الصعوبة الجوهرية في اتخاذ قرارات الجدولة التي تلبي المواعيد النهائية الصارمة وقيود السلامة دون تخصيصات غير مجدية. وبينما تعد الاستدلالات (heuristics) الكلاسيكية قابلة للتفسير ولكنها غالبًا ما تكون قاصرة النظر، فإن التعلم المعزز العميق (DRL) يوفر قدرة على التكيف القائمة على البيانات، إلا أن الـ DRL قد يعاني في تحقيق ضمانات السلامة وقابلية التفسير في ظل الظروف الديناميكية للغاية. وتتمثل المسألة البحثية في ما إذا كان طبقة التوأم الرقمي (DT) التفسيرية التنبؤية يمكن أن تدعم جدولة آمنة ومدركة للمواعيد النهائية، وكيف يقارن أداؤها بالاستدلالات القوية المصنوعة يدويًا ونماذج DRL المرجعية.
2. المنهجية
اقترح المؤلفون إطار جدولة آمن يعتمد على التوأم الرقمي تم تقييمه في بيئة محاكاة ديناميكية تحتوي على 15 عقدة ضبابية متباينة على مدار 200 خطوة جدولة لكل حلقة (episode).
أ. البيئة وتمثيل الحالة
الحالة: يتم تمثيل كل عقدة بمتجه مكون من 6 أبعاد (استهلاك وحدة المعالجة المركزية، الطابور المعياري، زمن انتقال الشبكة، الطاقة المتبقية، عامل السعة، والحالة النشطة)، مما ينتج حالة عالمية مكونة من 90 بُعدًا.
الديناميكيات: تمتلك المهام أوقات تنفيذ ومواعيد نهائية. تتقلب توافرية العقد (الفشل/التعافي)، وتستنزف الطاقة عند تنفيذ المهام.
قناع السلامة (Safety Mask): يقوم قناع سلامة صارم بتصفية الإجراءات التي تكون فيها العقدة غير نشطة، أو طاقتها أقل من 0.10، أو طابورها يتجاوز 85% من سعتها. وإذا كان الإجراء المطلوب غير آمن، يختار آلية احتياطية أفضل عقدة آمنة متاحة.
ب. المتنبئ بالتوأم الرقمي (DT Predictor) بدلاً من تعلم سياسة عبر التجربة والخطأ، يعمل التوأم الرقمي كـ متنبئ تحليلي خفيف الوزن:
التقييم المسبق: قبل التنفيذ، يقدر عواقب تعيين مهمة لعقدة مرشحة.
التنبؤات: يحسب وقت الاستجابة المتوقع، خطر فوات الموعد النهائي (بناءً على توزيعات المواعيد النهائية الضيقة/المتسعة)، حالة الطابور بعد الإجراء، الطاقة المتبقية، خطر التحميل الزائد، وجدوى السلامة.
التسجيل (Scoring): يقوم تسجيل المخاطر الموزون (المعادلة 16) بترتيب المرشحين، مع إعطاء الأولوية لخطر فوات الموعد النهائي ووقت الاستجابة.
منطق القرار: يختار مجدول التوأم الرقمي المستقل المرشح صاحب أدنى درجة مخاطر من بين العقد الآمنة والمتنبأ بسلامتها حاليًا.
ج. النماذج المرجعية والدمج تقارن الدراسة التوأم الرقمي مع:
الاستدلالات (Heuristics): العشوائية، أقصر طابور، أقل زمن انتقال، الوعي بالطاقة، والاستدلالات المتقدمة مثل الاستدلال الآمن المدرك للموعد النهائي والطاقة و الاستدلال الآمن لأقل وقت استجابة مقدر.
التعلم المعزز العميق (DRL): نماذج تعتمد على القيمة (DQN, DDQN, Safe DDQN) ونماذج تعتمد على السياسة (PPO, Safe PPO).
الدمج (Fusion): نهج DT-Guided Safe DDQN الذي يدمج قيم Q المتعلمة مع منفعة التوأم الرقمي. كما تم اختبار الدمج المحسن للتوأم الرقمي الآمن (Optimized DT-Safe Fusion) حيث تم ضبط الأوزان لتحديد التوازن الأمثل.
د. بروتوكول التقييم
التشغيل: 30 تشغيلًا مستقلاً ببذور متطابقة لجميع الطرق لضمان مقارنة زوجية عادلة.
المقاييس: نسبة فوات الموعد النهائي (DMR)، متوسط وقت الاستجابة (RT)، نسبة انتهاك السلامة (SVR)، نسبة التحميل الزائد، والمكافأة التراكمية.
التحليل الإحصائي: اختبارات Shapiro-Wilk للاعتدالية، تليها اختبارات Wilcoxon signed-rank الزوجية مع تصحيح Holm للمقارنات المتعددة. تم حساب أحجام التأثير (Cohen's dz).
صلاحية التنبؤ: تم قياس دقة تنبؤ التوأم الرقمي عبر MAE، وRMSE، ودرجات Brier، ودقة التصنيف للمواعيد النهائية، والأحمال الزائدة، والسلامة.
3. النتائج الرئيسية
أ. مقارنة الأداء
الأفضل أداءً: حقق الاستدلال المصنوع يدويًا Safe Deadline-Energy-Aware أفضل النتائج الرقمية (DMR: 2.27%، المكافأة: 4126.77).
أداء التوأم الرقمي: كان التوأم الرقمي المستقل تنافسيًا للغاية، حيث احتل المركز الثالث (DMR: 2.42%، المكافأة: 4112.63).
الفرق في DMR بين أفضل استدلال والتوأم الرقمي لم يكن ذا دلالة إحصائية (p=0.0520 بعد تصحيح Holm).
كانت هناك فروق ذات دلالة إحصائية في وقت الاستجابة والمكافأة، لكنها كانت ضئيلة للغاية (حوالي 0.05 مللي ثانية و~14 وحدة مكافأة).
نماذج DRL المرجعية:
التعلم المعزز القائم على القيمة (DQN/DDQN): كان أداؤهما أسوأ بكثير من التوأم الرقمي. قلل التوأم الرقمي من DMR بنسبة تقارب 88.97% (مقابل DQN) و 87.17% (مقابل DDQN).
التعلم القائم على السياسة (PPO): كان أداؤه ضعيفًا (DMR > 60%)، حيث فشل في تعلم سياسة موثوقة في ظل هذا التكوين المحدد ذي القيود الزمنية والمنفصلة.
نتائج الدمج: استقر الدمج المحسن للتوأم الرقمي الآمن عند تكوين حيث كان وزن قيمة Q المتعلمة هو 0.0 ووزن التوأم الرقمي هو 1.0. يشير هذا إلى أنه، في ظل التكوين الذي تم تقييمه، لم توفر قيم Q المتعلمة أي توجيه إضافي فوق التوأم الرقمي التحليلي.
الأخطاء المستمرة: MAE لوقت الاستجابة بلغ 36.79 مللي ثانية، وMAE للطابور بعد الإجراء بلغ 29.19 مللي ثانية.
نسبة الاحتياط (Fallback Ratio): 1.02% فقط من القرارات تطلبت آلية الاحتياط للسلامة، مما يشير إلى أن تنبؤات التوأم الرقمي للسلامة كانت دقيقة للغاية.
4. الادعاءات والأهمية
يتبنى البحث موقفًا متواضعًا وصارمًا فيما يتعلق بإسهاماته:
ليس بديلًا عالميًا: يذكر المؤلفون صراحة أن التوأم الرقمي لا يتفوق على كل استدلال. يظل استدلال Safe Deadline-Energy-Aware هو الرائد رقميًا.
التنافسية الإحصائية: الادعاء الرئيسي هو أن التوأم الرقمي المستقل تنافسي إحصائيًا مع أقوى الاستدلالات الآمنة فيما يتعلق بالمقياس الحرج للامتثال للمواعيد النهائية.
التفوق على DRL: يتفوق التوأم الرقمي بشكل كبير على نماذج DRL المرجعية القائمة على القيمة (DQN, DDQN) والنهج المدمج ذي الوزن الثابت من حيث فوات المواعيد النهائية، ووقت الاستجابة، والمكافأة.
القابلية للتفسير كقيمة جوهرية: الأهمية الرئيسية للإطار ليست فقط في الأداء، بل في القابلية للتفسير. بخلاف DRL (الصندوق الأسود) أو الاستدلالات البسيطة، يوفر التوأم الرقمي تشخيصات تنبؤية على مستوى الإجراء (وقت الاستجابة المقدر، خطر الموعد النهائي، حالة الطاقة) قبل التنفيذ.
السلامة والصلاحية: نجح الإطار في دمج قيود السلامة الصارمة وأثبت أن التنبؤات التحليلية تتوافق وثيقًا مع نتائج النظام الفعلية (دقة تنبؤ عالية، معدل احتياط منخفض).
الخلاية: يخلص البحث إلى أن طبقة التوأم الرقمي تعمل كـ آلية دعم قرار تنافسية وشفافة وآمنة. فهي تقدم أداء جدولة قريب من المثالي يضاهي أفضل الاستدلالات المصنوعة يدويًا، مع توفير القدرة على التفسير وصلاحية التنبؤ التي تفتقر إليها نماذج DRL في هذا السياق الديناميكي المقيد بالمواعيد النهائية. وتشير النتائج إلى أنه بالنسبة لهذه الفئة من المشكلات، يمكن أن يكون المتنبئ التحليلي المعاير جيدًا أكثر فعالية من دالات القيمة المتعلمة.