Building real-time digital twin instances with Function+Data Flow: user evaluation and extension for iterative pipelines
تقدم هذه الورقة دراسة تجريبية للمستخدم توضح أن لغة التصور الوظيفي + تدفق البيانات (FDF) وتطبيقها في برنامج DesCartes Builder يعززان بفعالية من إمكانية الوصول والموثوقية لتطوير التوأم الرقمي القائم على الذكاء الاصطناعي لخبراء المجال، مع تحفيز اقتراح امتداد هرمي (H-FDF) لدعم المسارات الأكثر تعقيداً وتكراراً.
المؤلفون الأصليون:Eduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon
في العالم الحديث، يعتمد المهندسون والعلماء غالبًا على "التوائم الرقمية". وهي ليست نسخًا مادية، بل نماذج برمجية متطورة تحاكي شيئًا في العالم الحقيقي، مثل جسر أو محرك نفاث أو شبكة طاقة. والهدف هو إنشاء نسخة افتراضية تتعلم وتتغير جنبًا إلى جنب مع الشيء المادي، مما يسمح للخبراء بالتنبؤ بالأعطال أو تحسين الأداء قبل وقوع أي مشكلة. ولبناء هذه النماذج، غالبًا ما يبدأ الباحثون بمحاكاة حاسوبية دقيقة للغاية ولكنها بطيئة جدًا في التشغيل. ولجعل هذه النماذج مفيدة في الوقت الفعلي، يجب تبسيطها باستخدام تعلم الآلة، وهو فرع من فروع الذكاء الاصطناعي الذي يجد الأنماط في البيانات. ومع ذلك، فإن ربط هذه الخطوات المعقدة — تحويل عمليات المحاكاة البطيئة إلى نماذج سريعة تتعلم — كان تقليديًا عملية يدوية فوضوية؛ فهي تتطلب مهارات برمجة عميقة وغالبًا ما تؤدي إلى أنظمة هشة يصعب إصلاحها أو تحسينها.
وضع فريق من الباحثين في جامعة نانيانغ التكنولوجية في سنغافورة والمركز الوطني الفرنسي للبحث العلمي (CNRS) في فرنسا، هدفهم لحل هذه المشكلة الهندسية. فقد طوروا لغة بصرية جديدة تسمى "تدفق البيانات والوظائف" (Function+Data Flow أو FDF)، صُممت لتسمح للخبراء ببناء خطوط أنابيب تعلم الآلة المعقدة هذه عن طريق سحب وإسقاط الكتل على الشاشة، بدلاً من كتابة أسطر من الكود البرمجي. وقد بنوا أداة تسمى "DesCartes Builder" لوضع هذه الفكرة موضع التنفيذ. وللتحقق مما إذا كان هذا النهج فعالًا بالفعل، دعوا خمسة وعشرين باحثًا وطالبًا إلى ورشة عمل. طُلب من المشاركين بناء نموذج أولي لتوأم رقمي يعمل في الوقت الفاسي، يمكنه التنبؤ بمدى تمدد المادة وتشوهها تحت الضغط، وهي مهمة بالغة الأهمية للسلامة الهيكلية. استخدم المشاركون الأداة الجديدة لتجميع الخطوات اللازمة: أخذ البيانات الخام، وتبسيطها، وتدريب نموذج تعلم آلة، واختبار النتائج.
كانت نتائج هذه التجربة مشجعة. فقد وجد المشاركون أن الأداة سهلة الاستخدام بشكل مفاجئ، رغم أنها لا تزال في مرحلة مبكرة من التطوير. وعلى مقياس قياسي يُستخدم لقياس مدى سهولة استخدام البرامج، سجلت الأداة درجة أعلى بكثير من حد "غير مقبول"، بمتوسط قدره 72.5 من أصل 100. وهذا يشير إلى أن النهج البصري نجح في خفض حاجز الدخول، مما سمح لخبراء المجال بالتركيز على المشكلة الهندسية بدلاً من تفاصيل البرمجة. كما كشونت الدراسة أن الأداة كانت فعالة بشكل خاص لأولئك الذين لديهم خلفيات تقنية، بينما واجه أولئك الأقل إلمامًا بالمفاهيم المحددة منحنى تعلم أكثر حدة. وأشار الباحثون إلى أن الطبيعة البصرية للأداة جعلت من الواضح كيفية انتقال البيانات عبر النظام، وقد قدر المشاركون القدرة على استبدال خوارزميات تعلم الآلة المختلفة بنقرة واحدة، وهي مهمة تتطلب عادةً إعادة كتابة أجزاء كبيرة من الكود.
ومع ذلك، سلطت الدراسة الضوء أيضًا على الجوانب التي يحتاج فيها النظام إلى النمو. شعر بعض المستخدمين أن الأداة تفتقر إلى وجود توجيهات مدمجة كافية، مثل التلميحات المنبثقة أو الدروس التعليمية، لمساعدتهم على فهم الغرض من كل كتلة. ووجد آخرون أن رسائل الخطأ كانت مربكة عندما تسوء الأمور، وتمنوا وجود تفسيرات أوضح لما تسبب في الفشل. ولمعالجة هذه القيود والحاجة إلى سير عمل أكثر تعقيدًا، اقترح الباحثون امتدادًا لنظامهم يسمى H-FDF. يقدم هذا الإصدار الجديد طريقة لإنشاء حلقات داخل التصميم، مما يسمح للنظام بتكرار عملية ما حتى يصل إلى هدف محدد، مثل وصول النموذج إلى مستوى كافٍ من الدقة. وتعد هذه خطوة كبيرة للأمام لأنها تسمح بتقنيات أكثر تقدمًا، مثل تدريب نموذجين معًا لتحسين أداء كل منهما، دون جعل التصميم العام فوضويًا.
قارن الباحثون نهجهم الجديد بالأدوات الموجودة في الصناعة، مثل KNIME، وهو منصة شهيرة لتحليل البيانات. ووجدوا أنه بينما يمكن لتلك الأدوات التعامل مع الحلقات، فإن الطريقة التي تفعل بها ذلك غالبًا ما تخلط بين تدفق البيانات وتدفق التحكم، مما يجعل المخططات مزدحمة وصعبة التعديل. في المقابل، يحافظ نهج H-FDF الجديد على فصل تدفق البيانات ومنطق الحلقات وتعريفهما بوضوح، مما يسهل تغيير كيفية سلوك النظام. ومن خلال اختبار سيناريو معقد حيث يتم تدريب نموذجين في وقت واحد لتعلم نظام ديناميكي، أظهر الفريق أن طريقتهم الجديدة يمكنها التعامل مع هذه المهام المعقدة بشكل أكثر نظافة. وتخلص الدراسة إلى أنه بينما يعد الأداة الحالية بداية واعدة، فإن تحويل هندسة التوائم الرقمية إلى ممارسة منضبطة ومتاحة يتطلب استمرار التطوير، وتحسين التوثيق، والتنفيذ الكامل لقدرات الحلقات الجديدة هذه. ويشير العمل إلى أنه مع توفر الأدوات البصرية المناسبة، يمكن أن يصبح الفن المعقد لبناء التوائم الرقمية تخصصًا أكثر موثوقية وسهولة في الوصول للخبراء الذين هم في أمس الحاجة إليه.
ملخص تقني: بناء نماذج التوأم الرقمي في الوقت الفعلي باستخدام تدفق الوظائف والبيانات (Function+Data Flow)
1. بيان المشكلة
تعتمد التوائم الرقمية (DTs) بشكل متزايد على خطوط أنابيب الذكاء الاصطناائي (AI) وتعلم الآلة (ML) لإنشاء تمثيلات عالية الدقة وفي الوقت الفعلي للأنظمة الفيزيائية. وتظل هندسة هذه الخطوط، لا سيما في مرحلتي التعلم السريع للتوأم الرقمي (Φ2) (اختزال رتبة النموذج) وتجسيد التوأم الرقمي (Φ3) (استيعاب البيانات)، عملية غير منظمة إلى حد كبير. وتشمل التحديات الحالية ما يلي:
نقص الأدوات المخصصة: غالبًا ما تتعامل الأدوات الحالية (مثل Simulink وKNIME ومنصات MLOps) مع نماذج تعلم الآلة كعناصر ضمنية أو تفتقر إلى الدعم الأصيل للنمذجة الهجينة المطلوبة للتوائم الرقمية (التي تجمع بين المحاكاة القائمة على الفيزياء والنماذج القائمة على البيانات).
قابلية إعادة الاستخدام والتحقق: يصعب تحديد وتدقيق وإعادة استخدام خطوط الأنابيب. عادة ما تعامل لغات تدفق البيانات القياسية الوظائف كأجزاء ضمنية بدلاً من كونها مواطنين من الدرجة الأولى، مما يجعل من الصعب تكوين النماذج المتعلمة ومعالجتها وإعادة استخدامها بشكل صريح.
التعقيد التكراري: تواجه بيئات سير العمل المرئية القياسية صعوبة في تمثيل العمليات التكرارية (مثل التدريب المزدوج أو تعلم البواقي) دون دمج تدفق التحكم وتدفق البيانات بطرق معقدة وصعبة الصيانة.
2. المنهجية
يقترح المؤلفون لغة مجال محدد (DSL) مرئية تسمى تدفق الوظائف والبيانات (FDF) وتطبيقها في أداة تسمى DesCartes Builder.
2.1 تدفق الوظائف والبيانات (FDF)
تعالج FDF قيود تدفق البيانات القياسي من خلال معاملة الوظائف (نماذج تعلم الآلة) كمواطنين من الدرجة الأولى.
أنواع المنافذ المزدوجة: على عكس تدفقات البيانات القياسية التي تحتوي فقط على منافذ بيانات، تحدد FDF نوعين صريحين من المنافذ:
منافذ البيانات (باللون الأسود): ترسل/تستقبل دفعات من البيانات.
النمذجة الضمنية للأنواع: تستخدم FDF نظامًا ضمنيًا لاستنتاج الأنواع. يتم استنتاج الأنواع بناءً على رسم تخطيطي خط الأنابيب ودلالات الصناديق بدلاً من التصريحات الصريحة. يسمح هذا للنظام باكتشاف التوصيلات الخاطئة (مثل تغذية وظيفة في منفذ بيانات) وقت التوصيف، مما يضمن الصحة الهيكلية دون إثقال كاهل المستخدم بتعريفات الأنواع اليدوية.
2.2 DesCartes Builder
DesCartes Builder هو بيئة نمذجة متكاملة (واجهة أمامية بلغة ++C، وخلفية بلغة Python/Kedro) تنفذ FDF. وهي توفر:
لوحة مرئية لبناء خطوط الأنابيب باستخدام صناديق FDF.
توليد تلقائي للكود من مواصفات FDF.
محركات تنفيذ للتدريب والتحقق من النماذج.
دعم مدمج لتصور النتائج والتحقق من النماذج المُخلّقة.
2.3 دراسة المستخدم التجريبية
لتقييم فعالية FFF وDesCartes Builder، أجرى المؤلفون دراسة مستخدم مضبوطة مع 25 مشاركًا (باحثين وطلاب دكتوراه) في سنغافورة.
المهمة: قام المشاركون بتنفيذ نموذج أولي لتوأم رقمي في الوقت الفعلي للتنبؤ بانفعال المواد (حالة استخدام تتضمن اختزال الأبعاد والنمذجة البديلة).
المقاييس: تم قياس سهولة الاستخدام باستخدام مقياس سهولة الاستخدام للنظام (SUS)، وتم تقييم كفاية الميزات عبر تقييمات مقياس ليكرت والتعليقات النوعية.
2.4 امتداد H-FDF
لمعالجة القصور المتمثل في أن FDF القياسية تدعم فقط خطوط الأنابيب غير الحلقية (acyclic) بشكل صارم، يقترح المؤلفون H-FDF (تدفق الوظائف والبيانات الهرمي).
صندوق الوحدة (Module Box): يقدم صندوق Module جديدًا يغلف خط أنابيب فرعيًا.
التنفيذ التكراري: يمكن تعريف الوحدات كعمليات استقرائية، مما يسمح بالتكرار الداخلي حتى يتم استيفاء معيار التوقف.
اللا-حلقية العالمية: بينما يمكن للوحدات أن تتكرر داخليًا، يظل خط الأنابيب العالمي غير حلقي، مما يحافظ على القدرة على تحليل وتنفيذ سير العمل بكفاءة.
التغذية الراجعة الصريحة: تتم إدارة التكرار عبر تدفقات تغذية راجعة صريحة بين منافذ المخرجات والمداخل داخل تعريف الوحدة، مما يفصل تدفق التحكم عن تدفق البيانات.
3. المساهمات الرئيسية
لغة FDF DSL: لغة مرئية تمثل الوظائف صراحة كمواطنين من الدرجة الأولى، مما يتيح تكوين وإعادة استخدام نماذج تعلم الآلة في خطوط أنابيب التوأم الرقمي.
DesCartes Builder: تطبيق مفتوح المصدر لـ FDF يدعم تخليق وتنفيذ والتحقق من صحة التوائم الرقمية القائمة على تعلم الآلة.
التقييم التجريبي: دراسة مستخدم أظهرت أن DesCartes Builder يحقق سهولة استخدام جيدة (متوسط SUS: 72.5) وأنه فعال بشكل خاص لخبراء المجال، رغم كونه في مرحلة تطوير أولية.
امتداد H-FDF: امتداد رسمي لـ FDF يدعم خطوط الأنابيب الهرمية والتكرارية (مثل التدريب المزدوج) مع الحفاظ على اللا-حلقية العالمية، مما يعالج فجوة رئيسية في أدوات سير العمل المرئية الحالية.
4. النتائج
سهولة الاستخدام: حققت الدراسة متوسط درجة SUS بلغ 68.9 (الوسيط: 72.5). تتجاوز هذه الدرجة الأدوات الراسخة مثل Excel (56.5) وUPPAAL (61.7)، وهي مقاربة لـ Simulink (76.4)، رغم أن DesCartes Builder هو نموذج بحثي أولي.
الجمهور المستهدف: كان أداء الأداة أفضل بين المشاركين ذوي الخبرة التقنية (متوسط SUS: 72.8)، مما يشير إلى أنها تخدم جمهورها المستهدف بفعالية.
كفاية الميزات: وجد 89% من المشاركين أن اللوحة بديهية، وكان 85% راضين عن تصور النتائج.
مجالات التحسين:
منحنى التعلم: كان الدرجة الفرعية لـ "القابلية للتعلم" أقل (58.0)، مما يشير إلى منحنى تعلم أولي حاد، خاصة للمستخدمين غير المعتادين على مفاهيم هندسة النماذج (MDE).
التوثيق: طلب المستخدمون المزيد من تلميحات الأدوات (tooltips) والدروس التعليمية المدمجة.
التشخيص: كانت ردود الفعل حول رسائل التحذير مستقطبة؛ حيث يرغب المستخدمون في اقتراحات تشخيصية أكثر تحديدًا وقدرات فحص وقت التشغيل.
فائدة H-FDF: تم عرض الامتداد على حالة دراسية "التدريب المزدوج" لتعلم الأنظمة الديناميكية، مما يوضح كيف يمكنه دمج النماذج استقرائيًا بشكل فعال، وهي مهمة تتطلب هياكل حلقات معقدة ومترابطة في أدوات مثل KNIME.
5. الأهمية والادعاءات
يزعم البحث أن المنصات المتكاملة القائمة على النماذج هي اتجاه واعد لتحويل هندسة التوأم الرقمي القائمة على الذكاء الاصطناعي إلى ممارسة نمذجة منضبطة.
إمكانية الوصول: من خلال تجريد تفاصيل خط أنابيب تعلم الآلة المعقدة إلى لغة DSL مرئية واعية بالوظائف، يجعل DesCartes Builder تطوير التوأم الرقمي متاحًا لخبراء المجال الذين قد لا يمتلكون خبرة برمجية عميقة.
الموثوقية: يوفر نظام النوع الضمني التحقق الهيكلي في وقت التصميم، مما يقلل الأخطاء في توصيف خط الأنابيب.
النمطية: يتيح امتداد H-FDF التوصيف الرسمي لخطوط الأنابيب المعقدة والتكرارية (مثل التدريب المزدوج) دون التضحية بوضوح سير العمل الإجمالي، مما يعالج قصورًا محددًا في أدوات سير العمل المرئية الحالية.
يخلص المؤلفون إلى أنه بينما يعد الأداة الحالية نموذجًا بحثيًا عالي الجودة، فإن العمل المستقبلي يجب أن يركز على تعزيز تجربة المستخدم من خلال التوثيق السياقي، وفحص وقت التشغيل، والتنفيذ الكامل لـ H-FDF لدعم هندسة التوأم الرقمي الجاهزة للإنتاج.