Én motor til hele fejlkæden.

SGP4/SDP4-propagering ud fra virkelige two-line elements (et indlagt Celestrak-snapshot af GPS) eller syntetiske Walker-konstellationer, hvis middelelementer realiserer formlen i:T/P/F til under 1 km over 24 timer. Synlighed for flere konstellationer, præcisionsfortynding og GNSS-tilgængelighed, en optimering af konstellationsudformning, dimensionering af streets-of-coverage og en sweep over Walker-udformninger, der rapporterer de Pareto-optimale udformninger over et gitter af planer × satellitter.

En numerisk (Cowell) propagator som supplement til den analytiske SGP4/SDP4-vej, med en hierarkisk kraftmodel: tolegemeproblemet + det fulde zonale felt J2–J6, et valgfrit tesseralt geopotentiale EGM2008 til grad/orden 70, tredjelegemetyngdekraft fra Solen og Månen drevet af epoken (en indbygget efemeride, ingen DE/SPK-kerne), solstrålingstryk med en konisk skygge af umbra/penumbra, atmosfærisk modstand, den post-newtonske relativistiske Schwarzschild-korrektion og Lense–Thirring-leddet for frame-dragging — drevet af et valg mellem adaptive integratorer, RK4 med trindobling eller Dormand–Prince RK5(4).

Impulsive ΔV-noder med kovariansudbredelse på 6×6, integration af finite burn kontrolleret mod Tsiolkovskys raketligning til under 0,01 %, en Lambert-løser af Izzo-2015 for én omgang og en eksakt Kepler-propagator med universelle variable samt en porkchop-sweep (opsendelse × ankomst) af C3 / ankomst-V∞ udsendt som et JSON-konturgitter — laget til simulering af ydeevne oven på GMAT/Orekit.

IERS-skalaer for UTC / TAI / TT / UT1 med skudsekunder, et API for juliansk dato, IAU-2000 Earth Rotation Angle, GMST-baseret TEME ↔ ECEF og geodætiske WGS-84-systemer, fuld IAU 2000A/2000B-nutation og IAU 2006-præcession samt den jævndøgnsfri CIO-baserede reduktion IAU 2006/2000A GCRS↔ITRS med IERS-polbevægelse — valideret bit for bit mod SOFA/ERFA-vektorerne og uafhængigt krydskontrolleret mod ANISE (SPICE i ren Rust): GCRS→ITRS mod ANISE ITRF93, samme IERS EOP, stemmer til ≤ 0,86 m på jorden / ≤ 3,6 m i GNSS-bane.

En forudsigelse af jordens orientering i operationel stil — mindste kvadrater over bias, rate og de vigtigste periodiske led over et efterfølgende vindue — målt mod virkeligt arkiverede forudsigelser fra Bulletin A og ikke mod persistens. Det offline standardinput er et virkeligt IERS finals2000A-produkt med rækker for forudsigelser fra Bulletin A, så en blank kørsel udsender en udfyldt tabel pr. horisont i stedet for en tom. UT1 og polbevægelse rapporteres over et fælles rækkesæt sammen med deres kombination, så det samlede tal er én statistik og ikke en kvadratisk sum af to forskellige stikprøver.

Treakslet strapdown INS — attitude med kvaternioner, NED-mekanisering i WGS-84, kompensation for coning/sculling og en fuld deterministisk IMU-fejlmodel — samt et kold-atom-interferometer-accelerometer ud fra grundlæggende principper (Mach–Zehnder-fase, projektionsstøj, kontrastaftagning, vibrationskobling) og et partikelfilter til navigation uden GPS med reference til terræn/tyngdekraft.

Positionsfejl mod coasting-varighed ud fra et IMU-fejlbudget — bias, tilfældig gang og skalafaktor, hver med sin egen vækstlov og sin egen andel af overskridelsen — så prisen for et navigationsudfald er en beregnet kurve og ikke en fejende driftrate. Tærskeloverskridelser er motorens output, med det dominerende bidrag angivet ved hver enkelt, over fire IMU-klasser, og et interval for terrænfix scores i sin egen blok, så de overordnede overskridelser forbliver uden støtte.

En målemodel for et kold-atom-gravimeter, hvis hvidstøjgulv er udledt af fysikken i CAI-accelerometret, et fuldt normaliseret sfærisk-harmonisk tyngdeanomalifelt af lav grad plus syntetiske mascons og et partikelfilter til matchning af tyngdekraftskort — udvidet til terrænreferenceret navigation mod en SRTM-højdemodel (TERCOM/SITAN), et geomagnetisk hovedfelt IGRF-14 til grad/orden 13 og en kombineret navigator med tyngdekraft + magnetfelt + terræn, der fusionerer alle tre skalarkanaler. En benchmark på 60 minutter uden GPS — et udfald på ~700 km / én time, hvor den inertiale løsning driver til ~70 km — genfindes til ~145 m af en hierarkisk matcher fra grov til fin: målet i ESA NAVISP Quantum Wayfarer.

Et EKF med fejltilstand og 15 tilstande, der coaster gennem GNSS-udfald på en kalibreret inertial løsning; en tæt koblet pseudoafstandstilstand, der fortsætter med at korrigere med færre end fire satellitter; et koblet filter for ur + position; en generel unscented (sigma-punkt) Kalman-estimator; en tæt koblet GNSS/INS-UKF-navigator, valideret til 0,77 m RMS gennem et udfald på 120 s i en kurvet LEO-overflyvning; og en fuld tæt koblet GNSS/INS-UKF med 17 tilstande, hvis kvante-CAI-dødregning coaster udfaldet på kold-atom-accelerometrets udledte velocity-random-walk.

Genfinding af en banetilstand ud fra afstandssporing fra jordstationer, sammensat af kraftmodellen med to legemer + J2 og RK4-integratoren med en Gauss–Newton-korrektor til batch-differentiering (under en meter / mm·s⁻¹ ud fra støjfri afstande, ~2 m ved et støjgulv på 5 m) og en sekventiel variant med unscented filter.

Et generelt, genbrugeligt lag for Fisher-information / Cramér–Rao (src/fim.rs): informationsmatricen M = HᵀWH, den nedre Cramér–Rao-grænse, observerbarhedsrang og nulrummet for datumdefekten (Moore–Penrose-pseudoinvers) samt D/A/E/T-optimale skalarer til forsøgsdesign fra en symmetrisk Jacobi-egenværdiløser. Det ligger under DOP-motoren, grænsen for passiv geolokalisering og resultatet om observerbarhed for absolutte stationer ved Månen — intern afstandsmåling efterlader en datumdefekt for et stift legeme med seks frihedsgrader, som en VLBI-binding på en jordbaseline genopretter for en spredt konstellation og skærper for en rig, idet det absolutte datum lukkes ved tre ikke-kollineære jordstationer.

En propagator for det cirkulære begrænsede trelegemeproblem (CR3BP) for Jorden og Månen i det roterende system — en bevaret Jacobi-konstant og alle fem Lagrange-punkter — med en tilstandsovergangsmatrix på 6×6 og en single-shooting-korrektor, der frembringer ægte periodiske halo-/near-rectilinear-halo-baner (NRHO): den gengiver den publicerede sydlige L2 9:2 NRHO (Gateway-banen) med en periode på ~6,57 dage og en perilune på ~3.250 km. Dertil kommer geometri for LunaNet / LNIS cislunar PNT (reduktion MCI↔MCMF, selenografiske koordinater) med en ARAIM-overflyvning ved månens sydpol, der ærligt afslører integritetshullet: en σ_URE på ~30 m driver beskyttelsesniveauet langt over en alarmgrænse på 50 m.

Realiserer et månefast referencesystem ud fra en observationskampagne: en vægtet Gauss–Newton-tilpasning af ligedannethed over geometrien mellem station og reflektor, der rapporterer datum, dets kovarians og den dårligst bestemte akse. Det koblede gauge for referencesystem og tidsskala medføres eksplicit og absorberes ikke, så rangmanglen er synlig i rapporten i stedet for at være begravet i en pseudoinvers.

Sweeper en illustrativ konstellation af klassen Moonlight/LCNS over et selenografisk gitter: synlighed, præcisionsfortynding, dækning og ARAIM-beskyttelsesniveauer pr. epoke mod en konfigurerbar alarmgrænse. Nøjagtigheden af afstandsmålingen for signalet i rummet er en parameter, så sweepet besvarer et krav til afstandsmåling over hele volumenet og ikke bestået/ikke bestået ved én fast værdi.

Måler, hvor langt tre uafhængige, autoritative efemerider for Månen faktisk afviger fra hinanden, og omsætter det til en designlov: det budget for fejl mellem referencesystem og efemeride, som en bruger med blandede leverandører arver, og den konsistenstolerance, en leverandør skal overholde for at holde budgettet inden for en angivet grænse.

Den lineære algebra, som en selvrefererende månekonstellation har brug for for at opdage sine egne fejl uden nogen reference: den vægtede paritetsprojektor i en pseudoinvers form for rangmangel, der overlever gaugen for datum og tidsskala, detekterbarhed pr. knude, Baardas mindste detekterbare bias og Byzantine-antal for detektion/identifikation af block-spark over virkelig DE440-geometri mellem knuderne.

Erstatter den simulerede kampagne med rigtige data: 337 arkiverede ILRS-normalpunkter fra månens laserafstandsmåling på tværs af fem retroreflektorarrays, hvor hver observation vægtes efter sin egen registrerede præcision fra filen. Reflektorernes koordinater er et DE440-katalog i hovedakser, som opbevares under sit eget filnavn, adskilt fra DE430-tabellen for middeljorden. Bruges den ene i den andens rotation, flytter det en reflektor flere hundrede meter, og intet protesterer, fordi begge dele er velformede koordinater.

Differentielle korrektioner mellem en referencestation på Månen og en bruger. Ophævelsen af fællesmode er en eksakt identitet; den rumlige dekorrelationsrest er en geometrisk model af første orden, som vokser med baseline, og restbudgettet for korrektionslinket rapporteres ved siden af, så det begrænsende led forbliver synligt i stedet for at blive foldet ind i ét tal.

Krydsningstider pr. urklasse for en tidsskala på Månen, altså hvornår hver oscillatorklasse holder op med at overholde en angivet grænse uden en opdatering, sammen med en geodætisk VLBI-observabel på Månen og den Fisher-information, den bidrager med til datummet.

Dækningsvolumenet kører på offentliggjorte konstellationsdesign i stedet for et illustrativt: LANS-referencesættet med fem satellitter til interoperabilitetsdemonstration, LNCSS-casestudierne med 8, 12 og 16 satellitter samt de fire rumfartøjer, der den 2023-01-01 faktisk var i kredsløb om Månen, fra JPL Horizons. Hver fil angiver sit eget referencesystem og sin egen proveniensklasse, en horisont ud over slutningen af en tabelleret efemeride afvises i stedet for at blive ekstrapoleret, og det illustrative Kepler-resultat udsendes ved siden af det hentede sammen med forskellen mellem dem og erstattes aldrig af det.

Forholdet mellem jammer og signal pr. satellit over reelle skrå afstande på Månen, hvor siden med det ønskede signal beholdes som en fordeling frem for at blive samlet til en median, så afvisningskonturen bærer det usikkerhedsbånd, som relægeometrien faktisk giver. To kriterier rapporteres side om side: tærsklen for effektforholdet og tab af lås beregnet ud fra sporingssløjfens dynamik. Den orbitale indfangningsflade gennemsøges over senderens højde og strålebredde, og hvor gitteret aldrig når limbindfangning, siger rapporten det og skriver manglen ud.

Akkumulerer de lunare VLBI-forsinkelsespartialer til en Fisher-informationsmatrix over et skema af baselines gange epoker og returnerer kovariansen for stationskoordinaterne, så skridtet fra forsinkelsespræcision til koordinat-sigma estimeres i stedet for at blive antaget. Det frie net rapporteres ved siden af det datumfikserede, med sin rangdefekt og den uobserverbare retning angivet. Kovariansen for overfladepunkter holdes adskilt fra den for jordstationer, fordi nærfeltsbeaconens partial er en forskel mellem to enhedsvektorer for stationer og ikke opfører sig som i fjernfeltstilfældet.

En åben radiometrisk navigationsmotor til dybt rum og Mars: iterativ lystid + Shapiro-forsinkelse, to-/en-/tre-vejs Doppler og afstand (Moyer to-ben), kohærent transponderomsætning, regenerativ/PN-afstandsmåling og Δ-DOR; CCSDS-TDM-ind/ud; et reduceret-dynamisk Square-Root Information Filter (empiriske accelerationer + ur om bord + Mars-modstand), der udfører banebestemmelse i Mars-LMO i en syntetisk lukket sløjfe; fusion af envejs og tovejs; og en MARCONI-konstellation af arealstationære relæer med en end-to-end GSE-ydelsessimulator.

Fejlinjektion giver monitoren på tværs af modaliteter en detektionsstyrke i stedet for en fejlfri gennemkørsel: en mindste detekterbar bias pr. akse ved et angivet budget for falsk alarm og misset detektion. Efter en overdragelse propageres kovariansens genvækst mod alarmgrænserne, så rapporten angiver, hvor længe løsningen med én modalitet holder sig inden for dem, i stedet for blot at sige, at overdragelsen var sammenhængende. De optiske og RF-baserede afstandsben sammenlignes kun ved samme akkumuleringstid og samme vej, og rapporten nægter at danne et forhold mod en værdi, der er valgt i stedet for målt.

RAIM med snapshot og løsningsadskillelse med horisontale og vertikale beskyttelsesniveauer (HPL/VPL), fejldetektion og -udelukkelse samt Stanford-integritetsdiagrammer, plus et eksplicit beskyttelsesniveau for integritetsrisikobudgettet (MHSS) med fejltilstanden for hele konstellationen ved to eller flere konstellationer (EU ARAIM / DO-316).

Motorens MHSS-beskyttelsesniveauer køres mod de offentliggjorte regneeksempler fra referencealgoritmen for luftfartøjer fra EU-U.S. Working Group C, hver transskriberet med sin hentnings-URL, dato, side og fil-SHA-256 og opbevaret to steder, hvor en test hævder, at de stemmer overens. Accept-vektoren er den internt konsistente Reference Airborne Algorithm Description Document v3.1, Appendix D. Rapporten for Milestone 3 indeholder to interne fejl, en fortegnsfejl i geometrien og en multiplikator for falsk alarm, der er beregnet ved 57 fejltilstande, mens teksten angiver én, så dens beskyttelsesniveauer rapporteres som målte afvigelser i stedet for at blive bedømt, og fejlene påvises ved at køre dokumentets egne tal.

SBAS/WAAS-beskyttelsesniveauer i DO-229E's vægtede mindste kvadraters form (K-faktorer for præcisionsindflyvning og en-route) og den ionosfærefri L1/L5-kombination med to frekvenser (IS-GPS-705), som understøtter DO-316, hvor geometrien i beskyttelsesniveauerne er krydstjekket mod en lineær-algebra-implementering som reference.

Holdover med to-tilstands Kalman-filter, stabilitet i Allan-familien (ADEV / MDEV / TDEV / HDEV) med konfidensintervaller og en fuld IEEE-1139 potenslovstilpasning med fem koefficienter samt de operationelle overførselsmetoder: TWSTFT med BIPM's Sagnac-lukkede form, GNSS common-view, PPP-ionosfærefri overførsel, et optisk frirumslink med turbulensscintillation og en tidsskala for et urensemble med inversvarians. En regnemaskine for urets holdover uden GNSS inverterer van-Loan-væksten i frigangsfejl til en holdover-til-tærskel, altså hvor længe et ur kan løbe frit, før dets tidsfejl overskrider budgettet, på tværs af klassiske og kvantebaserede urklasser; modelleret, og ærlig om, at for et meget stabilt ur bestemmes holdover til en stram tærskel af det antagede støjgulv ved lang tau og ikke af den citerede ADEV.

Fremadrettet syntese af pseudoafstand og Doppler med Klobuchar (broadcast) og IONEX / TEC-gitter (målt) som ionosfære, herunder en IONEX-filparser, tidsinterpolation og tyndskals-skråningsafbildning, Saastamoinen + Niell som troposfære og RAIM med snapshot.

En reel modtagerposition løst ud fra reelle RINEX-kodepseudoafstande + broadcast-efemeride ved iterativ vægtet mindste kvadraters metode: Sagnac-/jordrotationskorrektion, broadcast-ur med TGD, den ionosfærefri L1/L2-kombination med to frekvenser (eller Klobuchar med én frekvens), Saastamoinen/Niell som troposfære, elevationsvægtning, DOP og RAIM med snapshot.

En jamming-model med linkbudget (J/S → effektiv C/N₀ → tab af lås), en stokastisk detektor for tidsspoofing (Neyman–Pearson / χ²₁-energitest med Monte Carlo P_fa/P_md og en sikkerhedsFoM på 1 − P_md) og en detektor for spoofing i flere lag, der fusionerer en paritetstest for RAIM-konsistens, en RF-AGC-effektmonitor og en monitor for signalkvalitet (SQM). Dertil kommer et fejlbudget for kvanteinertial dødregning, som sammensætter hvidstøjsdrift fra et koldatom-interferometer med resterende bias (krydstjekket mod en uafhængig integrator) og skalafaktorfejl til et tal for positionsdrift over holdover, altså den inertiale tvilling til urets holdover.

Laget for signalydeevne mellem linkbudgettet og måledomænet: effektspektraltætheder med enhedsareal for BPSK-R(n) og sinus-BOC(m,n), den spektrale adskillelseskoefficient, der udleder anti-jam-Q'et, som jamming-modellen bruger, direkte fra de faktiske signal- og jammerspektre, RMS-båndbredden (Gabor), som fastlægger afstandsmålingens informationsindhold (BOC > BPSK), den termiske støjjitter i kohærent early–late DLL-kodesporing og den kohærente early-minus-late-envelope for flervejsfejl med undertrykkelse via smal korrelator samt en afvejning ved design af afstandskoder (autokorrelationssidelobe for m-sekvens/Gold og den tre-værdi-grænse for Gold-krydskorrelation, plus omvendingen fra kodelængde til entydig afstand). Dette er analyse af signalydeevne og ikke design af RF-nyttelast eller antennehardware.

Find en jammer eller spoofer (eller en opportunistisk kilde til omvendt PNT) ud fra hyperboloider for ankomsttidsforskel på tværs af et netværk af modtagere, løst med Gauss–Newton mindste kvadrater; tilføjes ankomstfrekvensforskel med bevægelige modtagere, genvindes emitterens position og hastighed i fællesskab, med Cramér–Rao-grænsen for positionskovariansen ud fra netværkets geometri. En punktkildemodel med fri sigtelinje, uden led for flervej / NLOS, modtagerurets bias eller refraktion.

Indlæsning af multi-GNSS RINEX-3-broadcast-efemeride (GPS, Galileo, QZSS, BeiDou, GLONASS), en parser til RINEX-3-observationer (RINEX 4,00-observationslayoutet forventes at kunne parses, men ingen 4,00-fil er blevet læst igennem den; RINEX 4-navigationsfiler afvises ved navn), en læser/skriver til SP3-c/d-præcisionsefemeride med Lagrange-interpolation og CCSDS OEM 2,0 + OMM (middelelementer) som eksport til flyvedynamikværktøjer (GMAT, Orekit, STK) samt parsing og udskrivning af CCSDS-TDM (503), sporingsdatabeskeder til radiometrisk sporing i dybt rum.

En krydsreference fra krav til modul til test til uafhængig reference til status, gengivet fra selve motoren (Markdown/CSV), med enhedstestede ærlighedsinvarianter: en række må kun mærkes valideret, hvis den har en uafhængig ekstern reference (NIST / AIAA / SOFA / IGS / en offentliggjort værdi), så en intern selvkonsistenstjek ikke kan udgive sig for en validering, og de hardware-/PA-funktioner, som Kshana ikke leverer, registreres som huller, der ejes af partneren. Den eksekverbare rygrad for en ECSS-E-ST-10-02-verifikationskrydsreference.

Hvert numerisk felt, et scenarie udsender, bærer en enhed og en proveniensklasse fra et lukket vokabular, med en definition, hvor en findes, offentliggjort som et maskinlæsbart skema ved siden af motoren. En ratchet-port kører hver indbygget art og fejler på et felt, der ikke har nogen; de arter, der endnu ikke er komplette, nævnes én for én med grunden til, at hver stadig er åben, og listen kan kun blive kortere. Rapporter, der angiver deres egne konstanter, som linkbudgettet for envejs og budgettet for optik og RF, lader en læser genberegne hovedtallet ud fra rapporten alene.

Missionsdesignbudgetter af første orden, hver et scenarie der kan køres: opsendelses- og stigningsgeometri for to legemer (opsendelsesazimut, mindste inklination, bonus fra jordens rotation, Δv for planskift med dogleg, daglige muligheder), en ballistisk Allen–Eggers-korridor for genindtræden (maksimal deceleration, hastigheder ved maksimal g og maksimal opvarmning), dækningsgeometri for jordobservation (swath / nadir-GSD / adgang uden for nadir / revisit via SMAD-rumtrekanten), et budget for attitude og pegefejl med 3 frihedsgrader (gravitationsgradientmoment + RSS-pegebudget), forudsigelse af passager over jordstationer (AOS/TCA/LOS, maksimal elevation, adgang) og et envejs linkbudget over CCSDS 401 / DSN 810-005-linkligningen (FSPL, C/N₀, Eb/N₀, margin, lukning). Det analytiske lag før hardware under STK/GMAT/Basilisk: modellerede budgetter af første orden og ikke en erstatning for 6-DoF eller radiometri.

En kontaktplan og et antal aperturer ind; driftscyklus for navigation, driftscyklus for kommunikation, udfald pr. session og konflikt ud. Arbitreringspolitikken nævnes i rapporten i stedet for at blive underforstået, og en session, der ikke kan betjenes fuldt ud, rapporterer den andel af den, der gik tabt, i stedet for at forsvinde i et gennemsnit.

En miljømodel for rumvejr: solar (F10.7 / centreret 81-dages F10.7a) og geomagnetisk (Kp, med den definitionsmæssige Kp↔ap-tabel) aktivitetsindeks, den eksosfæriske temperatur fra Jacchia-1971, som de driver, og den aktivitetskorrigerede mod den statiske neutrale termosfæriske massefylde i højden, altså den afhængighed af solcyklussen i massefylden, som en statisk atmosfære udelader. En kalibreret kobling af første orden via skalahøjde og ikke en datavalideret NRLMSISE-atmosfære.

Et testbed til evaluering af detektion af RF-forstyrrelser: et mærket, parameterbaseret syntetisk korpus (nominel / jamming / spoof-tid / spoof-position / flervej), en detektoragnostisk ROC/AUC-harness, der scorer enhver detektor med Pd pr. klasse ved en mål-Pfa, og optimismegabet mellem inden for og uden for fordelingen. Et dybere studie af optimismegabet udvider dette til et panel med 13 detektorer (energi / AGC / SQM / paritet plus seedede detektorer med logistisk regression og MLP med ét skjult lag), skaleringslove inden for og uden for fordelingen med en permutationsnul og en leave-one-out-prædiktor for forringelse uden for fordelingen; en front end til softwaredefineret modtager (rå IQ/IF til korrelatorernes early/prompt/late-aftap til SQM) og adaptere til indlæsning af reelle data (RINEX, u-blox UBX, GnssLogger, JammerTest, Yunnan, SatGrid) lader de samme detektorer køre over optagelser, der leveres lokalt. Dertil en afvejning mellem kvante og klassisk PNT, der kvantificerer fordelen ved et kandidat-urs tidssynkronisering og inertialt holdover ud fra en målt ADEV-kurve mod en klassisk baseline, med en modstandsdygtighedskuvert mod tid uden GNSS. Modellerede driftskarakteristikker, aldrig felt- eller IQ-data, ingen dom om godt eller dårligt.

Et reproducerbart kort over, hvor en kvantesensor overhaler sin klassiske modpart under parameterusikkerhed: koldatom mod dødregning af navigationsklasse og optisk mod chip-skala-ur i holdover, over udfaldets varighed og platformens vibration, hver kurve med en etiket for teknologisk modenhed. Kan genskabes med cargo run --bin crossover_study. Modellerede ydelsesbudgetter: inputtene er offentliggjorte eller afgrænsede koefficienter og ikke flyvedata.

En holdover-begrænset grænse for den uopdagede tidsfejl under GNSS-spoofing: givet et uafhængigt krydstjek er den leverede tidsfejl afgrænset af et k-sigma-gulv for monitoren, van-Loan-frigangsvariansen over detektionsforsinkelsen og en CUSUM-tid til alarm. Kalibreret på en reel optaget spoof (JammerTest 2024) og kan genskabes med cargo run --example tpl_jammertest. Modelleret sammensætning, betinget af detektion: der findes ingen endelig ubetinget grænse, fordi en tilstrækkelig langsom rampe undgår en enkelt urstøttet monitor.

En scoringsmotor afstemt efter et rammeværk (DHS RPCF-kategorier), som afbilder en arkitekturs simulerede adfærd på delscorer pr. dimension og derefter spørger, om en enkelt samlet score eller et modenhedsniveau er et stabilt grundlag for en beslutning, via et Dirichlet-vægtningssimpleks, Kendall-tau-rangustabilitet, andelen af skift i top-1-vinderen og kollaps af fællesmode-diversitet (Hill-N2), med en integritetshashet sikringsrapport. Kan genskabes med cargo run --example resilience_report. Modellerede syntetiske arkitekturer afstemt efter RPCF v2.0; en selvvurdering og ikke en certificering.

En bro fra misset detektion til integritet: en uopdaget bias, som en misset spoof-, jam- eller RAIM-detektion efterlader, forstørrer den effektive positionsfejl, som holdt op mod kontekstspecifikke alarmgrænser klassificeres i Stanford-ESA-integritetsregionerne (tilgængelig / utilgængelig / vildledende / farlig). Sammensætter den eksternt forankrede Stanford-klassifikation for RAIM og tilføjer ingen ny integritetsmatematik.

En ROI-vinkel på omkostning pr. dækning: omkostning pr. enhed leveret dækning ved en afvejning mellem konstellationer eller arkitekturer. Dækningsdelen sammensætter den validerede dækningsgeometri, og regnestykket er enhedstestet, men omkostningen er et input fra brugeren, så forholdet er et planlægningsværktøj og ikke en eksternt valideret størrelse (derfor ærligt talt intet bevismærke).

En versioneret, selvbeskrivende kuvert, der omslutter et scenarieresultat med dets art, skemaversion og etiketterne modelleret/valideret, så en gemt artefakt forbliver selvdokumenterende, og ældre kuverter fortsat kan læses fremadkompatibelt.

Scorer, om et fartøjs positionsbestemmelse kan stoles på, ud fra den NMEA 0183, som dets modtager og instrumenter allerede udsender: en score fra 0 til 100, tre bånd og årsagerne bag dem, pr. epoke, i batch, live eller som port. Monitorerne sammenligner positionsbestemmelsen med fartøjets egen bevægelse, kursføler, log og signalstyrker for satellitter. Vejledende software, ikke typegodkendt navigationsudstyr: operatøren er fortsat ansvarlig. Monitorernes regnestykker er kontrolleret mod uafhængige biblioteker; scorens regel og tærskler er projektets egne og forbliver modelleret.

Skriver syntetisk NMEA 0183 fra broen for en scriptet sejlads med jamming, positionsdrag-off, tidsspoofing og replay-hændelser scriptet af instruktøren, med en instruktørlog, så en besætning kan se, hvordan en forringet positionsbestemmelse ser ud på deres egne instrumenter. Kun tekst, aldrig til et fartøjs aktive navigationssystemer; intet udsendes, og intet radiosignal fremstilles. Sætningerne og deres afkodede værdier er kontrolleret; modellerne for modtager, himmel og hændelser er modellerede.

Bygger et GeoJSON-kort pr. dag over, hvor fly (ADS-B) og skibe (AIS) har rapporteret forringede navigationsdata, ud fra åbent licenserede inputs, og den andel af en rute, der går gennem forringede celler. En forringet celle er en påstand om rapporterede nøjagtighedsfelter eller usandsynlige positioner og ikke en konstatering af interferens, og en celle, som ingen har observeret, er ikke belæg for en fri rute. Tidligere rapporter og ikke en prognose.

Eksporterer tillidsstrømmen som Prometheus-målinger, OpenTelemetry (OTLP/HTTP) og CEF- eller LEEF-syslog-hændelser over stdout, HTTP, UDP eller TCP, så et sikkerhedsoperationscenter ser en navigationsfejl ved siden af sine øvrige alarmer. En død indsamler hverken gør, at vurderingen går i stå, eller går ubemærket hen. Prometheus, OTLP og CEF læses tilbage af uafhængige parsere; LEEF kontrolleres kun mod sin egen specifikation.

Samler vinduet omkring en tillidshændelse i en hashkædet, Ed25519-signeret pakke, som enhver kan verificere offline: en ændret, fjernet, udskiftet eller tilføjet fil, en gensigneret pakke eller en forkert fastlåst nøgle bliver nævnt. Et valgfrit RFC 3161-tidsstempelbevis er bundet til den. En teknisk registrering og ikke en juridisk udtalelse, en konstatering af faktum eller en attestering.

Skriver et scenaries køretøjsbevægelse og hændelser som en CSV-bane og NMEA 0183 til en GNSS-simulator i laboratoriet: jordfaste, geodætiske og lokale hastighedskolonner, attitude og UTC. Kun bevægelse og hændelser: intet signal skrives, og der påstås ingen ydeevne for simulator eller modtager.

Afbilder Kshana-output på paragrafferne i offentlige rammeværker (IMO-vejledning for skibe, EU's NIS2 artikel 21, EN 16803, USA's DHS-rammeværk for modstandsdygtig PNT og EASA-vejledning for luftfart) udelukkende efter paragrafnummer, udfyldt ud fra de kørsler, du giver den, og angiver, hvilke rækker et sæt kørsler leverer belæg for, med hver rækkes hul. Det er ikke en konstatering af, at noget rammeværk er opfyldt, og ikke en vurdering eller godkendelse fra nogen side.

En åben verifikator i ren Rust på modtagersiden til Galileo Open Service Navigation Message Authentication: den kontrollerer, hvilke satellitters navigationsdata en modtager kan autentificere ud fra I/NAV-sider eller en u-blox UBX-strøm, gennem kontrollerne af offentlig nøgle, nøglekæde og tags i specifikationen for signalet i rummet, og rapporterer autentificering pr. satellit og pr. tidspunkt. Den autentificerer data; den påstår ingen ydeevne mod spoofing.

Hvilke satellitter et sted kan se, når bygninger, kajer, kraner eller terræn blokerer en del af himlen, og hvad det gør ved præcisionsfortyndingen (DOP) og den horisontale fejlellipse. En azimutafhængig horisontlinje erstatter den enkelte elevationsgrænse; det synlige sæt, dets DOP og ellipsen kommer ud pr. epoke og pr. konstellation. En horisontlinje fjerner satellitter med fri sigtelinje og intet andet: den modellerer hverken refleksioner, diffraktion eller signalstyrke.

Reduktionerne af gadekløft, sektor og terræn til en horisontlinjetabel, fire repræsentative forudindstillinger (bygade, havneindsejling, fjord, containerterminal) og de funktioner, der sammensætter dem til et skyplot og en Monte Carlo-sky, fra CLI, MCP, Python og browseren. Forudindstillingerne er repræsentative geometrier med valgte, angivne dimensioner og ikke opmålinger, og reduktionerne er kun kontrolleret mod håndberegnede værdier.

Stiller satellitgeometrien ved siden af tillidsscoren for modtageren og angiver en klasse for hvert fradrag: tab af signal, dårlig geometri eller en uoverensstemmelse mellem modtagerens angivne DOP og den, der udledes af de satellitter, der er i sigte. Geometrien bedømmes kun, når den er kendt, og etiketten er hovedpunktet: kun en dårlig geometri koster point. Vejledende software, ikke typegodkendt navigationsudstyr.

Ét reproducerbart studie af, hvad en referencestation ved Månens sydpol kunne gøre under offentlige antagelser: et dækningskort og nøjagtighedskort over polarområdet (percentil for korrigeret og ukorrigeret positionsfejl, tilgængelighed med en begrundelse for hver utilgængelig epoke, beskyttelsesniveauer og budgettet for korrektionslinket), et tidslaboratorium, der holder en tidsreference for Månen på et atomur, og geodæsien for en tilføjet laserretroreflektor og VLBI-beacon mod datummet med fem arrays. Hvert input er mærket med sin offentlige kilde eller som illustrativt. Det er ikke en udtalelse om ydeevnen i noget reelt system, og Kshana er ikke tilknyttet nogen myndighed.

Hvor ofte et optisk tidsoverførselslink er oppe, når atmosfæren ligger i vejen. For hvert jordsted giver motoren tabet i klar luft, Hufnagel-Valley-turbulenstilstanden med gamma-gamma-scintillationsfades og aperturmiddelværdi, tilgængeligheden mod linkmarginen ud fra et angivet skyklima, loftet, som ingen margin kan løfte, fordelingen af udfaldets varighed og den tidsfejl, et udfald koster et ur i holdover. Derefter viser den, hvad flere steder, en større apertur, en anden bølgelængde eller adaptiv optik giver. De medfølgende skyklimaer er illustrative og ikke målte; outputtet er vejledende.

For et rumfartøj på en kugle (den globale skal i ICG Space Service Volume-hæftet) eller på en Kepler-bane fra LEO til lunar transfer tæller den pr. konstellation (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) og for alle samlet de signaler, der ligger over en C/N0-tærskel: tilgængelighed af ét og af fire signaler, længste udfald, modtaget C/N0, præcisionsfortynding og links via hovedlobe i forhold til sidelobe. Sendemønstrene er hæftets, en parametrisk erstatning eller et, du leverer; en model for ionosfære, plasmasfære og atmosfære med limbstråle og et design af modtager til svage signaler er valgfrie; et GNSS-filter om bord til høje baner og baner til lunar transfer og relativ navigation i formation er med. MODELLED: sammenlignet med hæftets tabeller under en præregistrering fastlagt før kørslen stemmer konstanterne for mindste udstrålede effekt og Månens tærskel overens, de øvrige tærskler er NOT MET under den præregistrerede aflæsning (næsten alle på grund af hæftets inkonsistente strålevinkel for GLONASS), og den parametriske sidelobe-erstatning gengiver ikke de målte GPS-panelmønstre.

Fem studier i en begrænset trelegememodel: banebestemmelse med Jord-GNSS om bord i en næsten retlinet halobane mod en uafhængig bestemmelse af afstand og afstandshastighed fra jorden; fælles fastsættelse af heltalsmultiplicitet i bærebølgefasen for en overfladestation og en orbiter (LAMBDA); Fisher-informationen for et lunart datum med syv parametre med og uden afstande fra orbiter til overfladen; GNSS-, VLBI- og laserafstandsforskydninger mod det lokale tie; og følsomhed over for parametrene for lunare tidevand og libration. MODELLED med illustrative inputs: numerikken er kontrolleret mod uafhængige numpy- og scipy-programmer og ikke fysikken. Under de præregistrerede tærskler er tre NOT MET: en injiceret kraftfejl opdages ikke med den angivne rate (C3), den bootstrappede succesrate afviger fra numpy-referencen med 1.7e-6 mod en tærskel på 1e-9 (Q3), og tilføjelsen af en afstandsfamilie sænker ikke altid pseudoinversens spor (G3, spordelen).