Rodzaje scenariuszy

92 wbudowanych rodzajów scenariuszy, po których kshana::api::run_toml kieruje wywołania, każdy z jednozdaniowym opisem i polami TOML (Tom's Obvious, Minimal Language) wymaganymi i opcjonalnymi.

Ten plik jest generowany z api::list_scenario_kinds(), jedynego źródła prawdy, przez cargo run --bin gen_validation_artifacts; edytuj źródło, a nie ten plik. Każde wiązanie (pakiet Pythona, narzędzie list_scenario_kinds serwera MCP (Model Context Protocol) i piaskownica WebAssembly (WASM)) udostępnia ten sam katalog, więc to, co tu wymieniono, jest dokładnie tym, co może uruchomić każda powierzchnia. Opisy są zwięzłe i nie zawsze rozwijają swoje skróty; każdy z nich jest wyjaśniony w GLOSSARY.md.

Każdy scenariusz poza clock musi też ustawiać kind = "<name>" na najwyższym poziomie: dokument bez kind działa jako clock, dlatego kind nie jest powtarzane w wymaganych polach żadnego poniższego rodzaju. Wymagany wpis może wskazywać alternatywy: | oddziela formy, z których co najmniej jedna musi być obecna, a + łączy pola, które muszą wystąpić razem, więc tle|orbit+epoch należy czytać jako „tle albo orbit z epoch”.

clock#

Holdover zegara względem specyfikacji; opcjonalny zespół Monte Carlo (runs > 1).

• Pola wymagane: seed, threshold_ns, time, gnss, clock_quantum, clock_classical
• Pola opcjonalne: runs, integrity

inertial#

Inercyjna nawigacja zliczeniowa 1-DOF podczas przerwy w GNSS.

• Pola wymagane: seed, threshold_m, time, gnss, accel_quantum, accel_classical
• Pola opcjonalne: runs

orbit#

Dostępność GNSS i DOP z konstelacji orbitalnej (Walker / TLE / RINEX).

• Pola wymagane: seed, threshold_ns, mask_deg, time, user|user_site, constellation, clock_quantum, clock_classical
• Pola opcjonalne: sigma_uere_m, constellations, epoch, export_sp3, export_omm, export_oem, skyline

ephemeris#

Efemerydy i ślad naziemny: propagacja jednego satelity (TLE→SGP4 lub orbita analityczna) i emisja jego stanu TEME/GCRS (położenie + prędkość), położenia ITRF/ECEF, szerokości/długości/wysokości podsatelitarnej w WGS-84 oraz, dla każdego kroku, azymutu/elewacji/odległości stacji i prędkości zmiany odległości (Doppler). Satelita pochodzi z tle albo z analitycznej orbit z jej epoch (tle ma pierwszeństwo, gdy podano oba); przy tle epoch nadpisuje własną epokę TLE jako t = 0.

• Pola wymagane: tle|orbit+epoch
• Pola opcjonalne: step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

integrity#

RAIM migawkowy / z separacją rozwiązań / ARAIM z HPL/VPL i diagramem Stanforda.

• Pola wymagane: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation
• Pola opcjonalne: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline

lunar-integrity#

Przejście poziomów ochrony ARAIM na biegunie południowym Księżyca względem reprezentatywnego zestawu przekaźników LunaNet. sigma_ure_m ujawnia dokładność wyznaczania odległości sygnału w przestrzeni (poziomy ochrony skalują się z nią liniowo, więc przegląd tej wartości odpowiada na pytanie, jakiej dokładności wyznaczania odległości wymaga limit alarmowy). Domyślnie historyczny przypadek bieguna południowego klasy LNIS.

• Pola wymagane: (brak)
• Pola opcjonalne: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m

lunar-time-offset#

Modelowane relatywistyczne tempo zegara Ziemia–Księżyc (Księżycowy Czas Współrzędnych, LTC/TCL): wtórne tempo LTC−TT z różnicy potencjału własnego i członu kinetycznego Księżyca, podane wraz z opublikowanym pasmem 56–59 µs/dobę, plus skumulowane przesunięcie w horyzoncie.

• Pola wymagane: (brak)
• Pola opcjonalne: epoch_year, epoch_month, epoch_day, horizon_days

lunar-vlbi#

Modelowana księżycowa geodezyjna obserwabla opóźnienia VLBI: baza ziemska (dwie stacje naziemne, GCRS) obserwuje jednokierunkowy sygnał z latarni klasy NovaMoon na powierzchni Księżyca. Emituje opóźnienie bliskiego pola jako różnicę dwóch odległości, jego tempo i poprawkę na krzywiznę czoła fali w bliskim polu podczas przelotu — sprawdzone krzyżowo względem obserwabli Δ-DOR fali płaskiej z tej samej bazy kodu w granicy dalekiego pola, z pochodnymi cząstkowymi zweryfikowanymi różnicą skończoną. Domyślna ścieżka analityczna ma poziom MODELLED i niesie zastrzeżenia dotyczące spójności układów odniesienia, ruchu bieguna xp=yp=0 oraz fali płaskiej względem bliskiego pola. Ustawienie planetary_kernel_path, earth_orientation_kernel_path i moon_orientation_kernel_path uruchamia zamiast niej ścieżkę jądrową (DE440, MOON_PA_DE440, ITRF93; zbieżne barycentryczne czasy przelotu światła; dodaje pochodne cząstkowe latarni i stacji dla epoki), której newtonowskie opóźnienie i pochodne cząstkowe zgadzają się ze zbieżnymi czasami przelotu światła NAIF SPICE do 0,06 ps i 7.4e-9. Nie sprawdzono niezależnie względem rzeczywistych danych VLBI.

• Pola wymagane: (brak)
• Pola opcjonalne: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path

lunar-joint-od-clock#

Modelowany wspólny wielotechnikowy księżycowy estymator wsadowy OD + zegara na SYMULOWANEJ sieci: dopasowanie migawkowe metodą Gaussa–Newtona, które łączy geodezyjne opóźnienia VLBI na bazach ziemskich, księżycowo-lokalne odległości stacja↔satelita i odległości międzysatelitarne, aby odzyskać razem pozycję 3-D księżycowej stacji powierzchniowej, pozycje małej konstelacji i przesunięcie zegara każdego obiektu względem wprowadzonej prawdy. Główny uczciwy wynik — VLBI czyni pełną pozycję 3-D stacji obserwowalną tam, gdzie samo księżycowo-lokalne wyznaczanie odległości pozostawia słabo obserwowany kierunek — podano jako kontrast błędu stacji z VLBI i bez VLBI. MODELLED symulowane odzyskanie w pętli zamkniętej (prawda dzieli model obserwacji), deterministyczne (z ziarnem), NIE sprawdzone na danych rzeczywistych; bez propagacji modelu sił wewnątrz solwera; bez TRL, dorobku ani poparcia agencji.

• Pola wymagane: (brak)
• Pola opcjonalne: n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day

lunar-frame-realisation#

Modelowana realizacja księżycowego układu odniesienia: dopasowanie 7-parametrowego układu Helmerta (podobieństwa) — 3 translacje, 3 małe obroty, 1 skala — wiążące oszacowany zbiór współrzędnych punktów MCMF pochodzących z selenograficznych do układu odniesienia metodą ważonych najmniejszych kwadratów (crate::batch_ls::gauss_newton), plus proste powiązanie orientacji wyrażające zrealizowany mały obrót wokół osi ICRF względem orientacji ciała IAU 2015 WGCCRE. Scenariusz wprowadza znaną małą transformację (translacja ~dziesiątki m, obrót ~µrad, skala ~1e-7) do dobrze rozłożonej syntetycznej sieci punktów, dodaje szum gaussowski z zadanym ziarnem, odzyskuje układ odniesienia i podaje odzyskaną transformację, błąd odzyskania na parametr względem wprowadzonej prawdy oraz resztę RMS po dopasowaniu. MODELLED samospójność — odzyskuje wprowadzoną transformację podobieństwa (bez szumu do ~precyzji maszynowej), NIE jest to realizacja względem rzeczywistych danych śledzenia/VLBI; deterministyczne (z ziarnem); bez TRL, dorobku ani poparcia agencji.

• Pola wymagane: (brak)
• Pola opcjonalne: n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day

moonlight-service-volume#

Obliczona na podstawie modelu analiza lunarnego obszaru usługi nawigacyjnej dla ILLUSTRATIVE, opartej na źródłach publicznych konstelacji na orbicie okołoksiężycowej klasy Moonlight/LCNS (bez powiązania z ESA): przegląda siatkę szerokości i długości selenograficznych w danym horyzoncie czasowym i podaje DOP, pokrycie i dostępność (≥4 satelitów ORAZ PDOP poniżej progu) oraz uogólnioną obwiednię poziomów ochrony lunarnego ARAIM (HPL/VPL) nad tym obszarem. Geometria DOP PONOWNIE WYKORZYSTUJE jądro VALIDATED względem gnss_lib_py (crate::orbit::dop); poziom ochrony PONOWNIE WYKORZYSTUJE mechanizm lunarnego ARAIM LunaNet LNIS (crate::lunar, σ_URE≈30 m) i jako przypadek szczególny sprowadza się do istniejącego poziomu ochrony dla bieguna południowego. Kompozycja MODELLED: zestaw przekaźników na orbitach keplerowskich kołowych lub eliptycznych (nie rzeczywiste efemerydy LCNS/NRHO z korekcją różnicową), Księżyc z rotacją średnią (bez libracji i precesji bieguna). Deterministyczna (czysta geometria). Bez TRL, dziedzictwa lotniczego ani poparcia agencji.

• Pola wymagane: (brak)
• Pola opcjonalne: n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain

lunar-differential-pnt#

Modelowany księżycowy DIFFERENTIAL PNT (księżycowy odpowiednik DGNSS/SBAS): stacja referencyjna klasy NovaMoon w ZNANEJ lokalizacji selenograficznej oblicza dla poszczególnych satelitów poprawki różnicowe z ILLUSTRATIVE, opartej na źródłach publicznych konstelacji klasy Moonlight/LCNS (NovaMoon wymieniony tylko jako KLASA systemu, bez powiązań z ESA), a użytkownik przesunięty o baseline_km stosuje je tak, że WSPÓLNE błędy orbity i zegara znoszą się. Składnik zegara znosi się DOKŁADNIE (tożsamość algebraiczna); składnik orbity pozostawia tylko rzut różnicy linii widzenia, który dąży do 0 gdy baza dąży do 0 (dolna granica dekorelacji przestrzennej) i rośnie w przybliżeniu liniowo z bazą. Podaje błąd pozycji użytkownika 3-D Z poprawkami i BEZ poprawek, współczynnik redukcji, krzywą błędu w funkcji bazy oraz poziom ochrony użytkownika, który WYKORZYSTUJE mechanizm SBAS z DO-229E (crate::sbas) z resztą różnicową σ. MODELLED — dokładna tożsamość znoszenia + model dekorelacji pierwszego rzędu; nie sprawdzone na danych rzeczywistych; bez TRL, dorobku ani poparcia agencji. Deterministyczne, jeśli zadano ziarno.

• Pola wymagane: (brak)
• Pola opcjonalne: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ref_lat_deg, ref_lon_deg, baseline_km, orbit_err_m, clock_err_m, noise_m, seed, t_s, residual_sigma_m, p_hmi, survey_sigma_m, latency_s, quantization_bits

lunar-station-coverage#

Modelowane pokrycie księżycowej stacji referencyjnej: przegląd Monte Carlo modelu księżycowego różnicowego PNT po siatce użytkowników na biegunie południowym i dobie epok. Różnicowa stacja referencyjna w znanym miejscu przy biegunie południowym koryguje wskazaną konstelację (ilustracyjną keplerowską lub tabelaryczne efemerydy) ze wskazanym błędem sygnału w przestrzeni, błędem pomiaru położenia, opóźnieniem poprawek i kwantyzacją łącza; dla każdego punktu i dla regionu podaje percentylowy błąd pozycji skorygowanej i nieskorygowanej (3-D, poziomy, pionowy), dostępność, pokrycie względem wskazanego progu, poziomy ochrony DO-229E, promień pokrycia na azymut oraz bilans łącza poprawek przy stacji i w najgorszym punkcie. Nie jest to stwierdzenie o parametrach żadnego rzeczywistego systemu; bez powiązań z żadną agencją ani jej poparcia. MODELLED.

• Pola wymagane: (brak)
• Pola opcjonalne: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution

lunar-interop-export#

Modelowany eksport interoperacyjności księżycowej: emituje księżycowy układ odniesienia, księżycową skalę czasu i księżycowe efemerydy w formach wymiany wyrównanych do LunaNet/IOAG, opartych na CCSDS, z obiegiem w obie strony / dopasowaniem pól do specyfikacji. WYKORZYSTUJE emiter i parser CCSDS OEM 2,0 z crate (crate::oem) oznaczone na nowo dla kontekstu księżycowego — REF_FRAME w OEM niesie księżycowy układ ciała IAU 2015 WGCCRE (MOON_ME / MOON_PA), TIME_SYSTEM księżycową skalę czasu (LTC / TCL / UTC), CENTER_NAME = MOON — dla przykładowych ilustracyjnych efemeryd klasy LCNS (pozycje z crate::lunar_service, prędkość przez różnicę skończoną). Emituje także deskryptor czasu księżycowego wyrównany do LunaNet/IOAG (identyfikator skali, tempo wtórne µs/dobę z crate::lunar_time, opublikowane pasmo, powierzchnia odniesienia), który wykonuje obieg w obie strony przez serde_json, i opakowuje artefakty w istniejącą kopertę KIF (crate::interchange) z etykietą rzetelności MODELLED. Podaje liczbę wyemitowanych artefaktów, liczbę wierszy OEM, dopasowanie pól do specyfikacji — zaliczenie + listę pól obecnych/brakujących, obieg OEM ok, obieg metadanych czasu ok oraz rozmiar KIF w bajtach. MODELLED — wyrocznią jest deterministyczny obieg w obie strony + dopasowanie nazw pól do opublikowanego CCSDS OEM + semantyki pól LunaNet/IOAG; NIE jest to certyfikowany test zgodności (conformance) interoperacyjności; ilustracyjne efemerydy ze źródeł publicznych, bez powiązań z ESA; bez TRL, dorobku ani poparcia agencji.

• Pola wymagane: (brak)
• Pola opcjonalne: frame, time_system, n_states, epoch, step_min, object

timetransfer#

Optyczny i radiowy (RF) dwukierunkowy transfer czasu i częstotliwości: porównanie.

• Pola wymagane: seed, samples, step_s, range_spec_mm, link_quantum, link_classical
• Pola opcjonalne: (brak)

quantum-anomaly-detect#

Detekcja usterek i anomalii MODELLED dla kwantowych systemów PNT: oznaczony katalog usterek (skok częstotliwości, dryf i utrata zaczepienia zegara; skok biasu i zanik czujnika), AUC krzywej ROC statystyki detekcji (z przedziałem ufności bootstrap z eval_stats sprawdzonego zewnętrznie) oraz minimalna wykrywalna usterka przy stałym wskaźniku fałszywych alarmów, przy czym monitor wspomagany zegarem kwantowym (niższy szum) wykrywa mniejsze usterki — jako rzetelne TradeEvidence + reprezentatywność. Gaussowski model statystyki detekcji (AUC = Phi(mu/(sigma*sqrt2))); modeluje klasę, ilustracyjne parametry ze źródeł publicznych, bez TRL, lotu i certyfikacji.

• Pola wymagane: (brak)
• Pola opcjonalne: fault_mu, quantum_sigma, classical_sigma, pfa, pd, samples, seed

quantum-gnss-free-nav#

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.

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

quantum-time-transfer#

Łańcuch zaufanej synchronizacji kwantowej MODELLED: kompletny bilans transferu czasu kwantowego (zegar na sieci optycznej + łącze splątania/pojedynczych fotonów) wobec klasycznego (CSAC + dwukierunkowy RF), ponownie użyty poziom ochrony czasu + miara bezpieczeństwa ataku opóźnienia/odtworzenia (1-P_md), prawdopodobieństwo detekcji anomalii zegara + opóźnienie CUSUM oraz bilans kwantowy a klasyczny jako rzetelne TradeEvidence z zapisem reprezentatywności i luk do lotu. Ilustracyjne parametry urządzeń i łączy ze źródeł publicznych; modeluje klasę, bez deklaracji TRL, lotu ani certyfikacji.

• Pola wymagane: (brak)
• Pola opcjonalne: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

hybrid#

Hybrydowy kamień węgielny PNT: wspomaganie zegarem, IMU i transferem czasu.

• Pola wymagane: seed, timing_spec_ns, position_spec_m, time, gnss, resync, clock_quantum, clock_classical, accel_quantum, accel_classical
• Pola opcjonalne: (brak)

fusion#

Łączna fuzja czujników PNT filtrem Kalmana na tych samych hybrydowych danych wejściowych.

• Pola wymagane: seed, timing_spec_ns, position_spec_m, time, gnss, resync, clock_quantum, clock_classical, accel_quantum, accel_classical
• Pola opcjonalne: coupled

hybrid-ukf#

17-stanowy hybrydowy kwantowo-klasyczny ściśle sprzężony UKF GNSS/INS (MODELLED): 15 stanów błędu INS + korekcja biasu przyspieszenia wyprowadzona z CAI + 2-stanowy zegar (faza + częstotliwość) z silnika zegara o parametrach q, zasilany ujętym w przedziały modelem błędu CAI. Wskaźnikiem jakości jest samospójność filtra (NEES + białość innowacji względem granic χ²) — stwierdzenie samospójności, NIE gwarancja dokładności w rzeczywistych warunkach. Tylko symulacja; brak TRL>3, brak dziedzictwa lotniczego, brak zewnętrznej walidacji.

• Pola wymagane: seed, time, gnss, accel, clock
• Pola opcjonalne: residual_accel_bias_m_s2, speed_m_s, sigma_pr_m, sigma_rr_mps, consistency_seeds, q_factor, r_factor

gnss-ins#

Luźno i ściśle sprzężony EKF stanu błędu GNSS/INS.

• Pola wymagane: seed, threshold_m, time, gnss, imu_quantum, imu_classical
• Pola opcjonalne: fix_interval_s, sigma_pos_m, sigma_vel_mps, lat_deg, lon_deg, alt_m, trajectory, tight

gnss-sim#

Symulacja pseudoodległości w dziedzinie pomiarów (jonosfera Klobuchara, troposfera Saastamoinena/Niella) + RAIM.

• Pola wymagane: seed, time, receiver, constellation
• Pola opcjonalne: iono, tropo, mask_deg, noise_sigma_m, multipath_m, sat_clock_rms_m, uere_m, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, skyline

jamming#

Zagłuszanie w bilansie łącza: J/S → efektywne C/N₀ → utrata uchwycenia.

• Pola wymagane: seed, time, receiver, constellation
• Pola opcjonalne: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

spoof#

Stochastyczny detektor spoofingu czasu (Neyman–Pearson / χ²₁) z P_fa/P_md metodą Monte Carlo.

• Pola wymagane: threshold_ns, time, attack, clock_quantum, clock_classical
• Pola opcjonalne: (brak)

spoof-detect#

Połączony detektor spoofingu RF/pomiarowy (spójność RAIM wielu SV + AGC + SQM, zespolone) wobec sparametryzowanego ataku (przewaga mocy, wyrównanie fazy nośnej, przesunięcie czasu/pozycji; w stylu TEXBAT).

• Pola wymagane: attack
• Pola opcjonalne: satellites, detector

sweep#

Przegląd 1-wymiarowy badania kompromisów po parametrze pakietu zegara.

• Pola wymagane: parameter, metric, start, stop, steps, base
• Pola opcjonalne: scale

sweep-nd#

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

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

gravity-map#

Nawigacja z dopasowaniem do mapy grawitacyjnej bez GPS: grawimetr na zimnych atomach odtwarza stały dryf INS z ciągu anomalii grawitacyjnych, przez który przelatuje.

• Pola wymagane: nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
• Pola opcjonalne: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

terrain-nav#

Nawigacja odniesiona do terenu bez GPS (TERCOM/SITAN): wysokościomierz radarowy/barometryczny dopasowuje profil wysokości terenu do NMT w stylu SRTM, aby odzyskać dryf INS.

• Pola wymagane: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, altimeter_sigma_m, map_sigma_m, search_half_deg, search_step_deg
• Pola opcjonalne: refine_stages, refine_factor, noise_seed

terrain-slam#

Sekwencyjna (rekurencyjna) nawigacja odniesiona do terenu bez GPS: filtr cząsteczkowy uruchamia model pomiaru dopasowania do terenu epoka po epoce (SITAN jako filtr ciągły), dzięki czemu zmienny w czasie dryf INS jest śledzony wzdłuż trasy, podczas gdy wsadowe terrain-nav odzyskuje tylko jedno stałe przesunięcie.

• Pola wymagane: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_rate_lat_deg, drift_rate_lon_deg, altimeter_sigma_m, map_sigma_m
• Pola opcjonalne: n_particles, init_pos_sigma_deg, process_sigma_deg, resample_ess_frac, seed

combined-altpnt#

Połączony nawigator grawitacyjny + magnetyczny + terenowy bez GPS: trzy skalarne kanały pól łączone w każdym punkcie trasy dla ostrzejszego (o niższym CRLB) wskazania dryfu niż w przypadku pojedynczego pola.

• Pola wymagane: start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m
• Pola opcjonalne: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

pvt#

Pozycjonowanie jednopunktowe na rzeczywistych obserwacjach: wyznaczenie pozycji odbiornika z pliku obserwacji RINEX 3 i pliku nawigacyjnego z komunikatów rozgłoszeniowych (pseudoodległości kodowe, efemerydy rozgłoszeniowe, jonosfera Klobuchara, troposfera Saastamoinena/Niella), opcjonalnie sprawdzone względem współrzędnej pomierzonej geodezyjnie.

• Pola wymagane: obs_rinex, nav_rinex
• Pola opcjonalne: truth_ecef, apriori_ecef, mask_deg, dual_frequency

mars-pnt#

Głębokokosmiczny Mars PNT: symulowana konstelacja przekaźników MARCONI (przekaźniki areostacjonarne + nachylone nadające jednokierunkowo + przekazujące dwukierunkowo do stacji w głębokim kosmosie) nawiguje użytkownika referencyjnego (transfer | lmo | surface) przez wspólny estymator fuzji radiometrycznej jedno- i dwukierunkowej. Podaje geometrię/widoczność na epokę, osiągnięty RMS względem prawdy i formalną kowariancję (pozycja 1σ / 3σ) — uczciwy symulowany wskaźnik jakości, NIE certyfikowany poziom ochrony.

• Pola wymagane: (brak)
• Pola opcjonalne: user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

impairment-eval#

Stanowisko oceny detekcji zakłóceń RF metodami uczenia maszynowego (13494): generuje oznaczony, oparty na parametrach korpus SYNTETYCZNY (nominalny/zagłuszanie/spoof-time/spoof-position/wielodrogowość), ocenia detektor (energy|agc|sqm|parity|fused) przy użyciu niezależnego od detektora zestawu testowego i podaje AUC/ROC/macierz pomyłek + Pd dla każdej klasy przy docelowym Pfa, a także lukę optymizmu między danymi z rozkładu a spoza rozkładu. Wyłącznie charakterystyki działania MODELLED — nigdy dane terenowe/IQ, żadnego werdyktu dobry/zły.

• Pola wymagane: (brak)
• Pola opcjonalne: seed, n_per_class, nominal_cn0_dbhz, meas_noise, detector, target_pfa, shift_severity_scale, optimism_tol

quantum-trade#

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.

• 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

space-weather#

Model środowiska pogody kosmicznej: wskaźniki aktywności słonecznej (F10.7/F10.7a) i geomagnetycznej (Kp, z definicyjną tabelą Kp↔ap), temperatura egzosferyczna Jacchia-1971, którą one napędzają (sprawdzona względem niezależnego wzorca zewnętrznego dla opublikowanych wartości w minimum, średniej i maksimum słonecznym), oraz gęstość neutralna termosfery Jacchia-1971 przy średniodobowej temperaturze egzosferycznej wobec statycznego profilu niezależnego od aktywności na zbiorze wysokości — zależność gęstości od cyklu słonecznego, której atmosfera statyczna nie uwzględnia. MODELLED: gęstość zgadza się z gęstościami wyprowadzonymi z akcelerometrów (TOLEOS CHAMP i GRACE) w granicach czynnika 2 w maksimum słonecznym, lecz jest około 1.7x zbyt gęsta w minimum słonecznym z 2008.

• Pola wymagane: (brak)
• Pola opcjonalne: f107, f107a, kp, altitudes_km

oem-interop#

Most interoperacyjności CCSDS OEM: import komunikatu efemeryd orbitalnych (Orbit Ephemeris Message) wytworzonego przez zewnętrzne narzędzie dynamiki lotu (GMAT, Orekit i STK emitują OEM) i raport o jego segmentach, obiektach, układach odniesienia i przedziale epok oraz kontrola spójności prędkości; bez danych wejściowych wykonuje obieg tam i z powrotem wygenerowanej orbity odniesienia i podaje wierność importu względem eksportu. Strukturalna i fizyczna kontrola wczytania MODELLED, NIE walidacja dokładności orbity źródła.

• Pola wymagane: (brak)
• Pola opcjonalne: oem_text

launch-window#

Dwuciałowa geometria startu i wznoszenia: azymut(y) startu (sin Az = cos i / cos lat), minimalna osiągalna inklinacja, prędkość kołowa, wschodni bonus od obrotu Ziemi, Δv zmiany płaszczyzny typu dogleg, gdy inklinacja docelowa jest mniejsza niż szerokość geograficzna miejsca, oraz liczba dobowych okazji startu. MODELLED geometria kulistej Ziemi (bez korekty trójkąta prędkości dla obracającej się Ziemi, bez modelu strat na wznoszenie/opór).

• Pola wymagane: (brak)
• Pola opcjonalne: site_lat_deg, target_inclination_deg, altitude_km, site_lon_deg, epoch, eop_finals2000a

reentry#

Balistyczny korytarz wejścia w atmosferę Allena-Eggersa: szczytowe opóźnienie (niezależne od współczynnika balistycznego, V_e^2 sin|γ|/(2eH)), prędkość i wysokość w punkcie szczytowego przeciążenia oraz prędkość szczytowego nagrzewania, dla prędkości wejścia, kąta toru lotu i współczynnika balistycznego w atmosferze wykładniczej, plus planarne całkowanie punktu materialnego tego samego wejścia balistycznego z grawitacją, krzywizną Ziemi i Atmosferą Standardową USA 1976 (szczytowe opóźnienie, prędkość, wysokość i czas w punkcie szczytu). Wejście balistyczne (bez siły nośnej) MODELLED; wynik nagrzewania to PRĘDKOŚĆ szczytowego nagrzewania, a nie strumień ciepła (bez modelu aerotermicznego ani TPS).

• Pola wymagane: (brak)
• Pola opcjonalne: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

eo-coverage#

Geometria śladu ładunku obserwacji Ziemi i pokrycia (trójkąt kosmiczny SMAD): kątowy promień Ziemi, szerokość pasa, odległość próbkowania na gruncie w nadirze, maksymalny dostęp poza nadirem, okres kołowy, okres węzłowy J2 i odstęp śladów na równiku z flagą ciągłego pokrycia, dla wysokości orbity, nachylenia (domyślnie heliosynchroniczne) i FOV/IFOV czujnika. Geometria sferycznej Ziemi MODELLED (bez radiometrii/MTF/atmosfery/drgań/odblasku); odstęp węzłów R_e·(ω − Ω̇)·T_nodal z sekularnymi tempami J2 pierwszego rzędu.

• Pola wymagane: (brak)
• Pola opcjonalne: altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

space-packet#

Ramkowanie CCSDS 133.0-B Space Packet Protocol: kodowanie syntetycznego strumienia pakietów TM/TC (6-oktetowy nagłówek główny + pole danych) oraz raport dekodowania nagłówka każdego pakietu, łącznej liczby oktetów i dokładnego obiegu kodowanie↔dekodowanie. Deterministyczne ramkowanie o dokładnym układzie bitów — warstwa interoperacyjności formatów pakietów agencji; NIE jest to certyfikacja zgodności (bez logiki nagłówka wtórnego, CRC ani segmentacji poza flagami).

• Pola wymagane: (brak)
• Pola opcjonalne: apid, telecommand, packet_count, data_len

attitude-budget#

Budżet błędu orientacji i wskazywania 3-DOF: najgorszy przypadek momentu zakłócającego od gradientu grawitacji ((3/2)(μ/R³)ΔI) oraz budżet błędu wskazywania metodą pierwiastka z sumy kwadratów dla nazwanych składników 1σ (szum czujników, drgania kół reakcyjnych, termiczne, osiowanie) z wiodącym składnikiem, dla wysokości orbity i rozrzutu bezwładności korpusu. Skalarny budżet AOCS MODELLED — uzupełnienie przed powstaniem sprzętu dla Basilisk/42, a nie symulacja pętli sterowania / 6-DoF / drgań giętnych.

• Pola wymagane: (brak)
• Pola opcjonalne: altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

passes#

Prognozowanie przelotów nad stacją naziemną: przeloty widoczności w dziedzinie czasu (AOS/TCA/LOS, maksymalna elewacja pozorna, czas trwania) orbity kołowej, jako średnie elementy SGP4 na początku okna, nad stacją powyżej maski elewacji w oknie czasowym, z łącznym czasem dostępu. Propagacja SGP4/SDP4 w ziemskim układzie związanym z Ziemią IAU 2006/2000A (opcjonalnie UT1 - UTC i ruch bieguna), refrakcja troposferyczna wg ITU-R P.834-9 i czas propagacji światła na łączu w dół (obie domyślnie włączone), przecięcia rozwiązywane z dokładnością 1e-7 s, a kulminacja wyszukiwaniem metodą złotego podziału. Geometria przelotu jest VALIDATED względem Orekit 13.1.8 dla stacji na poziomie morza; orbita i stacja w scenariuszu są wejściami ilustracyjnymi.

• Pola wymagane: (brak)
• Pola opcjonalne: altitude_km, inclination_deg, raan_deg, arg_lat_deg, station_lat_deg, station_lon_deg, station_alt_m, epoch, mask_deg, duration_hours, step_s, refraction, light_time, ut1_minus_utc_s, xp_arcsec, yp_arcsec

link-budget#

Jednokierunkowy bilans łącza według równania łącza CCSDS 401 / DSN 810-005: tłumienie w wolnej przestrzeni, C/N₀, Eb/N₀, zapas i domknięcie dla EIRP nadawania, G/T odbioru, odległości, szybkości danych i pasma (s|x|ka) względem wymaganego Eb/N₀. Deterministyczne obliczenie inżynierskie z podanych danych wejściowych (nie jest to skalibrowana karta katalogowa terminala).

• Pola wymagane: (brak)
• Pola opcjonalne: band, eirp_dbw, g_over_t_db, range_km, data_rate_bps, other_losses_db, required_eb_n0_db, tsys_k

lunar-time-budget#

MODELLED kompletny budżet błędu czasu Koordynowanego Czasu Księżycowego (LTC): siedem składników błędu LTC złożonych jako krzywe błędu czasu x_i(τ) po całej siatce czasów uśredniania, sumowanych pierwiastkowo do x_Σ(τ), oraz PUNKT PRZECIĘCIA zegar–układ odniesienia τ, w którym rosnący składnik zegara wyprzedza stały składnik realizacji układu odniesienia w czasie rzeczywistym (poniżej niego budżet jest ograniczony układem odniesienia, powyżej zegarem) — uczciwa odpowiedź na artefakt pojedynczego τ. Nachylenia względem τ są w postaci zamkniętej i można je sprawdzić analitycznie (zegar τ^{+1/2}/τ^{+1}, poziomy τ^0, pomiar τ^{-1/2}), a wiersze zegara odtwarzają opublikowane jednodobowe specyfikacje zegarów (crate::clock_specs); WIELKOŚCI poziomów łącza RF/optycznego, realizacji układu odniesienia, reszty relatywistycznej i efemeryd to modelowane przydziały budżetu (udokumentowane wartości domyślne, możliwe do nadpisania przez wywołującego), a nie pomiary. Wkładem jest odtwarzalny punkt przecięcia τ, a nie certyfikowana liczba dla poszczególnych składników; nie jest certyfikowane do operacyjnego pomiaru czasu.

• Pola wymagane: (brak)
• Pola opcjonalne: clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab

lunar-ascent#

MODELLED: wznoszenie z napędem z miejsca na powierzchni przy biegunie południowym na orbitę spotkania oraz kowariancja pozycji i prędkości, którą przenosi z powrotem na orbitę (klasa Artemis). Pięciostanowy model błędu inercjalnego na oś z lunar-descent (pozycja, prędkość, bias akcelerometru, przechył położenia, bias żyroskopu, sterowany siłą właściwą) działa na wszystkich trzech osiach miejsca ze stanu powierzchniowego, z którym faza się zaczyna; pozycja AFS z widocznych przekaźników konstelacji klasy LCNS ILLUSTRATIVE (samodzielna albo różnicowa z użyciem reszty łącza korekcji z lunar-differential-pnt, ze wspomaganiem zegara, gdy widoczne są tylko trzy przekaźniki) jest brana w podanym odstępie, przy czym czas księżycowy wchodzi przez zegar pojazdu i błąd znacznika czasu wzdłuż toru. Podaje zamknięte źródła inercjalne, wkład wspomagania, ablację, 1-sigmy nawigacji podczas wznoszenia, rozrzut przy wyłączeniu silnika obok wiedzy nawigacyjnej oraz pełną kowariancję 6x6 MCI przy wprowadzeniu z zachowaną korelacją pozycji i prędkości. MODELLED: ilustracyjna klasa IMU, siła właściwa, zestaw przekaźników i rozrzut przy wyłączeniu; błędy utrzymywane w osiach miejsca startu; nominalny stan wyjściowy jest zastępczy. Bez poparcia agencji; oprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.

• Pola wymagane: (brak)
• Pola opcjonalne: site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days

lunar-surface#

MODELLED: dostępność pozycjonowania i czasu na powierzchni według miejsca i pory roku dla miejsc przy biegunie południowym klasy Artemis. Dla każdego miejsca i pory roku (epoka i okno po niej) podaje pozycjonowanie przekaźnikami (cztery lub więcej przekaźników konstelacji klasy LCNS ILLUSTRATIVE w zasięgu i PDOP poniżej progu, z tych samych funkcji co moonlight-service-volume oraz, z sekcją terenu, horyzont terenu lunar-station-coverage śledzony promieniem), czy Ziemia i Słońce są nad horyzontem miejsca (analityczne Słońce, Księżyc i orientacja księżycowa, z libracją, co zmienia się z porą roku) oraz dostępność czasu (przekaźnik lub Ziemia w zasięgu) z najdłuższym odcinkiem, na którym nie ma żadnego z nich, czyli holdover, który zegar powierzchniowy musi przetrwać. Wynik dla jednego miejsca równa się wynikowi moonlight-service-volume co do bitu. MODELLED: ilustracyjny keplerowski zestaw przekaźników na Księżycu o średniej rotacji; wartość dla przekaźników nie zmienia się z porą roku; teren to wycinek LOLA 1200 m. Bez poparcia agencji; oprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.

• Pola wymagane: (brak)
• Pola opcjonalne: sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain

lunar-descent#

MODELLED: budżet rozrzutu lądowania z napędem w miejscu przy biegunie południowym (klasa Artemis). Na każdą oś poziomą pięciostanowy model błędu inercjalnego (pozycja, prędkość, bias akcelerometru, przechył położenia, bias żyroskopu) jest sterowany siłą właściwą lądowania; filtr sekwencyjny przyjmuje pozycje z włączonych wspomagań: pozycję AFS z widocznych przekaźników konstelacji klasy LCNS ILLUSTRATIVE (samodzielną albo różnicową z użyciem reszty łącza korekcji z lunar-differential-pnt, ze wspomaganiem zegara, gdy widoczne są tylko trzy przekaźniki) oraz pozycję względem terenu (dopasowanie TERCOM/SITAN biblioteki na syntetycznej rzeźbie albo ograniczenie Craméra-Rao dopasowania okna wysokości rzeczywistego DEM LOLA okolic bieguna południowego). Czas księżycowy wchodzi przez zegar pojazdu w momentach pozycji (przesunięcie LTC-TT z lunar-time-offset albo niepewność jego opublikowanego pasma) oraz jako błąd znacznika czasu wzdłuż toru. Podaje elipsę lądowania 3-sigma, R95, zamknięte źródła inercjalne, wkład każdego wspomagania, ablację każdej kombinacji wspomagań, kalibrację elipsy metodą Monte Carlo oraz przekazywaną kowariancję. MODELLED: ilustracyjna klasa IMU, zestaw przekaźników, profil lądowania i człon prowadzenia; terrain-nav używa syntetycznej rzeźby w ziemskiej skali metra; dostępność AFS to jedna epoka na płaskiej masce. Bez poparcia agencji; oprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.

• Pola wymagane: (brak)
• Pola opcjonalne: site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed

lunar-orbit-rendezvous#

MODELLED: nawigacja względna do połączenia w stylu Orion–lądownik na niskiej orbicie księżycowej albo eliptycznej orbicie polarnej (klasa Artemis). Statek goniący i cel lecą po tej samej orbicie w modelu sił księżycowych biblioteki; wspólne wsadowe oszacowanie Gaussa-Newtona z 21 parametrami na łuku (dwa stany pojazdów i trwałe odchylenia sygnału w przestrzeni) łączy pozycję bezwzględną każdego pojazdu z zestawu przekaźników klasy LCNS ILLUSTRATIVE (przekaźniki za Księżycem odrzucone, potrzebne cztery, błąd sygnału w przestrzeni wspólny dla obu pojazdów znosi się między nimi) oraz odległość międzypojazdową, z precyzją pomiaru odległości wynikającą z granicy śledzenia kodu pilotowego LunaNet AFS. Podaje formalny i Monte Carlo błąd położenia i prędkości względnej w osiach LVLH celu, dostępność pozycji, średni znormalizowany kwadrat błędu oszacowania wobec jego wartości oczekiwanej oraz każdą próbę, której iteracja nie zbiegła, dryf wynikający z pominięcia harmonicznych grawitacji i pełną przekazywaną kowariancję 6x6. Dla przypadku kołowego obowiązuje kontrola w postaci zamkniętej Hilla/Clohessy'ego-Wiltshire'a. MODELLED: ilustracyjny zestaw przekaźników, budżet błędów i rozkłady a priori; prawda i estymator współdzielą jeden model sił, więc NEES sprawdza samozgodność, a nie błąd modelu. Bez poparcia agencji; oprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.

• Pola wymagane: (brak)
• Pola opcjonalne: orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree

hybrid-optical-rf#

MODELLED heterogeniczny wspólny wskaźnik jakości optycznego i radiowego PNT (P5): składa dwukierunkowy optyczny bilans łącza 1550 nm (ograniczone fotonami dwukierunkowe CRLB pomiaru odległości σ_τ/√N i ślad dyfrakcyjny λ/D·odległość), międzymodalny poziom ochrony RAIM z separacją rozwiązań (położenie ORAZ czas), który łączy luźne rozwiązanie radiowe i ścisłe optyczne o różnych kowariancjach, dostępność optyczną przy czystym niebie dla N stacji (suma niezależna 1−Π(1−a_i) i wariant skorelowany przestrzennie), przekazanie stanu/kowariancji optyczne↔radiowe z UDOWODNIONĄ średnią ciągłą co do bitu (bez skoku) i bramką spójności NEES χ², oraz wspólną ocenę P(dostępne ORAZ klasy precyzyjnej ORAZ z zapewnioną integralnością) z uwzględnieniem korelacji. VALIDATED wzór zamknięty: CRLB pomiaru odległości, ślad dyfrakcyjny, kwantyl poziomu ochrony χ², kombinatoryka sumy, ciągłość średniej przekazania + bramka NEES oraz wspólny iloczyn niezależny. MODELLED: przydziały strat optycznych, wielkości σ radiowe/optyczne, dane wejściowe klimatologii zachmurzenia, korelacje i budżet P_HMI. Nie jest to produkt z certyfikacją dostępności ani integralności.

• Pola wymagane: (brak)
• Pola opcjonalne: wavelength_nm, tx_power_w, tx_aperture_m, rx_aperture_m, range_km, pulse_rms_ps, integration_s, atmospheric_loss_db, pointing_loss_db, optics_efficiency, detector_efficiency, two_way, rf_pos_sigma_m, rf_vertical_sigma_m, rf_clock_sigma_s, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, alert_limit_t_s, grade_pos_m, grade_time_s, n_optical_sites, site_correlation, fom_correlation, handoff_inflation, p_hmi, fault_ramp_rate_pos_m_s, fault_ramp_rate_clock_s_s, process_noise_pos_psd_m2_s, process_noise_clock_psd_s2_s, coast_coverage_k, rf_band, rf_eirp_dbw, rf_g_over_t_db, rf_other_losses_db, rf_data_rate_bps, rf_required_eb_n0_db, rf_chip_rate_hz, rf_correlator_spacing_chips, rf_dll_bandwidth_hz, rf_tracking_threshold_dbhz, rf_degraded_margin_db

cislunar-observability#

Obserwowalność planarnej konstelacji cislunarnej MODELLED (P6): śledzi czterostatkową konstelację planarnych DRO skorygowanych różniczkowo z pomiarem odległości międzysatelitarnej i podaje, jaka część czteroelementowego stanu statku [x,y,ẋ,ẏ] staje się obserwowalna na danym łuku. Emituje (1) tabelę rangi względem długości łuku dla pojedynczego łącza tylko odległościowego — chwilowo o randze 1, rosnącej ku pełnemu stanowi czteroelementowemu w miarę wydłużania łuku (P6 tabela 1); (2) widmo wartości własnych gramianu obserwowalności i liczbę uwarunkowania na łuku; (3) porównanie chwilowej rangi tylko odległości i odległości z prędkością zmiany odległości (dźwignia projektowa Dopplera) wraz z raportowaniem GDOP osobliwego dla samej odległości i określonego dla odległości z prędkością; oraz (4) niezależną walidację krzyżową SRIF, której kowariancja a posteriori staje się skończona / dobrze uwarunkowana dokładnie na łuku, na którym obserwowalna ranga osiąga cztery. Rdzeń VALIDATED: obserwowalna ranga jest progiem wartości osobliwych ujawniającym rangę, sprawdzonym krzyżowo z rangą z wartości własnych gramianu; widmo wartości własnych spełnia niezmienniki spektralne (ślad=Σλ, wyznacznik=Πλ, Frobenius²=Σλ²); wariacyjna STM jest STM CR3BP sprawdzoną względem niezależnego wzorca różnicami skończonymi; wiersze jakobianu odległości / prędkości zmiany odległości są analitycznymi pochodnymi cząstkowymi sprawdzonymi względem niezależnego wzorca różnicami skończonymi (sprawdzonymi krzyżowo z obserwablą 3-D prędkości zmiany odległości w crate); cztery warunki początkowe to planarne DRO skorygowane różniczkowo, które domykają się do ciasnej reszty okresowości i są wsteczne; przejście rangi jest zwalidowane krzyżowo z filtrem w postaci pierwiastka informacji w crate (kowariancja a posteriori skończona dokładnie przy pełnej randze, cond(P)=cond(OᵀO)); migawka o niepełnej randze jest oznaczana jako GDOP-undefined (fim condition=inf), nigdy jako fałszywa wartość skończona — ta sama ochrona przed osobliwą geometrią, którą stosuje pvt::solve_spp. MODELLED: projekt konstelacji (amplitudy i fazy perilunium DRO) oraz konkretny przebieg rangi, który z niego wynika. To nie jest certyfikowany produkt do oceny osiągów nawigacyjnych.

• Pola wymagane: (brak)
• Pola opcjonalne: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km

conflict-resilience#

Odporność warstwowego PNT w konflikcie MODELLED (P7): użytkownik w środowisku spornym dysponuje kilkoma warstwami PNT (GNSS usługi otwartej, szerokopasmowy GNSS, uwierzytelniona konstelacja, przekaźnik augmentacji), każda z bazową dostępnością, dokładnością 1σ i podatnością na odmowę dla każdego wektora wspólnego zagrożenia zagłuszaniem/spoofingiem. Przeglądany po intensywności Monte Carlo Z ZIARNEM odmawia każdej warstwie z prawdopodobieństwem clamp(podatność·intensywność·waga_wektora,0 1), łączy ocalałe zamkniętą regułą odwrotnej wariancji σ_fused=(Σ 1/σ_i²)^(−1/2) i podaje prawdopodobieństwo całkowitej utraty (wszystkie warstwy odmówione), medianę błędu po połączeniu oraz statystyki użyteczności/odmowy dla każdej warstwy względem intensywności. Główny współczynnik odporności (prawdopodobieństwo całkowitej utraty dla pojedynczej warstwy wobec warstwowego) wynosi ~7x przy założeniu NIEZALEŻNOŚCI; jednoczynnikowy przegląd skorelowanej odmowy z kopułą Gaussa pokazuje następnie, że to ~7x zapada się ku 1 w miarę wzrostu korelacji odmowy (korelacja pokonuje warstwowanie). Blok wrażliwości na założenia a priori rozpina wynik główny po ŹRÓDŁOWO UDOKUMENTOWANYCH założeniach podatności przez tornado mcda + realokację wysiłku zagrożenia Dirichleta + przedziały ufności z percentyli. Rdzeń VALIDATED: całkowita utrata Monte Carlo zbiega do zamkniętego iloczynu niezależnego Π_i p_deny_i (w granicach błędu standardowego MC przy stałym ziarnie i dużym N); połączenie odwrotnej wariancji jest tożsamością w postaci zamkniętej; przy ρ=0 kopuła redukuje się do modelu niezależnego, a każde ρ zachowuje brzegowy wskaźnik odmowy każdej warstwy. MODELLED: wielkości podatności/dostępności/dokładności dla każdej warstwy są danymi wejściowymi ze źródeł, ale obliczonymi na podstawie modelu (JammerTest 2024, TEXBAT, EASA SIB, RTCA DO-229, LunaNet/IOAG — zob. conflict_threat_params), a konkretna wielkość ~7x i kształt krzywej współczynnik-względem-korelacji wynikają z tej parametryzacji. Podział przeżywalności dla każdego wektora w § 4,2 rozdziela następnie wspólne zagrożenie RF na cztery nazwane wektory (zagłuszanie/spoofing/kinetyczny/cybernetyczny) i podaje dla każdego wektora krzywą łagodnej degradacji użytecznego PNT S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0 1))) — VALIDATED: Monte Carlo z ziarnem dla każdej warstwy zbiega do tej postaci zamkniętej; zagłuszanie jest najostrzejszym wektorem dla skorelowanego punktu odniesienia RF, a warstwa inercjalna odporna na RF jest decydującym ocalałym. To nie jest certyfikowany produkt do oceny dostępności nawigacji.

• Pola wymagane: (brak)
• Pola opcjonalne: layers, intensity, correlation, trials, seed, primary_layer

lunar-attack-surface#

Powierzchnia ataku na sygnał nawigacji powierzchniowej Księżyca (P1): składa otwarte analizy bezpieczeństwa sygnału w jeden przebieg osiągalny z poziomu binarium. Podaje (1) moc odbieraną AFS i jej NADWYŻKĘ mocy względem naziemnego odniesienia GPS, a także pasmo czułości 12-18 dB jako prawdziwy wieloosiowy przegląd danych wejściowych łącza (poziom odniesienia x EIRP x odległość skośna) z uzgodnieniem współczynnika liniowego 25x po zaokrągleniu / 28x bez zaokrąglenia. ZMIENIONE (reguła R4): raportowało to DEFICYT mocy 15,6 dB i współczynnik 32x/36x, dopóki odniesienie GPS nie zostało poprawione z -125 / -128.5 (to wartości w dBm) na -155 / -158.5 dBW, wartości z ICD-GPS-200, które moduł zakłócania zawsze zawierał. Znak się odwraca: modelowany księżycowy sygnał AFS jest o 14,4 dB SILNIEJSZY niż naziemny GPS L1 C/A, a nie słabszy. Sama moc odbierana nie zmieniła się ani o bit, a współczynnik liniowy to dawny współczynnik podzielony przez dokładnie 1000, czyli dokładnie przesunięcie 30 dB między dBm a dBW; (2) wymagana moc nadawania atakującego do spoofingu (J/S = 3 dB) i do odmowy (J/S = 30 dB) przy każdej odległości, odwrotność łącza J/S; (3) orbitalny obszar przechwycenia przy rzeczywistej charakterystyce anteny o jednostajnej aperturze (Airy [2 J1(x)/x]^2), ograniczona wysokością czasza podpółkulista, której brzeg NIE jest przechwytywany; (4) obliczony wynik wciągnięcia pętli śledzenia w przechwycenie przez spoofing (czy spoofer z dopasowanym kodem przy danej przewadze mocy i przesunięciu kodu rzeczywiście przeciąga DLL/PLL), a nie zakładany próg 3 dB; (5) geometryczny zasięg horyzontu nadajnika powierzchniowego wzniesionego nad powierzchnią ciała bez atmosfery; oraz (6) budżet uwierzytelniania OSNMA/TESLA (narzut 20 bit/s = ~40 % komunikatu nawigacyjnego AFS o szybkości 50 bit/s, opóźnienie ujawnienia klucza, fałszerstwo 2^-40). Puste ciało odtwarza punkt odniesienia P1; każda dana wejściowa ma wartość domyślną i można ją nadpisać. Wyniki częściowe VALIDATED niosą wyrocznię swojego modułu źródłowego (radiometria w dB w postaci zamkniętej; test odwrotny J/S w obie strony; charakterystyka Airy względem funkcji Bessela z A&S i geometrii czaszy kulistej; tożsamość horyzontu stycznego do sfery względem eo_payload; wymiarowanie pól OSNMA SIS-ICD). MODELLED: reprezentatywne rzędy wielkości geometrii i mocy oraz konkretne wartości komórek mapy przechwycenia. Nie jest to certyfikowany produkt bezpieczeństwa.

• Pola wymagane: (brak)
• Pola opcjonalne: afs_eirp_dbw, user_gain_dbi, slant_range_m, slant_range_max_m, carrier_hz, gps_reference_dbw, gps_reference_min_dbw, afs_isotropic_signal_dbw, transmitter_altitude_m, transmitter_power_dbw, antenna_diameter_m, footprint_grid, spoof_power_advantage_db, spoof_code_offset_chips, attacker_gain_dbi, spoof_capture_js_db, jam_denial_js_db, standoffs_m, mast_height_m, user_antenna_height_m, footprint_altitude_min_m, footprint_altitude_max_m, footprint_altitude_steps, footprint_altitude_scale, footprint_diameter_min_m, footprint_diameter_max_m, footprint_diameter_steps, footprint_diameter_scale

realtime-frame-eop#

Budżet prognozy lunarnego układu odniesienia i orientacji Ziemi w czasie rzeczywistym: Tabela 1 z P4 (kontrola spójności błędu układu odniesienia — po przetworzeniu ~0,27 m ↔ ~0,010 ms oraz w czasie rzeczywistym ~15 m ↔ ~0,5 ms, każda pozycja układu wyrażona jako równoważny błąd UT1 przez ramię dźwigni L19 Δr = D_EM·ω⊕·ΔUT1) i Tabela 2 (zmierzony błąd prognozy UT1 w funkcji horyzontu — krzywa L18 odczytana wprost z rzeczywistego szeregu IERS finals2000A: końcowa podłoga Bulletin A − Bulletin B i błąd wieloniowego predyktora persystencji, każdy odwzorowany na pozycję w układzie Księżyca przez L19), plus budżet błędu układu odniesienia w czasie rzeczywistym L21 jako pierwiastek sumy kwadratów (EOP + efemerydy + podłoga realizacji). Postać zamknięta VALIDATED (ramię dźwigni L19, ω⊕ skontrolowane krzyżowo względem kąta obrotu Ziemi CIO) oraz rzeczywiste dane VALIDATED (krzywa L18 z rzeczywistych wierszy finals2000A); MODELLED są wielkości kowariancji OD przekaźnika lunarnego i podłoga realizacji układu (alokacje reprezentatywne) oraz predyktor persystencji (nie jest to operacyjny algorytm Bulletin A organizacji IERS). Nie jest to produkt układu odniesienia czasu rzeczywistego objęty certyfikacją.

• Pola wymagane: (brak)
• Pola opcjonalne: epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual

aperture-duty-cycle#

Cykl pracy apertur: podział czasu między nawigację a łączność, jaki wynika z planu kontaktów dla puli sterowalnych apertur. Przyjmuje plan kontaktów (listę okien [[contacts]] aos_s/los_s, każde żądające nawigacji lub łączności — to samo słownictwo aos_s/los_s, które emituje predyktor passes), liczbę apertur oraz POLITYKĘ ARBITRAŻU (domyślnie z priorytetem nawigacji, albo z priorytetem łączności, albo bez wywłaszczania: kto pierwszy, ten pierwszy) i podaje cykl pracy nawigacji, cykl pracy łączności, cykl bezczynności oraz przerwę w obsłudze sesji — czas kontaktu, o który sesja prosiła, a który nie został obsłużony przez żadną aperturę. Dokładne przemiatanie przedziałów po granicach okien, więc stykające się okna nigdy nie konkurują i żadna sekunda apertury nie jest liczona dwa razy; sekundy apertur nawigacyjne, łącznościowe i bezczynne są sumowane niezależnie i domykają się względem apertures*horizon_s. Raport podaje rozstrzygniętą politykę, jej pełną definicję oraz definicje cyklu pracy i przerwy, ponieważ wartość cyklu pracy podana bez polityki arbitrażu nie jest odtwarzalna. Arytmetyka planowania MODELLED: nie nalicza się czasu przeskoku / przestrojenia / zmiany przy zmianie usługi lub sesji przez aperturę, w decyzji nie występuje ilość danych, stan bufora, budżet energii ani domknięcie łącza, a okna kontaktów są danymi wejściowymi — ich geometria jest taka, jaką wytworzyło to, co je wygenerowało. To nie jest produkt do planowania segmentu naziemnego.

• Pola wymagane: (brak)
• Pola opcjonalne: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

lunar-jamming#

Natywne księżycowe zagłuszanie (jamming) RF: stosunek zakłócenia do sygnału na satelitę, efektywne C/N₀ i utrata synchronizacji dla użytkownika selenograficznego na powierzchni pod księżycowym zakłócaczem powierzchniowym (lub wzniesionym), dla ilustracyjnej, opartej na źródłach publicznych konstelacji klasy Moonlight/LCNS na orbicie księżycowej. Składa istniejącą otwartą fizykę zagłuszania (jamming::j_over_s_db, effective_cn0_dbhz, rx_antenna_gain_db, lock_status, q_factor) z istniejącą geometrią nieba księżycowego (lunar_service::LunarConstellation + topocentric, lunar::selenographic_to_mcmf); żadna geometria ani radiometria nie jest wyprowadzana na nowo. W odróżnieniu od ziemskiego rodzaju jamming odcinek sygnału NIE jest stałą mocą odbieraną: izotropowa moc odbierana każdego satelity to jego własny bilans łącza EIRP − FSPL(odległość skośna), więc J/S zmienia się z satelity na satelitę wraz z odległością i elewacją na Księżycu. Podaje JEDEN WIERSZ NA KAŻDE WIDOCZNE ŁĄCZE (epoka, satelita) — azymut, elewację, odległość skośną, obie moce odbierane, których różnicą jest J/S, J/S, nominalne i efektywne C/N₀ oraz stan synchronizacji — plus zagregowane wskaźniki jakości obok (nigdy zamiast) tej tabeli, a także tę samą tabelę jako artefakt CSV. Każde emitowane pole liczbowe ma jednostkę i klasę pochodzenia. Wyniki częściowe VALIDATED niosą wyrocznię swojego modułu źródłowego (równanie przeciwdziałania zagłuszaniu i łącze J/S według Kaplana i Hegarty'ego §9,4, odniesione zewnętrznie w tests/gnss_denied_jamming_resilience_reference.rs; geometria księżycowa z lunar_service). Samo złożenie sprawdzono względem niezależnej ścieżki dwóch bilansów łącza (linkbudget::received_signal_power_dbw, inne wyrażenie tłumienia w wolnej przestrzeni) z dokładnością do 1e-9 dB. MODELLED: ilustracyjna konstelacja, reprezentatywne EIRP / moc zakłócacza / zyski anten / temperatura szumowa oraz brak zacienienia terenem, wielodrogowości, dynamiki AGC i adaptacyjnego zerowania. Nie jest to certyfikowany produkt do odmowy usługi. Gdy skonfigurowano zakłócacz, raport zawiera także KONTUR ODMOWY Z PASMEM NIEPEWNOŚCI zamiast konturu odczytanego z jednej wartości skalarnej: pełny zmierzony rozkład C/N₀ sygnału użytecznego po tabeli na satelitę (n, min, p05, p25, mediana, p75, p95, max, średnia, odchylenie standardowe próby oraz własna asymetria próby) oraz kontur obliczony przy każdej z tych statystyk pozycyjnych według OBU kryteriów odmowy, które rozpoznaje silnik — dotychczasowego, opartego na stosunku mocy (J/S = 30 dB, jak w attack-surface i tracking-loop) oraz kryterium utraty synchronizacji (efektywne C/N₀ spadające do tracking_threshold_dbhz, kryterium, którego używa kolumna stanu tego raportu) — na obu osiach płaszczyzny odmowy (wymagane EIRP zakłócacza przy odległości scenariusza, odległość odmowy przy EIRP scenariusza). Krawędzie pasma TO contour(p05) i contour(p95), to samo odwzorowanie w postaci zamkniętej zastosowane do własnych kwantyli próby: nie sigma dopasowana do próby i nie mediana ± k·odchylenie, z odchyleniem podawanym dla ciągłości i niewykorzystywanym przez nic. Kwantyl już na progu śledzenia lub poniżej nie ma skończonego J/S powodującego odmowę, a jego kolumny utraty synchronizacji są puste z policzonym powodem, nigdy ze ściśniętym promieniem.

• Pola wymagane: (brak)
• Pola opcjonalne: n_sats, sma_km, eccentricity, inc_deg, argp_deg, site_lat_deg, site_lon_deg, site_alt_m, horizon_hours, step_min, elev_mask_deg, sat_eirp_dbw, carrier_hz, chip_rate_hz, user_boresight_gain_dbi, temp_k, tracking_threshold_dbhz, degraded_margin_db, jammer

ins-trn-coast#

Model błędu wybiegu INS/TRN: błąd położenia w funkcji czasu trwania wybiegu, zbudowany ze współczynników IMU, a nie przeglądany dla założonego tempa dryfu. Pięć składników narastania — bias akcelerometru, przechył od biasu żyroskopu przez grawitację, błądzenie losowe prędkości, błądzenie losowe kąta i współczynnik skali względem przebytej drogi — każdy propagowany przez dziewięciostanowy lokalnie poziomy model błędów inercyjnych ze sprzężeniem Schulera na podanej szerokości geograficznej i wysokości (obok podawane są prawa wiodącego rzędu dla krótkiego wybiegu t², t³, t^1,5, t^2,5 oraz t¹/t²) i łączony według JAWNIE podanej reguły (domyślnie pierwiastek z sumy kwadratów, albo suma liniowa, albo suma deterministyczna ze stochastycznym rss; wszystkie trzy są liczone przy każdym przebiegu, więc wybór jest widoczny, a nie ukryty). Czasy wybiegu osiągające podane przez wywołującego progi położenia (domyślnie 10 m i 50 m) wyznacza istniejąca w silniku bisekcja, każdy z rozbiciem na składniki wskazującym źródło dominujące, a przekroczenie dla każdego pojedynczego składnika jest dodatkowo odwracane algebraicznie, tak aby oba wyniki się pokrywały. Tryb nawigacji względem terenu ogranicza wybieg okresowymi poprawkami położenia i podaje największy odstęp poprawek, który utrzymuje każdy próg; poprawka wyłącznie położenia pozostawia błąd prędkości i przechył żywe przez poprawkę, więc nie zawsze ogranicza wybieg przy żadnym tempie poprawek, a raport mówi to wprost, zamiast zwracać zero. MODELLED: współczynniki klas IMU są reprezentatywnymi wartościami pasm, nie kartą katalogową, a reszta poprawki terenowej jest daną wejściową. Nieosiągnięty próg jest podawany jako null ze statusem, nigdy jako zero. Nie jest to produkt z certyfikacją parametrów nawigacji inercyjnej.

• Pola wymagane: (brak)
• Pola opcjonalne: imu_grade, accel_bias_ug, accel_vrw_m_s_per_sqrt_hr, accel_scale_factor_ppm, gyro_bias_deg_per_hr, gyro_arw_deg_per_sqrt_hr, speed_m_s, ref_accel_m_s2, latitude_deg, height_m, combination, crossing_thresholds_m, grades, drift_band_lo_m_per_s, drift_band_hi_m_per_s, trn_fix_mode, trn_fix_interval_s, trn_fix_residual_m, mission_duration_s

lunar-vlbi-fim#

Kowariancja współrzędnych stacji księżycowego VLBI: cząstkowe pochodne opóźnienia obserwabli lunar-vlbi zsumowane po jawnym HARMONOGRAMIE (bazy x epoki) do macierzy informacyjnej Fishera, odwrócone i podane jako kowariancja współrzędnych stacji oraz sigma stacji na współrzędną — obliczone wyjście silnika, a nie skalarna precyzja opóźnienia przepuszczona przez założony izotropowy współczynnik ekwipartycji g = 3. Stan niesie współrzędne stacji STAŁE względem Ziemi (ITRS), więc jakobian jest pochodną inercjalną obróconą macierzą GCRS->ITRS każdej epoki: to obrót Ziemi czyni te współrzędne obserwowalnymi, a raport MIERZY przemiatanie linii widzenia stałej względem Ziemi i deklinację latarni, zamiast je zakładać. Jedna obserwacja to jedna para (baza, epoka) z OBIEMA stacjami nad maską elewacji, ważona 1/delay_sigma_s^2. Podaje rząd, defekt układu odniesienia, uwarunkowanie, pełne widmo informacji, macierz kowariancji, sigma 3-D i na oś dla każdej stacji oraz przestrzeń zerową sieci swobodnej w każdym przebiegu; przy niedoborze rzędu główna sigma jest publikowana jako NULL ze statusem, nigdy nie odczytywana z niemal osobliwej odwrotności. Wartość ekwipartycji cdelay_sigma_ssqrt(g/N) dla TEGO SAMEGO harmonogramu jest emitowana obok wartości obliczonej wraz ze stosunkiem, razem z izotropową granicą śladu sqrt(p/trace(M)), którą AM-HM czyni twardą dolną granicą — więc stosunek jest anizotropią, którą założenie odrzuciło. Domknięcie opóźnienia tau_ik = tau_ij + tau_jk sprawia, że tylko n-1 z n(n-1)/2 baz jest geometrycznie niezależnych; raport podaje obie liczby. MODELLED: efemerydy środka Księżyca, zegary stacji, troposfera i parametry orientacji Ziemi są STAŁE, a obserwacje traktuje się jako niezależne, więc kowariancja jest granicą Craméra-Rao dla zredukowanego zbioru parametrów, a nie przewidywanym wynikiem sesji; sigma opóźnienia, współrzędne stacji i harmonogram są danymi wejściowymi. Pochodną cząstkową, której jakobian opóźnienia geometrycznego nie uwzględnia (różnicowany składnik Shapiro), mierzy się różnicą skończoną i podaje. Nie jest to produkt geodezyjny.

• Pola wymagane: (brak)
• Pola opcjonalne: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path

tracking-loop#

Utrata synchronizacji pętli śledzenia: C/N0 -> zaczep/utrata zaczepu Z HISTEREZĄ, czas do utraty zaczepu oraz wciągnięcie przez spoofing w zależności od TEMPA przesunięcia kodu i nośnej. Dotychczasowe kryteria odmowy i przechwycenia w silniku są stosunkami mocy odbieranej (zagłuszacz odmawia przy J/S = 30 dB, spoofer przechwytuje przy 3 dB); rzeczywista utrata zaczepu nie jest stosunkiem mocy, lecz miejscem, w którym jitter pętli wraz z naprężeniem dynamicznym przekracza budżet progu śledzenia. Raportuje (1) jitter termiczny 1-sigma nośnej (Costas) i kodu (nieskoherentny early/late) względem C/N0, z uwzględnieniem straty kwadratowania, na tle podanych reguł 3sigma_PLL + theta_e <= 45 deg (reguła 15 stopni w postaci trzech sigma) oraz 3sigma_DLL + ramp lag <= d/2 chips; (2) progi C/N0 zaniku i ponownego uchwycenia z nazwaną pętlą wiążącą, przy czym próg ponownego uchwycenia jest WYWIEDZIONY z szerszego pasma, w którym odbiornik ponownie się wciąga, a nie zakładany, więc szerokość histerezy musi mieścić się między 5log10(ratio) a 10log10(ratio) dB; (3) deklarowany czas do utraty zaczepu z detektora zaczepu o dwóch progach z oknami potwierdzenia, sterowanego rampą C/N0, raportowany osobno od fizycznego czasu ucieczki fazy (średni czas Viterbiego między poślizgami cyklu, w log10 s, ponieważ obejmuje setki rzędów wielkości); (4) granice wciągnięcia przez spoofing — największe przesunięcie kodu i tempo zmiany dopplerowskiej nośnej, za którymi mogą nadążyć pętle ofiary, z mapą po obu osiach, ponieważ spoofer, który przesuwa szybciej niż te granice, nie przechwytuje pętli, tylko ją wyprzedza; oraz (5) PROMIEŃ ODMOWY wynikający z dynamiki pętli, raportowany OBOK istniejącego promienia stosunku mocy, nigdy w jego miejsce, z ich różnicą ze znakiem jako osobnym nazwanym polem (denial_radius_delta_km) i definicją obok. Każde emitowane pole liczbowe niesie jednostkę i klasę pochodzenia. VALIDATED, postacie zamknięte: wyrażenia na jitter nośnej i kodu, redukcja filtra pętli sqrt(2B_nT) oraz opóźnienie rampy pierwszego rzędu są sprawdzane krzyżowo względem własnego korelatora sdr silnika, krokowo uruchamianego na zasianym syntetycznym IF — inną drogą do tych samych liczb — odpowiednio do 0,6 %, 3,7 % i 0,17 %, a zmodyfikowana funkcja Bessela I0 leżąca u podstaw czasu poślizgu cyklu względem standardowych wartości tabelarycznych do 1e-7. Dolna granica ważności jest wymuszona, a nie tylko podana: poniżej ok. 32 dB-Hz przy 1 ms rzeczywisty dyskryminator atan nasyca się względem swojego zakresu +-pi/2 i mierzy mniejszy jitter niż jakakolwiek teoria liniowa. MODELLED: szerokości pasm pętli, czas całkowania, rozstaw korelatora, stosunek pasm wciągania, okna potwierdzenia, moc zagłuszacza i zyski anten są reprezentatywnymi wartościami pasmowymi, a nie danymi z karty katalogowej. NIE modelowano: jitteru oscylatora (odchylenie Allana) i drgań, ograniczenia pasma toru wejściowego, wielodrogowości, dynamiki AGC, straty na przejściach bitów danych, wspomagania zewnętrznego ani żadnej korekty półcyklu we wzorze poślizgu cyklu Costasa. Przy dynamice pętli przechwycenie przez spoofing nie ma żadnego promienia — ograniczeniem wiążącym jest tempo przesunięcia, a nie moc — więc to pole ma wartość null wraz z powodem, a nie zmyśloną liczbę. To nie jest certyfikowany produkt do oceny parametrów odbiornika.

• Pola wymagane: (brak)
• Pola opcjonalne: pll_bandwidth_hz, dll_bandwidth_hz, predetection_integration_s, correlator_spacing_chips, carrier_allowance_deg, code_allowance_chips, pullin_bandwidth_ratio, drop_confirm_epochs, relock_confirm_epochs, doppler_rate_hz_per_s, code_slew_chips_per_s, cn0_high_dbhz, cn0_low_dbhz, ramp_duration_s, jitter_table_cn0_dbhz, jammer_power_dbw, jammer_gain_dbi, rx_gain_toward_jammer_db, rx_gain_toward_sat_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, jammer_type, q_override, denial_js_threshold_db, capture_js_threshold_db, spoof_code_slew_chips_per_s, spoof_doppler_rate_hz_per_s

araim-reference-check#

Opublikowane certyfikacyjne wektory referencyjne ARAIM: silnik liczy poziomy ochrony ARAIM w poziomie i w pionie na WŁASNYCH przykładach liczbowych Podgrupy Technicznej ARAIM grupy WG-C, przy tolerancji (TOL_PL = 5e-2 m), którą te dokumenty same podają. Dwa wektory są zapisane jako dane testowe, każdy z adresem URL pobrania, datą pobrania, SHA-256 pliku źródłowego i stroną: Reference Airborne Algorithm Description Document v3.1 (2019) Dodatek D — wewnętrznie spójny, i wektor akceptacyjny — oraz Milestone 3 Report (2016) Aneks A sekcja A.IX, zestawienie cytowane w bibliografiach badawczych. Każde opublikowane wejście (macierz geometrii 10 satelitów w 2 konstelacjach, przekątne wariancji C_int i C_acc, b_nom, P_sat, P_const i zestaw stałych LPV-200) oraz każde opublikowane wyjście (VPL, HPL, EMT, sigma_v_acc, K_fa_3 oraz sigma_3, sigma_ss_3 i b_3 dwóch trybów uszkodzenia konstelacji) jest podane obok własnej liczby silnika i ich bezwzględnej różnicy. Równanie poziomu ochrony NIE jest tu rozwiązywane ponownie: lista trybów z wzorca jest przekazywana istniejącym funkcjom silnika raim::araim_protection_level / araim_integrity_risk, więc bisekcja i algebra ogona rozkładu Gaussa poddane testowi są własnymi elementami silnika; budowane są dla niego tylko geometria, podrozwiązania, progi detekcji i opublikowany podział budżetu. EXTERNALLY CHECKED względem wektora 2019: VPL 18,2926 m wobec 18,3 m opublikowanych, HPL 13,4063 m wobec 13,45 m, EMT 7,2997 m wobec 7,2998 m, sigma_v_acc 1,3694 m wobec 1,3694 m oraz wszystkie sześć opublikowanych wartości pośrednich z dokładnością do połowy jednostki na ostatnim wypisanym miejscu dziesiętnym. Wektor 2016 zawiera dwie wewnętrzne wady, które raport podaje, a nie ukrywa — literówkę znaku w wierszu 3 macierzy G oraz K_fa_3 obliczone dla 57 trybów uszkodzenia, podczas gdy dokument podaje N_fault_max = 1 (12 trybów) — więc jego wartości pośrednie geometrii odtwarzają się dokładnie, a jego poziomy ochrony są podane jako zmierzone rozbieżności i wyłączone z wartości akceptacyjnej; tolerancja nigdy nie jest poszerzana, aby je wchłonąć. Każde emitowane pole liczbowe ma jednostkę i klasę pochodzenia, a liczba przepisana jest oznaczona published, żeby nigdy nie dało się jej pomylić z obliczoną. ZAKRES: zaimplementowano tylko N_fault_max = 1 (tryby uszkodzenia pojedynczego satelity i pojedynczej konstelacji), a przypadek, którego założenia wymagają jednoczesnych podzbiorów uszkodzeń wielu zdarzeń, jest REFUSED, a nie po cichu obcinany; detekcja uszkodzeń, wykluczanie, test spójności chi-kwadrat i krok ponownej alokacji z podwójnego liczenia z algorytmu referencyjnego są poza zakresem. To odtwarza przykład obliczeniowy opublikowanego algorytmu referencyjnego — nie jest to certyfikacja, artefakt zdatności do lotu ani zatwierdzenie.

• Pola wymagane: (brak)
• Pola opcjonalne: vector

lunar-frame-campaign#

Siedmioparametrowy układ odniesienia Helmerta (podobieństwa) wynikający z SYMULOWANEJ KAMPANII OBSERWACYJNEJ, a nie z wprowadzonej transformacji. Sieć stacji ziemskich obserwuje katalog księżycowych latarni powierzchniowych według jawnego harmonogramu; cząstkowe pochodne opóźnienia księżycowego VLBI są sumowane po tym harmonogramie do macierzy informacyjnej Fishera współrzędnych latarni dokładnie tak jak w lunar-vlbi-fim; a ta informacja jest propagowana przez macierz projektu Helmerta A = [I3 | [p]_x | p] w punktach katalogu do kowariancji układu odniesienia H = A^T M_b A, diagnozowanej przez crate::fim::crlb. ŻADNA transformacja nie jest wprowadzana i nic nie jest odzyskiwane z podłożonej odpowiedzi, więc podana dokładność układu odniesienia wynika z programu obserwacji: dwukrotne zmniejszenie sigma opóźnienia zmniejsza ją dokładnie dwukrotnie, a wydłużenie łuku ją poprawia, ponieważ libracja, którą raport MIERZY (sub_earth_direction_sweep_deg), oddziela współrzędną latarni wzdłuż linii widzenia od współrzędnych w płaszczyźnie nieba. Rząd, defekt układu odniesienia, uwarunkowanie, całe widmo, niewidoczne kierunki W BAZIE SIEDMIU PARAMETRÓW, najsłabszy kierunek nawet przy pełnym rzędzie i udział każdego parametru w nim są podawane w każdym przebiegu; parametr, którego kampania nie ogranicza, jest publikowany jako NULL ze statusem, nigdy nie odczytywany z niemal osobliwej odwrotności. Korelacja błędów latarni jest mierzona, a nie zakładana: przy stałych stacjach żadna obserwacja nie dotyczy dwóch latarni, więc macierz informacyjna jest dokładnie blokowo-diagonalna (offblock_fraction 0), a przy szacowanych stacjach blok zmarginalizowany metodą Schura jest sprzężony, wywołana korelacja jest drukowana, a cała propagacja jest powtarzana z jej pominięciem, tak że cena założenia o niezależności jest liczbą. Ta sama propagacja przy izotropowym sigma na współrzędną oraz błąd odzyskania podawany przez scenariusz lunar-frame-realisation są tu uruchamiane i drukowane obok wartości kampanii wraz z ich stosunkami. MODELLED: katalog latarni ma źródło, ale KAMPANIA jest symulowana — sieć stacji i sigma opóźnienia są ilustracyjnymi danymi wejściowymi, pojedyncze obserwacje opóźnienia traktuje się jako niezależne, a efemerydy środka Księżyca, zegary stacji, troposfera i parametry orientacji Ziemi są STAŁE, więc kowariancja układu odniesienia jest granicą Craméra-Rao dla zredukowanego zbioru parametrów. Nie jest to produkt geodezyjny.

• Pola wymagane: (brak)
• Pola opcjonalne: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver

lunar-llr-datum#

Siedmioparametrowy księżycowy układ odniesienia Helmerta wynikający z RZECZYWISTEJ, ZARCHIWIZOWANEJ kampanii obserwacyjnej, a nie symulowanej. Tam, gdzie lunar-frame-campaign usunął wprowadzoną transformację, ale nadal podawał sieć stacji, harmonogram i sigma na obserwację jako dane wejściowe ILLUSTRATIVE, ten rodzaj bierze wszystkie trzy z pomiaru: epoki to czasy nadawania z Ziemi zarchiwizowanych punktów normalnych ILRS Consolidated Laser Ranging Data, obserwacje to odległości laserowe naprawdę wystrzelone do pięciu macierzy reflektorów na Księżycu, a każda waga obserwacji to własna zarchiwizowana precyzja tego punktu normalnego bin_rms/sqrt(n_raw) odczytana z pliku. Współrzędne stacji pochodzą z rozwiązania SLR IERS ITRF2020 (przeniesione na epokę ich opublikowanymi prędkościami), a współrzędne reflektorów z JPL DE430 Table 7 w układzie średniej Ziemi/średniego obrotu, który realizuje model IAU 2015 WGCCRE. Pochodne cząstkowe odległości sumują się do wspólnej macierzy informacyjnej Fishera współrzędnych reflektorów i propagują przez ten sam projekt Helmerta do kowariancji układu odniesienia, diagnozowanej przez crate::fim::crlb. Rząd, defekt, uwarunkowanie, widmo, nieobserwowalne kierunki w bazie siedmiu parametrów, najsłabszy kierunek przy pełnym rzędzie i udział każdego parametru w nim są podawane w każdym przebiegu, a parametr nieograniczony jest publikowany jako NULL ze statusem. Korelacja między macierzami jest MEASURED dokładnie na zero, a nie zakładana, ponieważ odległość laserowa dotyczy jednej macierzy. Rekord, którego katalogi nie potrafią umiejscowić — stacja bez opublikowanej pozycji ITRF — jest POMIJANY I LICZONY, nigdy z podstawioną współrzędną. KTÓRE ŁĄCZA SĄ MEASURED, A KTÓRE MODELLED, TO JEST RAPORT, A NIE PRZYPIS: efemerydy środka Księżyca i orientacja ciała IAU pozostają modelowane, a ich łączna wielkość jest podawana jako jednostronna reszta odległości obserwowana-minus-obliczona po wszystkich użytych punktach; troposfera, pływy ciała stałego, mimośrodowość stacji, ruch bieguna, UT1-UTC, opóźnienie relatywistyczne i zegary stacji są nieobecne i zawarte w tej reszcie. Ponieważ błąd efemerydy dociera do kowariancji tylko przez kierunek każdej linii widzenia, każdy przebieg również rozwiązuje cały układ odniesienia na nowo ze wszystkimi pochodnymi cząstkowymi odchylonymi o sensitivity_tilt_deg (ze zmiennym znakiem) i podaje stosunek, więc niewrażliwość kowariancji na modelowane efemerydy jest liczbą, a nie argumentem. Własne wartości symulowanej kampanii są URUCHAMIANE i drukowane obok zmierzonych, a nie przepisywane. MODELLED: wartości siedmiu parametrów to granica Craméra-Rao dla zredukowanego zbioru parametrów na rzeczywistym harmonogramie — nie rozwiązany układ odniesienia, nie analiza LLR i nie produkt geodezyjny. Zatwierdzony wycinek danych rzeczywistych jest dostarczany z repozytorium, ale nie z opublikowanym crate; wskaż data_dir na jego kopię.

• Pola wymagane: (brak)
• Pola opcjonalne: data_dir, normal_points_dir, reflectors_path, stations_path, dut1_s, rel_tol, compare_simulated_campaign, sensitivity_tilt_deg, planetary_kernel_path, extra_reflectors, extra_beacons, extra_earth_elevation_mask_deg, beacon_campaign

lunar-beacon#

Uzupełnienie księżycowej orbitalnej usługi nawigacyjnej o latarnie powierzchniowe, jako uruchamialna tabela przed/po. Użytkownik na biegunie południowym widzi rzadki zestaw orbitalny w wąskim fragmencie nieba, więc geometria wyznaczania odległości jest źle uwarunkowana; kilka ZMIERZONYCH LATARNI POWIERZCHNIOWYCH dostarcza wiersze linii widzenia o niskiej elewacji i szerokim azymucie, których brakuje zestawowi całkowicie nad głową, a poziomy współczynnik DOP gwałtownie maleje. Scenariusz podaje trzy konfiguracje w jednej epoce — same satelity, satelity plus widoczne latarnie oraz większą konstelację jako alternatywną drogę do tej samej geometrii — każdą z liczbą widocznych źródeł, pełnym DOP i uzyskaną dokładnością 1-sigma w METRACH, otrzymaną przez przemnożenie przez błąd odległości równoważny dla użytkownika w przeliczeniu na latarnię, złożony jako pierwiastek z sumy kwadratów składników synchronizacji zegarów, wielodrogowości i pomiaru. Widoczność latarni to geometryczny horyzont dwuwysokościowy na Księżycu bez atmosfery (bez atmosfery, więc ograniczenie jest dokładne), a złożenie DOP to to samo jądro sprawdzone względem gnss_lib_py w tests/dop_reference.rs. DLACZEGO TEN RODZAJ ISTNIEJE: moduł za nim jest w silniku i sprawdzony względem niezależnej ścieżki DOP od L08/L09, ale nie był osiągalny z przebiegu — bez rodzaju, bez gałęzi dyspozytora, bez dołączonego pliku. README zapowiadało tę możliwość, a macierz weryfikacji nie miała dla niej ŻADNEGO wiersza, więc była jednocześnie deklarowana w tekście i niedeklarowana w rejestrze, a w silniku nieosiągalna. Wartości domyślne to geometria, która ma już zatwierdzony wzorzec referencyjny (golden) (użytkownik na -80 deg z anteną 2 m, trzy latarnie na -80/0, -79/+60 i -79/-60 na 2 km, sześciosatelitarna ilustracyjna migawka LCNS w t=0, maska 5 deg), więc goły przebieg odtwarza tabelę, którą wyrocznia już obejmuje, zamiast wymyślać nowe liczby. MODELLED: projekt konstelacji, rozmieszczenie latarni i każda wielkość budżetu błędów są ilustracyjnymi danymi wejściowymi, a nie rzeczywistym pomiarem terenowym ani zmierzonym łączem; tylko arytmetyka DOP, postać zamknięta horyzontu i zależność sigma = DOP x sigma_URE są zakotwiczone zewnętrznie. Nie jest to zobowiązanie co do parametrów usługi.

• Pola wymagane: (brak)
• Pola opcjonalne: user, beacons, n_satellites, comparison_n_satellites, epoch_s, elevation_mask_deg, clock_sync_m, multipath_m, survey_m

earth-gnss-lunar#

Odbiór Earth-GNSS w odległości księżycowej, warstwa słabego sygnału, którą wymienia artykuł o odporności na konflikt i dla której silnik nie miał modelu. Satelita GNSS kieruje antenę ku Ziemi; odbiornik w pobliżu Księżyca znajduje się około piętnaście razy dalej niż promień orbity, więc działają jednocześnie trzy rzeczy. Ziemia ZASŁANIA OŚ GŁÓWNĄ: z 26 560 km rozpina półkąt 13,9 deg, więc każdy promień biegnący ku Księżycowi musi opuścić nadajnik co najmniej tyle poza nadirem, co usuwa szczyt wiązki, zanim zostanie obliczona jakakolwiek moc. To, co zostaje, to KRAWĘDŹ GŁÓWNEGO LISTKA I LISTKI BOCZNE, reżim, w którym ładunek LuGRE faktycznie pracował w 2025. A strata w wolnej przestrzeni wynosi około 208 dB na L1, czyli mniej więcej 25 dB więcej niż płaci użytkownik naziemny. Raport podaje jeden wiersz na satelitę (kąt poza osią, zasłonięcie przez Ziemię, odległość, tłumienie na drodze, wzmocnienie nadawcze pod tym kątem, moc odebrana, stosunek nośnej do gęstości szumu) i agreguje tylko łącza przekraczające próg śledzenia. PODAJE TAKŻE UWARUNKOWANIE, ponieważ to właśnie określa tę warstwę: każdy widoczny satelita leży wewnątrz stożka o szerokości kilku stopni widzianego z Księżyca, więc linie widzenia są niemal równoległe, rozmycie dokładności jest ogromne, a rozwiązanie Earth-GNSS w odległości księżycowej jest obserwacją klasy SYNCHRONIZACJI CZASU znacznie bardziej niż klasy pozycji. MODELLED, a powodem jest wzorzec nadawczy: wzmocnienie pod danym kątem to jednorodna apertura kołowa (Airy), podczas gdy rzeczywista antena GPS L1 jest dwunastoelementową szyką helikalną z ukształtowanym listkiem głównym i listkami bocznymi innymi niż Airy. Zmierzone wzorce istnieją i nie są tutaj dołączone, więc kolejności i rzędy wielkości są znaczące, a dB pojedynczego satelity nie jest. Celowo NIEOBECNE, każde z nich czyni bilans optymistycznym: brak strat jonosferycznych i troposferycznych na promieniach ślizgających się po limbie, brak strat polaryzacji, celowania i implementacji oraz sferyczna Ziemia bez rozszerzenia refrakcyjnego. Położenie Księżyca jest DANĄ WEJŚCIOWĄ (odległość plus kierunek inercjalny), a nie wyszukaniem w efemerydach, ponieważ testowaną wielkością jest łącze i geometria wiązki. Podniesienie tego wiersza do poziomu sprawdzonego względem niezależnego wzorca wymaga zmierzonego wzorca nadawczego i punktów normalnych LuGRE; żadne z nich nie ma się w repozytorium i żadne nie jest tutaj zmyślone.

• Pola wymagane: (brak)
• Pola opcjonalne: altitude_km, inclination_deg, planes, sats_per_plane, phasing_f, epoch_s, receiver_range_m, receiver_ra_deg, receiver_dec_deg, tx_power_dbw, tx_diameter_m, tx_efficiency, freq_hz, rx_gain_dbi, system_temp_k, tracking_threshold_dbhz, back_lobe_suppression_db, epochs, span_s

lunar-infrastructure#

MODELLED badania orbity i powierzchni Księżyca jako infrastruktury nawigacyjnej i geodezyjnej, pięć badań w jednym rodzaju wybieranym przez study: od-consistency (pokładowe wyznaczanie orbity z Ziemi-GNSS na orbicie NRHO lub ELFO względem niezależnego naziemnego radiometrycznego wyznaczania orbity, oceniane według własnych kowariancji w Monte Carlo z zadanym ziarnem), carrier-phase (wspólna podwójnie różnicowana faza nośnej powierzchnia–orbiter i rozwiązywanie całkowitoliczbowej niejednoznaczności metodą LAMBDA), frame-coestimation (stacja powierzchniowa i orbitery dodane do pomiarów odległości ze stacji ziemskich dla siedmioparametrowego księżycowego układu odniesienia), space-tie (GNSS, VLBI i laserowe wyznaczanie odległości na jednym statku, precyzja powiązania układów względem błędu powiązania lokalnego) i geodesy-sensitivity (informacja Fishera o liczbach Love'a h2, k2, l2 Księżyca i fizycznej libracji z laserowego wyznaczania odległości, śledzenia orbiterów, grawimetru powierzchniowego i zegara powierzchniowego). Ograniczony model trzech ciał ze wskazanymi uproszczeniami; metody numeryczne sprawdzono względem niezależnych programów i nic nie porównano z pomiarem wielkości księżycowej.

• Pola wymagane: study
• Pola opcjonalne: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

cislunar-arc-recovery#

Test niezależnego estymatora MODELLED dla progu obserwowalności długości łuku cislunarnego. Ten próg jest odczytem RANGI macierzy obserwowalności zbudowanej z ANALITYCZNYCH wierszy jakobianu odległości i ANALITYCZNEJ wariacyjnej macierzy przejścia stanu, a jego kontrola krzyżowa filtrem w postaci pierwiastka informacji składa te same wiersze — jest to kontrola spójności między dwiema maszynami numerycznymi, a nie potwierdzenie. Ten rodzaj dostarcza brakującego arbitra: estymator wsadowy metodą najmniejszych kwadratów, który faktycznie ODZYSKUJE stan początkowy statku głównego z symulowanych pomiarów, z pochodnymi cząstkowymi pomiarów wziętymi jako RÓŻNICE SKOŃCZONE CENTRALNE złożonego modelu w przód. Nie wywołuje żadnego analitycznego wiersza jakobianu, żadnej wariacyjnej STM, żadnego rozkładu według wartości osobliwych ani własnych, żadnej tolerancji rangi i żadnego filtra w postaci pierwiastka informacji — strażnik tekstu źródłowego w tests/cislunar_arc_recovery_reference.rs sprawia, że można to wyegzekwować — podczas gdy dynamika (ten sam przepływ RK4 CR3BP), warunki początkowe (ta sama konstelacja skorygowana różniczkowo), skalarna wielkość obserwowana i siatka epok są celowo wspólne i nazwane w emitowanym bloku independence, ponieważ dwie analizy jednego problemu fizycznego muszą zgadzać się co do fizyki, aby były porównywalne. Dwa kryteria, każde przeglądane w pięciu dekadach własnej granicy: ODZYSKANIE BEZ SZUMU (końcowy błąd stanu każdej próby z ziarnem co najwyżej recovery_factor razy jej przemieszczenie a priori — odpowiednik rangi, bez tolerancji wartości osobliwych) oraz OSZACOWYWALNOŚĆ MONTE CARLO (zmierzony błąd pozycji RMS dla zespołu szumu z ziarnem poniżej podanej granicy — odpowiednik oszacowywalności, zmierzony, a nie przewidziany). Obsługuje planarny stan czteroelementowy i przestrzenny sześcioelementowy, rodziny DRO / halo L2 / NRHO L2, obserwable odległości i prędkości zmiany odległości oraz parametryzację biegunową wokół Księżyca, w której transformację stosuje się do STANU, a model w przód jest tam różniczkowany ponownie. MEASURED na opublikowanej planarnej siatce DRO: estymator odzyskuje stan czteroelementowy od 0,782609 h wobec 2,086957 h według kryterium rangi przy rel_tol 1e-6 (stosunek 0,375) — próg rangi NIE jest potwierdzony jako granica odzyskiwalności — podczas gdy zmierzona granica oszacowywalności trafia w tę samą komórkę siatki co formalna, 5,739130 h, a zmierzona krzywa błędu odtwarza formalne 1-sigma w 21 długościach łuku ze średnim geometrycznym stosunkiem 0,98. MODELLED: projekt konstelacji, siatka epok, pojedyncze śledzone łącze, wielkość przemieszczenia, sigma pomiaru i dwie podane granice. To nie jest certyfikowany produkt do oceny osiągów nawigacyjnych.

• Pola wymagane: (brak)
• Pola opcjonalne: mu, arc_hours, epochs, steps, spatial, family, n_spacecraft, observable, coordinates, trials, seed, displacement_nd, recovery_factor, sigma_range_m, sigma_range_rate_mm_s, error_bound_km, max_iterations, rel_tol

telecom-timing#

Synchronizacja telekomunikacyjna: błąd czasu, maksymalny błąd interwału czasu (MTIE) i odchylenie czasu (TDEV) holdover GNSS, sprawdzone względem masek ITU-T z wynikiem PASS lub FAIL i zapasem dla każdej maski. Dane wejściowe to albo SYNTETYCZNY HOLDOVER (predefiniowany oscylator -- ocxo, rubid, cez lub csac, każdy z wartościami stabilności, starzenia i temperatury z nazwanej publicznej karty katalogowej Microchip -- plus czas utraty GNSS, długość zapisu i interwał próbkowania; swobodnie biegnący zegar ma szum częstotliwości biały, migotania i, gdzie dopasowanie do karty katalogowej tego wymaga, błądzenia przypadkowego, liniowe starzenie i sinusoidalny składnik temperaturowy), albo WCZYTANA SERIA par [time_s, time_error_ns] podanych w treści (a tylko w kompilacjach natywnych także plik CSV). Maski: ITU-T G.8272 (07/2025) PRTC-A i PRTC-B (max|TE| 100 / 40 ns, MTIE Tabele 1-2, TDEV Tabele 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC w stanie zaczepienia (30 ns, Tabele 1-2) i holdover ePRTC-A (obwiednia błędu czasu z Tabeli 3 rosnąca od 30 ns do 100 ns w okresie holdover H wyznaczonym przez czas zaczepienia, MTIE Tabela 4, TDEV Tabela 5); G.8273.2 (2023) Amd. 2 (11/2025) klasy T-BC/T-TSC A-C (max|TE|, stały błąd czasu, MTIE i TDEV filtrowane dolnoprzepustowo) oraz klasa D (max|TE_L| 5 ns, jedyna wartość klasy D, która nie została pozostawiona do dalszych badań); G.8271.1 (2022) Amd. 3 (05/2025) punkt odniesienia C (max|TE_L| 1100 / 600 / 100 ns z MTIE Tabele 7-1 do 7-3). Każda pozycja, którą Zalecenie oznacza jako przeznaczoną do dalszych badań, jest pominięta, a nie wypełniona, a każdy raport wymienia, czego nie zaimplementowano. Podaje też czas przekroczenia każdego budżetu maksymalnego błędu czasu (domyślnie: 100 ns max|TE_HO| ePRTC, 400 ns alokacja holdover sieci, 1100 ns punkt C, 1,5 us klasa 4), krzywe MTIE/TDEV jako tabelę CSV z każdym limitem maski oraz wpis jednostek i pochodzenia dla każdego pola liczbowego. VALIDATED: estymatory MTIE i TDEV względem pakietu allantools na zatwierdzonym szeregu holdover. MODELLED: tabele masek są transkrypcjami, a syntetyczny holdover jest modelem zbudowanym z maksimów z kart katalogowych, a nie pomiarem żadnego egzemplarza. To nie jest test zgodności.

• Pola wymagane: (brak)
• Pola opcjonalne: seed, masks, budgets, holdover, series

slot-timing#

Synchronizacja szczelin: liczba sekund, po których swobodnie biegnący zegar opuszcza przedział ochronny szczeliny routingu lub zadań indeksowanej czasem (największy bezwzględny błąd czasu, jaki szczelina toleruje), udział każdego składnika w tej chwili ze wskazaniem dominującego (niepewność rozwiązania pozycji, szum fazy biały, szum częstotliwości biały, migotania, błądzenia przypadkowego i przebiegu losowego, resztkowe przesunięcie częstotliwości, temperatura, starzenie), czas pozostały od ostatniego rozwiązania pozycji oraz największy odstęp między rozwiązaniami, który utrzymuje zegar w szczelinie, po odjęciu opóźnienia rozwiązania. Oscylator to wartość domyślna KLASY (csac, uso, dsac, tcxo, ocxo lub rafs: jedno przytoczone jednosekundowe odchylenie Allana i założona podłoga szumu czerwonego), PREDEFINIOWANA KARTA KATALOGOWA synchronizacji telekomunikacyjnej lub wbudowana KARTA KATALOGOWA (maksima odchylenia Allana dopasowane jako obwiednia, plus starzenie i współczynnik temperaturowy), albo wbudowany zapis fazy MEASURED (jego nakładające się odchylenie Allana dopasowane ważoną metodą najmniejszych kwadratów w bazie szumu fazy białego i modulacji częstotliwości wg IEEE Std 1139, więc podłoga szumu czerwonego jest zmierzona, a nie założona). Przekroczenie poza najdłuższy czas uśredniania, jaki obsługuje karta katalogowa lub zapis, jest oznaczane jako ekstrapolowane. Opcjonalna sekcja spoofingu dodaje poziom ochrony czasu dla odbiornika na orbicie: prędkość i okres orbitalny, jak długo pojedynczy spoofer naziemny może dosięgnąć satelity w czasie jednego przelotu, podłogę monitora wspomaganego zegarem i opóźnienie detekcji CUSUM, ograniczenie warunkowe, odchylenie, jakie spoofer o podanej maksymalnej szybkości narastania gromadzi, zanim satelita opuści jego zasięg lub zostanie wykonana niezależna kontrola, oraz to, czy każda kontrola kontaktu z ziemią lub łącza krzyżowego jest niezależna od tego spoofera. VALIDATED: inwersja holdover z dopasowanego zapisu, wstrzymana na rzeczywistym zegarze cezowym zmierzonym względem masera wodorowego (tests/slot_timing_cs5071a_holdout.rs, uzależnione od danych); dla zmierzonego oscylatora kwarcowego wstrzymana prognoza jest zachowawcza, ale nie mieści się w progu, więc przypadek kwarcu jest MODELLED. MODELLED: źródła klasy i karty katalogowej, składniki deterministyczne i ocena spoofingu.

• Pola wymagane: oscillator, slot
• Pola opcjonalne: spoofing

spectrum#

Model widma pasma L i wodospad: całe pasmo L GNSS jako jedna gęstość widmowa mocy (PSD), częstotliwość w poziomie, czas w dół, dla skryptowanej osi czasu zagłuszacza. SYGNAŁY: GPS L1 C/A i L2C (BPSK(1)), usługa otwarta Galileo E1 (MBOC(6,1,1/11) lub BOC(1 1)), GPS L5 i Galileo E5a (BPSK(10)), każdy na swojej nośnej z minimalną mocą odbieraną z specyfikacji interfejsu (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD), chyba że ją nadpisano; GLONASS, BeiDou i Galileo E6 nie są modelowane. ZAGŁUSZACZE: ton fali ciągłej, płaski szum wąskopasmowy, liniowy chirp piłokształtny i szum szerokopasmowy dopasowany do modulacji własnego pasma, każdy z częstotliwością środkową, szerokością pasma, mocą odbieraną (bezpośrednio albo EIRP i odległość przez tłumienie w wolnej przestrzeni rodzaju jamming) oraz czasami włączenia i wyłączenia. Każdy zagłuszacz jest oceniany względem każdego pasma przez jego współczynnik rozdziału widmowego kappa w paśmie odbiornika oraz (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1; dla jednego zagłuszacza jest to równe równaniu przeciwzagłuszeniowemu rodzaju jamming z Q = 1/(R_c kappa), a raport zawiera tę kontrolę krzyżową (oraz obok niej reprezentatywną wartość Q rodzaju jamming). Podłoga szumu to k T_sys z T_sys = T_ant + 290 K (F - 1). Wodospad uśrednia każdą komórkę po jej przedziale i wierszu (chirpy dokładnie, całe przemiatania plus częściowe; zagłuszacze przełączające się w środku wiersza według swojego współczynnika wypełnienia), więc oś czasu C/N0 i obraz pochodzą z tych samych liczb; result.json zawiera siatkę uśrednioną blokowo w mocy, C/N0 i J/S dla każdego pasma w każdym wierszu oraz dla każdego zagłuszacza i pasma SSC, Q, J/S, J/S w paśmie i ustalone C/N0. Opcjonalnie [iq]: model narysowany jako zespolone IQ w jednej chwili, zapisany do nagrania SigMF i odczytany z niego (cf32_le lub ci16_le) oraz porównany z estymatą Welcha. Opcjonalnie [recording] (kompilacje natywne): PSD Welcha rzeczywistego nagrania SigMF obok modelu. VALIDATED: PSD sygnałów względem podręcznikowych szerokości głównego listka (BPSK(n) 2n x 1,023 MHz od zera do zera; listki BOC(1 1) wyśrodkowane na +/-1.023 MHz) oraz współczynniki rozdziału widmowego względem ich postaci zamkniętych z Parsevala i Q Kaplana i Hegarty'ego = 1 (CW) i 1,5 (dopasowany). MODELLED: moce zagłuszaczy, oś czasu, szerokości pasma toru wejściowego, traktowanie widma ciągłego (bez linii kodu) oraz brak AGC, wygaszania i charakterystyki anteny.

• Pola wymagane: (brak)
• Pola opcjonalne: seed, duration_s, step_s, receiver, grid, bands, jammers, iq, recording

solar-system#

Cały Układ Słoneczny w jednej epoce, dla PNT (pozycjonowanie, nawigacja i czas) wokół dowolnego ciała. Dla Słońca, ośmiu planet, Plutona, Księżyca, Fobosa, Deimosa, Io, Europy, Ganimedesa, Kallisto i Tytana podaje położenie i prędkość heliocentryczną w ICRF (Międzynarodowy Niebieski Układ Odniesienia, równikowy J2000), odległość heliocentryczną oraz długość i szerokość ekliptyczną J2000, parametr grawitacyjny, promień równikowy i średni, J2 tam, gdzie opublikowano, i jego promień odniesienia, okres obrotu gwiazdowego, biegun IAU i południk zerowy w epoce, ścieżkę orbity próbkowaną w ciągu jednego obiegu (heliocentryczną dla planet, wokółplanetarną dla księżyców) oraz czas światła, odległość w jedną i w obie strony, solarne opóźnienie Shapiro i odległość kątową od Słońca względem ciała obserwatora (domyślnie Ziemia); dodatkowe łącza from/to są traktowane tak samo. Położenia: elementy keplerowskie JPL wg Standisha i Williamsa (Tabela 1 dla lat 1800 n.e. do 2050 n.e., Tabele 2a/2b dla lat 3000 p.n.e. do 3000 n.e.) z nominalnym błędem każdej planety, szereg lunarny Montenbrucka i Gilla dla podziału Ziemia–Księżyc, średnie elementy JPL z synchroniczną szybkością obrotu IAU dla księżyców Marsa i galileuszowych oraz model obrotu IAU dla Tytana. Czas światła: radiometryczne rozwiązanie punktu stałego, nadajnik w położeniu opóźnionym; newtonowski, z opóźnieniem Shapiro podawanym osobno. VALIDATED względem JPL Horizons (DE441) w granicach dwukrotności błędu nominalnego: od Merkurego do Saturna i Ziemia z Tabeli 1 (najgorszy 1,87 raza nominalnego) oraz wszystkie osiem planet z Tabel 2a/2b (najgorszy 1,71 raza), a także czas światła Ziemia–Mars i Ziemia–Jowisz. MODELLED, każdy wiersz oznaczony: Uran i Neptun z Tabeli 1 (2,0 i 5,2 raza błędu nominalnego względem DE441), Pluton (wiersz z 1992; bez podanego błędu), Księżyc i siedem księżyców (zmierzone względem Horizons, bez opublikowanej granicy).

• Pola wymagane: (brak)
• Pola opcjonalne: epoch, epoch_jd_tdb, bodies, observer, track_points, table, links

body-pnt#

Pozycjonowanie wokół dowolnego ciała Układu Słonecznego: orbiter lub lądownik powierzchniowy wokół ciała centralnego wybranego po nazwie (Mars, Księżyc, Europa, Ganimedes, Tytan i reszta katalogu Układu Słonecznego), nawigujący na podstawie jednokierunkowych pseudoodległości z małej konstelacji nawigacyjnej Walkera wokół ciała (orbity dwóch ciał z sekularnym dryfem J2 własnym dla ciała, nieznany zegar użytkownika) i opcjonalnie bezzegarowego dwukierunkowego pomiaru odległości w głębokim kosmosie z Ziemi, której kierunek i odległość pochodzą z analitycznych efemeryd Układu Słonecznego w każdej epoce. Linie widzenia są blokowane przez średnią sferę ciała, a użytkownik na powierzchni potrzebuje też maski elewacji. W każdej epoce: widoczne przekaźniki, czy Ziemia jest ponad limbem, GDOP i PDOP samej konstelacji (współczynniki rozmycia dokładności: geometryczny i pozycji), formalna niepewność pozycji jednosigmowa z wierszem Ziemi i bez niego oraz błąd rozwiązania metodą najmniejszych kwadratów Gaussa-Newtona z ziarnem w każdym z tych wariantów; w całym przebiegu: dostępność, widoczność Ziemi, mediana PDOP, błąd RMS i mediana formalnej sigmy, a także czas świetlny Ziemia–ciało, czas pełnej drogi, opóźnienie Shapiro i odległość kątowa od Słońca w danej epoce. MODELLED: orbity przekaźników, poziomy szumu i chwilowy model pomiaru są wyborami modelowymi, niesprawdzonymi względem danych nawigacyjnych żadnej misji; stałe ciała to opublikowane wartości przywołane w body.rs, a geometria Ziemi dziedziczy etykiety efemeryd Układu Słonecznego.

• Pola wymagane: (brak)
• Pola opcjonalne: body, epoch, epoch_jd_tdb, duration_s, step_s, seed, table, user, constellation, earth_link

constellation-design#

Projektowanie konstelacji na dużą skalę: wzorce Walker DELTA i Walker STAR w konwencji i: T/P/F (węzły rozłożone na 360 lub 180 deg, odstęp w płaszczyźnie 360P/T, przesunięcie fazowe między płaszczyznami 360F/T), jawne listy elementów i projekty wielopowłokowe, kilka konstelacji w jednym przebiegu, wokół Ziemi, Księżyca, Marsa lub dowolnej innej planety, Plutona lub dużego księżyca, z użyciem stałych w module body (tych samych, których używają rodzaje solar-system i body-pnt). USTAWIENIA WSTĘPNE z opublikowanych nominalnych elementów: gps-baseline i gps-expandable (24 slotów i sześć rozszerzalnych par przód/tył z GPS Standard Positioning Service Performance Standard, wydanie 5, 2020, tabele 3.2-1 do 3.2-3), galileo (Walker 24/3/1 na 29 599,801 km i 56 deg, Galileo Open Service Service Definition Document wydanie 1,1 tabele 1 i 23), beidou i beidou-meo (Walker 24/3/1 na 21 528 km i 55 deg plus trzy satelity geostacjonarne na 80, 110,5 i 140 deg E oraz trzy nachylone satelity geosynchroniczne na 55 deg, BeiDou Open Service Performance Standard 3,0 sekcja 4,1; faza MEO i przecięcie nachylonej orbity geosynchronicznej na 118 deg E są modelowane, ponieważ norma ich nie podaje) oraz glonass (24/3/1 na 19 100 km i 64,8 deg ze wzoru na sloty z GLONASS Interface Control Document wydanie 5,1 sekcja 5,2). POKRYCIE I WSPÓŁCZYNNIK ROZMYCIA DOKŁADNOŚCI: na siatce szerokość/długość geograficzna i próbkowanym oknie z maską elewacji liczba widocznych satelitów, GDOP, PDOP, HDOP i VDOP w każdej komórce, dostępność (rozwiązanie z PDOP nie większym niż próg, domyślnie 6) w każdej komórce, globalnie (ważona powierzchnią) i w najgorszym miejscu, z jednym zegarem odbiornika na konstelację, chyba że clock = "common". Skaluje się do tysięcy satelitów: widoczność jest iloczynem skalarnym względem połowy kąta pokrycia każdego satelity, a satelity są grupowane w pasy według szerokości podsatelitarnej w każdej epoce, więc wiersz siatki testuje tylko te, które mogą być widoczne; raport zlicza zaoszczędzone testy par. JSON zawiera mapy siatki i zredukowane śladowe trasy naziemne każdego satelity. VALIDATED: generator Walker względem tabeli 23 Galileo OS SDD i wzoru na sloty z GLONASS ICD, ustawienie GPS względem opublikowanej kolumny przecięć równika z tabeli 3.2-1 SPS PS, a globalny rozkład HDOP bazowego GPS względem dodatku B SPS PS (mediana 0,94, 95% 1,25, średnia 0,96, tolerancja 0,03). MODELLED: orbity dwóch ciał z opcjonalnym sekularnym J2, sferyczne ciało, wyłącznie widoczność geometryczna (bez mocy sygnału, stanu technicznego ani terenu) oraz względna faza między różnymi systemami, która nie jest migawką żadnej rzeczywistej daty.

• Pola wymagane: (brak)
• Pola opcjonalne: body, duration_s, step_s, mask_deg, pdop_threshold, grid_step_deg, lat_min_deg, lat_max_deg, lon_min_deg, lon_max_deg, clock, j2, track_points, max_tracks, constellation

campaign#

Kampania: istniejące rodzaje scenariuszy złożone w jeden przebieg, z każdą liczbą odczytaną z rzeczywistego przebiegu wskazanego rodzaju. Cztery sekcje, w dowolnej kombinacji. FAZY: łańcuchowa misja na jednej wspólnej osi czasu -- każda faza uruchamia jeden lub więcej scenariuszy (na przykład zagłuszanie, potem spoofing, potem zegar w holdover z bezwładnościowym systemem nawigacji dryfującym obok niego, potem alarm integralności, potem odzyskanie), ich wyniki są odczytywane do nazwanych kanałów (błąd czasu zegara względem jego granicy, stosunek nośnej do gęstości szumu względem progu śledzenia, poziom ochrony względem limitu alarmu, błąd pozycji, liczba śledzonych satelitów, flagi alarmów) przez ustawienie wstępne dla rodzaju lub jawne ścieżki wyników i przepróbkowywane na wspólną siatkę ekstrapolatorem zerowego rzędu, z granicami faz i zdarzeniami; stan jest przekazywany dalej przez carry (kanał jest kontynuowany od wartości końcowej poprzedniej fazy), handoff (liczba z poprzedniej fazy zapisana w scenariuszu tej fazy) i end_at (faza kończy się w czasie obliczonym przez przebieg, na przykład w czasie detekcji monitora spoofingu). PRZEGLĄD: siatka po jednym do trzech kluczy scenariusza z kropkami, dowolnego rodzaju (segment będący liczbą całkowitą indeksuje tablicę tabel, jak w system.2.sisre_m), z metrykami odczytywanymi po ścieżce wyniku i, przy liczbie przebiegów powyżej jednego, zespołem Monte Carlo z ziarnem w każdym węźle. MONTE_CARLO: realizacja k działa przy base_seed + k; każda metryka podaje średnią, odchylenie standardowe, percentyle 5/50/95 metodą najbliższej rangi oraz 95% przedział ufności dla średniej metodą bootstrap ze stałym ziarnem. KOMPOZYCJA: kilka scenariuszy ze wspólnymi wartościami (moc i położenie jednego zagłuszacza zapisane w odbiorniku morskim i drogowym), ze zbiorczym podsumowaniem najlepszego i najgorszego przypadku. Wynik zawiera skrót kampanii, skrót po każdym wyniku składowym oraz wpis jednostek dla każdej emitowanej liczby; eksporty interoperacyjne zapisują każdy scenariusz składowy mający geometrię jako osobny zestaw plików. Tożsamości kompozycji są testowane: kampania jednofazowa odtwarza samodzielny przebieg bit w bit, zespół ze stałym ziarnem jest stabilny bajt po bajcie, a na zegarze z szumem częstotliwości białym średnia zespołu mieści się w podanym przedziale, a rozrzut zgadza się z sqrt(q_wf * tau). MODELLED: addytywne przenoszenie i ekstrapolator zerowego rzędu są wyborami modelowymi, a każda faza nosi etykietę rodzaju, który ją uruchomił.

• Pola wymagane: (brak)
• Pola opcjonalne: title, seed, timeline, phases, sweep, monte_carlo, compose

leo-signal#

Projekty sygnałów LEO-PNT: parametryzowane sygnały pozycjonowania, nawigacji i czasu (PNT) na niskiej orbicie okołoziemskiej (LEO) dla dowolnego systemu, pasma i struktury. SYGNAŁ to pasmo (częstotliwość środkowa, szerokość pasma nadawania, przydział ITU RNSS/RDSS/MSS/EESS/non-RNSS/other) oraz składowe (akwizycyjna, danych, pilotowa; dowolny podzbiór), każda z modulacją (BPSK(n) z ułamkowym n, BOC(m,n), MBOC(6 1,p) lub płaskie pasmo typu OFDM), udziałem mocy, opcjonalnymi przesunięciami podnośnych FDMA, długością kodu i szybkością danych. Sygnały pochodzą ze skompilowanych w program publicznych plików ustawień wstępnych (xona-pulsar, iridium-stl, starlink-soo, centispace, generic-c-band, generic-bands; każdy z adresem URL źródła, a każda niepublikowana wartość oznaczona jako REPRESENTATIVE) albo są zapisane bezpośrednio w scenariuszu. DLA KAŻDEGO SYGNAŁU: gęstość widmowa mocy ograniczona do pasma i ułamek mocy każdej składowej, który przepuszcza pasmo nadawania (postać zamknięta dla BPSK obok wartości numerycznej), szerokość pasma RMS (Gabora), jitter szumu termicznego śledzenia kodu w pętli śledzenia opóźnienia w funkcji C/N0 i odstępu early-late według wzoru early-late (koherentnego lub niekoherentnego) dla pasma ograniczonego, Betz i Kolodziejski 2009, wraz z jego podręcznikową postacią dla pasma nieograniczonego i granicą Gabora dla zanikającego odstępu, dokładność wyznaczania odległości w metrach, przestrzeń poszukiwań akwizycji (przedziały Dopplera z maksymalnego Dopplera orbity plus składniki oscylatora i użytkownika, razy przedziały kodu), prawdopodobieństwo detekcji kwadratowej i średni czas akwizycji szeregowej i równoległej względem kodu, współczynnik separacji widmowej sygnału względem GPS L1 C/A, Galileo E1, GPS L5, Galileo E5a, E5b i E5 AltBOC oraz każdego z nich względem sygnału wraz z degradacją C/N0, a także CW, szerokopasmowe i dopasowane J/S tolerowane przez śledzoną składową, z własnego mechanizmu SSC rodzaju spectrum. ZESTAWIENIE PASM: opóźnienie jonosferyczne pierwszego rzędu (40,3 TEC/f^2), tłumienie w wolnej przestrzeni, dokładność wyznaczania odległości przy równym C/N0 i przy równym EIRP oraz tolerancja na zakłócacz. Opcjonalne SPRAWDZENIA KSZTAŁTU zestawiają widmo projektu z opisanym pomiarem (spójność na poziomie MODELLED). VALIDATED: zamknięte formy mocy BPSK w paśmie (90,3 % w głównym listku) i szerokości pasma Gabora, jitter ograniczony do pasma sprowadzający się do podręcznikowej postaci koherentnej early-late i do granicy Gabora, współczynnik separacji widmowej przesuniętego BPSK względem jego postaci zamkniętej z tożsamości Parsevala, jednostkowe pole widma AltBOC oraz maksymalny Doppler LEO względem opublikowanych wartości Xona Pulsar (32-34 kHz) i Iridium (36 kHz). MODELLED: każdy projekt, podział mocy, poziom C/N0 i zakłócacza; widma EFQPSK, CSK i OFDM są przybliżone.

• Pola wymagane: (brak)
• Pola opcjonalne: presets, signals, receiver, acquisition, compatibility, trade, shape_checks, psd_points

leo-pass#

Przelot LEO i bilans łącza, pasmo po paśmie, dla LEO-PNT (pozycjonowanie, nawigacja i czas z niskiej orbity okołoziemskiej), niezależnie od systemu: użytkownik (naziemny, morski, powietrzny lub wewnątrz budynku, nieruchomy lub w ruchu) i jeden lub więcej satelitów LEO z ZAPROJEKTOWANEGO PASS (orbita kołowa ustawiona tak, by użytkownik widział jeden przelot o wybranej maksymalnej elewacji w wybranym czasie, heliosynchroniczna na życzenie), jawnych ELEMENTÓW, TLE (dwuwierszowy zestaw elementów) przez SGP4 silnika albo konstelacji WALKER zbudowanej kodem projektowania konstelacji (raportowane są najwyższe przeloty). Pasma pochodzą z nazwanego ustawienia wstępnego (ogólne wielopasmowe UHF/L/S/C, ogólne pasmo C, Xona Pulsar X1/X5, Iridium STL, Starlink jako sygnał okazji wyłącznie Dopplera, CentiSpace oraz opcjonalne ustawienie Celeste IOD oznaczone WORKSHOP) albo są wpisane w scenariuszu; każde ustawienie wstępne podaje, czy jego liczby są PUBLIC (z URL), REPRESENTATIVE czy WORKSHOP. Dla każdego satelity, pasma i epoki: elewacja, azymut, odległość, prędkość zmiany odległości i przyspieszenie odległości; tłumienie w wolnej przestrzeni; EIRP i zysk wzorca satelity (izofluks, wiązka gaussowska lub płaski); zysk anteny użytkownika w funkcji elewacji (patch, półkulisty lub izotropowy); tłumienie gazowe (ITU-R P.676-10 Annex 2), tłumienie deszczowe (współczynniki ITU-R P.838-3 i procedura P.618-14, z natężenia deszczu i wysokości deszczu), scyntylacja troposferyczna (ITU-R P.618-14 sekcja 2.4.1), tłumienie wnikania do budynku dla użytkownika wewnątrz (ITU-R P.2109-2), niedopasowanie polaryzacji, temperatura szumowa systemu i C/N0 (gęstość nośnej do szumu); Doppler i tempo Dopplera w postaci zamkniętej z prędkości zmiany odległości i przyspieszenia odległości, każde sprawdzone różnicami centralnymi; opóźnienie jonosferyczne pierwszego rzędu 40,3 STEC/f^2 z ukośnego TEC Klobuchara lub pionowego TEC, przeskalowanego do części jonosfery poniżej satelity. Pary pasm dostają współczynniki wolne od jonosfery, wzmocnienie szumu i szum kodu w szczycie przelotu. Satelity MEO GNSS (ustawienia Galileo lub GPS) są oceniane tym samym modelem anteny i szumu z mocy odbieranych podanych w dokumentach interfejsu, więc dzwonowy przelot LEO i płaskie nośne GNSS dzielą jeden wykres. Opcjonalna sekcja [iot] podaje czas do pierwszego rozwiązania, energię na rozwiązanie i czas pracy baterii w funkcji cyklu pracy dla podanego budżetu mocy odbiornika (MODELLED). Każda para pasm podaje też ukośny TEC, który odtwarza jej kombinacja bez geometrii w szczycie, oraz sigma szumu kodu tego oszacowania (sondowanie jonosfery). Opcjonalna sekcja [spoofer] podrabia sygnały deklarowanego położenia, które skacze lub jest odpychane od prawdziwego po początku ataku, i uruchamia dwa monitory z podanymi prawdopodobieństwami fałszywego alarmu i niewykrytego zdarzenia: spójność Dopplera i geometrii przelotu (zmierzone prędkości zmiany odległości względem przewidywanych z orbit i niezależnego wcześniejszego położenia i prędkości, uogólniony test chi-kwadrat metodą najmniejszych kwadratów w oknie, na kanałach GNSS, LEO i wszystkich) oraz spójność między pasmami (krok między epokami skorygowanej modelem kombinacji bez geometrii każdej pary pasm LEO), raportując statystyki na epokę i moment, w którym każdy monitor wykrywa (MODELLED). Komponenty VALIDATED: tłumienie w wolnej przestrzeni, współczynniki P.838-3 względem jego tabeli 5, procedury deszczu i scyntylacji P.618-14 oraz tłumienie wnikania do budynku P.2109 względem przykładów walidacyjnych ITU-R Study Group 3, stosunek opóźnienia grupowego L1/L2 z IS-GPS-200 oraz maksymalny Doppler nieruchomego użytkownika na orbicie kołowej względem arXiv 2509,19551 tabela 1. MODELLED: EIRP, wzorce, część Chapmana TEC poniżej satelity i cały przelot.

• Pola wymagane: (brak)
• Pola opcjonalne: epoch, duration_s, step_s, user, atmosphere, ionosphere, satellite, leo_constellation, gnss, iono_free_pairs, iot, spoofer, name, description, skyline

leo-navmsg#

Komunikat nawigacyjny LEO: rozgłaszane efemerydy i zegar satelity pozycjonowania, nawigacji i czasu na niskiej orbicie okołoziemskiej (LEO), dla dowolnej orbity, nośnej i modelu, z opcjonalnymi nazwanymi ustawieniami wstępnymi (Xona Pulsar, Iridium, Starlink, CentiSpace, reprezentatywny system pasma C, model zerowego zegara ATOMIC, Celeste IOD). ZAWARTOŚĆ: dane pomocnicze (SVID, numer wydania danych, pasmo, stan sygnału), synchronizacja (tydzień, czas tygodnia, wielomian zegara drugiego rzędu af0-af2 względem toc), efemerydy w jednym z czterech modeli -- 16-parametrowy zestaw keplerowski z Galileo OS SIS ICD; ten zestaw plus wielomiany poprawek wzdłuż toru, w poprzek toru i radialnych; 22-parametrowy model Liu et al. 2025; wielomian ECEF bez składników zegara (zerowy zegar ATOMIC) -- oraz inne usługi (rozgłaszany zestaw Klobuchara, NeQuick-G ai0-ai2 z efektywnym poziomem jonizacji oraz parametry czasu systemowego do UTC z logiką sekund przestępnych z ICD). DOPASOWANIE: orbita prawdziwa całkowana z grawitacją zonalną J2-J6 lub EGM2008 do wybranego stopnia i oporem oraz zegar swobodny lub sterowany z ziarnem (seed); dopasowanie zestawu keplerowskiego metodą Levenberga–Marquardta na elementach niesingularnych, następnie liniowe wielomiany poprawek metodą najmniejszych kwadratów; zegar dopasowany po odjęciu składnika relatywistycznego, który dodaje użytkownik. ANALIZY: fit-interval-trade (błąd odległości sygnału w przestrzeni, SISRE, ze średnimi globalnymi wagami dla wysokości orbity, w funkcji przedziału dopasowania i okresu aktualizacji, tylko orbita i z zegarem), model-comparison (cztery modele, liczba parametrów, zakodowane bity oraz dopasowanie Kshana na wysokościach z Liu et al. obok opublikowanych wartości), midpass-update (najwyższy przelot nad użytkownikiem, skok położenia, zegara i odległości użytkownika przy każdej zmianie komunikatu, skok przy najgorszej geometrii, PASS/FAIL względem progu ciągłości), encode-decode (własna udokumentowana ramka binarna Kshana z CRC-24Q, budżet kwantyzacji pół kroku dla każdego pola, kontrola uszkodzonej ramki, eksport i import rekordu w stylu RINEX-4 oznaczony jako rozszerzenie Kshana oraz tabela CSV). VALIDATED: wagi SISRE względem opublikowanej tabeli MEO/GEO (Montenbruck et al. 2018); algorytm użytkownika Galileo względem RTKLIB na rzeczywistych rozgłaszanych efemerydach Galileo; CRC-24Q względem jego katalogowej wartości kontrolnej i przykładowej ramki RTCM 1005. MODELLED: każda wartość dopasowania i SISRE jest błędem reprezentacji względem prawdy całkowanej przez Kshana (bez błędu wyznaczania ani predykcji orbity); porównanie z Liu et al. używa innych orbit; formaty kodowania i tekstowe są własne Kshana.

• Pola wymagane: (brak)
• Pola opcjonalne: name, description, seed, analysis, preset, orbit, clock, message, trade, comparison, midpass

leo-pvt#

Łączne pozycjonowanie, nawigacja i czas (PNT) z średniej orbity okołoziemskiej (MEO) i niskiej orbity okołoziemskiej (LEO) dla DOWOLNYCH konstelacji: każdy [[system]] to ustawienie wstępne GNSS rodzaju constellation-design, ustawienie LEO (xona-pulsar, iridium-stl, starlink-sop, centispace, generic-c-band, model efemeryd atomic-zero-clock albo inny plik ustawienia wstępnego, każdy w osobnym pliku ze źródłami oznaczonymi PUBLIC, WORKSHOP lub WYPROWADZONE), powłoki Walkera lub jawne zestawy elementów, z nośną, tempem chipów, obwiednią gęstości nośnej do szumu (C/N0) od maski elewacji do zenitu, błędem odległości sygnału w przestrzeni (SISRE), sigmą Dopplera i modelem zegara (własny zegar odbiornika, więc bias międzysystemowy jest estymowany, albo znane przesunięcie rozgłaszane). Cztery tryby. DOPPLER: wsadowe pozycjonowanie Gaussa–Newtona z prędkości zmiany odległości z pochodnymi analitycznymi, stanami dryfu zegara i opcjonalnie prędkości oraz opcjonalnym ograniczeniem wysokości, dla jednego lub wielu satelitów, błąd w funkcji długości okna, obwiednia Dopplera, tempa Dopplera i szarpnięcia każdego systemu LEO oraz dokładność wzdłuż i w poprzek toru przy pojedynczym przelocie w funkcji przesunięcia poprzecznego (błąd poprzeczny rośnie bez ograniczeń, gdy przelot przechodzi nad głową; pojedynczy przelot ma też rozwiązanie lustrzane względem śladu naziemnego). Tutaj działa sygnał okazji wyłącznie Dopplera (starlink-sop). JOINT: rozwiązania pseudoodległościowe metodą ważonych najmniejszych kwadratów dla każdej epoki z samego GNSS, samego LEO i obu, sigmy dla każdego pomiaru z modelu szumu termicznego pętli synchronizacji opóźnienia przy C/N0 plus SISRE (albo stała sigma, aby zasilał je model sygnału), estymowane biasy międzysystemowe oraz PDOP/HDOP/VDOP w funkcji liczby dodanych satelitów LEO. POLAR: widoczne satelity i DOP w funkcji szerokości geograficznej dla GNSS, LEO i obu. TIMING: transfer czasu do czasu uniwersalnego koordynowanego (UTC) z satelitów LEO w znanym położeniu dwustanowym filtrem zegara, którego szum procesu pochodzi z klas oscylatorów silnika, w funkcji C/N0 i oscylatora, oraz wyrażenie z IS-GPS-200 na czas systemowy do UTC; przy [timing] trace = true każdy wiersz podaje też swój błąd czasu i przewidywaną sigmę w każdej epoce. VALIDATED: największy Doppler przelotu od zenitu do horyzontu względem opublikowanych wartości Iridium (do 36 kHz) i Xona Pulsar X1 (od 32 do 34 kHz). MODELLED: wszystko inne; DOP sprawdzono na przypadku wyprowadzonym ręcznie, rozwiązania względem ich kowariancji, a model Dopplera względem tożsamości przyspieszenia odległości.

• Pola wymagane: (brak)
• Pola opcjonalne: mode, seed, duration_s, step_s, user, dll, doppler, joint, polar, timing, system, skyline

leo-ppp#

Zbieżność precyzyjnego pozycjonowania punktowego (PPP) tylko z GNSS i ze wspomaganiem LEO: zmiennoprzecinkowy rozszerzony filtr Kalmana na kodzie i fazie nośnej wolnych od jonosfery, ze statycznymi współrzędnymi stacji, białym zegarem odbiornika, jednym biasem międzysystemowym na każdy dodatkowy system, zenitalnym opóźnieniem wilgotnym o błądzeniu losowym odwzorowanym przez 1/sin(elewacja) i zmiennoprzecinkową niejednoznaczością na łuk satelity; błąd precyzyjnej orbity i zegara jest biały i wspólny dla kodu i fazy satelity, więc każdy satelita jest jedną skorelowaną dwuwierszową aktualizacją w postaci stabilizowanej Josepha. Pomiary są symulowane z tego samego modelu z szumem z ziarnem (seed) dla kilku miejsc i ziaren, a każdy przypadek (najpierw tylko GNSS, potem każdy [[case]] systemów LEO, dowolna konstelacja lub ustawienie wstępne) podaje medianę czasu zbieżności (pierwsza epoka, po której błędy poziome i pionowe pozostają poniżej progów, domyślnie 10 cm), odsetek zbieżnych, mediany krzywych błędu oraz spójność filtra (uśredniony po przebiegach NEES położenia względem dwustronnego pasma chi-kwadrat 95%). Opcjonalnie obok opublikowanych wartości Li et al. (2019, J. Geod. 93:749, doi 10.1007/s00190-018-1195-2) dla średnich szerokości: 9,6 min dla multi-GNSS skraca się do 7,0, 3,2, 2,1 i 1,3 min z 60, 96, 192 i 288 satelitami LEO. MODELLED: porównanie spójności trendu, a nie odtworzenie konstelacji, szumu ani stacji z tamtego badania; bez rozwiązywania niejednoznaczności, poślizgów cyklu, wind-up fazy, pływów ani skorelowanych w czasie błędów produktów.

• Pola wymagane: (brak)
• Pola opcjonalne: seed, duration_s, step_s, runs, criterion_horizontal_m, criterion_vertical_m, compare_li_2019, noise, site, gnss, case

ntn-positioning#

Pozycjonowanie na podstawie łącza w dół sieci nieziemskiej 5G (NTN) w paśmie S usługi satelitarnej ruchomej (MSS) (pasmo 3GPP n256, łącze w dół od 2170 do 2200 MHz; domyślna nośna 2172,5 MHz): ograniczenie Craméra-Rao (CRB) dla czasu przybycia, c / (2 pi beta sqrt(2 (C/N0) T)), gdzie beta jest średniokwadratową (Gabora) szerokością pasma płaskiego widma OFDM (B/sqrt(12)), oraz dla dopplerowskiego przesunięcia tonu zespolonego, sqrt(3 / (2 pi^2 (C/N0) T^3)), dla każdego sygnału (domyślnie kanał New Radio 5 MHz z zajętymi 4,5 MHz oraz kanał wąskopasmowy 200 kHz z zajętymi 180 kHz); następnie, dla dowolnej konstelacji LEO, pomiary czasu przybycia na łączu w dół z nieznanym zegarem odbiornika (z ziarnem, z ograniczeniem plus błędem synchronizacji sieci jako sigma), ich PDOP i formalne sigma 3D oraz jednosatelitarne pozycjonowanie dopplerowskie podczas najdłuższego przelotu przy utrzymanej wysokości. MODELLED: przejście od szerokości pasma do ograniczenia jest podręcznikową formułą zamkniętą, sprawdzoną względem całkowania numerycznego płaskiego i ograniczonego pasmowo widma BPSK (wewnętrzna spójność, bez przypiętej opublikowanej wartości z przykładu), a dokładność pozycjonowania jest ograniczeniem dla kanału bez wielodrogowości, przy podanym błędzie synchronizacji, a nie osiągniętym wynikiem.

• Pola wymagane: (brak)
• Pola opcjonalne: seed, carrier_hz, signal, integration_s, doppler_integration_s, cn0_dbhz, sync_error_m, user, duration_s, step_s, system

leo-pnt-chain#

Jeden system LEO-PNT (pozycjonowanie, nawigacja i czas z niskiej orbity okołoziemskiej) od początku do końca, dla dowolnej konstelacji i sygnału: projekt leo-signal nazwany w signal_design (publiczne ustawienie wstępne lub wbudowany projekt [signal]) ustala środek, szerokość pasma, tempo chipów i podział EIRP pasma [pass], bilans łącza leo-pass daje śledzone C/N0 i ograniczone pasmem drżenie kodu w trakcie przelotu, a linia C/N0 względem sin(elewacja) oraz rozgłaszany SISRE komunikatu [navmsg] (dopasowany na wysokości satelity przelotu) zasilają każdy system LEO w łącznym rozwiązaniu leo-pvt z [fusion] i opcjonalnie przypadki leo-ppp z [ppp]; każde przekazanie jest wymienione z wartością i jednostką. MODELLED.

• Pola wymagane: signal_design, pass, fusion
• Pola opcjonalne: name, description, seed, signal, navmsg, od_sisre_m, ppp

contact-schedule#

Planowanie kontaktów z naziemnymi stacjami dla kilku satelitów i kilku stacji: widoczne okna dostępu (SGP4, układ związany z Ziemią IAU 2006/2000A, refrakcja ITU-R P.834, czas świetlny), objętość danych ACM DVB-S2 każdego przejścia (progi z tabeli 13 ETSI EN 302 307-1) oraz harmonogram bez konfliktów (jeden satelita na antenę z czasem przezbrojenia, jedna stacja na satelitę, dostawa ważona priorytetem z limitem na każdy zaległy zasób) metodą zachłanną o wartości krańcowej, punktem odniesienia „kto pierwszy” i dokładną metodą podziału i ograniczeń na małych zbiorach, z luką optymalności metody zachłannej. MODELLED.

• Pola wymagane: (brak)
• Pola opcjonalne: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

acm-link#

Jeden satelita nad jedną stacją: dla każdego przejścia odległość ukośna, elewacja i Es/N0 wzdłuż przejścia, MODCOD DVB-S2 wybrany w każdym kroku (progi ETSI EN 302 307-1 Table 13 plus margines implementacyjny) oraz wolumen danych, który ACM przenosi względem punktu odniesienia ze stałym kodowaniem, który zamyka się na masce. MODELLED.

• Pola wymagane: (brak)
• Pola opcjonalne: epoch, duration_hours, step_s, refraction, light_time, link, satellite, station

aocs#

Kontrola orientacji statku kosmicznego: obrót w inercjalnym kierunku wskazywania sztywnego korpusu z trzema lub więcej zrównoważonymi kołami reakcyjnymi ze sprzężeniem zwrotnym MRP (L = -K sigma - P omega), momenty kół o minimalnej normie obcięte do limitu każdego silnika, RK4 z ekstrapolatorem zerowego rzędu; opcjonalnie domknięte na multiplikatywnym EKF z symulowanego żyroskopu (błądzenie losowe kąta i prędkości) i czujnika gwiazd. Podaje czas ustalania, końcowy i szczytowy błąd wskazywania, szczytową prędkość i moment koła, nasyconą frakcję, dryf momentu pędu oraz, z estymatorem, jego błąd orientacji i NEES. Pętla stanu rzeczywistego jest VALIDATED względem Basilisk 2.9.1; estymator jest MODELLED.

• Pola wymagane: hub_inertia_kg_m2, k_nm, p_nms, wheels, sigma0
• Pola opcjonalne: duration_s, dt_s, sample_s, omega0_rad_s, pointing_threshold_deg, estimator

entry-heating#

Wejście w atmosferę 3-DoF jako punkt materialny nad obracającą się sferyczną Ziemią lub Marsem (balistyczne lub z siłą nośną przy stałym przechyle), RK4, przez US76, atmosferę wykładniczą lub marsjańską, z konwekcyjnym nagrzewaniem w punkcie stagnacji Suttona-Gravesa (NASA TR R-376): szczytowe opóźnienie, strumień ciepła i ciśnienie dynamiczne, obciążenie cieplne, zasięg poziomy, kontrola energii w układzie wirującym i obok niej postać zamknięta Allena-Eggersa. Szczytowe opóźnienie jest sprawdzone względem opublikowanego nominalnego przebiegu Stardust; nagrzewanie jest MODELLED.

• Pola wymagane: (brak)
• Pola opcjonalne: body, atmosphere, rho0_kg_m3, scale_height_m, entry_interface_altitude_m, velocity_frame, entry_speed_m_s, flight_path_angle_deg, heading_deg, latitude_deg, longitude_deg, mass_kg, drag_coefficient, reference_area_m2, nose_radius_m, lift_to_drag, bank_angle_deg, rotating_planet, step_s, terminal_altitude_m, max_time_s

eo-radiometry#

Radiometria i jakość obrazu kamery nadirowej: promieniowanie na aperturze sceny lambertowskiej, równanie kamery, sygnał oraz szum śrutowy/ciemny/odczytu/kwantyzacji i SNR; MTF systemu przy Nyquiście (dyfrakcja x detektor x rozmazanie x drgania), względna odpowiedź krawędziowa z niego wynikająca, Q = lambda F/p oraz NIIRS według GIQE w wersji 4 bez kompensacji MTF. MODELLED.

• Pola wymagane: (brak)
• Pola opcjonalne: altitude_m, focal_length_m, aperture_m, pixel_pitch_um, wavelength_um, bandwidth_um, fill_factor, smear_px, jitter_px_rms, reflectance, solar_irradiance_w_m2_um, sun_zenith_deg, atmospheric_transmittance, path_radiance_w_m2_sr_um, optics_transmittance, integration_s, quantum_efficiency, dark_current_e_s, read_noise_e, full_well_e, adc_bits

ascent-losses#

Planarne wznoszenie po zakręcie grawitacyjnym wielostopniowego pojazdu nad nieobracającą się kulistą Ziemią przez atmosferę US Standard Atmosphere 1976 (pionowy wznios, kopnięcie pochylenia, ciąg wzdłuż prędkości), z całkowaniem strat grawitacyjnych, oporowych, sterowania i przeciwciśnienia oraz sprawdzeniem, czy idealne dv minus straty zgadza się z prędkością po wypaleniu; max-Q, szczytowe przyspieszenie i stan po wypaleniu. MODELLED.

• Pola wymagane: (brak)
• Pola opcjonalne: stages, payload_kg, drag_coefficient, reference_area_m2, kick_altitude_m, kick_angle_deg, kick_duration_s, step_s

time-transfer-budget#

Dwukierunkowy satelitarny transfer czasu i częstotliwości między dwiema stacjami przez przekaźnik geostacjonarny: równanie dwukierunkowe rozwiązane względem T_A - T_B z uwzględnieniem każdego składnika nieodwrotnego (opóźnienia aparatury stacji, jonosfera w paśmie Ku, transponder, efekt Sagnaca), kwadraturowy budżet niepewności, w którym składnik typu A jest TDEV symulowanego łącza przy danym czasie uśredniania, symulowane łącze z szumem fazy białym i migotania oraz dobową nieodwrotnością, a także stabilność (tempo zmian, resztkowe RMS, TDEV, ADEV) dowolnych dostarczonych szeregów BIPM Circular T Section 1, plików CSV MJD,ns lub zapisów zegara stacji IGS RINEX. MODELLED.

• Pola wymagane: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
• Pola opcjonalne: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

optical-atmosphere#

MODELLED optyczne PNT przez atmosferę: dla łącza optycznego i zbioru stacji naziemnych o podanych klimatach chmurowych podaje zależną od długości fali i elewacji stratę w czystym powietrzu (prawo widzialności Kima plus Rayleigh), stan turbulencji Hufnagela-Valleya (wariancja Rytova, wskaźnik scyntylacji, parametry gamma-gamma, uśrednianie apertury), zależną od pogody dostępność względem zapasu łącza (głębokość optyczna chmur z logarytmiczno-normalnego klimatu wody ciekłej, ekstynkcja w optyce geometrycznej, niezależny zanik turbulencyjny), zapas łącza potrzebny dla docelowych dostępności, rozkład czasu trwania przerw, narastanie błędu czasu i odległości przy każdej przerwie według modelu holdover zegara, dostępność dywersyfikacji stacji skorelowaną odległością oraz zyski w scenariuszach „co by było, gdyby” dla technik ulepszania (długość fali, apertura odbiorcza, redukcja scyntylacji optyką adaptacyjną, dodatkowy zapas). VALIDATED jako implementacja podanych wzorów względem niezależnej wyroczni mpmath: wariancja Rytova, wskaźnik scyntylacji, prawdopodobieństwo zaniku gamma-gamma, współczynnik uśredniania apertury, głębokość optyczna chmur i czystego powietrza. MODELLED: każde wejście dotyczące pogody, techniki i zegara oraz założenia niezależności i kopuły; nie porównano żadnego zmierzonego zapisu dostępności. Analiza wyłącznie doradcza, a nie produkt dostępności ani nawigacji objęty certyfikacją.

• Pola wymagane: (brak)
• Pola opcjonalne: wavelength_nm, elevation_deg, availability_targets_pct, link, atmosphere, site, network, technique, clock, timeseries

holdover-test#

MODELLED test holdover systemu synchronizacji czasu, oceniany na podstawie zapisu błędu czasu dostarczonego przez OPERATORA (log linuxptp ptp4l, phc2sys lub ts2phc, log chrony tracking lub statistics, log zegara TICC, TimeLab lub RINEX albo pary time_s,time_error_ns). Test ma cztery kroki i Kshana nie wykonuje żadnego z nich: zablokowany punkt odniesienia (BASELINE), GNSS ODŁĄCZONY przez operatora (kabel antenowy lub wyjście symulatora; Kshana niczego nie nadaje i niczym nie steruje) w podanym czasie, HOLDOVER na własnym oscylatorze systemu oraz ODZYSKANIE po przywróceniu przez operatora GNSS w drugim podanym czasie. Zapis jest dzielony w tych dwóch momentach. Punkt odniesienia: statystyki błędu czasu i maski ITU-T napisane dla zegara zablokowanego. Holdover: statystyki, ułamkowe przesunięcie częstotliwości, które system utrzymał (prosta metodą najmniejszych kwadratów), maski napisane dla holdover lub zegara autonomicznego, obwiednia holdover ePRTC-A z podanego czasu zablokowania oraz czas przekroczenia każdego budżetu błędu czasu. Odzyskanie: czy i kiedy |TE| zmieścił się w podanym paśmie i w nim pozostał, wartość szczytowa i największy skok. Każdy limit jest przepisany z publicznej tabeli ITU-T (maski synchronizacji telekomunikacyjnej); sformułowanie brzmi „zmierzone względem maski”, a oba momenty są oświadczeniem operatora, nie są weryfikowane. Zapis zbyt krótki dla maski to INCOMPLETE, nigdy nie jest ekstrapolowany. Zob. docs/TIMING-HIL.md.

• Pola wymagane: test, series
• Pola opcjonalne: masks, budgets

gnss-ssv#

MODELLED dostępność GNSS i siła łącza w Space Service Volume i poza nim: dla użytkownika na sferze (globalna powłoka z broszury ICG) lub na keplerowskiej trajektorii (od LEO do transferu księżycowego) liczy, dla każdej konstelacji (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) i dla wszystkich razem, sygnały użyteczne powyżej progu C/N0 - dostępność co najmniej jednego i czterech sygnałów, maksymalny czas przerwy, odbierany C/N0, współczynnik DOP, łącza głównego płata wobec łączy płatów bocznych - z wykresem promieniowania nadajnika z broszury, parametrycznym lub dostarczonym przez użytkownika, opcjonalną jonosferą promienia stycznego, efektami plazmosfery i atmosfery oraz opcjonalnym projektem odbiornika słabych sygnałów; także pokładowy rozszerzony filtr Kalmana GNSS dla statków na orbitach HEO i transferu księżycowego (dynamika orbitalna, ciśnienie promieniowania słonecznego, ciała trzecie, zegar) oraz nawigacja względna formacji wielu statków kosmicznych z pseudoodległości o pojedynczych różnicach. Sprawdzone względem tabel broszury ICG SSV w ramach wstępnej rejestracji (xval/gnss-ssv)

• Pola wymagane: shell|trajectory|navigation
• Pola opcjonalne: name, constellations, transmit, receiver, atmosphere, formation

mission-thread#

MODELLED: budżet błędu nawigacji i czasu podanego łańcucha faz misji, od startu do wejścia w atmosferę: start i wznoszenie, spotkanie i połączenie na niskiej orbicie okołoziemskiej (powtarzalne), wtrysk translunarny i lot cislunarny, spotkanie na orbicie księżycowej, lądowanie, pobyt na powierzchni, wznoszenie oraz powrót i wejście w atmosferę, każda faza jednym z ośmiu zarejestrowanych rodzajów z własnymi czujnikami i filtrem. Kowariancja 6x6, zegar i układ odniesienia są przekazywane z fazy do fazy według podanej zasady (carry, inflate lub reacquire); konwersje układów odniesienia i skal czasu (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) są osobnymi wierszami budżetu, ze stanem Księżyca z opcjonalnego wycinka jądra DE440 i z serii analitycznej jako podanym zapasowym wariantem. Opcjonalna nakładka sieci naziemnej ustala cykl śledzenia każdej fazy. Podaje budżet każdej fazy (1-sigmy na wejściu, w szczycie i na wyjściu, każdy wkład z jednostką), margines względem podanego wymagania, najsłabsze ogniwo, zdarzenia i wykres osi czasu. MODELLED: każda liczba jest podanym wejściem; łańcuch podąża za jednym stosem i żaden pojazd nie jest modelowany. Tylko źródła publiczne; bez powiązań z żadną agencją i bez jej poparcia; oprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.

• Pola wymagane: epoch_utc, entry, phase
• Pola opcjonalne: kind, title, seed, moon_kernel_path, ground_network