TPGITF user's manual

The primary purpose of TPG interface (TPGITF) software is to create test patterns, according to a mathematical model, for a real device. In order for the device actually to be tested or to be accurately simulated, a means is required to transform the TPGITF generated test into forms acceptable as input to logic test equipment or to a software logic simulator. The MACRODATA-200 Logic Test System and the LOGSIM logic simulator are the particular systems supported by the TPGITF software. A description is presented of the TPGITF software processor. It is assumed that the reader is familiar with the TPG, LOGSIM, and TOIL systems. Flow charts are given

Implementation of Large Scale Integrated (LSI) circuit design software

Portions of the Computer Aided Design and Test system, a collection of Large Scale Integrated (LSI) circuit design programs were modified and upgraded. Major modifications were made to the Mask Analysis Program in the form of additional operating commands and file processing options. Modifications were also made to the Artwork Interactive Design System to correct some deficiencies in the original program as well as to add several new command features related to improving the response of AIDS when dealing with large files. The remaining work was concerned with updating various programs within CADAT to incorporate the silicon on sapphire silicon gate technology

NTRAN user's manual

Information is presented for the use of NTRAN (Network TRANslator), a program written in FORTRAN that provides a means for generating input files for the LOGSIM and LASAR programs from PRF and PR2D input decks. The program technical description, input instructions, and deck setup instructions for the Sigma 5 computer, are presented to familiarize the reader with the software

A vectorization of the Jameson-Caughey NYU transonic swept-wing computer program FLO-22-V1 for the STAR-100 computer

The computer program FLO-22 for analyzing inviscid transonic flow past 3-D swept-wing configurations was modified to use vector operations and run on the STAR-100 computer. The vectorized version described herein was called FLO-22-V1. Vector operations were incorporated into Successive Line Over-Relaxation in the transformed horizontal direction. Vector relational operations and control vectors were used to implement upwind differencing at supersonic points. A high speed of computation and extended grid domain were characteristics of FLO-22-V1. The new program was not the optimal vectorization of Successive Line Over-Relaxation applied to transonic flow; however, it proved that vector operations can readily be implemented to increase the computation rate of the algorithm

Nonaxisymmetric Magnetorotational Instability in Proto-Neutron Stars

We investigate the stability of differentially rotating proto-neutron stars (PNSs) with a toroidal magnetic field. Stability criteria for nonaxisymmetric MHD instabilities are derived using a local linear analysis. PNSs are expected to have much stronger radial shear in the rotation velocity compared to normal stars. We find that nonaxisymmetric magnetorotational instability (NMRI) with a large azimuthal wavenumber $m$ is dominant over the kink mode ($m=1$) in differentially rotating PNSs. The growth rate of the NMRI is of the order of the angular velocity $\Omega$ which is faster than that of the kink-type instability by several orders of magnitude. The stability criteria are analogous to those of the axisymmetric magnetorotational instability with a poloidal field, although the effects of leptonic gradients are considered in our analysis. The NMRI can grow even in convectively stable layers if the wavevectors of unstable modes are parallel to the restoring force by the Brunt-V\"ais\"al\"a oscillation. The nonlinear evolution of NMRI could amplify the magnetic fields and drive MHD turbulence in PNSs, which may lead to enhancement of the neutrino luminosity.Comment: 24pages, 7figures, Accepted for publication in the Astrophysical Journal (December 12, 2005

Universally Coupled Massive Gravity

We derive Einstein's equations from a linear theory in flat space-time using free-field gauge invariance and universal coupling. The gravitational potential can be either covariant or contravariant and of almost any density weight. We adapt these results to yield universally coupled massive variants of Einstein's equations, yielding two one-parameter families of distinct theories with spin 2 and spin 0. The Freund-Maheshwari-Schonberg theory is therefore not the unique universally coupled massive generalization of Einstein's theory, although it is privileged in some respects. The theories we derive are a subset of those found by Ogievetsky and Polubarinov by other means. The question of positive energy, which continues to be discussed, might be addressed numerically in spherical symmetry. We briefly comment on the issue of causality with two observable metrics and the need for gauge freedom and address some criticisms by Padmanabhan of field derivations of Einstein-like equations along the way.Comment: Introduction notes resemblance between Einstein's discovery process and later field/spin 2 project; matches journal versio

Mode-coupling theory for multiple-time correlation functions of tagged particle densities and dynamical filters designed for glassy systems

The theoretical framework for higher-order correlation functions involving multiple times and multiple points in a classical, many-body system developed by Van Zon and Schofield [Phys. Rev. E 65, 011106 (2002)] is extended here to include tagged particle densities. Such densities have found an intriguing application as proposed measures of dynamical heterogeneities in structural glasses. The theoretical formalism is based upon projection operator techniques which are used to isolate the slow time evolution of dynamical variables by expanding the slowly-evolving component of arbitrary variables in an infinite basis composed of the products of slow variables of the system. The resulting formally exact mode-coupling expressions for multiple-point and multiple-time correlation functions are made tractable by applying the so-called N-ordering method. This theory is used to derive for moderate densities the leading mode coupling expressions for indicators of relaxation type and domain relaxation, which use dynamical filters that lead to multiple-time correlations of a tagged particle density. The mode coupling expressions for higher order correlation functions are also succesfully tested against simulations of a hard sphere fluid at relatively low density.Comment: 15 pages, 2 figure

Estimation of X-Band Scattering Properties of Tree Components

An X-band FM-CW very fine range resolution scatterometer was used to acquire backscattering data for individual branches for a number of tree species. Using a model to describe the scattering source function, dσ/dR = f(η, κ), and an experimental procedure for selected removal of plant parts, allows the estimation of η, the volume backscatter coefficient, and κ, the volume extinction coefficient. It is found that 1) leaves are strong attenuators as well as scatterers, 2) the albedo, ω = η/κ, at a given angle of incidence, is nearly independent of the tree type, 3) the tree limbs are good attenuators but rather poor scatterers, and 4) the albedo changes as a function of the angle of incidence and for deciduous trees is also a function of the season

A dependent nominal type theory

Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles