Inverse synthetic aperture radar (ISAR) can achieve high-resolution two-dimensional images of maneuvering targets. However, due to the indeterminate relative motion between radar and target, ISAR imaging does not provide the three-dimensional (3-D) position information of a target and suffers from great difficulty in target recognition. To tackle this issue, a 3-D interferometric ISAR (InISAR) ...

Interactive Theorem Provers have a long tradition, going back to the 1970s when interaction was introduced as a concept in computing. The main provers in use today can be traced back over 20–30 years of development. As common traits there are usually strong logical systems at the bottom, with many layers of add-on tools around the logical core, and big applications of formalized mathematics or ...

Developing compressed sensing (CS) theory reveals that optimal reconstruction of an unknown signal can be achieved from very limited observations by utilizing signal sparsity. For inverse synthetic aperture radar (ISAR), the image of an interesting target is generally constructed by limited strong scattering centers, representing strong spatial sparsity. Such prior sparsity intrinsically paves ...

We describe the key concepts underlying the Isabelle/Isar implementation, including ML references for the most important functions. The aim is to give some insight into the overall system architecture, and provide clues on implementing applications within this framework. Isabelle was not designed; it evolved. Not everyone likes this idea. Specification experts rightly abhor trial-and-error prog...

Conventional range-Doppler (RD) inverse synthetic aperture radar (ISAR) imaging method utilizes coherent integration of consecutive pulses to achieve high cross-range resolution. It requires the radar to keep track of the target during coherent processing intervals (CPI). This restricts the radar’s multi-target imaging ability, especially when the targets appear simultaneously in different obse...

This paper describes a convenient technique of precise radial velocity estimation for inverse synthetic aperture radar (ISAR). In order to keep both the range profile and phase history of the echoes coherent, direct sampling with high sampling rate using high performance analog-to-digital converter and matched-filter correlation processing in pulse compression are used for the ISAR system. Due ...

Feature-based classification of targets in SAR images by using ISAR measurements was studied, based on polarimetric SAR and ISAR data acquired with the MEMPHIS radar system of FGAN-FHR. The data contained one T-72 battle tank, one BMP combat vehicle, and several confusers. The resolution was 75 cm. Nine features were studied of which four were analyzed: area, coefficient of variation, weighted-...

Abstract In general, the method of conventional motion compensation for inverse synthetic aperture radar (ISAR) imaging is divided into translational (TMC) and rotational (RMC) in sequence. TMC premise most critical procedure range alignment. However, deviation echo correlation results poor performance alignment under low signal-to-noise ratio (SNR). Therefore, a new high-resolution ISAR azimut...