Açıklayıcı yazı

Bilinmeyen Sıfır Değildir: Hava Sahasını Yanlış Güvence Vermeden Okumak

Boş bir ekran boş bir gökyüzü demek değildir; iyi bir durum, bilmediğini de söyler.

Yayım tarihi: Sürüm: 0.1Veri durumu: Açıklayıcı

Kanıt düzeyiE0Kavram

Kısaca

Boş bir ekran boş bir gökyüzü demek değildir. Orada hiçbir şey olmadığı anlamına gelebilir, hiçbir şeyin görülemediği anlamına da. İyi bir hava sahası durumu ikisini ayırır ve hangisi olduğunu söyler.

Soru

Ekranda hiç hava aracı görünmediğinde izleyici ne sonuç çıkarmaya hakkı vardır?

Bağlam

Her kaynak hava sahasının yalnızca bir bölümünü görür. Bir algılayıcının erişemediği yerler, onu zayıflatan hava koşulları ve çevrimdışı kaldığı anlar vardır. Ekran yalnızca saptananı gösterirse, bir kaynağın sessizliği gökyüzünün sessizliğiyle aynı görünür ve okur boşluğu güvenceyle doldurur.

Nasıl yaklaşıyoruz

Platform iki değil üç yanıt taşımak üzere tasarlandı: var ve gözlendi, bir kaynağın görebileceği yerde yok, hiçbir kaynağın göremediği yerde bilinmiyor. Bilinmeyen, boşluk olarak değil bilinmeyen olarak çizilir. Güven, kanıt ve kaynak sağlığı ayrı tutulur; böylece bozulmuş bir kaynaktan gelen güvenli görünen bir iz gerçek haliyle gösterilir.

Bundan ne çıkar

“Bilmiyorum” diyebilen bir durum, her zaman emin olan bir durumdan daha yararlıdır. Bozulma bilineni azalttığında önce iddia zayıflar ve görüntü, arkasındaki veriden daha kesin görünmemelidir. Bu, E0 düzeyinde bir tasarım ilkesidir; ölçülmüş bir sonuç yoktur.

Bu yazının kanıtlamadıkları

  • AIR NEXUS kaynaklarından herhangi birinin bir hava aracını güvenilir biçimde saptayabildiğini.
  • Herhangi bir sistemin boş gösterdiği hava sahasının güvenli olduğunu.

Sınırlamalar

  • Bu yazı sınanmış bir davranışın raporu değil, bir tasarım ilkesinin açıklamasıdır.
  • Bir durumun nasıl gösterilmek üzere tasarlandığını anlatır; hiçbir kaynağın bir şeyi ne kadar iyi saptadığı hakkında bir şey söylemez.
  • Üç yanıtlı model bir sadeleştirmedir; gerçek bir durum var, yok ve bilinmiyor ayrımından daha fazla ayrıntı taşır.

Dayandığı projeler

İlgili yetenekler

Güncelleme geçmişi

  • · 0.1İlk yayım

Yazar: AIR NEXUS, Zyrix Technologies Inc. markası

Tüm yazılar