2022 ورقة بحثية
تقدم هذه الورقة أداة برمجية موحدة تدمج CESTAC للكشف عن عدم الاستقرار العددي في معاملات التعلم العميق والتحقق من صحتها ومراقبته خلال تمريرة حسابية واحدة، مما يساعد في تطوير نوى تدريب واستدلال أكثر استقراراً وكفاءة.
تقترح هذه الورقة وتحلل مخطط عناصر محدودة خطية كامل التقطع يعتمد على طريقة أويلر لتقريب الحلول لمعادلات الهيدروديناميكا المغناطيسية المغناطيسية الحديدية غير الخطية، مع تقديم تقديرات خطأ نظرية تعززها التجارب العددية.
تقدم هذه الورقة إطار عمل للمؤثرات العصبية المستنيرة بالفيزياء يقوم بترتيب مواد الجدران المحلية منخفضة التكلفة للمناخات الحارة والجافة بكفاءة، حيث يحدد الطوب اللبني (الصلصال والقش) كخيار أمثل للراحة الحرارية مع الكشف عن انقلاب في الأداء يعتمد على النظام في ظروف ما دون درجة حرارة المحيط.
تُثبت هذه الورقة أن لغة البرمجة جوليا (Julia) يمكنها تحقيق قابلية توسع متوازية هائلة لتطبيقات الحوسبة عالية الأداء من خلال تحليل كود ديناميكا الموائع الحسابية Trixi.jl على ما يصل إلى 61,440 نواة معالجة مركزية، ومقارنة أدائه بكود FLUXO المكتوب بلغة فورتران (Fortran)، ومعالجة التحديات الرئيسية المتعلقة بتحميل الكود والترجمة عند بدء التشغيل.
تقترح هذه الورقة وتحلل مخططات عناصر محدودة متوافقة من النوع ، مستقرة وذات تقارب أمثل، بما في ذلك الطرق شبه المنفصلة والمنفصلة كلياً الخطية، لحل فئة من معادلات التطور من الرتبة الرابعة غير الخطية مثل معادلات لانداو-ليفشيتز-بارياختار، وسويفت-هوهنبرج، ومعادلات من نوع كان-هيلارد.
تقدم هذه الورقة استراتيجية تكييف مسبق "طبيعي" لحل الأنظمة الخطية غير المتماثلة الناتجة عن تمثيل المعادلات التفاضلية الجزئية رقمياً، وذلك عبر بناء مكيّفات مسبقة بناءً على المعادلة التفاضلية الجزئية الطبيعية المرتبطة بها، مما يثبت فعاليتها في تحقيق تقارب سريع ومستقر لمسائل الانتشار بالحمل.
تثبت هذه الورقة وجود ووحدانية الحلول القوية العالمية لمعادلة لانداو-ليفشيتز-بلوخ مع عزم دوران المغزل فوق درجة حرارة كوري، وتقترح مخططات عناصر محدودة منفصلة تماماً وضمنية خطياً تحقق تقارباً من الرتبة المثلى واستقراراً طاقياً غير مشروط، مدعومة بالمحاكاة العددية.
تقدم هذه الورقة تحليلاً للخطأ من الرتبة المثلى وتقديرات للطاقة المنفصلة لتقريب الفروق المحدودة من الدرجة الثانية وطريقة أويلر شبه الضمنية لمسألة تدفق حرارة الخرائط التوافقية ذات التماثل الشعاعي ضمن نطاق الحلول الناعمة.
تقدم هذه الورقة طريقة عددية فعالة ودقيقة تعتمد على شرائح برنشتاين لحل مسائل القيم الأولية غير الخطية التي تتضمن مشتقات هيلفر الكسرية، مما يظهر أداءً متفوقاً على طريقة آدمز-باشفورث-مولتون الكسرية حتى في ظل وجود حلول منفردة.
تقارن هذه الورقة بشكل منهجي بين ثلاث طرق لتقسيم العناصر المحدودة لمسألة تدفق الحرارة للخريطة التوافقية من القرص الوحدة إلى كرة الوحدة ضمن إطار عمل موحد، مع التحقق من معدلات تقاربها وكفاءتها الحسابية من خلال الاختبارات العددية مع إثبات نتيجة استقرار (inf-sup) المنفصلة لإحدى هذه الطرق.