Proje · Çekirdek Zekâ
Hava Sahası Zekâsı Çekirdek Platformu
Dağınık gözlemleri, incelenebilir bir hava sahası durumuna dönüştürün.
Kanıt düzeyiE1Mimari Tanımlandı
İlk gözlemden yeniden oynatmaya
Tek bir dizi, beş an. Aralarında kendiniz gezinin; hiçbir şey kendiliğinden oynamaz.
Adım 1 / 5Gözlemler farklı zamanlarda gelir
- Gözlemler farklı zamanlarda gelir
- İlişkilendirilir ve adaylar oluşur
- Bir kaynak bayatlar ve iddia yumuşar
- Kaynak döner ve durum toparlanır
- An, o zaman bilinenlerle yeniden oynatılır
Bu proje neden var
Kaynaklar farklı biçimlerde, farklı zamanlarda ve farklı güven düzeylerinde rapor verir. Bunları dağınık noktalar olarak çizen bir ekran, neyin incelenebileceğini değil yalnızca neyin ulaştığını gösterir: hangi gözlemlerin birbirine ait olduğunu, her birinin ne kadar eski olduğunu ve neyin hâlâ bilinmediğini.
Neyi alır
Her girdi bir şey ekler, bir şeyi de kanıtlanmamış bırakır.
- Birçok kaynaktan gözlemHer gözlem kendi zamanı, biçimi ve kalitesiyle gelir. Hiçbiri yalnızca geldiği için güvenilir sayılmaz.
- Bağlam ve geçmişÖnceki durumlar, saha bağlamı ve kaynak sağlığı saklanır; böylece bir durum, daha önce bilinenle karşılaştırılabilir.
- Açıkça belirtilen bilinmeyenlerBoşluklar ve bayatlamış girdiler bilinmiyor olarak kaydedilir; ne sıfır ne de temiz sayılır.
Nasıl çalışır
Durumun oluştuğu sırayla üç adım.
- Gözlemleri birleştirmeden önce ilişkilendirir; yalnızca birbirine ait olanı bir araya getirir.
- Alanları güncelliği, güveni, kanıtı ve bilinmeyenleri taşıyan tek bir durum nesnesi kurar.
- Geçmişi saklar; böylece her an yeniden oynatılabilir ve durum denetimli biçimde paylaşılabilir.
- Birleşik olmak kesin olmak demek değildir; durum kendi güven aralığını taşır.
- Önce bilinen ile şimdi bilinen ayrı tutulur ve aradaki fark incelenebilir.
- Bir girdi zayıfladığında, görüntü değişmeden önce iddia yumuşatılır.
Mimaride yeri
Çekirdek platform, kanıt zincirinin ortasındaki katmandır. Algılama projelerinin gözlediğini alır, bundan zamana bağlı tek bir durum kurar ve bu durumu kanıtıyla birlikte füzyona, geçmiş durum incelemesine ve ihtiyaç duyan arayüzlere iletir.
| Aşama | Değer |
|---|---|
| 1 | Kaynaklar |
| 2 | Model |
| 3 | Politika |
| 4 | Arayüz |
| 5 | Tüketici |
| 6 | Denetim |
Durumun anatomisi: tek varlık, iki an
Etkileşimli görünüm
Veri durumu: Açıklayıcı
Tek bir durum nesnesinin alanlarını açın. Aynı varlık hem daha önce bilindiği hem de şimdi bilindiği biçimde görünür; değişen her alan yazıyla işaretlenir.
Önce bilinen
Güven aralığı: 74–88
Kimlik varsayımıKimliği belirlenmemiş adaydeğişmedi
Kimlik her iki anda da bir varsayımdır; burada hiçbir şey nesnenin kimliğini belirlemez.
Konum aralığıİki kaynaktan dar aralıkdeğişti
İkinci kaynak yavaşladı, bu yüzden aralık genişledi.
GüncellikEn yeni girdi yakın zamanlıdeğişti
Güncellik tek bir sayının arkasına gizlenmez, kaynak kaynak gösterilir.
Kaynakların uyumuÜçten üçüdeğişti
Kaynaklardan biri bu anda yoktu.
BilinmeyenlerKayıtlı bir şey yokdeğişti
Bilinmeyen kaydedilir, sıfır olarak gösterilmez.
İddia ifadesiOlağandeğişti
İddia, görüntü değişmeden önce yumuşar.
Şimdi bilinen
Güven aralığı: 52–86
Kimlik varsayımıKimliği belirlenmemiş adaydeğişmedi
Kimlik her iki anda da bir varsayımdır; burada hiçbir şey nesnenin kimliğini belirlemez.
Konum aralığıGüncel tek kaynaktan geniş aralıkdeğişti
İkinci kaynak yavaşladı, bu yüzden aralık genişledi.
GüncellikBir kaynağın en yeni girdisi bayatdeğişti
Güncellik tek bir sayının arkasına gizlenmez, kaynak kaynak gösterilir.
Kaynakların uyumuÜçten ikisideğişti
Kaynaklardan biri bu anda yoktu.
Bilinmeyenlerİrtifa aralığı bilinmiyordeğişti
Bilinmeyen kaydedilir, sıfır olarak gösterilmez.
İddia ifadesiYumuşatılmışdeğişti
İddia, görüntü değişmeden önce yumuşar.
Kanıt ve güvence
Neyin, hangi düzeyde gösterildiği ve neyin gösterilmediği.
Kanıt merdiveni
- E0 · Kavram ulaşıldı
- E1 · Mimari Tanımlandı ulaşıldı
- E2 ulaşılmadı
- E3 ulaşılmadı
- E4 ulaşılmadı
- E5 ulaşılmadı
Proje güvence paneli
- Görev ve bağlam
- Her ortama, insanların açıklayabileceği, inceleyebileceği ve devredebileceği tek bir hava sahası durumu sağlamak; birbiriyle uzlaşmayan birkaç görünümün yerine.
- Temel katkı
- Ortak bir durum modeli: kimlik varsayımı, konum aralığı, güncellik, kaynaklar, güven, kanıt ve bilinmeyenler için tanımlı alanlar.
- Karar değeri
- İncelemeyi yapan kişinin, ne yapacağına karar vermeden önce neyin desteklendiğini, ne kadar eski olduğunu ve neyin eksik olduğunu görmesine yardım eder. Kararı vermez.
- Kanıt durumu
- Kanıt düzeyi: E1 · Mimari Tanımlandı Dondurulmuş bir mimari şartname vardır. Prototip, test sonucu ya da devreye alma iddia edilmez.
- Sonraki doğrulama adımı
- Durum modelini simülasyonda yapay, çok kaynaklı senaryolara karşı çalıştırmak ve sonucu ilk kanıt kaydı olarak yazmak.
- Girdiler zayıfladığında davranış
- Bir kaynak yavaşladığında ya da düştüğünde güncelliği gösterilir, güven aralığı genişler ve önce iddia yumuşar. Durum, daha belirsiz olarak işaretlenmiş hâlde kalır; kaynak döndüğünde toparlanır.
- Entegrasyondaki rol
- Durumu ve geçmişini füzyona, geçmiş durum incelemesine ve veri arayüzü üzerinden diğer sistemlere yayımlar. Gözlemleri alır, sensörlere komut vermez.
- İnsan incelemesi
- Bir eyleme yol açan her durumu bir kişi inceler. Platform görüntüyü ve kanıtını hazırlar; ona dayanarak kendisi harekete geçmez.
- Kamuya açık sınır
- Burada anlatılan her şey mimari aşamasındaki bir tasarımdır ve gösterilen her değer yalnızca açıklayıcıdır.
- Açık bilinmeyenler
- Durum alanlarının gerçek sensör zamanlamasıyla nasıl davranacağı, işletmecilerin ne kadar geçmişe ihtiyaç duyacağı ve sahaların hangi devir biçimlerini kabul edeceği henüz bilinmiyor.
Girdiler zayıfladığında
Bir kaynak yavaşladığında ya da düştüğünde güncelliği gösterilir, güven aralığı genişler ve önce iddia yumuşar. Durum, daha belirsiz olarak işaretlenmiş hâlde kalır; kaynak döndüğünde toparlanır.
- Normal
- Düşük performans
- Kullanılamaz
| Zaman (göreli) | Bileşen 1 | Bileşen 2 | Bileşen 3 |
|---|---|---|---|
| 1 | Normal | Normal | Normal |
| 2 | Normal | Normal | Normal |
| 3 | Normal | Normal | Normal |
| 4 | Normal | Normal | Kullanılamaz |
| 5 | Normal | Normal | Kullanılamaz |
| 6 | Normal | Düşük performans | Normal |
| 7 | Normal | Düşük performans | Normal |
| 8 | Düşük performans | Normal | Normal |
| 9 | Düşük performans | Normal | Düşük performans |
| 10 | Normal | Normal | Normal |
| 11 | Normal | Normal | Normal |
| 12 | Normal | Normal | Normal |
Nerede geçerli
Devir kaydı gerektiren korunan bir saha
- Burada neden önemli
- Görünümler ayrı olduğunda vardiya değişiminde bağlam kaybolur.
- Ne katar
- Gelen vardiyanın devralacağı, geçmişiyle birlikte tek ve incelenebilir bir durum.
- Neyin yerini almaz
- Sahanın kendi prosedürlerini ve onları uygulayan insanları.
Birkaç yerel görüntüyü birleştiren bir bölge
- Burada neden önemli
- Yerel görünümler zamanlama ve ayrıntıda birbirinden ayrılır.
- Ne katar
- Her sahanın kanıtını kendisine bağlı tutan ortak bir durum modeli.
- Neyin yerini almaz
- Sahalardaki algılamayı; gözlemin yine birilerince yapılması gerekir.
Veri akışındaki rol
Durumu ve geçmişini füzyona, geçmiş durum incelemesine ve veri arayüzü üzerinden diğer sistemlere yayımlar. Gözlemleri alır, sensörlere komut vermez.
Doğrulama yolu
Durum modelini simülasyonda yapay, çok kaynaklı senaryolara karşı çalıştırmak ve sonucu ilk kanıt kaydı olarak yazmak.
| Öğe | Tanımlı | Prototip | Entegre | Saha |
|---|---|---|---|---|
| Modül A | Tamamlandı | Sürüyor | Başlamadı | Başlamadı |
| Modül B | Tamamlandı | Başlamadı | Başlamadı | Başlamadı |
| Modül C | Sürüyor | Başlamadı | Başlamadı | Başlamadı |
Sınırlar
- Platform durumu gözlenenden kurar. Hiçbir şeyin gözlenmediği yerde durum bilinmiyor der; hiçbir kaynağın yapmadığı bir gözlemi üretemez.
- Güven, bağlı kaynaklara, zamanlamalarına ve yerel ortama bağlıdır. Bir durum, girdileri kadar güçlüdür.
- Bu aşamada kanıt yazılı bir şartnamedir. Başarım hakkında bir iddiayı destekleyen ölçülmüş bir sonuç yoktur.
- Birleştirme, görüntüyü incelemeyi kolaylaştırır; görüntüyü doğru kılmaz, insan muhakemesinin ya da sertifikalı sistemlerin yerini de almaz.
İlgili projeler
Her bağlantı iki projenin neden birlikte okunması gerektiğini söyler.
Yetenekler
- İlişkilendirmeSonuca varmadan önce ilişkileri kurun.
- Çoklu Sensör FüzyonuBilgiyi birleştirin, ama kaynağını silmeyin.
- Birleşik İz ve Durum SürekliliğiDeğişim boyunca tek ve tutarlı bir durumu koruyun.
- Güven Düzeyi ve BelirsizlikGüveni yalnızca göstermeyin; nedenini de açıklayın.
- Geçmiş Durum İncelemesiGeçmişi, sonradan öğrenilenlerle yeniden yazmadan inceleyin.
- Kontrollü Veri ve API EntegrasyonuZekâyı, anlamını yitirmeden diğer sistemlere taşıyın.
Çözümler
- Kritik AltyapıÖnemli tesislerin çevresinde ne gördüğünüzü, neye dayandığını ve nasıl değiştiğini birlikte anlayın.
- Havalimanları ve HavacılıkHavacılık operasyonlarının yürüdüğü hava sahasını, çevresiyle birlikte anlayın.
- Şehir ve Bölgesel Hava SahasıYerel durumları silmeden, daha geniş hava sahasını ortak bir bağlamda görün.