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-trade.md

quantum-trade (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#

Bilans PNT kwantowy a klasyczny (13503): korzyść w holdover czasu i holdover inercyjnym kandydującego zegara (krzywa zmierzonego ADEV — oś obronności wyniku — lub kwantowa klasa zegara) wobec klasycznej klasy punktu odniesienia, z zastrzeżeniem o założeniu podłogi długiego tau dołączonym do artefaktu, plus obwiednia odporności w funkcji czasu bez GNSS. MODELLED; ilościowo ocenia (nigdy nie sprawdza) urządzenie partnera. Zegar kandydujący jest zmierzoną krzywą (candidate_adev_taus + candidate_adev_values, równej długości, co najmniej 2 punkty; wygrywa, gdy podano obie postaci) lub candidate_clock_class.

Jeden przebieg scenarios/quantum-trade.toml podsumowuje się tak: quantum-trade | kandydat measured-ADEV | holdover czasu 2621947s wobec 203s (12943.62x) | inercyjny 14108s wobec 378s (37.34x) | wybieg odporności 14108s | MODELLED [zastrzeżenie o założonej podłodze]

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
  • Pola opcjonalne: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

Przykład scenarios/quantum-trade.toml ustawia między innymi:

Pole Wartość Jednostka
baseline_clock_class csac tekst
candidate_adev_taus [1, 10, 100, 1000, 10000, 100000] nie podano
candidate_adev_values [5.0000e-16, 1.6000e-16, 6.0000e-17, 4.0000e-17, 6.0000e-17, nie podano
kind quantum-trade tekst
position_threshold_m 100 m
resilience_times_s [1, 60, 600, 1800, 3600, 7200, 14400, 28800] s
timing_threshold_s 2.0000e-8 s

Uruchom#

kshana scenarios/quantum-trade.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
candidate_source measured-ADEV tekst
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier PARTNER tekst
resilience.alt_pnt_active false flaga
resilience.coast_time_s 14108.310907 s
resilience.exceeds_horizon false flaga
resilience.threshold_m 100 m
trade.baseline.floor_assumed true flaga
trade.baseline.inertial_holdover_s 377.849037 s

Etykieta wyniku (silnika): MODELLED — ilościowo ocenia (nigdy nie sprawdza) zegar lub czujnik partnera; nie wykazano w locie

Wykres zapisany przez silnik dla scenarios/quantum-trade.toml, rodzaj quantum-trade

Dowody#

MODELLED 1 · VALIDATED 2: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

  • VALIDATED Odtworzenie potęgowe (white-FM + podłoga szumu czerwonego) metodą NNLS z opublikowanego zmierzonego odchylenia Allana przejścia zegara optycznego ⁸⁸Sr — odtwarzające σ_y(τ) i nagłówkowe skalowanie 4.7e-16/√τ dla krótkiego τ z prawdziwą zmierzoną podłogą długiego τ, a nie Testy: optical_clock_adev_reference.rs.
  • VALIDATED Dopasowanie NNLS zmierzonego ADEV, pasma spójności χ² NEES/NIS i dyskretna kowariancja szumu procesu van Loana zegara (wybieg holdover) — obliczeniowy trzon silnika bilansu Testy: scipy_reference.rs.
  • MODELLED Wczytanie zmierzonego ADEV (NNLS), tabela bilansu (holdover czasu i inercyjny + korzyść), obwiednia odporności w funkcji czasu; zastrzeżenie o podłodze dołączone do artefaktu.

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

  • VALIDATED Dopasowanie NNLS zmierzonego ADEV, pasma spójności χ² NEES/NIS i dyskretna kowariancja szumu procesu van Loana zegara (wybieg holdover) — obliczeniowy trzon silnika bilansu. Wyrocznia (ExternalDataset): scipy 1.17.1 — optimize.nnls / stats.chi2.ppf / linalg.expm; NNLS+Q dokładnie, χ² <5e-4 przy roboczych stopniach swobody. Tylko jądra — wartości osiągów urządzeń pozostają obliczone na podstawie modelu (następny wiersz)
  • 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
  • MODELLED Wczytanie zmierzonego ADEV (NNLS), tabela bilansu (holdover czasu i inercyjny + korzyść), obwiednia odporności w funkcji czasu; zastrzeżenie o podłodze dołączone do artefaktu. Uruchamialne z. Wyrocznia (ExternalDataset): jądro dopasowania zmierzonego ADEV→PSD (NNLS) zgadza się z scipy.optimize.nnls (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs) — niezależnym jądrem zewnętrznym; ale LICZBY bilansu ilościowo oceniają (nigdy nie sprawdzają) zegar lub CAI partnera, więc sam bilans pozostaje MODELLED, bez aureoli walidacji
  • 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

Ograniczenia#

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

  • MODELLED — ilościowo ocenia (nigdy nie sprawdza) zegar lub czujnik partnera; nie wykazano w locie (wynik label)
  • Bilans PNT kwantowy a klasyczny (13503): korzyść w holdover czasu i holdover inercyjnym kandydującego zegara (krzywa zmierzonego ADEV — oś obronności wyniku — lub kwantowa klasa zegara) wobec klasycznej klasy punktu odniesienia, z zastrzeżeniem o założeniu podłogi długiego tau dołączonym do artefaktu, plus obwiednia odporności w funkcji czasu bez GNSS. (katalog rodzajów (kshana kinds --json))
  • MODELLED; ilościowo ocenia (nigdy nie sprawdza) urządzenie partnera. (katalog rodzajów (kshana kinds --json))
  • Oblicza korzyść w holdover czasu i holdover inercyjnym zegara KANDYDUJĄCEGO względem punktu odniesienia KLASYCZNEGO, plus obwiednię odporności w funkcji czasu bez GNSS. Podłogę kandydata wyznacza krzywa MEASURED nakładającego się ADEV zegara partnera (oś obronności wyniku), dopasowana nieujemną metodą najmniejszych kwadratów — więc bilans holdover opiera się na rzeczywistych danych, a nie na założonej podłodze długiego tau. (komentarz w pliku scenariusza, wiersze 3 do 7)
  • RZETELNY ZAKRES: MODELLED — OCENIA ILOŚCIOWO korzyść z zegara kwantowego partnera; NIE sprawdza urządzenia i nigdy nie pożycza wysp walidacji SGP4/Allan/IGS. Gdy podłoga któregokolwiek wiersza jest założoną wartością domyślną klasy, na artefakcie pojawia się zastrzeżenie o podłodze. Uruchomienie: kshana scenarios/quantum-trade.toml (komentarz w pliku scenariusza, wiersze 9 do 12)
  • 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 PNT kwantowy a klasyczny i odporność bez GNSS (13503) jest MODELLED, nie sprawdzony względem niezależnego wzorca zewnętrznego: podtwierdzenie 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))

Zobacz też#