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/sweep-nd.md

sweep-nd (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Zegary, synchronizacja czasu i holdover. 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 od silnika lub z macierzy weryfikacji; rodzaj jest MODELLED, o ile macierz nie mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Ogólny przegląd N-wymiarowy dowolnego pakietu przez kluczowe TOML z kropkami / ścieżki metryk JSON.

Jeden przebieg scenarios/sweep-nd-inertial.toml podsumowuje się tak: ogólny przegląd inertial po [threshold_m, accel_classical.bias] | 15 węzłów (kształt [5, 3]) | metryki [classical.fom.holdover_s, classical.fom.pos_rms_m]

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: base, axes, metrics
  • Pola opcjonalne: brak

Przykład scenarios/sweep-nd-inertial.toml ustawia między innymi:

Pole Wartość Jednostka
axes[0].key threshold_m tekst
axes[0].start 100 nie podano
axes[0].steps 5 nie podano
axes[0].stop 500 nie podano
axes[1].key accel_classical.bias tekst
axes[1].scale logarytmiczna tekst
axes[1].start 0.001 nie podano
axes[1].steps 3 nie podano
axes[1].stop 0.003 nie podano
axes[1].unit m/s^2 tekst
base.accel_classical.bias 0.00157 nie podano
base.accel_classical.bias_instability 1.0000e-5 nie podano

Uruchom#

kshana scenarios/sweep-nd-inertial.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier PARTNER tekst
Wykres zapisany przez silnik dla scenarios/sweep-nd-inertial.toml, rodzaj sweep-nd

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 Złożony budżet położenia w holdover z biasu, współczynnika skali, VRW i zaniku stabilności. Wyrocznia (ReferenceImpl): niezależna całka SDE Monte Carlo w numpy z podwójnie scałkowanego białego szumu przyspieszenia (waliduje analityczną wariancję VRW zupełnie niezależnym algorytmem) + opublikowana wartość kotwicząca Groves 2013 dla składników biasu i współczynnika skali; liczby urządzeń CAI ilościowo opisują sprzęt partnera i pozostają MODELLED
  • 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 Przegląd rodzaju campaign (jeden do trzech kluczy z kropkami dowolnego rodzaju, na wartościach osi przeglądu ogólnego, opcjonalnie zespół w każdym węźle) i sekcja monte_carlo. Wyrocznia (InternalConsistency): Postać zamknięta błądzenia fazy przy szumie częstotliwości białym, wariancja q_wf tau (NIST Technical Note 1337), dla mechanizmu statystyk, oraz równość bajtowa z przebiegami samodzielnymi dla ziarnowania. Sprawdza arytmetykę zespołu na własnym modelu zegara silnika, a nie na zewnętrznym zbiorze danych

Ograniczenia#

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

  • 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))
  • Odporność kwantowej nawigacji zliczeniowej inercyjnej jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: sprawdzona względem osobnej implementacji w tej samej bazie kodu, niezależnej od badanego elementu, ale nie będącej zewnętrznym wzorcem. (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))
  • Przeglądy parametrów i zespoły Monte Carlo z ziarnem dla dowolnego rodzaju scenariusza są MODELLED, nie są sprawdzone względem niezależnego wzorca: sprawdzone względem własnej tożsamości w postaci zamkniętej / analitycznej; wychwytuje błędy przepisania i współczynników, ale nie jest zewnętrzną wyrocznią. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#