Skip to main content Crate kshana Copy item path Source allan api Scenario dispatch shared by the CLI and the language bindings. batch_ls Gauss–Newton weighted batch least squares — the batch differential corrector. chart Shared SVG charting helpers used by the per-pack chart renderers. cio IAU 2006/2000A CIO-based celestial-to-terrestrial reduction (GCRS↔CIRS↔ITRS). cr3bp Circular restricted three-body problem (CR3BP) for the Earth–Moon system. detection Detection-theory primitives for the spoof monitor. ensemble Monte Carlo ensembles for the clock-holdover scenario. ephem Built-in low-precision analytical ephemerides for the third-body perturbing bodies, so
the numerical propagator’s third-body force (crate::forces::third_body_accel estimator filter_health Kalman filter-consistency health monitoring (NIS / NEES). fom forces Orbital force model: two-body gravity, the zonal-harmonic field, and third-body gravity. frames Reference-frame reduction and a geodetic ground-station observer. fusion Joint Kalman sensor-fusion estimator. glonass GLONASS broadcast ephemeris: a PZ-90 state-vector model with RK4 propagation. gnss_sim Measurement-domain GNSS simulation: pseudoranges with ionospheric and
tropospheric delays. gravimeter Cold-atom gravimeter measurement model and a spherical-harmonic gravity-anomaly
reference field for gravity-map-matching navigation (GPS-denied alt-PNT). hybrid igrf IGRF-14 geomagnetic main-field model — an alternative-PNT signal source. inertial integrator Adaptive numerical ODE integration: classical RK4 with step-doubling control, and a
Dormand–Prince RK5(4) embedded pair. ionex IONEX-style total-electron-content (TEC) maps and the ionospheric range delay. jamming RF interference (jamming) model: J/S → effective C/N₀ → loss of lock. jd2 Two-part (high-precision) Julian dates. kalman Two-state Kalman clock estimator. lunar Cislunar PNT integrity: ARAIM for a LunaNet-style lunar navigation service. maneuver Impulsive / finite-burn maneuvers, a Lambert two-body transfer solver, and a
porkchop (departure × arrival C3 / arrival-V∞) sweep — the maneuver-modeling and
trajectory-design beachhead. mapmatch Map-matching measurement model for terrain-/gravity-referenced navigation. models nutation IAU 2000B nutation and the full TEME→GCRS/J2000 inertial reduction. oem CCSDS Orbit Ephemeris Message (OEM) writer. omm CCSDS OMM (Orbit Mean-Elements Message, 502.0-B-2) writer. orbit Keplerian-orbit propagation and GNSS line-of-sight visibility. orbit_determination Orbit determination: recover a satellite’s orbital state from ground-station tracking. particle_filter Sequential-importance-resampling (SIR) particle filter. permalink Shareable scenario permalinks (self-contained Base64, RFC 4648). precession IAU 2006 precession: Fukushima–Williams angles and the precession rotation matrix. propagator Numerical orbit propagator: a configurable force model integrated by the adaptive
Runge–Kutta driver, the first non-analytic propagator in Kshana (the rest of the
orbit stack is the analytic SGP4/SDP4 of crate::sgp4 raim Snapshot Receiver Autonomous Integrity Monitoring (RAIM). report rinex RINEX 3 navigation-message (broadcast ephemeris) parser. rinex_obs RINEX 3.0x / 4.00 observation-file parser. run scenario security Spoofing-detection security figure of merit. sgp4 SGP4/SDP4 analytical orbit propagation. sp3 SP3-c/d precise-ephemeris reader and writer. spoof Active time-spoofing attack demonstrator. spoof_monitors RF-layer spoofing monitors: AGC received-power and signal-quality (SQM). sweep Trade-study parameter sweeps. timegeo Geometric time-transfer corrections: the Sagnac effect and GNSS common-view. timescales Time scales and the Julian-date API. timetransfer timetransfer_adv Advanced time-and-frequency transfer. tle Two-line element set (TLE) ingestion. types walker Walker-delta constellation design on the validated SGP4 core.