TL;DR
- چکیده:.
- در سالهای اخیر،.
- محاسبات کوانتومیمقدار قابل توجهی شتاب به دست آورده است و قابلیتهای دستگاههای کوانتومیبهطور مداوم.
چه اتفاقی افتاد
چکیده:. در سالهای اخیر،.
محاسبات کوانتومیمقدار قابل توجهی شتاب به دست آورده است و قابلیتهای دستگاههای کوانتومیبهطور مداوم. در حال گسترش و بهبود است.
با این وجود،. نوشتن یک برنامه کوانتومیاز ابتدا کار خسته کننده و مستعد خطا باقی میماند و تقاضای واضح.
برای پشتیبانی از ابزار خودکار را نشان میدهد. ما Qet را ارائه میکنیم،.
یک ابزار تجزیه و تحلیل برنامه استاتیک کاملاً خودکار که یک تحلیل هزینه مورد انتظار دقیق از برنامههای. ترکیبی کلاسیک-کوانتومیرا ارائه میدهد.
Qet از برنامههایی با ویژگیهای پیشرفته مانند اندازهگیری مدار میانی و جریان کنترل کلاسیک پشتیبانی. میکند.
روش اجرای نمونه اولیه ما مبتنی بر یک چارچوب ترانسفورماتور انتظار کوانتومیاست که اخیراً پیشنهاد شده است،. که ترانسفورماتور محمول Dijkstra و منطق Hoare را تعمیم میدهد.
اجرای نمونه اولیه Qet بر روی تعدادی از مطالعات موردی برگرفته از ادبیات و منابع آنلاین ارزیابی می. شود.
Qet قادر است بهطور کامل بهطور خودکار مرزهای بالایی دقیق را در مورد هزینههای مورد انتظار استنباط. میکند که قبلاً فقط با محاسبات دستی خسته کننده بدست میآمد.
زبانهای برنامهنویسی (cs. PL) استناد بهعنوان: (یا v1 [cs.
PL] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:.
Michael Schaper [مشاهده ایمیل] [v1] یکشنبه،. 5 آوریل 2026،.
05:. 36:.
55 UTC (87 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.