Abraded cadmium-plated cable connectors repaired by conversion coating

Conversion coating procedure repairs scratched and abraded cadmium-plated aluminum cable connectors while they are in assembly

General solution of an exact correlation function factorization in conformal field theory

We discuss a correlation function factorization, which relates a three-point function to the square root of three two-point functions. This factorization is known to hold for certain scaling operators at the two-dimensional percolation point and in a few other cases. The correlation functions are evaluated in the upper half-plane (or any conformally equivalent region) with operators at two arbitrary points on the real axis, and a third arbitrary point on either the real axis or in the interior. This type of result is of interest because it is both exact and universal, relates higher-order correlation functions to lower-order ones, and has a simple interpretation in terms of cluster or loop probabilities in several statistical models. This motivated us to use the techniques of conformal field theory to determine the general conditions for its validity. Here, we discover a correlation function which factorizes in this way for any central charge c, generalizing previous results. In particular, the factorization holds for either FK (Fortuin-Kasteleyn) or spin clusters in the Q-state Potts models; it also applies to either the dense or dilute phases of the O(n) loop models. Further, only one other non-trivial set of highest-weight operators (in an irreducible Verma module) factorizes in this way. In this case the operators have negative dimension (for c < 1) and do not seem to have a physical realization.Comment: 7 pages, 1 figure, v2 minor revision

Study of etchants for corrosion-resistant metals, space shuttle external tank

Acceptable etchant concentrations and application and removal procedures for etching austenitic stainless steel, nickel base alloys, and titanium alloys (annealed) employed on the external tank were formulated. The etchant solutions were to be capable of removing a minimum of 0.4 mils of surface material in less than one hour

Constructive Provability Logic

We present constructive provability logic, an intuitionstic modal logic that validates the L\"ob rule of G\"odel and L\"ob's provability logic by permitting logical reflection over provability. Two distinct variants of this logic, CPL and CPL*, are presented in natural deduction and sequent calculus forms which are then shown to be equivalent. In addition, we discuss the use of constructive provability logic to justify stratified negation in logic programming within an intuitionstic and structural proof theory.Comment: Extended version of IMLA 2011 submission of the same titl

Preparing oxidizer coated metal fuel particles

A solid propellant composition of improved efficiency is described which includes an oxidizer containing ammonium perchlorate, and a powered metal fuel, preferably aluminum or beryllium, in the form of a composite. The metal fuel is contained in the crystalline lattice framework of the oxidizer, as well as within the oxidizer particles, and is disposed in the interstices between the oxidizer particles of the composition. The propellant composition is produced by a process comprising the crystallization of ammonium perchlorate in water, in the presence of finely divided aluminum or beryllium. A suitable binder is incorporated in the propellant composition to bind the individual particles of metal with the particles of oxidizer containing occluded metal