Merkezi Soru
Hamming, Bölüm 19'ü 1975 Yaz Bilgisayar Simülasyon Konferansı'ndan doğrudan bir alıntıyla açtı:
> Önemli kararlar simülasyona güvenmek zorunda olduğundan, geçerliliğinin test edilmesi ve savunucularının elde ettikleri hakiki temsil düzeyini tanımlaması çok gereklidir.
Aynı sorunun onun daha keskin formülasyonu:
> Neden kimse simülasyonun alakalı olduğuna inanmalı?
Bu soruya ciddi bir şekilde düşünmeden simülasyona başlamayın. Sıklıkla hemen hesaplamaya başlamak için pratik baskılar vardır — zaman, para, örgütsel ivme. Bu baskılar soruyu değiştirmez.
Hamming'in deneyimi: geçerlilik sorularını simülasyonlar hakkında gündeme getirdiğinde, cevaplar her zaman şunları göz önüne sürüyordu:
- İşe ne kadar işgücü gömüldüğü
- Bilgisayarın ne kadar büyük ve hızlı olduğu
- Problemin ne kadar önemli olduğu
Bu cevapların hiçbiri geçerliliği ele almıyor. Bunlar sosyal argümanlar, teknik olanlar değil.
Uzay uçuşu hikayesi: bir simülasyon direktörü fırlatmalar için yüzde 99,44 güvenilirlik iddia etti. Hamming sordu: neyin güvenilirliği? Köşeye sıkıştırıldıktan sonra, direktör rakamının simülasyonun güvenilirliği olduğunu, gerçek uçuşun değil, kabul etti. Ayrıca bunu kabul etti ki NASA direktörü, fırlatmaları onaylayan kişi bu farkı anlamamıştı — ve o bu yanlış anlayışı düzeltmemişti.
Simülasyon güvenilirliğinin sistem güvenilirliğiyle karıştırılması mühendislik uygulamalarında en tehlikeli hatalardan biridir.
Doğrulama Gerçekte Ne Gerektirir
Hamming simülasyon güvenilirliğini değerlendirmek için bir kontrol listesi hazırladı. Simülasyon çıktısı karar ağırlığı kazanmadan önce her soru cevaplanmalıdır:
1. Arka plan teorisi varsayılan yasaları destekliyor mu? Fizikte simülasyonlar doğrulanmış denklemlere dayanır; ekonomik simülasyonlar sıklıkla bunu yapmaz.
2. Küçük ama kritik bir etki eksik olabilir mi? Pilot eğitmeni örneği: bilinen fizik için mükemmel; yeni bir uçak henüz birleştirilmemiş etkileşimlere sahipse tehlikelidir.
3. Giriş verileri güvenilir mi? Girdilerdeki belirsizlik hesaplama boyunca yayılır. Verinin nereden geldiğini bilin.
4. Simülasyon istikrarlı mı yoksa istikrarsız mı? İstikrarsız yön alanları giriş hatalarını yükseltir; istikrarlı olanlar onları sönümler.
5. Bilinen geçmiş deneyime karşı hangi çapraz kontroller kullanılabilir?
6. İç kontroller üretilebilir mi? Kütle, enerji, açısal momentum korunması veya diğer değişmezler. Artıklılık olmadan, hiçbir hata algılaması mümkün değildir.
7. Kağıtlar üzerindeki işaretler makineye doğru giriyor mu? Programlama hataları üretim kodunda yıllarca kalıcı olur. Otomatik kart okuyucusu reaksiyon açıklamalarını diferansiyel denklemlere çevirdi — Hamming'in atmosferik kimya simülasyonu için çözümü — insan uyanıklığına güvenmeden yazıya geçiş hatalarını azaltır.
Hamming'in Ekonomik Yasası
Fizik simülasyonları doğrulanmış, matematiksel olarak ifade edilen yasalara dayanır. Kimya simülasyonları doğrulanmış oran sabitleri gerektirir. Biyoloji simülasyonları bilinen nüfus dinamikleri gerektirir.
İktisat Hamming'in görüşüne göre bir güvenilir yasaya sahiptir: üretilmeyen şeyi tüketemezsiniz. İddia edilen diğer her ekonomik yasa ya matematiksel bir totoloji ya da bazen yanlıştır.
Simülasyon için sonuç: arka plan yasaları güvenilir bir şekilde tutmadığında, simülasyonun tüm temeli kuşkuludur. Hesaplamadaki yüksek kesinlik modeldeki güvenilmez yasaları telafi etmez.
Hamming'in ekolojik simülasyonlar çalıştırması istendiğinde verdiği yanıt: her etkileşim için matematiksel olarak ifade edilen kurallar, sayısal sabitler ve test koşuları karşılastırmak için gerçek veriler istedi. İsteyenler çok geçmeden 'istedikleri sonuçları verecek oldukça şüpheli simülasyonlar' çalıştırmaya istekli biri buldum.
Hamming'in kuralı: bütünlüğünüzü koruyun. Başkalarının propagandası için kendinizi kullanmaya izin vermeyin. Yapısal olarak bir sonucu doğrulamak için tasarlanmış simülasyonları reddedin.
Simülasyon Verilerinde Simpson Paradoksu
Hamming'in Berkeley hikayesi: daha fazla erkek kadından lisans okulu öğrenci kabul edildi, ayrımcılık öne sürüyordu. Tek hiçbir bölüm ayrımcılık gösterdi. Açıklama: kadınlar düşük kabul oranlarına sahip bölümlere orantısız bir şekilde başvurdular; erkekler yüksek kabul oranlarına sahip bölümlere orantısız bir şekilde başvurdular. Toplam istatistik gerçekti ve yanıltıcıydı.
Bu Simpson Paradoksudur: verileri birleştirmek hiçbir alt grubun bulunmadığını görünen etkileri oluşturabilir. Gruplar, bölgeler veya zaman periyotları üzerinde toplanan simülasyon çıktıları aynı patolojiyi sergileyen olabilir.
Modelledikleri Şeyi Değiştiren Simülasyonlar
Özel bir simülasyon başarısızlık sınıfı: özne simülasyona yanıt olarak davranışı değiştirir.
Borsa örneği: yaygın olarak bilinen bir ticaret stratejisi pazar üzerinde güvenilir bir şekilde getiri sağlıyorsa, katılımcılar bunu benimseyecek ve rekabet fazla getiriyi ortadan kaldıracaktır. Modelin başarısı modelin geçerliliğini yok eder.
Tıbbi örnek: çift-kör deney vardır çünkü tedavi ve plasebo alan hastalarla hangisinin hangisi olduğunu bilen doktor doktorlar beklediği yerde iyileşme buldu. Doktorların bilgisi gözlemi kontamine etti.
Yüksek bahisli kararlar için simülasyon — ekonomik politika, askeri planlama, halk sağlığı — simülasyonun çıktıları halkçı veya davranışı rehberleyen ne zaman bu sorunla yüzleşir.
Örnekleme ve Doğruluk
Nyquist teoremi dijital simülasyonda sürekli sistemler hakkında temel bir kısıtlamayı belirler: sinyalde bulunan en yüksek frekansın döneminde en az iki örneğe ihtiyaçınız vardır.
Uygulamada, Hamming belirtti, tek taraflı örnekleme ve takma isim en az yedi ile on örneğin ilgi düzeyinin en yüksek frekansında gereksinim itmek.
Doğruluk değişimi: analog bilgisayarlar (Hamming'in döneminde) her bileşende en fazla 10.000'de bir doğruluk başardı. Dijital bilgisayarlar keyfi kesinlik taşıyabilir. Ama dijital doğruluk yeterli örnekleme gerektirir — ve keskin yüksek frekans içeriğine sahip sinyaller için, bu örnekleme oranı hesaplama maliyeti sürücüler.
Analog avantajı: hız ve fiziksel entegrasyon. Fiziksel bir bileşeni doğrudan analog devre içine kablolayabilir ve onun davranışını matematiksel bir açıklaması bulmadan ölçebilirsiniz. Erken rehberli füze tasarımları için, bu hızlı bir tam matematiksel model olmadan sistem hissi izin verdi.
Erken füze çalışmaları için kullanılan analog makineler M9 silah direktörü parçalarından türetilmiştir. Hamming böyle ekipmandan bir diferansiyel analiz inşa etti. Çözüm süresi: her yörüngede yaklaşık 30 dakika. Bu hız koşu arasında derin düşünmeyi zorladı — Hamming yapısal bir avantaj olarak görmek gelmedi.
Hissiyat ve Doğruluk: Mars İnişi Problemi
Hamming keskin bir tasarım sorusu ortaya koydu: Mars iniş uçuşu eğitmeni için, simülatör konumsal doğruluk mı yoksa aracın hissiyatı mı en iyileştirmelidir?
Klasik sayısal analiz konumsal yörüngeyi yerel polinom yaklaşımlarını kullanarak en iyileştirir. Yol doğru, ama hızlanma değişiklikleri her polinom aralığında süreksizdir — doğal olmayan bir 'his'.
Frekans-alan metodları simülatörün frekans yanıtını en iyileştirir. Konum daha az doğru olabilir, ama pilot aracın dinamik yanıtını doğru bir şekilde algılar. Pilot kas hafızası doğru transfer fonksiyonu üzerinde oluşur.
Hamming'in yargısı: pilot eğitmeni his için en iyileştirmeli. Gerçek uçuş sırasında pilot konum hataları geribildirim kontrolü yoluyla telafi edebilir. Eğer his yanlışsa, pilot var olmayan bir araç için eğitilmiştir.
Daha derin prensip: sayısal yöntem seçimi simülasyonda ne önemli olduğu hakkında örtülü bir iddiayı kodlar. Bu iddia matematiksel bir kişi değildir, alan yargısı olan.