اكتب المدخلات والنتيجة المطلوبة
حدد فضاء الحالات، والتهيئة، والتحديث، والتحكم المسموح، والذاكرة المحتفظ بها، والمؤثرات القابلة للرصد. صنّف كل عنصر إلى مشتق أو مفروض أو معاير. إذا استُخدم هاملتوني، عيّن مجاله ومعيار الفعل ومعلمة التطور. عبارة «مصدر واحد» تصبح قابلة للفحص عندما يستطيع قارئ آخر تتبع الحالة والاحتمالات عبر التوليد والاكتمال.
اختبار إشارة الطور
لمولد حقيقي مضاد للتناظر A بلا أنماط صفرية، عرّف Ω=(−A²)¹ᐟ² و J=AΩ⁻¹. يجب أن يتحقق J²=−I و A=JΩ. إذا كان A=2J₀ فإن Ω=2I. مع اتفاقية شرودنغر المعتادة والهاملتوني الموجب تكون الوحدة المركبة i=−J.
تحتاج نواة A إلى معالجة منفصلة؛ لا يجوز عكس Ω عليها. هذا الاختبار يمنع اختيار طور يعطي التطور العكسي مع الإبقاء على اسم التدفق الأصلي.
الأداة الكاملة والسجل التنبؤي
عند M_acc=√p V و M_fail=√(1−p)W لمؤثرين وحدويين، يساوي مجموع الأثرين I. يبقى احتمال النجاح p مستقلًا عن الحمولة، ويستعيد W† الحمولة بعد فشل مسجل. لكن فرع النجاح وحده لا يثبت إمكان الاستعادة. كذلك في التحديث M(x,y)=(x+y,y)، يعطي عرض x وحده سجلًا غير كافٍ: المدخلان (0,1) و(0,−1) لهما عرض حالي واحد وعرضان لاحقان مختلفان.
ما الذي يثبته نجاح الفحص؟
قارن ساعات معرّفة مستقلًا، لا أسماء متغيرات. إذا كانت القراءتان τ و u+τ، فإن تغيير u/τ يفصل بين قانونيهما بما لا تزيله وحدة ثابتة. احفظ الفروض والأخطاء وحدود التقريب مع الناتج. اجتياز اختبارات الاتساق يثبت سلامة سلسلة الحساب ضمن فروضها؛ أما المطابقة مع الطبيعة فتحتاج إلى كمية مستقلة وبيانات مقارنة معلنة.
صلة هذه الصفحة بالمصدر
هذه صياغة عربية بحثية مختصرة ومحررة للمادة المعروضة في الدليل الإنجليزي المقابل؛ تحفظ الأمثلة والمعادلات الأساسية وتوضح حدود النتائج. لا تستبدل النص الأصلي للبحث أو الكتاب، ولا تمثل مراجعة مستقلة لجميع براهينه.