Designing Any Imaging System from Natural Language: Agent-Constrained Composition over a Finite Primitive Basis

إليك ملخص تقني مفصل لورقة البحث بعنوان: "تصميم أي نظام تصوير من اللغة الطبيعية: التكوين المقيد بالوكيل فوق أساس أولي محدود."

1. بيان المشكلة

يتطلب تصميم أنظمة التصوير الحسابي (اختيار العمليات، ضبط المعلمات، والتحقق من الاتساق) حالياً جهداً تخصصياً يستغرق أسابيع لكل نمط. وهذا يخلق عائقاً أمام الخبرة يمنع المجتمع العلمي الأوسع من بناء نماذج أولية لأجهزة تصوير جديدة. وبينما أثبتت ورقة مصاحبة أن 11 "أولياً" (primitive) نموذجياً يمكنها تمثيل أي نموذج أمامي للتصوير عبر أكثر من 170 نمطاً، ظل التحدي قائماً: كيف يمكن أتمتة الترجمة من القصد المكتوب باللغة الطبيعية إلى تصميم نظام حقيقي ومُتحقق منه مع حد أدنى من خطأ إعادة البناء؟

2. المنهجية

يقترح المؤلفون إطار عمل يربط بين اللغة الطبيعية والواقع الفيزيائي باستخدام تنسيق مواصفات مهيكل وخط إنتاج مستقل يعمل بثلاثة وكلاء (agents).

أ. الأساس الأولي المحدود (FPB)

يعتمد النظام على نظرية مصاحبة تنص على أن 11 أولياً نموذجياً (مثل: الإسقاط، الترميز بالتردد، التعديل، الالتفاف، الكشف) كافية لتمثيل أي نموذج أمامي للتصوير عبر 5 عائلات حاملة (الفوتونات، الأشعة السينية، الإلكترونات، الموجات الصوتية، والسبين/الجسيمات) مع خطأ تمثيل $\epsilon_{FPB} < 0.01$. وتُنفذ هذه الأوليات عبر أربعة مستويات من الدقة (من المستوى 0 الهندسي إلى المستوى 3 فيزياء كاملة).

ب. تنسيق المواصفات spec.md

المنتج الجوهري هو spec.md، وهو تنسيق Markdown مهيكل يتكون من 8 حقول تفصل مشكلة التصوير عن التنفيذ:

1. النمط، الحامل، الهندسة، الجسم، النموذج الأمامي، الضجيج، الهدف: تعريفات فيزيائية.
2. عناصر النظام: قيود الأجهزة (قدرة المصدر، الكفاءة الكمية للكاشف، البصريات) لربط المواصفات بالجدوى والتكلفة.
   الأهمية: يعمل هذا التنسيق كمنتج علمي قابل للمشاركة والمراجعة من قبل الأقران، تماماً كما قامت صيغة FASTA بتوحيد معايير علم الجينوم.

ج. خط إنتاج الوكلاء الثلاثة

تتم أتمتة عملية التصميم بواسطة ثلاثة وكلاء متخصصين:

1. وكيل التخطيط ($A_P$): يترجم جملة واحدة من اللغة الطبيعية إلى spec.md. يقوم باختيار أوليات الـ FPB، والمعلمات، ونماذج الضجيج من سجل يحتوي على 173 نمطاً.
2. وكيل الحكم ($A_J$): يتحقق من التصميم من خلال عملية صارمة مكونة من ثلاث مراحل:
   • المترجم الهيكلي (6 فحوصات): يتحقق من عدم وجود دورات في الرسم البياني الموجه غير الدوري (DAG acyclicity)، واتساق السلسلة، وحدود التعقيد، والقيود غير الخطية، واتساق المرافق (adjoint consistency)، وخطأ التمثيل.
   • بوابات الثلاثية (3 فحوصات حتمية):
     • البوابة 1 (القابلية للاسترداد): تضمن أن هندسة القياس تلتقط معلومات كافية (حد الضغط).
     • البوابة 2 (ميزانية الحامل): تضمن أن نسبة الإشارة إلى الضجيج (SNR) تتجاوز أرضية الضجيج بناءً على مواصفات الأجهزة.
     • البوابة 3 (عدم تطابق العامل): تتحقق مما إذا كان النموذج الأمامي يمثل الفيزياء المقصودة بأمانة بالنظر إلى تفاوتات المعايرة.
   • الجدوى/التكلفة: تقدير تكلفة الأجهزة وإمكانية التنفيذ.
   • حلقة التغذية الراجعة: إذا فشلت الفحوصات، يقوم $A_P$ بإعادة إنشاء المواصفات (حتى 3 جولات) أو تقديم التشخيصات للمستخدم.
3. وكيل التنفيذ ($A_E$): يختار خوارزمية إعادة البناء (مثل FISTA-TV، GAP-TV)، وينفذ إعادة البناء، ويتنبأ بالجودة باستخدام تقديرات تحليلية (أرقام الحالة) ولوحات بحث مُعايرة.

د. نظرية الخطأ من التصميم إلى الواقع (النظرية 1)

تقدم الورقة نظرية تفكيك الخطأ الرسمية التي تحدد خطأ إعادة البناء الإجمالي ($\|\hat{x} - x^*\|$) إلى خمسة حدود يمكن قياس كل منها بشكل مستقل:

1. $\epsilon_{FPB}$: خطأ تمثيل الأساس.
2. $\epsilon_{spec}$: خطأ المواصفات (يكون صفراً إذا اجتازت المواصفات فحص المترجم).
3. $\epsilon_{trans}$: خطأ الترجمة (يكون صفراً إذا كانت السلسلة تطابق السجل المعياري).
4. $\epsilon_{param}$: خطأ عدم تطابق المعلمات (يمكن تقليله عبر المعايرة).
5. $\epsilon_{unmod}$: خطأ الفيزياء غير المُمذجة (يمكن تقليله عبر "رفع المستوى الفيزيائي" إلى نماذج ذات دقة أعلى).
6. $\epsilon_{recon}$: أرضية الضجيج أو الانحياز غير القابل للاختزال.

تعمل هذه النظرية كـ "تشخيص من التصميم إلى النشر"، حيث تربط مصطلحات الخطأ المحددة بالإجراءات التصحيحية (على سبيل المثال، إذا كان $\epsilon_{param}$ هو المهيمن، فقم بالمعايرة؛ وإذا كان $\epsilon_{unmod}$ هو المهيمن، فقم برفع المستوى الفيزيائي).

3. النتائج الرئيسية

• نطاق التحقق: تم اختبار خط الإنتاج على 173 نمطاً عبر جميع عائلات الحاملات الخمس.
  • 100% اجتازوا فحوصات المترجم الهيكلي.
    ως 39 نمطاً خضعت للتحقق الكمي من إعادة البناء.
  • 6 أنماط (CT، MRI، CASSI، Ultrasound، E-ptychography، PET) تم التحقق منها باستخدام بيانات حقيقية مقاسة.
• الأداء مقابل الخبراء:
  • على البيانات الحقيقية، حقق خط الإنتاج المؤتمت 98.1 ± 4.2% من جودة الأنظمة المصممة من قبل الخبراء (مقاسة بـ PSNR).
  • كفاءة الوقت: قلل الوكلاء وقت التصميم بمقدار 190 إلى 420 ضعفاً (دقائق مقابل أسابيع/أيام).
  • حدود الخطأ: كانت حدود الخطأ المتوقعة دقيقة، بنسبة إحكام $\tau$ (المتوقع/الملاحظ) وسيط قدره 2.9، مما يشير إلى أن الحد يضبط آليات الفشل المهيمنة.
• تصاميم أنظمة مبتكرة: نجح الوكلاء في تصميم 10 أنظمة مبتكرة لم تكن موجودة سابقاً في الأدبيات، من خلال تركيب الأوليات في سلاسل تصل إلى 5 عمليات لاسترداد مكعبات بيانات خماسية الأبعاد (x, y, z, $\lambda$, t) من لقطات ثنائية الأبعاد واحدة.
• دراسة الاستئصال (Ablation Study): أدى إزالة أي وكيل واحد (التخطيط، الحكم، أو التنفيذ) إلى معدلات فشل كبيرة (على سبيل المثال، بدون "الحكم" كانت 4/12 من التصاميم غير صالحة فيزيائياً؛ وبدون "التنفيذ" انخفض PSNR بمقدار 2.1 dB).

4. الأهمية والمساهمات

1. دمقرطة تصميم التصوير: من خلال تحويل اللغة الطبيعية إلى نماذج أمامية مُتحقق منها، يزيل هذا الإطار عائق الخبرة، مما يسمح لغير المتخصصين ببناء نماذج أولية لأجهزة تصوير معقدة.
2. التوحيد القياسي (spec.md): يضع معياراً "FAIR" (قابل للإيجاد، الوصول، التداخل، وإعادة الاستخدام) لمواصفات أنظمة التصوير، مما يفصل الفيزياء عن الكود والأجهزة.
3. ضمانات الخطأ الرسمية: توفر نظرية الخطأ من التصميم إلى الواقع عقداً رياضياً بين نية المستخدم وأداء النظام، مما يوفر أداة تشخيصية لتحديد سبب ضعف أداء النظام (مثل المعايرة مقابل الفيزياء غير المُمذجة).
4. القدرة التركيبية: يثبت النظام أن مشكلات التصوير عالية الأبعاد (5D) يمكن حلها عبر تركيب مجموعة محدودة من الأوليات، مما يثبت شمولية "الأساس الأولي المحدود".
5. استراتيجية رفع المستوى (Tier-Lifting): يقدم الإطار بروتوكولاً للتعامل مع الأنظمة التي يهيمن عليها التشتت عبر التبديل الديناميكي من النماذج الهندسية إلى نماذج الفيزياء الكاملة أثناء إعادة البناء، مما يسد الفجوة بين التصميم البسيط والواقع المعقد.

الخلاصة

يمثل هذا العمل تحولاً جذرياً في التصوير الحسابي، حيث ينتقل من الهندسة اليدوية الخاصة بكل نمط إلى عملية تصميم مؤتمتة مدفوعة بالمواصفات. ومن خلال الجمع بين أساس أولي محدود، ولغة مواصفات مهيكلة، وخط إنتاج للتحقق متعدد الوكلاء، استطاع المؤلفون إنشاء نظام يضاهي جودة الخبراء مع تقليل وقت التطوير بشكل هائل وتمكين اكتشاف أنماط تصوير مبتكرة.