Study made of resistance of stainless steels to zinc-vapor corrosion

Study of the corrosion resistance of several stainless steels to zinc vapor revealed that some stainless steels could be employed for use in zinc processing equipment housings or vapor lines

Use of steel and tantalum apparatus for molten Cd-Mg-Zn alloys

Steel and tantalum apparatus contains various ternary alloys of cadmium, zinc, and magnesium used in pyrochemical processes for the recovery of uranium-base reactor fuels. These materials exhibit good corrosion resistance at the high temperatures necessary for fuel separation in liquid metal-molten salt solvents

The Cohesion-Based Requirements Set Model for Improved Information System Maintainability

The concept of cohesion, which is normally associated with software design, is commonly used to measure the degree to which elements of a module are related. Systems constructed adhering to the principle of cohesion are expected to be more maintainable. It is proposed in this research that it may be more advantageous to apply the principle of cohesion at an earlier phase of the software development life cycle, thus placing more responsibility on the analyst who has a better understanding of the business. This paper proposes the Cohesion-Based Requirements Set (CBRS) model for improved information system maintainability. Using the CBRS technique, one may be able to positively affect the overall maintainability of the resulting system by applying a synthesis or expansion approach when gathering requirements rather than using an approach based on analysis or reduction

Thermal denaturation of fluctuating finite DNA chains: the role of bending rigidity in bubble nucleation

Statistical DNA models available in the literature are often effective models where the base-pair state only (unbroken or broken) is considered. Because of a decrease by a factor of 30 of the effective bending rigidity of a sequence of broken bonds, or bubble, compared to the double stranded state, the inclusion of the molecular conformational degrees of freedom in a more general mesoscopic model is needed. In this paper we do so by presenting a 1D Ising model, which describes the internal base pair states, coupled to a discrete worm like chain model describing the chain configurations [J. Palmeri, M. Manghi, and N. Destainville, Phys. Rev. Lett. 99, 088103 (2007)]. This coupled model is exactly solved using a transfer matrix technique that presents an analogy with the path integral treatment of a quantum two-state diatomic molecule. When the chain fluctuations are integrated out, the denaturation transition temperature and width emerge naturally as an explicit function of the model parameters of a well defined Hamiltonian, revealing that the transition is driven by the difference in bending (entropy dominated) free energy between bubble and double-stranded segments. The calculated melting curve (fraction of open base pairs) is in good agreement with the experimental melting profile of polydA-polydT. The predicted variation of the mean-square-radius as a function of temperature leads to a coherent novel explanation for the experimentally observed thermal viscosity transition. Finally, the influence of the DNA strand length is studied in detail, underlining the importance of finite size effects, even for DNA made of several thousand base pairs.Comment: Latex, 28 pages pdf, 9 figure

Automatic Abstraction for Congruences

One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation $\vec{c} \cdot \vec{x} = d \mod m$, (unknown variable m)$is a power of two,$\vec{c}$is a vector of integer coefficients, and$\vec{x}$ is a vector of propositional variables (bits). Because of the low-level nature of these invariants and the large number of bits that are involved, it is important that the transfer functions can be derived automatically. We address this problem, showing how an analysis for bit-level congruence relationships can be decoupled into two parts: (1) a SAT-based abstraction (compilation) step which can be automated, and (2) an interpretation step that requires no SAT-solving. We exploit triangular matrix forms to derive transfer functions efficiently, even in the presence of large numbers of bits. Finally we propose program transformations that improve the analysis results

Defect-unbinding transitions and inherent structures in two dimensions

We present a large-scale (36000-particle) computational study of the "inherent structures" (IS) associated with equilibrium, two-dimensional, one-component Lennard-Jones systems. Our results provide strong support both for the inherent-structures theory of classical fluids, and for the KTHNY theory of two-stage melting in two dimensions. This support comes from the observation of three qualitatively distinct "phases" of inherent structures: a crystal, a "hexatic glass", and a "liquid glass". We also directly observe, in the IS, analogs of the two defect-unbinding transitions (respectively, of dislocations, and disclinations) believed to mediate the two equilibrium phase transitions. Each transition shows up in the inherent structures---although the free disclinations in the "liquid glass" are embedded in a percolating network of grain boundaries. The bond-orientational correlation functions of the inherent structures show the same progressive loss of order as do the three equilibrium phases: long-range to quasi-long-range to short-range.Comment: RevTeX, 8 pages, 15 figure

Patterns of Individual Shopping Behavior

Much of economic theory is built on observations of aggregate, rather than individual, behavior. Here, we present novel findings on human shopping patterns at the resolution of a single purchase. Our results suggest that much of our seemingly elective activity is actually driven by simple routines. While the interleaving of shopping events creates randomness at the small scale, on the whole consumer behavior is largely predictable. We also examine income-dependent differences in how people shop, and find that wealthy individuals are more likely to bundle shopping trips. These results validate previous work on mobility from cell phone data, while describing the unpredictability of behavior at higher resolution.Comment: 4 pages, 5 figure

Spectroscopy of Infrared Flares from the Microquasar GRS 1915+105

We present near-infrared medium-resolution ($R \sim 875$) spectra of the microquasar GRS 1915+105 on 1997 August 13-15 UTC from the Hale 200-inch telescope. The spectra showed broad emission lines of He I (2.058 $\mu$m) and H I (2.166 $\mu$m - Br$\gamma$), consistent with previous work. On August 14 UTC, we took spectra with $\sim 6$-minute time resolution during infrared flaring events similar to those reported in Eikenberry et al. (1998a), which appear to reveal plasma ejection from the system. During the flares, the emission line fluxes varied in approximately linear proportionality to the IR continuum flux, implying that the lines are radiatively pumped by the flares. We also detected a weak He II (2.189 $\mu$m) emission line on August 14 UTC. The nature of the line variability and the presence of the He II feature indicate that the emission lines in GRS 1915+105 arise in an accretion disk around the compact object, rather than in the circumstellar disk of a proposed Oe/Be companion. The radiative line pumping also implies that the flare emission originates from ejecta which have moved out of the accretion disk plane.Comment: 13 pages plus 4 figures, to appear in ApJ Letter

Neurology

Contains research objectives and reports on three research projects.Office of Naval Research (Nonr-609(39))U. S. Air Force (AF33(616)-7282)Army Chemical Corps (DA-18-108-405-Cml-942)U.S. Public Health Service (B-3055)U. S. Air Force (AF49(638)-1130)U.S. Public Health Service (B-3090