Minimum Time-Domain Tap Determination Algorithm Using Satellite Anti-Jamming Channel Characteristics
Abstract: Space-time adaptive processing (STAP) is a classic anti-interference algorithm for satellite navigation. In engineering applications, the number of time-domain taps of STAP not only ...
SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results