Proje · Çekirdek Zekâ

Hava Sahası Veri ve Zekâ API’si

Hava sahası durumunu, arkasındaki kanıtı kaybetmeden sistemlere taşıyın.

Kanıt düzeyiE0Kavram

İ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 gelir

  1. Gözlemler gelir
  2. İlişkilendirilir ve birleştirilir
  3. Durum kanıtıyla birlikte yayımlanır
  4. Bayat bir kaynak yükte aralığı genişletir
  5. Önceki yük istenir ve karşılaştırılır

Bu proje neden var

Entegrasyonlar çoğu zaman koordinatları iletir; güveni, kökeni ve bilinmeyenleri düşürür. Alan sistem belirsiz bir okumayı olgu gibi ele alır ve sonradan kimse o sırada neyin bilindiğini söyleyemez.

Neyi alır

Her girdi bir şey ekler, bir şeyi de kanıtlanmamış bırakır.

  • Denetimli durum nesneleriÇekirdek platformdan gelen durum; güveni, güncelliği, kökeni ve açıkça belirtilmiş bilinmeyen ya da bayat alanlarıyla birlikte.
  • Erişim ve şema kurallarıHangi tüketicinin durumun hangi bölümünü, şemanın hangi sürümüyle okuyabileceği.
  • Zamana bağlı sorularYalnızca şimdi bilineni değil, daha önceki bir anda bilineni soran istekler.
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. Her durumu güveni, güncelliği ve köken zinciriyle birlikte serileştirir; bilinmeyen ya da bayat alanları açıkça işaretler.
  2. Şemaları sürümler; her tüketiciye yetkilendirme ve denetim uygular. Bu sitede hiçbir uç nokta yayımlanmaz.
  3. «t anında ne biliniyordu» türünden soruları yanıtlar; böylece alt sistem geçmiş bir görüntüyü yeniden kurabilir.
  • Başarılı bir çağrı, geçerli bilgi anlamına gelmez.
  • Bilinmeyen hiçbir zaman sıfır ya da yanlış olarak serileştirilmez.
  • Önce bilinen ile şimdi bilinen arasındaki fark istenebilir.

Mimaride yeri

Arayüz, zincirin son halkasıdır. Birleşik durumu çekirdek platformdan, gerektiğinde füzyondan alır ve kanıtı yanında olarak diğer sistemlere taşır; böylece alıcı taraf her alana ne kadar güveneceğini görebilir.

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.

Yük denetçisi

Etkileşimli görünüm

Veri durumu: Açıklayıcı

Açıklama için uydurulmuş, genelleştirilmiş bir durum nesnesi. Girdi koşulunu değiştirin ve her alanın nasıl tepki verdiğini okuyun; işaretli satırlar olağan yükten farklı olanlardır.

Girdi koşulu
  1. {
  2. "state_id": "st-0417",
  3. "schema": "v3",
  4. "confidence": {
  5. "low": 0.72,
  6. "high": 0.86
  7. },
  8. "freshness_s": 2,
  9. "sources": [
  10. {
  11. "id": "src-a",
  12. "status": "live"
  13. },
  14. {
  15. "id": "src-b",
  16. "status": "live"
  17. },
  18. {
  19. "id": "src-c",
  20. "status": "live"
  21. }
  22. ],
  23. "altitude_band": "low",
  24. "unknown": [],
  25. "claim": "standard"
  26. }

Boş değerler nasıl okunur

  • null Bilinmiyor. Değer desteklenemedi; sıfır değildir, yanlış da değildir.
  • [] Bu listede kayıtlı bir şey yok. Yokluk varsayılmaz, belirtilir.
  • "softened" Bir girdi zayıfladığı için iddia ifadesi yumuşatıldı.

Tanımlayıcılar uydurmadır. Bu sayfada gerçek bir arayüzün uç noktası, anahtarı ya da şeması yoktur.

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 ulaşılmadı
  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
Diğer sistemlerin hava sahası durumunu, ona ne kadar güvenileceğini söyleyen kanıttan soyulmadan kullanabilmesini sağlamak.
Temel katkı
Güveni, güncelliği, kökeni ve bilinmeyenleri her alanla birlikte yol alan, denetimli bir durum nesnesi teslimi.
Karar değeri
Entegrasyon ekibinin, verinin kendisinde hangi alanların sağlam hangilerinin yumuşak olduğunu görmesini sağlar. Onları nasıl kullanacağına alıcı sistem karar verir.
Kanıt durumu
Kanıt düzeyi: E0 · Kavram Yalnızca kavram ve araştırma yönü. Şartname, arayüz ya da test sonucu iddia edilmez.
Sonraki doğrulama adımı
Yük ve boş değer anlamı kurallarını yazmak, sonra herhangi bir arayüz kurulmadan önce bunları simülasyonda yapay zayıflama senaryolarına karşı sınamak.
Girdiler zayıfladığında davranış
Bir kaynak bayatladığında etkilenen alanlar daha geniş bir aralık ve yumuşatılmış bir iddia taşır; artık desteklenemeyen alanlar boş olur. Yük biçimsel olarak sağlam kalır.
Entegrasyondaki rol
Durumları ve geçmişi, sürümlü şemalar altında, yetkilendirme ve denetimle onaylı tüketicilere teslim eder. Durumu sunar; sensörlere yönelik komutları kabul etmez.
İnsan incelemesi
Entegratör her tüketicinin durumu nasıl kullandığını inceler; duruma bağlı her eylemi de bir kişi inceler.
Kamuya açık sınır
Gösterilen yük genelleştirilmiş ve uydurmadır. Gerçek bir şema, uç nokta ya da müşteri verisi örneği değildir.
Açık bilinmeyenler
Tüketicilerin hangi şema sürümlerine ihtiyaç duyacağı, geçmişin ne kadar süre saklanması gerektiği ve sahaların hangi yetkilendirme modellerini isteyeceği henüz bilinmiyor.

Girdiler zayıfladığında

Bir kaynak bayatladığında etkilenen alanlar daha geniş bir aralık ve yumuşatılmış bir iddia taşır; artık desteklenemeyen alanlar boş olur. Yük biçimsel olarak sağlam kalı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

  • Hava sahası durumunu gösteren bir saha sistemi

    Burada neden önemli
    İşletmecilerinin hangi okumaların yumuşak olduğunu görmesi gerekir.
    Ne katar
    Aralık, güncellik ve kökeni taşıyan alanlar; böylece ekran bunları gösterebilir.
    Neyin yerini almaz
    Sahanın kendi ekran tasarımını.
  • O sırada ne biliniyordu sorusunu yanıtlaması gereken bir arşiv

    Burada neden önemli
    Olay sonrası inceleme, görüntünün şimdiki hâline değil o günkü hâline dayanır.
    Ne katar
    Zamana bağlı sorgular ve iki an arasındaki fark.
    Neyin yerini almaz
    Kurumun kanıt işleme ve saklama kurallarını.

Veri akışındaki rol

Durumları ve geçmişi, sürümlü şemalar altında, yetkilendirme ve denetimle onaylı tüketicilere teslim eder. Durumu sunar; sensörlere yönelik komutları kabul etmez.

Doğrulama yolu

Yük ve boş değer anlamı kurallarını yazmak, sonra herhangi bir arayüz kurulmadan önce bunları simülasyonda yapay zayıflama senaryolarına karşı sınamak.

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

  • Arayüz yalnızca durumun içerdiğini iletebilir. Bir kaynak yoksa yük bilinmiyor der; boşluğu doldurmaz.
  • Tüketiciler kanıt alanlarını atabilir. Arayüz bunları sunabilir ama alıcı sisteme kullandıramaz.
  • Henüz bir arayüz yayımlanmadı ve hiçbir şema sabitlenmedi. Burada gösterilen, bir ürünü değil kuralları örnekler.
  • Durumun teslimi doğruluğunun güvencesi değildir; biçimsel olarak sağlam bir yük, içeriğinin doğru olup olmadığı hakkında bir şey söylemez.

İlgili projeler

Her bağlantı iki projenin neden birlikte okunması gerektiğini söyler.

Yetenekler

Çözümler

Teknoloji