فرضية GIGO
GIGO: 'الجربة-في، خراء-خارج.' إذا قدمت أرقامًا غير محددة ومعادلات، ستحصل على نتائج غير محددة. يتم استنتاج النظرية المعاكسة: المدخلات الدقيقة تنتج نواتج دقيقة.
أظهر حمينغ أن كلا الفرضيتين يمكن أن تكون خاطئة.
الجربة-في، خراء-خارج (الحدوث الحقيقي): النمذجة المبكرة للأرصاد الجوية. التباين الصغير يتصاعد. المدخلات غير الدقيقة تنتج نواتج غير دقيقة بعيدًا عن النطاق — مجال اتجاه مفرط.
الجربة-في، دقيقة-خارج (GIGO عكسي): نمذجة الصاروخ في لوس ألاموس (الفصل 18). بيانات معادلة حالة الصاروخ جاءت من مصادر متفرقة غير موثوقة. لماذا؟
لأن تركيب الحساب استخدم الفرق بين الثانية: القوة على رأس الصاروخ تعتمد على الفرق بين القوى من الصواريخ المجاورة. الأخطاء المحلية في معادلة حالة الصاروخ إلغاء إلى حد كبير عندما انتقلت الأقواس عبر المنحني. استخدم الحساب بنية تتحول بشكل فعال.
دقيقة-في، خراء-خارج: حالة محتملة نظريًا. إذا تضاعفت عدم اليقينات الدخيلة الصغيرة في الحساب عبر مجال اتجاه مفرط، ستنتج المدخلات الدقيقة نتائج غير دقيقة.
درسنا: ثقة خروج النمذجة بمدخلات الدقة وحدها، ولكن على بنية الحساب بأكملها — محددًا، هل يتم تعزيز الأخطاء التي تدخل النظام، أو تحفزها، أو تقلصها.
التغذية الحمائية تحمي الدقة
رابط حمينغ بين عكس GIGO وتعلم هارولد بلاك حول مكثف التغذية.
اكتشاف بلاك: إذا كان مكثف التغذية مرتفعًا جدًا، فمن اللازم أن يكون المقاوم الدقيق فقط في الخيط. جميع المكونات الأخرى يمكن أن تكون غير دقيقة. حلقة التغذية المستقر الناتج.
يتدرب نفس المبدأ في النماذج التي لديها بنية تغذية حماية:
- نظام التوجيه الصاروخي نايك يتصحيح انحرافات مسار الصاروخ تلقائيًا. كانت الأخطاء الصغيرة في ظروف البداية تُخفف وليس تُضاعف. مما يتيح لهمنج التمثيل في إخفاق الصاروخ باستخدام ظروف بداية محتملة - ومع ذلك استردت فترة نقل الطاقة الدورانية والزاوية.
- تركيب التباين الثاني في حساب قنبلة الذر عمل مثل الرجوع: أخطاء المعادلات الحالة في الشبكة المتوسطة تتناسب مع تاريخها.
التنسيق التصميم: التصميم الجيد للتمثيل، مثل التصميم الجيد الهندسي، يحمي الدقة عن طريق وضع عناصر غير دقيقة داخل خلايا الرجوع. الكميات المهمة - تلك خارج حماية الرجوع - يجب قياسها بدقة.
مجالات الاتجاه & المنيع
مصفوفة ODE من الدرجة الأولى dy/dx = f(x,y) تحدد مجال الاتجاه: في كل نقطة (x,y) في المخطط، يكون الانحدار f(x,y) في اتجاه الحركة التي يجب أن تذهب الحل.
مصفوفة الاتجاه المتفرع: الاختلافات الصغيرة من مسار الحل الفعلي تكبر. أخطاء تُضاعف.
مصفوفة الاتجاه المتقارب: الاختلافات الكبيرة تقلص نحو المسار الحقيقي. أخطاء تُخفف.
يمكن أن يحدثا في نفس المعادلة في نقاط مختلفة. دقة الحل تتماشى مع أين تقييم - وليس على أي خاصية مطلقة للمعادلة.
رأى هامنج الدقة البصرية على أنها 'أنبوب' حول الحل الصحيح. في 2D ، ي-expand الأنبوب في المناطق المتفرعة ويتقلص في المناطق المتجهة. في n أبعاد (استخدم مشكلة الانزلاق البحرية 28 معادلة) ، تصبح هندسة الأنبوب غير مفهومة. ينطبق التناقض العالي الأبعاد من الفصل 9: الأنابيب العالية الأبعاد لا تتصرف أبدا مثل الأنابيب 2D.
طريقة أيفلر
أفضل طريقة لحل معادلات تفاضلية عادية: من نقطة (xₙ ، yₙ) ، تقدير النقطة التالية باستخدام المنحدر الحالي:
يₙ₊₁ = yₙ + h · f(xₙ, yₙ)
حيث h هي حجم الخطوة. يتبع هذا خط المنحدر في كل نقطة - دائمًا باستخدام 'المنحدر الذي كان' وليس المنحدر الطبيعي للمسافة. تجمع الأخطاء مع كل خطوة.
تحسين المخطط القائم على التنبؤ والتصحيح: التنبؤ بقيمة yₙ₊₁ باستخدام أيفلر ، تقييم المنحدر هناك ، ثم أخذ متوسط المنحدرات في كلا نهايتي المسافة لجعل خطوة تصحيح. إذا توافق التنبؤ والقيمة التصحيحية قريبًا ، فإن حجم الخطوة مناسب. إذا تشتتا ، فقلص h.
طُرق الأوضاع العليا & العلاقة مع مُفِلت الرِّسوم الرَّقمِيَّة
طُرق التنبؤ التصحيحية من الدرجة الرابعة (ميلن ، أدمز-باشفورث ، طريقة هامنج) تستخدم عدة قيم ماضية من الدالة والفرقيّة لتنبؤ القيمة التالية.
تحديد هامنج لهذه الطرق على أنها مُفِلتات رقمية مُستَمرَّة: قيم الخروج (المراكز) تُحاسَب من البيانات المدخلة (الفرقيّة في الخطوات الماضية) بواسطة تكرار خطي - تمامًا مثل هيكل المُفِلت الرقمي.
هذه العلاقة لها عواقب:
- تحليل الاستقرارية يطبق بشكل مباشر. المعيار الاستقراري للزائوية: يجب أن يكون أذرع وظيفة التحويل داخل الدائرة الواحدة.
- حجم الخطوة h ي контрُل الاستقرارية. بالنسبة لمعادلة معينة ، هناك حد أقصى من هامنج يُتجاوَز عندما تصبح الطريقة الحسابية غير مستقرّة - الحل المُحاسَب يتشتت حتى لو كانت الحلقة الحقيقية تتقارب.
المعادلات الصلبة: عندما يكون لديك قيم جيبية كبيرة جدًا (عنصر سريع التغير ، عنصر بطيء التغير) ، تتطلب الاستقرارية حجم خطوة صغير جدًا للعنصر السريع حتى لو كان العنصر البطيء يمكنه تحمل الخطوات الكبيرة. تستخدم وسائل الحل الصلب استخدام طرق ضمنية لسماح بالخطوات الأكبر بدونInstability.
التجارة بين التردد والوضعية: طرق بولينومية التكامل تتميز بتحسين الدقة المحلية لوضعية المسار - يكون المسار قريبًا من المسار الحقيقي في كل خطوة، لكن الارتجاع الديناميكي (استجابة التردد) قد يكون خاطئًا. في محاكي الطيران، قد يكون من الأهمية أكثر تحقيق استجابة التردد الصحيحة من تحقيق الوضعية الصحيحة.
المرور على قمة التل الجليدية
تم تزويد هامنج بمعادلة تفاضلية لتصميم الموجات الكهرومغناطيسية مع شروط الحدود في الأبدية - شروط الحدود هي المعادلة الجانبية التي يتم تعيينها إلى الصفر.
تحليل الاستقرار كان يثير القلق: إذا كانت القيمة 'y' في أي نقطة صغيرة جدًا، فإن sin(y) تُكَبر، والثانية مشتقة ذهبت بشكل إيجابي قوي، والحل ينتشر إلى +∞. إذا كانت القيمة 'y' صغيرة جدًا، فإنه ينتشر إلى -∞. وعدم الاستقرار كان متضافرًا - الاندماج في الاتجاه المعاكس لمساعدة.
صورة هامنج: 'المرور على قمة تل الجليد'. بمجرد أن تسقط القدمين إلى جانب واحد، ستسلك الطريق بلا محاولة.
حلته: استغلال عدم الاستقرار كإشارة هيدرية. قام بدمج جزء من المسار على محول التفاضلي. إذا انزعج الحل إلى الأعلى، كان يعتقد أنه قد حدد ميله في البداية قليلاً بشكل زائد - تصحيح لأسفل. إذا انزعج إلى الأسفل، تصحيح للاعلى. ببطء، سلك شبه الجبل القمة من الدبابيس.
ما جعل ذلك ممكناً: استمرار عدم الاستقرار في النمو بسرعة. خطأ صغير في ميل البداية ينتج عنه انحراف كبير وواضح - إشارة واضحة حول الاتجاه الذي يجب تصحيحه. مشكلة غير مستقرة قليلاً لاحظت أي إشارة واضحة.
التزام المحترف: 'لقد كان الأمر سهلاً للغاية التخلص من المشكلة على أنها غير قابلة للحل أو مخطئة أو أي ذراع آخر تريد أن ترويه لنفسك، لكنني أعتقد أن المشاكل المهمة التي يتم وضعها بشكل صحيح يمكن استخراج منها بعض المعرفة المفيدة.'
اختبار روزناخ والارتباط بالعشوائية
بنك الأبحاث بيل قام ببناء جهاز: 12 مفاتيح، وضوء أحمر، وضوء أخضر. قام المشاركون بتعيين المفاتيح، وضغط على زر، وشاهدوا النتيجة، وبعد 20 محاولة كتبوا نظرية حول كيفية تفعيل الضوء الأخضر. تم تسليم النظرية للمشارك التالي، والцикル يستمر.
كانت الأضواء متصلّة بمصدر عشوائي. لم يكن هناك نمط.
في جميع المحاولات، لم يقل أي من علماء بنك الأبحاث - جميعهم موهوبون في الموظفين التقنيين - أبداً: لا يوجد نمط. وجدوا جميعاً النظريات.
ملاحظة حامنغ: لم يكن هناك أحد منهم إحصائي أو نظر في المعلومات. تعلم هذه المجالات من الممارسين لاسألوا: 'هل ما أراه حقاً موجوداً أم هو مجرد ضجيج عشوائي؟'
be_implication for_simulation: توجد محاكاة يمكن توجيهها حتى تتناسب مع البيانات الملاحظة هي اختبار روزناخ. عملية التوجيه تحدد نموذج يتناسب مع البيانات، لكن ليس النموذج الصحيح بالضرورة. التفريق بين الإشارة والضوضاء يتطلب التزام إحصائي صارم - البيانات الاحتفاظ بالاحتياط، الفرضيات المسبقة المحددة، فترات الاطمئنان - وليس فقط الأفكار الجيدة.
be_Hamming's_closing_charge: 'سيظهر ما يلي 'إذا...؟' في المستقبلات الخاصة بك كثيراً، ولذا من الضروري أن تتقن المفاهيم والامكانيات للمحاكاة، وأن تكون مستعداً لطرح النتائج والتفكير في التفاصيل عندما يكون ذلك ضروريا.'