TL;DR
- چکیده:.
- این مقاله یک پارامترسازی صاف از مشخصات منطق زمانی سیگنال با زمان پیوسته (CT-STL) برای بهینهسازی مسیر غیرمحدب.
- ارائه میکند که تا دقت طرح ادغام عددی زیربنایی صحیح و کامل است.
چه اتفاقی افتاد
چکیده:. این مقاله یک پارامترسازی صاف از مشخصات منطق زمانی سیگنال با زمان پیوسته (CT-STL) برای بهینهسازی مسیر غیرمحدب.
ارائه میکند که تا دقت طرح ادغام عددی زیربنایی صحیح و کامل است. CT-STL یک چارچوب طبیعی برای کدگذاری نیازمندیهای کار زمانی و منطقی غنی ارائه میکند،.
اما فرمولبندیهای بهینهسازی مسیر موجود معمولاً چنین مشخصاتی را فقط در گرههای نمونهگیری گسسته اعمال میکنند. در مقابل،.
روش پیشنهادی مشخصات را در زمان متراکم ارزیابی میکند،. در نتیجه رضایت زمان پیوسته گزارههای همیشه را تضمین میکند،.
که برای محدودیتهای مسیر مانند اجتناب از مانع حیاتی است،. در حالی که محافظهکاری ناشی از گره در نهایت محمولها را با اجازه دادن به رضایت در هر.
زمان در بازه زمانی تعیینشده حذف میکند. این دو ساختار متراکم زمان نیز نقش دارند بلوکهای ساختمان اصلی برای مدیریت فرمولهای عمومیتر.
CT-STL،. از جمله پیچیده تا مشخصات.
علاوه بر این،. پارامترسازی پیشنهادی مسائل مربوط به محل و شیب پوشاندن ذاتی در معناشناسی کمیاستاندارد را حل میکند و.
چشمانداز مطلوبتری را برای حلکنندههای مبتنی بر گرادیان ایجاد میکند. اگرچه ارزیابی زمان متراکم ارزیابیهای عملکردی اضافی را در طول گسستهسازی معرفی میکند،.
اما شبکههای زمانی بسیار درشتتر را نیز بدون به خطر انداختن ایمنی یا وفاداری منطقی مجاز میسازد. این،.
به نوبه خود،. بعد برنامه غیر محدب حاصل را کاهش میدهد،.
که اغلب عامل غالب در هزینه تولید مسیر است. اثربخشی عددی و دقت معنایی چارچوب پیشنهادی بر روی یک مسئله پرواز کوادروتور چابک تحت یک زمان پیوسته.
پیچیده تا زمان مشخص شدن نشان داده میشود. پیادهسازی در https: // this http URL موجود است بهینهسازی و کنترل (math.
OC) استناد بهعنوان: (یا v1 [math. OC] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:. Samet Uzun [مشاهده ایمیل] [v1] یکشنبه،.
5 آوریل 2026،. 20:.
04:. 06 UTC (652 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.
