خب بچهها، اگه تا حالا سروکارتون به کار با سیستمهای دینامیکی پیچیده، یا بهتر بگم، بررسی ایمنی سیستمها (مثلاً رباتها یا ماشینهای خودران) خورده باشه، احتمالاً با یه سری معادلات خیلی خفن به اسم Hamilton-Jacobi برخورد کردین. معادلات Hamilton-Jacobi درواقع از اون دسته معادلات دیفرانسیل جزئی (PDE) هستن که به درد تحلیل رفتار سیستمهایی میخورن که ورودی و خروجی و کلی متغیر دارن و باید حواسمون باشه یه اتفاق خطرناکی نیوفته.
حالا LevelSetPy یه پکیج نرمافزاری جدیده که دقیقاً واسه حل همین معادلات به دردبخور ساخته شده. هدفش هم اینه که بتونیم قضیه ایمنی (یا همون safety) سیستمهای دینامیکی پیچیده رو با روشهای هندسی و Level Set روش بررسی کنیم. Level set یه تکنیک ریاضیایه که باهاش میشه شکلهای مختلف و سطوح ایمنی تو فضای حالت یه سیستم رو دنبال کرد، یا به زبون خودمونی: میتونین ببینین مرز ایمنی کجاست و بذارین سیستم تا اون نزدیکیها بره ولی دیگه ازش رد نشه!
تو این پکیج، چندتا الگوریتم خفن پیادهسازی شده که واقعاً پروفشنالان! مثلاً:
- حل معادلات Hamilton-Jacobi-Isaacs: اگه اسمش براتون عجیب اومد، اینم یه نوع خاص از همون معادلات دیفرانسیله که معمولاً تو کنترل و بازیهای دو نفره و ایمنی به درد میخوره.
- مشتقگیریهای فضایی بر اساس upwinding: Upwinding یه تکنیک عددیه که برای اینکه جواب حل معادلههاتون به سمت رفتار واقعی سیستم میل کنه، موقع محاسبه مشتق، همیشه جهت حرکت اطلاعات رو در نظر میگیرین. یعنی جهت باد رو حسابی نگاه میکنین!
- پیدا کردن Hamiltonian با روش Lax-Friedrichs: Hamiltonian یه جورایی انرژی کلی سیستم رو نشون میده و این روش عددی (Lax-Friedrichs) باعث میشه جوابها پایداری بیشتری داشته باشه.
- کل ماجرا رو جمع میکنه میریزه تو یه روش انتگرالگیری خیلی معروف به اسم total variation diminishing Runge-Kutta: یا به اختصار TVD-RK. خلاصهاش اینه که این روش واسه حل گامبهگام معادلات سعی میکنه جلوی نویز و نوسان عجیب غریب رو بگیره.
حالا چرا استفاده از LevelSetPy اینقد مهمه؟ چون واقعاً سرعت براشون مهم بوده! اومدن تقریباً همه محاسبات سنگین رو انداختن گردن GPU. GPU یعنی کارت گرافیک کامپیوتر که یه جورایی استاد موازیسازیه و میتونه کلی کار رو همزمان انجام بده. این یعنی اگه هزار تا نقطه تو فضای حالت دارین، همه رو با هم بروزرسانی میکنه و لازم نیست منتظر بمونین پردازنده معمولی دونه دونه همه چی رو حساب کنه.
از اون طرف هم این پکیج رو طوری ساختن که با پکیجهای معروف دنیای محاسبات علمی که با پایتون نوشته شدن سازگاری داشته باشه. مثلاً دو کتابخونه مشهور Python یعنی CuPy و NumPy. CuPy واسه کار با GPUهاست و NumPy هم تقریباً ستون فقرات پردازش داده تو Python هست. این یعنی اگه شما مثلاً با کدهای مهندسی دیگه کار میکنین، میتونین راحت این پکیج رو هم بچسبونین وسط کارتون.
در نهایت، هدف سازندههای LevelSetPy اینه که دانشجوها، پژوهشگرها و مهندسها خیلی سریع بتونن ایدههاشون رو تست کنن و به صورت هندسی راههای مختلف ایمنی یه سیستم رو شبیهسازی کنن. یعنی مثلاً اگه شما میخواین بررسی کنین ربات مورد علاقهتون تو کدوم شرایط «ایمن» میمونه و کِی ممکنه بره تو منطقه خطر، این پکیج دقیقاً همونییه که به کارتون میاد.
در کل اگه دنبال حل معادلات ریاضی پیشرفته برای تحلیل ایمنی با سرعت بالا، به ویژه تو پایتون و با پشتیبانی GPU هستین، LevelSetPy رو از دست ندین! به زبون ساده: این پکیج کمکتون میکنه تو دنیای مهندسی مدرن، کارهاتون رو سریعتر و به روزتر انجام بدین.
منبع: +
