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

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

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

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

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

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

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

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

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

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