For inverse synthetic aperture radar (ISAR) imaging of a ship target moving with ocean waves, the image constructed with the standard range-Doppler (RD) technique is blurred and the range-instantaneous-Doppler (RID) technique has to be used to improve the image quality. In this paper, azimuth echoes in a range cell of the ship target are modeled as noisy multicomponent cubic phase signals (CPSs...

Three-dimensional (3-D) reconstruction techniques employed by airborne radars are essential for object recognition in scenarios where optically vision is blurry, and are required for the monitoring of disasters and coast-guard patrols. There have been reports on 3-D reconstruction methods that exploit the layover appearing in inverse synthetic aperture radar (ISAR) imagery, which are suitable f...

Ecologists have historically used species-area relationships (SARs) as a tool to understand the spatial distribution of species. Recent work has extended SARs to focus on individual-level distributions to generate individual species area relationships (ISARs). The ISAR approach quantifies whether individuals of a species tend have more or less species richness surrounding them than expected by ...

We propose a novel adaptive joint time frequency algorithm combined with the neural network (AJTF-NN) to focus the distorted inverse synthetic aperture radar (ISAR) image. In this paper, a coefficient estimator based on the artificial neural network (ANN) is firstly developed to solve the time-consuming rotational motion compensation (RMC) polynomial phase coefficient estimation problem. The tr...

Distortion in the ISAR image of a target is a result of nonuniform rotational motion of the target during the imaging period. In many of the measured ISAR images from moving targets, such as those from in-flight aircraft, the distortion can be quite severe. Often, the image integration time is only a few seconds in duration and the target’s rotational displacement is only a few degrees. The con...

In inverse synthetic aperture radar (ISAR) imaging of targets with complex motion such as fluctuating ships with oceanic waves and high maneuvering airplanes, the azimuth echo signals can be modeled as cubic phase signals (CPSs) after the migration compensation. The chirp rate (CR) and the quadratic chirp rate (QCR) are two important physical quantities of the CPS, which deteriorate the azimuth...

Inverse synthetic aperture radar (ISAR) imaging is one of the most well-known techniques of radar target recognition. One of the most important issues in ISAR imaging is the improvement of the image smeared by a moving target. In this paper, we propose the discrete Gabor representation (DGR) in an oversampling scheme as an effective means of obtaining a well-focused ISAR image with a short calc...

We present a complete formalization of the Hahn-Banach theorem in the simply-typed set-theory of Isabelle/HOL, such that both the modeling of the underlying mathematical notions and the full proofs are intelligible to human readers. This is achieved by means of the Isar environment, which provides a framework for high-level reasoning based on natural deduction. The final result is presented as ...

Inter alia, Lebesgue-style integration plays a major role in advanced probability. We formalize a significant part of its theory in Higher Order Logic using the generic interactive theorem prover Isabelle/Isar. This involves concepts of elementary measure theory, real-valued random variables as Borelmeasurable functions, and a stepwise inductive definition of the integral itself. Building on pr...

1Experimental and Molecular Pathology, Institute of Pathology, Ludwig-Maximilians-University Munich, Munich, Germany. 2Institute of Molecular Immunology, Klinikum Rechts der Isar, Technical University Munich, Munich, Germany. 3Institute for Multiple Sclerosis Research and Department of Neuroimmunology, Gemeinnützige Hertie-Stiftung, and University Medical Center Göttingen, Göttingen, Germany. 4...