نتایج جستجو برای: isar
تعداد نتایج: 812 فیلتر نتایج به سال:
A novel range-instantaneous-Doppler (RID) algorithm of inverse synthetic aperture radar (ISAR) imaging based on adaptive Doppler spectrum extraction is proposed in this paper. Regarding maneuvering targets, such as military aircraft, the ISAR image is blurred on cross-range domain when the range-Doppler (RD) algorithm is applied. The RID imaging method is often used to resolve the Doppler ambig...
Abstract: This paper addresses a unique method of ISAR dipole model image by employing vector dyadic contrast function technique. The current ISAR imaging algorithms rely upon the assumption that the area under investigation consists of a superposition of infinitesimally small isotropic scatterers (i.e., the point scatterer model). This approximation fails to capture the true real-world scatter...
Machine-checked proofs are becoming ever-larger, presenting an increasing maintenance challenge. Isabelle’s most popular language interface, Isar, is attractive for new users, and powerful in the hands of experts, but has previously lacked a means to write automated proof procedures. This can lead to undesirable duplication in large proofs. In this paper we present Eisbach, a proof method langu...
This research introduces compressed sensing (CS) principle into inverse synthetic aperture radar (ISAR) imaging of nonuniform rotation targets, and high azimuth resolution can be achieved with limited number of pulses. Firstly, the sparsity of the echoed signal of radar targets with non-uniform rotation in certain matching Fourier domain is analyzed. Then the restricted isometry property (RIP) ...
While a radar target is illuminated under the condition of spherical wave, two-dimensional ISAR image can be obtained in near field, and the wavefront curvature must be compensated. A novel two-dimensional mathematical model is set up, and a 2DESPRIT super-resolution algorithm based on matrix pencil is applied to estimate the accurate locations of the scattering centers in near field. Numerical...
Florian R. Greten,1,4,* Melek C. Arkan,1,4 Julia Bollrath,1 Li-Chung Hsu,4 Jason Goode,4 Cornelius Miething,2 Serkan I. Göktuna,1 Michael Neuenhahn,3 Joshua Fierer,5 Stephan Paxian,1 Nico Van Rooijen,6 Yajun Xu,7 Timothy O’Cain,7 Bruce B. Jaffee,7 Dirk H. Busch,3 Justus Duyster,2 Roland M. Schmid,1 Lars Eckmann,5 and Michael Karin4,* 1Second Department of Medicine, Klinikum rechts der Isar 2Thi...
Centre for Clinical and Basic Research, Department of Medical Sciences, IRCCS San Raffaele Pisana, Rome, Italy; Cardiovascular and Cell Sciences Research Institute, St George’s University of London, UK; Lady Davis Carmel Medical Center, Ruth and Bruce Rappaport School of Medicine, Technion-Israel Institute of Technology, Tel Aviv, Israel; Oslo University Hospital Ullevål, and Institute of Clini...
We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.
Abstract Background Frailty screening facilitates the stratification of older adults at most risk adverse events for urgent assessment and subsequent intervention in acute or community setting. We assessed validity ISAR (Identification Seniors Risk), Rockwood Clinical Scale (CFS), PRISMA-7 InterRAI-ED predicting outcomes 30 days six months among presenting to ED. Methods A prospective cohort st...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید