← Back
Home › Systems › Telecom

gnss-receiver

GNSS receiver

GPS chips

SystemTechniques · 7Primitives · 27 gnss-receiver Orbit propagationnumerics · medium: Propagate satellite orbits (Kepler, SGP4, numerical with perturbations) and frame transformsGnss signal acquisitionsignal-processing · medium: FFT-based parallel code-phase and Doppler search to detect satellite signalsGnss tracking loopssignal-processing · medium: DLL/FLL/PLL loops with early-prompt-late correlators tracking code and carrierPseudorange least squares positioni…signal-processing · medium: Iterative least-squares position and clock bias from pseudoranges with atmospheric correctionsRtk ambiguity resolutionsignal-processing · medium: RTK carrier-phase differencing and integer ambiguity resolution (LAMBDA) for cm positioningSpherical harmonic transformnumerics · medium: Fast spherical harmonic transforms via FFT in longitude and Legendre in latitudeFft convolutionsignal-processing · medium: Overlap-add and uniformly partitioned convolution for long FIR filters and reverbFast Fourier transformnumerics · low: Computes the DFT in O(n log n) by recursively splitting into even and odd halves; the basis of fast convolution and spectral methods.›Digital down conversionsignal-processing · low: NCO mixing to baseband, CIC/FIR decimation and IQ handling for SDR receiversPhase-locked loop (digital)signal-processing · low: Feedback loop that locks a local oscillator to the phase and frequency of an input tone; the core of carrier recovery, clock recovery and GNSS tracking.›Extended Kalman filterrobotics · low: Kalman filter for nonlinear motion and measurement models: linearize f and h with Jacobians at the current estimate each step. The default estimator in robot navigation.›SIMD programminghardware-os · low: Process 4-16 lanes per instruction with AVX2, AVX-512 or NEON via Rust std::arch, with runtime dispatch and a portable fallback.›Deterministic fixed-point mathgame-networking · low: Bit-identical simulation math across CPUs, compilers and builds: integer fixed-point formats, the float traps (FMA, x87, fast-math, libm), deterministic trig, sqrt and RNG.›CRC32C checksumshardware-os · low: The Castagnoli CRC-32 with dedicated instructions on x86 (SSE4.2) and ARMv8. It is the standard fast integrity check for storage blocks, logs and network frames.›Convolutional codes and the Viterbi…signal-processing · low: Streaming error-correcting code: each output bit is a parity of the last K input bits; the Viterbi decoder finds the most likely path through a 2^(K-1)-state trellis.›Adaptive Runge-Kutta (Dormand-Princ…numerics · low: An embedded 5(4) Runge-Kutta pair estimates each step's error for free and resizes the step to meet a tolerance; the default non-stiff solver.›Rigid-body transforms (SE(3) poses)robotics · low: Represent, compose, invert, integrate and interpolate 3D poses as unit quaternion plus translation, with exp/log maps for small motions and uncertainty.›Calendar date arithmeticsystems · low: Civil dates, time zones (tzdb), DST gaps, month-end anchoring and duration mathPeak detectionsignal-processing · low: Robust peak and event detection in noisy signals with adaptive thresholds and refractory periodsIIR and FIR filterssignal-processing · low: Two ways to shape a sampled signal's spectrum: FIR (finite taps, always stable, exact linear phase) or IIR (feedback, a few coefficients, cheap but phase-distorting).›LU and Cholesky factorizationnumerics · low: Factor A = PLU (any square matrix, partial pivoting) or A = LLᵀ (SPD) once in O(n³), then solve each right-hand side in O(n²).›Newton root findingnumerics · low: Linearize at the guess and jump to the tangent root; quadratic convergence near a simple root, made robust by brackets (1D) or line search.›Robust statisticsstatistics · low: Location and scale estimates (median, MAD, trimmed mean, Huber M-estimator) that stay correct when a minority of the data is garbage.›+ 11 more primitives

Similar systems

Share the most building blocks with this one.