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.

Geçmişi inceleme: Veri tablosu
ÖğeDeğer
Gözlenen1, 4
Çıkarsanan2
Bilinmeyen3
Geçmişi inceleme RD08Veri durumu: SimülasyonKanıt düzeyi: E0 · KavramYanıtladığı soru: Her anda ne biliniyordu?Bir geçmiş inceleme çizgisi, gözlenenleri çıkarsananlardan ve bilinmeyenlerden ayırır. İleri ya da geri bir adım atmak yalnızca o adımda bilinenleri gösterir.Sınır: Simüle bir dizidir. Tahmin edilen yolları ya da sonradan edinilen bilgiyi hiçbir zaman göstermez.

Adım 1 / 5Gözlemler farklı zamanlarda gelir

  1. Gözlemler farklı zamanlarda gelir
  2. İlişkilendirilir ve adaylar oluşur
  3. Bir kaynak bayatlar ve iddia yumuşar
  4. Kaynak döner ve durum toparlanır
  5. 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.
Kaynak varlığı: Veri tablosu
ÖğeDeğer
Kaynak AKatkı verir
Kaynak BYalnızca bağlam
Kaynak CHenüz yok
Kaynak varlığı RD03Veri durumu: AçıklayıcıKanıt düzeyi: E0 · KavramYanıtladığı soru: Bu duruma hangi kaynaklar katkı veriyor?Üç kaynak işareti tek bir duruma bağlanır ve her biri yazılı bir durum taşır. Bir kaynağın var olması güvenilir olduğu anlamına gelmez; etiket neye katkı verdiğini söyler.Sınır: Kaynaklar geneldir ve konumları coğrafi değildir.

Nasıl çalışır

Durumun oluştuğu sırayla üç adım.

  1. Gözlemleri birleştirmeden önce ilişkilendirir; yalnızca birbirine ait olanı bir araya getirir.
  2. Alanları güncelliği, güveni, kanıtı ve bilinmeyenleri taşıyan tek bir durum nesnesi kurar.
  3. 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.

Mimariyi okuyun

Veri akışı: Veri tablosu
AşamaDeğer
1Kaynaklar
2Model
3Politika
4Arayüz
5Tüketici
6Denetim
Veri akışı CH13Veri durumu: AçıklayıcıKanıt düzeyi: E0 · KavramYanıtladığı soru: Veri mimari boyunca nasıl akar?Kaynaklardan denetime altı aşamalı bir hat, verinin model, politika ve arayüz üzerinden tüketiciye nasıl aktığını ve sonda bir kayıt tutulduğunu gösterir.Sınır: Kavramsal bir akıştır; yayında olan bir sistemi tarif etmez.

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.

Görünüm

Ö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

  1. E0 · Kavram ulaşıldı
  2. E1 · Mimari Tanımlandı ulaşıldı
  3. E2 ulaşılmadı
  4. E3 ulaşılmadı
  5. E4 ulaşılmadı
  6. 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 içinde sistem sağlığı: Veri tablosu
Zaman (göreli)Bileşen 1Bileşen 2Bileşen 3
1NormalNormalNormal
2NormalNormalNormal
3NormalNormalNormal
4NormalNormalKullanılamaz
5NormalNormalKullanılamaz
6NormalDüşük performansNormal
7NormalDüşük performansNormal
8Düşük performansNormalNormal
9Düşük performansNormalDüşük performans
10NormalNormalNormal
11NormalNormalNormal
12NormalNormalNormal
Zaman içinde sistem sağlığı CH07Veri durumu: Sentetik veriKanıt düzeyi: E0 · KavramYanıtladığı soru: Sistem sağlığı nasıl değişti?Üç örnek bileşenin her biri için üç bant, normal, düşük performanslı ve kullanılamaz dönemleri farklı dolgu ve desenlerle gösterir; durum yalnızca renge bağlı kalmaz.Sınır: Dönemler uydurmadır ve hiçbir gerçek bileşen hakkında bir şey söylemez.

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.

Aşamaya göre doğrulama: Veri tablosu
ÖğeTanımlıPrototipEntegreSaha
Modül ATamamlandıSürüyorBaşlamadıBaşlamadı
Modül BTamamlandıBaşlamadıBaşlamadıBaşlamadı
Modül CSürüyorBaşlamadıBaşlamadıBaşlamadı
Aşamaya göre doğrulama CH15Veri durumu: AçıklayıcıKanıt düzeyi: E0 · KavramYanıtladığı soru: Her aşamada doğrulama durumu nedir?Üç örnek modülün dört doğrulama aşamasına karşı yer aldığı bir tablo, her hücreyi tamamlandı, sürüyor ya da başlamadı diye işaretler. Hücrelerin çoğu bu noktada beklendiği gibi hâlâ açıktır.Sınır: Modüller ve durumlar yer tutucudur; gerçek bir doğrulamayı bildirmez.

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

Çözümler

Teknoloji