ChannelFlow-Tools: A Configuration-Driven Pipeline for Generating Machine-Learning-Ready Datasets of 3D Obstructed Channel Flows
تقدم هذه الورقة ChannelFlow-Tools، وهو خط إنتاج مفتوح المصدر وقائم على التكوين، يقوم بتوليد مجموعات بيانات قابلة لإعادة الإنتاج وجاهزة لتعلم الآلة لتدفقات القنوات ثلاثية الأبعاد المعترضة من خلال دمج التوليد الهندسي الإجرائي، وتجزئة حقول المسافة الموقعة (signed-distance-field voxelization)، ومحاكاة لاتيس-بولتزمان، مما يتيح تدريب نماذج بديلة للديناميكا الحسابية للسوائل (CFD) قوية ومدركة للهندسة.
المؤلفون الأصليون:Shubham Kavane, Lukas Schröder, Kajol Kulkarni, Fernando Gonzalez, Harald Koestler
ديناميكا الموائع الحسابية هي علم استخدام أجهزة الكمبيوتر القوية للتنبؤ بكيفية تحرك السوائل والغازات. لعقود من الزمن، اعتمد المهندسون على هذه المحاكاة لتصميم كل شيء، بدءاً من أجنحة الطائرات وصولاً إلى هياكل السيارات، لكن الحسابات غالباً ما تكون ثقيلة وبطيئة للغاية بحيث لا يمكن تشغيلها في الوقت الفعلي. ولتسريع هذه العملية، بدأ العلماء مؤخراً في تدريب نماذج الذكاء الاصطناعي لتعمل كاختصارات؛ حيث تتعلم هذه النماذج "البديلة" من آلاف المحاكاة الماضية لتخمين نتيجة موقف جديد بشكل فوري تقريباً. ومع ذلك، لكي تكون هذه الاختصارات المدعومة بالذكاء الاصطناعي جديرة بالثقة، يجب تدريبها على بيانات دقيقة تماماً ومولدة بطريقة متسقة. فإذا كانت بيانات التدريب تحتوي على أخطاء خفية أو تناقضات، فسوف يتعلم الذكاء الاصطناعي دروساً خاطئة، وستفشل تنبؤاته عند تطبيقها على مشكلات العالم الحقيقي. لقد كان التحدي يكم lives في إيجاد طريقة لتوليد كميات هائلة من بيانات الموائع عالية الجودة حيث يتم التحكم في كل متغير وتسجيله والتحقق منه.
قام فريق من الباحثين في جامعة فريدريش-ألكسندر إرلانجن-نورنبرغ ومركز (CERFACS) ببناء حل لهذه المشكلة يسمى (ChannelFlow-Tools). وهو نظام مؤتمت بالكامل مصمم لإنشاء مكتبة ضخمة من سيناريوهات تدفق الموائع ثلاثية الأبعاد، مع التركيز بشكل خاص على كيفية تحرك الهواء أو الماء عبر قناة عند اعتراضها بعوائق مختلفة. تخيل نفقاً مستطيلاً طويلاً حيث يتقطع التدفق بواسطة أجسام مثل الكرات، أو المكعبات، أو الأسطوانات، أو المخاريط، أو الحلقات، أو الأوتاد. أراد الباحثون معرفة ما إذا كان بإمكانهم توليد الآلاف من هذه السيناريوهات، ومحاكاة حركة المائع حولها، وتعبئة النتائج في تنسيق يمكن للذكاء الاصطناعي قراءته بسهولة، كل ذلك مع ضمان أن تكون كل خطوة من خطوات العملية متطابقة رياضياً في كل مرة يتم تشغيلها.
يعمل النظام مثل خط تجميع عالي الدقة. أولاً، يقوم بتوليد أشكال العوائق إجرائياً؛ فبدلاً من تصميم كل جسم يدوياً، يستخدم البرنامج مجموعة من القواعد لإنشاء تنويعات عشوائية للأشكال الستة الأساسية، مما يضمن ملاءمتها تماماً داخل القناة دون ملامسة الجدران أو بعضها البعض. بعد ذلك، يقوم بتحويل هذه الأشكال ثلاثية الأبعاد إلى خريطة رقمية تسمى "حقل المسافة الموقعة" (signed distance field)؛ وتخبر هذه الخريطة الكمبيوتر بالضبط مدى بُعد كل نقطة في الفضاء عن أقرب سطح صلب، وهو أمر بالغ الأهمية ليفهم الذكاء الاصطناعي الهندسة المعمارية. بعد ذلك، يقوم النظام بتشغيل محاكاة للموائع باستخدام طريقة تسمى "نهج لاتيس بولتزمان" (lattice Boltzmann approach)، والتي تقسم المائع إلى خلايا شبكية صغيرة لحساب كيفية تدفقه حول العوائق. وأخيراً، يقوم بتعبئة الشكل، وخريطة المسافة، وأنماط التدفق الناتجة في ملف واحد منظم.
ما يميز هذا العمل ليس فقط أنه ينشئ بيانات، بل أنه يتحقق من كل خطوة بدقة متناهية. لم يكتفِ الباحثون بالثقة في أن الكمبيوتر سيقوم بعمله، بل قاموا بمراجعة العملية بأكملها؛ فقد تحققوا من أن الأشكال ثلاثية الأبعاد سليمة رياضياً وخالية من الأخطاء الصغيرة التي قد تعطل المحاكاة. كما أكدوا أن خرائط المسافة الرقمية تمثل الأشكال بدقة، حتى بالنسبة للترتيبات المعقدة التي تضم أجساماً متعددة. وتحققوا من صحة برنامج حل الموائع من خلال مقارنة نتائجه بالمعايير القياسية المعروفة للتدفق حول كرة، لضمان صحة الفيزياء. والأهم من ذلك، أنهم أثبتوا أن النظام قابل لإعادة الإنتاج؛ فإذا أعطيت النظام نفس التعليمات الأولية بالضبط ورقم بذرة عشوائية (random seed number)، فسينتج نفس الأشكال ثلاثية الأبعاد ونتائج المحاكاة حتى آخر بت من البيانات. هذا المستوى من الاتساق نادر في الحوسبة العلمية وهو ضروري لتدريب نماذج ذكاء اصطناعي موثوقة.
أصدر الفريق مجموعة بيانات تحتوي على 450 محاكاة كاملة، تغطي نطاقاً واسعاً من سرعات التدفق وتكوينات العوائق. ولإثبات أن هذه البيانات مفيدة بالفعل، قاموا بتدريب ثلاثة أنواع مختلفة من نماذج الذكاء الاصطناعي على جزء من مجموعة البيانات. كُلفت هذه النماذج بتعلم كيفية التنبؤ بنمط التدفق حول عائق ما بمجرد النظر إلى شكله وسرعة التدفق. وأظهرت النتائج أن النماذج استطاعت بنجاح تعلم العلاقة بين الشكل والتدفق. وعند اختبارها على أشكال لم ترها من قبل، أو على سرعات تدفق خارج النطاق الذي تدربت عليه، لم تتعطل النماذج أو تنتج نتائج غير منطقية، بل أظهرت انخفاضاً متوقعاً ومفهوماً في الدقة، وهو بالضبط ما يتوقع حدوثه في نظام فيزيائي. أكد هذا السلوك أن النماذج كانت تتعلم مبادئ فيزيائية حقيقية بدلاً من مجرد حفظ الأنماط.
توضح الدراسة أنه من الممكن بناء بنية تحتية مشتركة وقابلة للتدقيق لتوليد بيانات ديناميكا الموائع الجاهزة للتعلم الآلي. ومن خلال توفير مسار عمل مفتوح، وقابل للضبط، ومفحص بدقة، قدم الباحثون للمجتمع العلمي أداة لاختبار مدى قدرة نماذج الذكاء الاصطناعي على التعميم في مواقف جديدة. لا يدعي هذا العمل حل مشكلة التنبؤ بالمجال المائع، ولا يقدم نموذجاً واحداً هو الأفضل للذكاء الاصطناعي. بدلاً من ذلك، فإنه يوفر البيانات النظيفة والمسيطر عليها والمحققة اللازمة لدراسة كيفية تعلم هذه النماذج وأماكن فشلها. يوفر هذا الأساس للعلماء الآخرين إجراء تجارب محكومة، مع تغيير عامل واحد في كل مرة لفهم حدود الذكاء الاصطناعي في ديناميكا الموائع، مما يقرب المجال من أدوات التنبؤ الموثوقة في الوقت الفعلي للهندسة والتصميم.
ملخص تقني: أدوات تدفق القنوات (ChannelFlow-Tools)
بيان المشكلة
تُستخدم النماذج البديلة المعتمدة على البيانات بشكل متزايد في ديناميكا السوائل الحسابية (CFD) لتسريع تنبؤات التدفق. ومع ذلك، تعتمد موثوقية هذه النماذج بشكل كبير على جودة بيانات التدريب، وتغطيتها، واتساقها الفيزيائي. توجد فجوة حرجة في القدرة على إجراء دراسات محكومة أحادية العامل (مثل تغيير الهندسة مع تثبيت المعلمات) لأن العديد من مجموعات البيانات المفتوحة المتاحة حالياً تُوزع كأرشيفات ثابتة. وفي هذه المجموعات الثابتة، غالباً ما تكون سير عمل التوليد الأساسية غير متاحة، أو غير موثقة، أو غير قابلة للضبط، مما يجعل من الصعب إعادة توليد البيانات، أو تكييفها، أو توسيعها لتناسب متطلبات بحثية محددة. علاوة على ذلك، تفتقر الموارد الحالية غالباً إلى التحقق المستقل من التمثيل الهندسي (تحديداً حقول المسافة الموقعة، أو SDFs) والمواءمة بين المدخلات الهندسية ومخرجات التدفق.
المنهجية
يقدم المؤلفون ChannelFlow-Tools، وهو خط إنتاج (pipeline) مفتوح المصدر ومدفوع بالتهيئة، مصمم لتوليد مجموعات بيانات جاهزة للتعلم الآلي لتدفقات القنوات ثلاثية الأبعاد ذات العوائق. يدمج خط الإنتاج أربع مراحل متميزة، جميعها مدفوعة بشجرة تهيئة واحدة من نوع Hydra/OmegaConf وبذرة عشوائية (random seed) لضمان قابلية التكرار:
التوليد الإجرائي لهندسة العوائق:
يستخدم مكتبة CadelaQuery (المبنية على OpenCASCADE) لتوليد هندسات العوائق ثلاثية الأبعاد.
يدعم ست عائلات من الأشكال الأولية: الكرة، والمتوازي المستطيلات، والأسطوانة، والمخروط، والطوروس (الحلقة)، والوتد.
تشمل المعلمات: الأبعاد الهندسية، والتوجه، وإحداثيات الموضع.
يعتمد نمطي أخذ عينات: أخذ العينات العشوائي الموحد، وأخذ العينات الطبقي من نوع Sobol لضمان تغطية واسعة لمجال التصميم.
يفرض فحوصات الجدوى (الخلوص مع الجدران، المسافة بين المدخل والمخرج، الحد الأدنى للحجم، والخلوص بين الأجسام) قبل تصدير العوائق كشبكات STL.
توليد حقل المسافة الموقعة (SDF):
يحول شبكات STL المولدة إلى حقول مسافة موقعة (SDFs) مكسلة (voxelized) على شبكة ديكارتية.
يقوم الـ SDF (ϕ) بترميز هندسة العائق كحقل قياسي حيث ϕ<0 يمثل الجزء الصلب الداخلي، و ϕ>0 يمثل السائل، و ϕ=0 يمثل الحدود.
يتم إنشاء المخرجات عند دقات (resolutions) يحددها المستخدم، وتستهدف تحديداً شبكات 128×64×64 و 256×128×128 للمجموعة المنشورة.
محاكاة طريقة لابتينغ-بولتزمان (LBM):
يستخدم إطار العمل مفت المصدر WALBERLA مع نموذج سرعة D3Q27 ومعامل تصادم تراكمي (cumulant collision operator).
يحاكي التدفق فوق عوائق STL المولدة في نطاق قدره 1024×512×512 وحدة شبكية.
يعمل لمدة 20 من أزمنة عبور التدفق، حيث تُستخدم أول 15 منها للإحماء، والـ 5 الأخيرة لتجميع حقول السرعة متوسطة الزمن.
يدعم أرقام رينولدز (Rec) تتراوح تقريباً من 100 إلى 15,000.
تعبئة التنسورات الجاهزة للتعلم الآلي:
يعيد أخذ عينات من مخرجات LBM الأصلية والـ SDF على شبكة ديكارتية مشتركة.
يجمع حقل الهندسة المتوافق، والـ SDF، ومكونات السرعة متوسطة الزمن (vx,vy,vz) في ملفات HDF5 واحدة.
يضمن إمكانية تتبع كل أثر (artifact) وصولاً إلى التهيئة الأصلية والبذرة العشوائية.
المساهمات الرئيسية
يحدد البحث أربع مساهمات رئيسية:
خط الإنتاج (Pipeline): سير عمل كامل مدفوع بالتهيئة ينتج تنسورات متوافقة وجاهزة للتعلم الآلي، بدءاً من الهندسة الإجرائية مروراً ببناء الـ SDF وصولاً إلى محاكاة LBM.
التحقق والتدقيق المرحلي: تحقق مستقل من سلامة الهندسة، والـ SDF، ومراحل الحل، بما في ذلك تدقيق سلامة البيانات لكل مشهد (per-scene) للتنسورات النهائية المعبأة.
الإصدار القابل للتكرار: مجموعة بيانات مدققة لتدفقات القنوات ذات العوائق تم إصدارها مع التهيئة، والبذور، والبيانات الوصفية. تم التحقق من مرحلة توليد الهندسة لضمان تكرار متطابق للبيانات (byte-identical) عبر استخدام هاش SHA-256.
إثبات الاستخدام: تقييم ثلاثة نماذج بديلة (3D U-Net, FNO, U-FNO) تم تدريبها على مجموعة بيانات عينة مكونة من 450 محاكاة لإظهار إمكانية الاستخدام المباشر وتوصيف تحديات التعميم.
النتائج والتحقق
تم التحقق من خط الإنتاج ومجموعة البيانات بدقة عبر مستويات متعددة:
سلامة الهندسة: أكد تدقيق سلامة الشبكة لـ 10,060 مشهداً وجود حجم موجب واحتواء داخل النطاق. ورغم حدوث بعض عيوب التكسير (tessellation) الطفيفة عند النقاط المفردة البارامترية (مثل أقطاب الكرة)، إلا أنها لم تمنع المعالجة اللاحقة.
قابلية التكرار: تم التحقق من إعادة توليد شبكات STL والبيانات الوصفية بشكل متطابق للبيانات (byte-identical) لكل من أنماط أخذ العينات العشوائية وSobol باستخدام هاش SHA-256.
دقة الـ SDF:
التحقق التحليلي: أظهرت دراسات التقارب مقابل الـ SDF التحليلية (للكرة، والأسطوانة، والمتوازي المستطيلات) معدلات تقارب خطأ L2 متسقة مع تحسين الشبكة، ولم يحد منها سوى تكسير STL الأساسي.
تدقيق المجموعة: أظهرت مجموعة فرعية من 350 مشهداً دقة مسافة سطح متوسطة دون مستوى الخلية (MSD/Δx≤1.0) لعائلات الأجسام الفردية، ودقة مقبولة للمشاهد متعددة الأجسام.
التحقق من الحل (Solver):
الاختبارات المعيارية: أعاد الحل إنتاج إحصائيات الأثر (wake statistics)، وترددات انفصال الدوامات، ومعاملات السحب لكرّة عند Res=1000 بما يتوافق مع البيانات التجريبية (Choi و Park) والأدبيات (Roos و Willmarth).
التدقيق لكل مشهد: اجتازت جميع المحاكات الـ 450 المنشورة فحوصات الاكتمال، وحفظ الكتلة (متوسط عدم التوازن 0.28%)، والتقارب الإحصائي، والتسجيل بين الهندسة والتدفق.
أداء النماذج البديلة:
منحنيات التعلم: أظهرت النماذج الثلاثة (U-Net, FNO, U-FNO) انخفاضاً في الخطأ مع زيادة حجم مجموعة التدريب، مما يشيز إلى وجود إشارة قابلة للتعلم.
التعميم: أظهرت النماذج تدهوراً يمكن تفسيره فيزيائياً عند اختبارها على عائلات أشكال ومعاملات رينولدز خارج نطاق التوزيع (OOD)، بدلاً من الفشل غير المنضبط. وقد تفوق نموذج U-FNO عموماً على البنى الأخرى.
الأهمية والادعاءات
يضع المؤلفون ChannelFlow-Tools ليس كادعاء بتقديم أفضل أداء للنماذج البديلة، بل كـ بنية تحتية مشتركة وقابلة للتدقيق للتحقق المنهجي من النماذج البديلة لـ CFD المدركة للهندسة.
يؤكد البحث أن القيمة الأساسية تكمن في القدرة على:
توليد مجموعات بيانات محكومة حيث يمكن تغيير عوامل محددة (الهندسة، رقم رينولدز، الدقة) بشكل منعزل.
التحقق بشكل مستقل من دقة تمثيل الهندسة (SDF) والاتساق الفيزيائي لبيانات التدفق.
إعادة إنتاج وتوسيع مجموعات البيانات باستخدام ملفات التهيئة والبذور، مما يعالج طبيعة "الصندوق الأسود" للعديد من مجموعات بيانات CFD الموجودة.
يدعي المؤلفون بتواضع أن خط الإنتاج يوفر مورداً لاستقصاء تحديات التعميم ودراسة موثوقية النماذج البديلة تحت تأثير تغير التوزيع، بدلاً من حل مشكلة التعميم نفسها. وتعمل البيانات المنشورة كقاعدة لأبحاث مستقبلية في النمذجة المدركة للهندسة، مع تصميم خط الإنتاج ليكون قابلاً للتوسع ليشمل هندسات أكثر تعقيداً وأرقام رينولدز أعلى.