Computer-aided processing of LANDSAT MSS data for classification of forestlands

There are no author-identified significant results in this report

Localization transitions in non-Hermitian quantum mechanics

We study the localization transitions which arise in both one and two dimensions when quantum mechanical particles described by a random Schr\"odinger equation are subjected to a constant imaginary vector potential. A path-integral formulation relates the transition to flux lines depinned from columnar defects by a transverse magnetic field in superconductors. The theory predicts that the transverse Meissner effect is accompanied by stretched exponential relaxation of the field into the bulk and a diverging penetration depth at the transition.Comment: 4 pages (latex) with 3 figures (epsf) embedded in the text using the style file epsf.st

Patterned Geometries and Hydrodynamics at the Vortex Bose Glass Transition

Patterned irradiation of cuprate superconductors with columnar defects allows a new generation of experiments which can probe the properties of vortex liquids by confining them to controlled geometries. Here we show that an analysis of such experiments that combines an inhomogeneous Bose glass scaling theory with the hydrodynamic description of viscous flow of vortex liquids can be used to infer the critical behavior near the Bose glass transition. The shear viscosity is predicted to diverge as $|T-T_{BG}|^{-z}$ at the Bose glass transition, with $z\simeq 6$ the dynamical critical exponent.Comment: 5 pages, 4 figure

Structure and dynamics of topological defects in a glassy liquid on a negatively curved manifold

We study the low-temperature regime of an atomic liquid on the hyperbolic plane by means of molecular dynamics simulation and we compare the results to a continuum theory of defects in a negatively curved hexagonal background. In agreement with the theory and previous results on positively curved (spherical) surfaces, we find that the atomic configurations consist of isolated defect structures, dubbed "grain boundary scars", that form around an irreducible density of curvature-induced disclinations in an otherwise hexagonal background. We investigate the structure and the dynamics of these grain boundary scars

Design and implementation of a medium speed communications interface and protocol for a low cost, refreshed display computer

The design and implementation of hardware and software systems involved in using a 40,000 bit/second communication line as the connecting link between an IMLAC PDS 1-D display computer and a Univac 1108 computer system were described. The IMLAC consists of two independent processors sharing a common memory. The display processor generates the deflection and beam control currents as it interprets a program contained in the memory; the minicomputer has a general instruction set and is responsible for starting and stopping the display processor and for communicating with the outside world through the keyboard, teletype, light pen, and communication line. The processing time associated with each data byte was minimized by designing the input and output processes as finite state machines which automatically sequence from each state to the next. Several tests of the communication link and the IMLAC software were made using a special low capacity computer grade cable between the IMLAC and the Univac

A SUPERSPACE FORMULATION FOR THE BATALIN VILKOVISKY FORMALISM WITH EXTENDED BRST INVARIANCE

A superspace formulation for the Batalin Vilkovisky formalism (also called field-antifield quantization ) with extended BRST invariance (BRST and anti-BRST invariance ) for gauge theories with closed algebra is presented. In contrast to a recent formulation, where only BRST invariance holds off shell, two collective sets of fields are introduced and an off shell realization of the extended algebra in a superspace with two Grassmann coordinates is obtained. The example of the Yang Mills theory is also considered.Comment: 13 pages , LATEX fil

A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers

The role of decision procedures is often essential in theorem proving. Decision procedures can reduce the search space of heuristic components of a prover and increase its abilities. However, in some applications only a small number of conjectures fall within the scope of the available decision procedures. Some of these conjectures could in an informal sense fall ‘just outside’ that scope. In these situations a problem arises because lemmas have to be invoked or the decision procedure has to communicate with the heuristic component of a theorem prover. This problem is also related to the general problem of how to exibly integrate decision procedures into heuristic theorem provers. In this paper we address such problems and describe a framework for the exible integration of decision procedures into other proof methods. The proposed framework can be used in different theorem provers, for different theories and for different decision procedures. New decision procedures can be simply ‘plugged-in’ to the system. As an illustration, we describe an instantiation of this framework within the Clam proof-planning system, to which it is well suited. We report on some results using this implementation

Folding of the triangular lattice in a discrete three-dimensional space: Crumpling transitions in the negative-bending-rigidity regime

Folding of the triangular lattice in a discrete three-dimensional space is studied numerically. Such ``discrete folding'' was introduced by Bowick and co-workers as a simplified version of the polymerized membrane in thermal equilibrium. According to their cluster-variation method (CVM) analysis, there appear various types of phases as the bending rigidity K changes in the range -infty < K < infty. In this paper, we investigate the K<0 regime, for which the CVM analysis with the single-hexagon-cluster approximation predicts two types of (crumpling) transitions of both continuous and discontinuous characters. We diagonalized the transfer matrix for the strip widths up to L=26 with the aid of the density-matrix renormalization group. Thereby, we found that discontinuous transitions occur successively at K=-0.76(1) and -0.32(1). Actually, these transitions are accompanied with distinct hysteresis effects. On the contrary, the latent-heat releases are suppressed considerably as Q=0.03(2) and 0.04(2) for respective transitions. These results indicate that the singularity of crumpling transition can turn into a weak-first-order type by appreciating the fluctuations beyond a meanfield level