في خطوة مثيرة نحو الابتكار في مجال هندسة التصميم عالي المستوى (HLS)، تم تقديم نظام ContractHIL-HLS الذي يعيد تعريف كيفية التعامل مع العقود المعقدة وتطبيقاتها العملية. هذا النظام المبتكر يطرح فكرة استخدام عقود هيكلية كأداة أساسية لربط المتطلبات المكتوبة باللغة الطبيعية مع واجهات محددة ومعايير للتحقق وأسس للاعتراف بالخطأ.

مساهمات النظام


النظام يعتمد على ثلاث مساهمات رئيسية تعزز من فعاليته:
1. **عقد هيكلي:** يُعَدّ بمثابة الجسر بين الآراء الطبيعية والواجهات التنفيذية المحددة، مما يسهل عملية التنفيذ.
2. **إدماج المعلومات الحقيقية:** يتم استخدام معلومات الأجهزة لإغلاق الحلقة من خلال إعادة إدخال معطيات الأداء والنجاح في التصميم، مما يعزز من دقة النتائج.
3. **تفكيك الجهات الفاعلة:** يقوم النظام بتفكيك المهام بشكل مميز، حيث تقوم جهة تنفيذ العقود بتحويل اللغة الطبيعية إلى عقود واضحة، فيما تقوم جهات HTML بتنسيق هذه العقود.

النتائج المبهرة">النتائج المبهرة


تم تقييم النظام عبر 94 مهمة HLS-Eval، وأظهرت النتائج ارتفاع معدل النجاح من 64% إلى 70.2%. إضافةً إلى ذلك، تم اختبار النظام أيضًا على مشغل آمن ما بعد الكم، حيث أسفرت النتائج عن تحسين كبير في سرعة معالجة الرسائل.

المصدر المفتوح">المصدر المفتوح


تدعونا جامعة BJUT-CS316-LAB لمتابعة العمل الذي تم تطويره في إطار هذا النظام، حيث يمكن الاطلاع عليه في GitHub.

هل تعتقد أن هذه الابتكارات ستحدث ثورة في عالم التصميم الهندسي؟ شاركنا برأيك في التعليقات!