Author: Marvin S. Brooks
Publisher:
ISBN:
Category : Antimony compounds
Languages : en
Pages : 30

Get Book Here

Book Description

Author: Lorenzo Calabi
Publisher:
ISBN:
Category : Algebra, Boolean
Languages : en
Pages : 50

Get Book Here

Book Description
Substitution operators for subformulas of Boolean formulas are introduced and investigated.

Author: J. F. McIlvenna
Publisher:
ISBN:
Category : Aerial photography
Languages : en
Pages : 66

Get Book Here

Book Description
The mapping of extended, cultural ground targets by an airborne radar is examined using communication theory concepts including those of the antenna transfer function and the target spatial frequency spectrum. Use of the set of transfer functions that correspond to Taylor aperture distributions and specification of the targets directly in terms of their spatial frequency spectra, permits one to examine the antenna images for quality and resolution. The results obtained indicate that resolution for a class of ground targets can be much better than is predicted by the two-point Rayleigh resolution criterion. It is also true that there can be situations in which the shape of the antenna images are quite independent of the radiation pattern. Several types of spatial noise were also included in the input spectrum to investigate noise effects on image quality and resolution. (Author).

Author: Daniel J. Jacavanco
Publisher:
ISBN:
Category : Antennas, Horn
Languages : en
Pages : 22

Get Book Here

Book Description
Antenna patterns (E-plane) of an X-band horn mounted in a ground plane and covered by a plasma slab were measured. A pulsed plasma was produced by capacitor discharge in a rectangular pyrex container of 6 in. x 2 in. x 24 in. i.d. Microwave interferometer measurements of the electron density were made at 9 and 35 Gc. Antenna patterns are presented which show a sharp decrease in radiated power at certain angles corresponding to the 'optics critical angle'. Good agreement is obtained for the movement of the optics critical angle with plasma density. (Author).

Author: Philip Lieberman
Publisher:
ISBN:
Category : Intonation (Phonetics)
Languages : en
Pages : 26

Get Book Here

Book Description

Author: Marden H. Seavey
Publisher:
ISBN:
Category : Acoustic paramagnetic resonance
Languages : en
Pages : 14

Get Book Here

Book Description

Author: Tapan K. Mukherjee
Publisher:
ISBN:
Category : Anions
Languages : en
Pages : 16

Get Book Here

Book Description

Author: Thomas G. Evans
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 16

Get Book Here

Book Description
A method for online assembly-language debugging which greatly simplifies several of the bookkeeping tasks characteristically associated with that process has been developed and implemented in a program for the UNIVAC M-460 computer at Air Force Cambridge Research Laboratories. With this program, an online user may insert or delete (in symbolic assembly language) any number of lines at any point in his previously assembled program in core, with the remainder of the program being relocated appropriately.

Author: Yūji Inoue
Publisher:
ISBN:
Category : Atmospheric models
Languages : en
Pages : 46

Get Book Here

Book Description
The propagation of electromagnetic waves in a horizontally stratified layer of gyrotropic medium is discussed. Derivation of a comprehensive representation for magneto-ionic coupling coefficients allows interpretation of the physical significance of the coupling. Introduction of an invariant quantity for an inhomogeneous medium becomes an important guide for numerical solutions of the wave equation. Numerical results of magneto-ionic coupling coefficients are presented. Based on region properties, characteristic wave types are defined: for the isotropic region, linearly polarized waves are used; for the anisotropic region, elliptically polarized waves generally are applied. (Author).

Author: T. V. Griffiths
Publisher:
ISBN:
Category : Algorithms
Languages : en
Pages : 22

Get Book Here

Book Description
A number of diverse recognition procedures that have been proposed for parsing sentences with respect to a context-free grammar are described in this paper by means of a common device. Each procedure is defined by giving an algorithm for obtaining a nondeterministic Turing Machine recognizer that is equivalent to a given context-free grammar. The formalization of the Turing Machine has been chosen to make possible particularly simple descriptions of the parsing procedures considered.