| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9911154553603321 |
|
|
Autore |
OĢzdemir Caner |
|
|
Titolo |
Inverse synthetic aperture radar imaging with MATLAB algorithms / / Caner Ozdemir |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, NJ, : Wiley, c2012 |
|
|
|
|
|
|
|
ISBN |
|
9786613650061 |
9781280673139 |
1280673133 |
9781118178058 |
111817805X |
9781118178072 |
1118178076 |
9781118178089 |
1118178084 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (407 p.) |
|
|
|
|
|
|
Collana |
|
Wiley series in microwave and optical engineering ; ; 210 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Inverse Synthetic Aperture Radar Imaging with MATLAB Algorithms; Contents; Preface; Acknowledgments; CHAPTER ONE: Basics of Fourier Analysis; 1.1 FORWARD AND INVERSE FOURIER TRANSFORM; 1.1.1 Brief History of FT; 1.1.2 Forward FT Operation; 1.1.3 IFT; 1.2 FT RULES AND PAIRS; 1.2.1 Linearity; 1.2.2 Time Shifting; 1.2.3 Frequency Shifting; 1.2.4 Scaling; 1.2.5 Duality; 1.2.6 Time Reversal; 1.2.7 Conjugation; 1.2.8 Multiplication; 1.2.9 Convolution; 1.2.10 Modulation; 1.2.11 Derivation and Integration; 1.2.12 Parseval's Relationship; 1.3 TIME-FREQUENCY REPRESENTATION OF A SIGNAL |
1.3.1 Signal in the Time Domain 1.3.2 Signal in the Frequency Domain; 1.3.3 Signal in the (JTF) Plane; 1.4 CONVOLUTION AND MULTIPLICATION USING FT; 1.5 FILTERING/WINDOWING; 1.6 DATA SAMPLING; 1.7 DFT AND FFT; 1.7.1 DFT; 1.7.2 FFT; 1.7.3 Bandwidth and Resolutions; 1.8 ALIASING; 1.9 IMPORTANCE OF FT IN RADAR IMAGING; 1.10 EFFECT OF ALIASING IN RADAR IMAGING; 1.11 MATLAB |
|
|
|
|
|
|
|
|
|
|
|
CODES; REFERENCES; CHAPTER TWO: Radar Fundamentals; 2.1 ELECTROMAGNETIC (EM) SCATTERING; 2.2 SCATTERING FROM PECs; 2.3 RADAR CROSS SECTION (RCS); 2.3.1 Definition of RCS; 2.3.2 RCS of Simple Shaped Objects |
2.3.3 RCS of Complex Shaped Objects 2.4 RADAR RANGE EQUATION; CHAPTER FOUR: Inverse Synthetic Aperture Radar Imaging and Its Basic Concepts; 4.1 SAR VERSUS ISAR; 4.2 THE RELATION OF SCATTERED FIELD TO THE IMAGE FUNCTION IN ISAR; 4.3 ONE-DIMENSIONAL (1D) RANGE PROFILE; 4.4 1D CROSS-RANGE PROFILE; 4.5 2D ISAR IMAGE FORMATION (SMALL BANDWIDTH, SMALL ANGLE); 4.5.1 Range and Cross-Range Resolutions; 4.5.2 Range and Cross-Range Extends; 4.5.3 Imaging Multi-Bounces in ISAR; 4.5.4 Sample Design Procedure for ISAR; 4.6 2D ISAR IMAGE FORMATION (WIDE BANDWIDTH, LARGE ANGLES); 4.6.1 Direct Integration |
4.6.2 Polar Reformatting 4.7 3D ISAR IMAGE FORMATION; 4.7.1 Range and Cross-Range Resolutions; 4.7.2 A Design Example; 4.8 MATLAB CODES; REFERENCES; CHAPTER FIVE: Imaging Issues in Inverse Synthetic Aperture Radar; 5.1 FOURIER-RELATED ISSUES; 5.1.1 DFT Revisited; 5.1.2 Positive and Negative Frequencies in DFT; 5.2 IMAGE ALIASING; 5.3 POLAR REFORMATTING REVISITED; 5.3.1 Nearest Neighbor Interpolation; 5.3.2 Bilinear Interpolation; 5.4 ZERO PADDING; 5.5 POINT SPREAD FUNCTION (PSF); 5.6 WINDOWING; 5.6.1 Common Windowing Functions; 5.6.2 ISAR Image Smoothing via Windowing; 5.7 MATLAB CODES |
REFERENCES 6.1 SCENARIOS FOR ISAR; 6.1.1 Imaging Aerial Targets via Ground-Based Radar; 6.1.2 Imaging Ground/Sea Targets via Aerial Radar; 6.2 ISAR WAVEFORMS FOR RANGE-DOPPLER PROCESSING; 6.2.1 Chirp Pulse Train; 6.2.2 Stepped Frequency Pulse Train; 6.3 DOPPLER SHIFT'S RELATION TO CROSS RANGE; 6.3.1 Doppler Frequency Shift Resolution; 6.3.2 Resolving Doppler Shift and Cross Range; 6.4 FORMING THE RANGE-DOPPLER IMAGE; 6.5 ISAR RECEIVER; 6.5.1 ISAR Receiver for Chirp Pulse Radar; 6.5.2 ISAR Receiver for SFCW Radar; 6.6 QUADRADURE DETECTION; 6.6.1 I-Channel Processing; 6.6.2 Q-Channel Processing |
6.7 RANGE ALIGNMENT |
|
|
|
|
|
|
Sommario/riassunto |
|
This book provides a full representation of Inverse Synthetic Aperture Radar (ISAR) imagery, which is a popular and important radar signal processing tool. The book covers all possible aspects of ISAR imaging. The book offers a fair amount of signal processing techniques and radar basics before introducing the inverse problem of ISAR and the forward problem of Synthetic Aperture Radar (SAR). Important concepts of SAR such as resolution, pulse compression and image formation are given together with associated MATLAB codes. After providing the fundamentals for ISAR imaging, the book gives the |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9911150583203321 |
|
|
Autore |
Back Ralph-Johan |
|
|
Titolo |
Refinement Calculus : A Systematic Introduction / / by Ralph-Johan Back, Joakim Wright |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, NY : , : Springer New York : , : Imprint : Springer, , 1998 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1998.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 520 p. 11 illus.) |
|
|
|
|
|
|
Collana |
|
Texts in Computer Science, , 1868-095X |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Theory of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
1 Introduction -- 1.1 Contracts -- 1.2 Using Contracts -- 1.3 Computers as Agents -- 1.4 Algebra of Contracts -- 1.5 Programming Constructs -- 1.6 Specification Constructs -- 1.7 Correctness -- 1.8 Refinement of Programs -- 1.9 Background -- 1.10 Overview of the Book -- I Foundations -- 2 Posets, Lattices, and Categories -- 3 Higher-Order Logic -- 4 Functions -- 5 States and State Transformers -- 6 Truth Values -- 7 Predicates and Sets -- 8 Boolean Expressions and Conditionals -- 9 Relations -- 10 Types and Data Structures -- II Statements -- 11 Predicate Transformers -- 12 The Refinement Calculus Hierarchy -- 13 Statements -- 14 Statements as Games -- 15 Choice Semantics -- 16 Subclasses of Statements -- 17 Correctness and Refinement of Statements -- III Recursion and Iteration -- 18 Well-founded Sets and Ordinals -- 19 Fixed Points -- 20 Recursion -- 21 Iteration and Loops -- 22 Continuity and Executable Statements -- 23 Working with Arrays -- 24 The N-Queens Problem -- 25 Loops and Two-Person Games -- IV Statement Subclasses -- 26 Statement Classes and Normal Forms -- 27 Specification Statements -- 28 Refinement in Context -- 29 Iteration of Conjunctive Statements -- References. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider |
|
|
|
|
|
|
|
|
|
|
these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge. |
|
|
|
|
|
| |