1 مستودع
Converts symbolic model definitions into executable numerical problems for high-performance solvers.
Distinct from Differential Equation Solvers: Distinct from Differential Equation Solvers: focuses on the generation of solvers from symbolic definitions rather than the solvers themselves.
Explore 1 awesome GitHub repository matching scientific & mathematical computing · Numerical Solver Generators. Refine with filters or upvote what's useful.
ModelingToolkit.jl هو إطار عمل للنمذجة الرمزية ونظام جبر حاسوبي مصمم لتعريف ومحاكاة الأنظمة الرياضية المعقدة. يوفر بيئة أساسية لبناء نماذج فيزيائية متعددة المجالات وأنظمة معادلات تفاضلية، مما يتيح للمستخدمين تمثيل المشكلات العلمية من خلال رسوم بيانية رمزية تسهل التحليل والتحويل المؤتمت. يتميز إطار العمل بتركيب المكونات غير السببي (acausal)، والذي يسمح بتجميع النماذج واسعة النطاق عن طريق ربط العناصر النمطية بدلاً من تحديد تدفقات البيانات الصريحة. يستخدم تمزيق النظام المؤتمت وتقليل المؤشر لتبسيط المعادلات التفاضلية الجبرية المعقدة، مما يضمن الاستقرار الرقمي. من خلال استخدام التجميع الرمزي في الوقت المناسب (just-in-time)، يقوم النظام بتعيين هذه التعريفات عالية المستوى مباشرة إلى كود آلة محسن للتنفيذ بواسطة محلات عددية متخصصة. بعيداً عن المحاكاة القياسية، يدمج المشروع أدوات التعلم الآلي العلمي للجمع بين نماذج الفيزياء الرمزية والشبكات العصبية. يدعم اكتشاف المعادلات المؤتمت، مما يسمح باستخراج الهياكل الرياضية الحاكمة من البيانات التجريبية. يتضمن إطار العمل أيضاً أدوات شاملة للتحسين الرقمي، بما في ذلك توليد المشتقات المؤتمت واستغلال التناثر، لتسريع حل الأنظمة واسعة النطاق.
Converts symbolic model definitions into executable numerical problems compatible with high-performance solvers.