Tłumaczenie maszynowe, niezweryfikowane przez osobę, dla której polski jest językiem ojczystym. Wzorcem jest wersja angielska.

Strony rodzajów scenariuszyEdytuj na GitHubieŹródło: docs/kinds/by-kind/quantum-gnss-free-nav.md

quantum-gnss-free-nav (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Czujniki inercyjne, fuzyjne i kwantowe. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie jest to sprzęt nawigacyjny z zatwierdzeniem typu ani usługa bezpieczeństwa życia. Każda etykieta tutaj pochodzi z silnika lub z macierzy weryfikacji; rodzaj jest MODELLED, chyba że macierz stanowi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Kwantowa nawigacja bez GNSS, MODELLED: podczas utraty sygnału GNSS bilans inercyjny kwantowy (interferometr zimnych atomów) wobec klasycznego INS klasy nawigacyjnej — narastanie błędu pozycji w czasie wybiegu, holdover do progu pozycji oraz bilans kwantowy a klasyczny jako rzetelne TradeEvidence z reprezentatywnością. Rzetelna uwaga o obserwowalności: bez zewnętrznego rozwiązania pozycji bias akcelerometru jest nieobserwowalny, więc błąd rośnie; czujnik kwantowy spowalnia, lecz nie zamyka tej luki. Ilustracyjne parametry urządzeń ze źródeł publicznych; modeluje klasę, bez TRL, lotu i certyfikacji.

Jeden przebieg scenarios/quantum-gnss-free-nav.toml podsumowuje się tak: quantum-gnss-free-nav | utrata sygnału 300s | błąd pozycji kwantowy 0,00 m wobec klasycznego 37,31 m (8289.5x) | holdover kwantowy 44721s wobec klasycznego 534s (próg 100 m) | bilans: kwantowy wygrywa 2/2 | MODELLED

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: outage_s, threshold_m, quantum_bias_m_s2, classical_bias_m_s2

Przykład scenarios/quantum-gnss-free-nav.toml ustawia między innymi:

Pole Wartość Jednostka
classical_bias_m_s2 5.0000e-5 m/s^2
kind quantum-gnss-free-nav tekst
outage_s 300 s
quantum_bias_m_s2 1.0000e-7 m/s^2
threshold_m 100 m

Uruchom#

kshana scenarios/quantum-gnss-free-nav.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
classical_holdover_s 533.733798 s
classical_pos_err_m 37.31297 m
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier PARTNER tekst
improvement_x 8289.499001 1
outage_s 300 s
quantum_holdover_s 44721.318429 s
quantum_pos_err_m 0.004501 m
threshold_m 100 m
Wykres zapisany przez silnik dla scenarios/quantum-gnss-free-nav.toml, rodzaj quantum-gnss-free-nav

Dowody#

Żaden wiersz macierzy nie wymienia tego rodzaju po nazwie; etykieta na jego wyniku jest własną etykietą silnika, powyżej.

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

  • MODELLED Akcelerometr z interferometrem zimnych atomów z pierwszych zasad (k_eff·T², QPN). Wyrocznia (ExternalDataset): opublikowane wektory liczbowe z podstawowych prac o CAI (funkcja przenoszenia Cheinet 2008; czułość Peters/Freier): k_eff·T² dopasowane dokładnie, ASD szumu śrutowego jako jednostronny próg w granicach ~2× od każdego opublikowanego przyrządu (rzeczywiste urządzenia mają szum techniczny powyżej progu kwantowego). Przedział, nie równość. 0,30 runda 2 (zarejestrowane z góry fcb9ac64), ustalenie (pozostaje MODELLED): szum rotacji tylko od QPN względem zmierzonego Gauguet et al.
  • MODELLED Deterministyczne, haszowane na poziomie scenariusza, bramki SBOM i złotych wyników między platformami. Wyrocznia (ExternalDataset): zgodność SBOM z oficjalnym schematem JSON CycloneDX 1,5 (+ prawidłowe identyfikatory SPDX): zewnętrzny opublikowany standard, zero błędów walidacji w całym grafie zależności; część dotycząca determinizmu wskaźników jakości i odtwarzalności bajt w bajt pozostaje przypiętą kontrolą samospójności, więc wiersz pozostaje MODELLED
  • PARTNER Nie jest zapewniane — tylko modele wydajności; sprzęt na zimnych atomach/zegary należy do partnera. Wyrocznia (NoneKind): brak: dyscyplina należąca do partnera, z założenia bez modułu i bez testu
  • MODELLED Jeden odtwarzalny obiekt TradeEvidence (stała rama: scenariusz+ziarno+silnik; wspólne wartości kwantowe i klasyczne dla każdego wskaźnika jakości z korzyścią o właściwej polaryzacji, opcjonalny 95%. Wyrocznia (InternalConsistency): tożsamości w postaci zamkniętej dla korzyści i zwycięzcy + wierne opakowanie istniejącego quantum_trade::TradeResult; rzetelność powiązana z rejestrem reprezentatywności i etykietami weryfikacji
  • MODELLED Nawigacja zliczeniowa kwantowa (interferometr zimnych atomów) wobec klasycznego INS klasy nawigacyjnej podczas utraty sygnału GNSS: narastanie błędu pozycji, holdover do progu pozycji,. Wyrocznia (InternalConsistency): ponownie użyte bilanse inercyjne skontrolowane krzyżowo względem niezależnego całkowania podwójnego tego samego równania różniczkowego nawigacji zliczeniowej w Octave (inne środowisko uruchomieniowe, wspólny model → ReferenceImpl) oraz opublikowanego krótkoterminowego szumu Freier-2016 jako jednostronnej kotwicy; złożenie kwantowe a klasyczne pozostaje MODELLED

Ograniczenia#

Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:

  • Kwantowa nawigacja bez GNSS, MODELLED: podczas utraty sygnału GNSS bilans inercyjny kwantowy (interferometr zimnych atomów) wobec klasycznego INS klasy nawigacyjnej — narastanie błędu pozycji w czasie wybiegu, holdover do progu pozycji oraz bilans kwantowy a klasyczny jako rzetelne TradeEvidence z reprezentatywnością. (katalog rodzajów (kshana kinds --json))
  • Kwantowa nawigacja bez GNSS — nawigacja zliczeniowa kwantowa (interferometr zimnych atomów) wobec klasycznego INS klasy nawigacyjnej podczas utraty sygnału GNSS. MODELLED; ilustracyjne parametry urządzeń ze źródeł publicznych; modeluje klasę, bez deklaracji TRL ani lotu. (komentarz w pliku scenariusza, wiersze 1 do 3)
  • Wydajność kwantowego czujnika inercyjnego jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: podtwierdzenie jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc możliwość pozostaje oznaczona jako obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • Odtwarzalność i zapewnienie jakości oprogramowania jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: jedno twierdzenie składowe jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • Bilans kwantowy a klasyczny (wspólny kształt) jest MODELLED, nie sprawdzony względem niezależnego wzorca zewnętrznego: sprawdzony względem własnej tożsamości w postaci zamkniętej lub analitycznej — wychwytuje błędy przepisania i współczynników, ale nie jest wyrocznią zewnętrzną. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • Kwantowa nawigacja bez GNSS jest MODELLED, nie sprawdzona względem niezależnego wzorca zewnętrznego: sprawdzona względem własnej tożsamości w postaci zamkniętej lub analitycznej — wychwytuje błędy przepisania i współczynników, ale nie jest wyrocznią zewnętrzną. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#