Fabrication of X-Graded H13 and Cu Powder Mix Using High Power Pulsed Nd:YAG Laser

The manufacturing of Functionally Graded Material (FGM) parts using Solid Free Form manufacturing technologies has been carried out since early 1980. At present, most of the powder manufacturing techniques are being focused on layering powder with different powder blend compositions with Z gradients (graded in direction of layer build). Although, there are a few researchers working on multi powder feeder and deposition system, the study of laser fusion of the deposited powder (by a powder deposition system) is minimum or not known to date. Consequently, the manufacturing of functionally graded structures is still geometry limited. This work was focused on the manufacturing of X-graded (graded along the powder bed plane) specimens with H13 tool steel and Cu mix. Five bimodal powder blends were used with a multi-container feed hopper to spread powder layers for the selective laser fusion of the powder. The powder was fused using a high power Nd:YAG pulsed laser using a specific scanning strategy to reduce porosity. Specimens were produced with graded Cu within the H13 matrix. The specimens were analysed for dimensional accuracy, microstructure, porosity, cracks and micro hardness of the FGM.Mechanical Engineerin

Extended Initiality for Typed Abstract Syntax

Initial Semantics aims at interpreting the syntax associated to a signature as the initial object of some category of 'models', yielding induction and recursion principles for abstract syntax. Zsid\'o proves an initiality result for simply-typed syntax: given a signature S, the abstract syntax associated to S constitutes the initial object in a category of models of S in monads. However, the iteration principle her theorem provides only accounts for translations between two languages over a fixed set of object types. We generalize Zsid\'o's notion of model such that object types may vary, yielding a larger category, while preserving initiality of the syntax therein. Thus we obtain an extended initiality theorem for typed abstract syntax, in which translations between terms over different types can be specified via the associated category-theoretic iteration operator as an initial morphism. Our definitions ensure that translations specified via initiality are type-safe, i.e. compatible with the typing in the source and target language in the obvious sense. Our main example is given via the propositions-as-types paradigm: we specify propositions and inference rules of classical and intuitionistic propositional logics through their respective typed signatures. Afterwards we use the category--theoretic iteration operator to specify a double negation translation from the former to the latter. A second example is given by the signature of PCF. For this particular case, we formalize the theorem in the proof assistant Coq. Afterwards we specify, via the category-theoretic iteration operator, translations from PCF to the untyped lambda calculus

From AMANDA to IceCube

The first string of the neoteric high energy neutrino telescope IceCube successfully began operating in January 2005. It is anticipated that upon completion the new detector will vastly increase the sensitivity and extend the reach of AMANDA to higher energies. A discussion of the IceCube's discovery potential for extra-terrestrial neutrinos, together with the prospects of new physics derived from the ongoing AMANDA research will be the focus of this paper. Preliminary results of the first antarctic high energy neutrino telescope AMANDA searching in the muon neutrino channel for localized and diffuse excess of extra-terrestrial neutrinos will be reviewed using data collected between 2000 and 2003. Neutrino flux limits obtained with the all-flavor dedicated UHE and cascade analyses will be described. A first neutrino spectrum above one TeV in agreement with atmospheric neutrino flux expectations and no extra-terrestrial contribution will be presented, followed by a discussion of a limit for neutralino CDM candidates annihilating in the center of the Sun.Comment: 15 pages, 8 figures Invited talk contribution at 5th International Conference on Non-accelerator New Physics (NANP 05), Dubna, Russia, 20-25 Jun 200

A new and superior ultrafine cementitious grout

Sealing fractures in nuclear waste repositories concerns all programs investigating deep burial as a means of disposal. Because the most likely mechanism for contaminant migration is by dissolution and movement through groundwater, sealing programs are seeking low-viscosity sealants that are chemically, mineralogically, and physically compatible with the host rock. This paper presents the results of collaborative work directed by Sandia National Laboratories (SNL) and supported by Whiteshell Laboratories, operated by Atomic Energy of Canada, Ltd. The work was undertaken in support of the Waste Isolation Pilot Plant (WIPP), an underground nuclear waste repository located in a salt formation east of Carlsbad, NM. This effort addresses the technology associated with long-term isolation of nuclear waste in a natural salt medium. The work presented is part of the WIPP plugging and sealing program, specifically the development and optimization of an ultrafine cementitious grout that can be injected to lower excessive, strain-induced hydraulic conductivity in the fractured rock termed the Disturbed Rock Zone (DRZ) surrounding underground excavations. Innovative equipment and procedures employed in the laboratory produced a usable cement-based grout; 90% of the particles were smaller than 8 microns and the average particle size was 4 microns. The process involved simultaneous wet pulverization and mixing. The grout was used for a successful in situ test underground at the WIPP. Injection of grout sealed microfractures as small as 6 microns (and in one rare instance, 3 microns) and lowered the gas transmissivity of the DRZ by up to three orders of magnitude. Following the WIPP test, additional work produced an improved version of the grout containing particles 90% smaller than 5 microns and averaging 2 microns. This grout will be produced in dry form, ready for the mixer

Material Strength Effect in the Shock Compression of Alumina

The Hugoniot elastic limits (HEL) of a high-density aluminum oxide ceramic (Lucalox) and a slightly lower-density ceramic (porosity approximately 4%) were determined to be 112±13 and 83±5 kbar, respectively. Above the HEL, the shock-stress-volume Hugoniot curves for both materials are offset by 40 kbar or more above their hydrostatic-pressure-volume curves. These results indicate that shear stresses with magnitudes of about 30–40 kbar persist in aluminum oxide to shock-pressure levels of at least 300 kbar

Polarization of Tau Leptons Produced in Quasielastic Neutrino--Nucleon Scattering

A numerical analysis of the polarization vector of tau leptons produced through quasielastic neutrino and antineutrino interactions with free nucleons is given with two models for vector electromagnetic form factors of proton and neutron. The impact of G parity violating axial and vector second-class currents is investigated by applying a simple heuristic model for the induced scalar and tensor form factors.Comment: Thesis of a talk given at the 8th Scientific Conference (SCYSS-04), Dubna, Russia, 2 - 6 Feb 2004. 11 pages, 6 figures; added references, figures and discussion; conclusions unchange

Capture rate and neutron helicity asymmetry for ordinary muon capture on hydrogen

Applying heavy-baryon chiral perturbation theory to ordinary muon capture (OMC) on a proton, we calculate the capture rate and neutron helicity asymmetry up to next-to-next-to-leading order. For the singlet hyperfine state, we obtain the capture rate Gamma_0 = 695 sec^{-1} while, for the triplet hyperfine state, we obtain the capture rate Gamma_1 = 11.9 sec^{-1} and the neutron asymmetry alpha_1 = 0.93. If the existing formalism is used to relate these atomic capture rates to Gamma_{liq}, the OMC rate in liquid hydrogen, then Gamma_{liq} corresponding to our improved values of Gamma_0 and Gamma_1 is found to be significantly larger than the experimental value, primarily due to the updated larger value of g_A. We argue that this apparent difficulity may be correlated to the specious anomaly recently reported for mu^- + p to n + nu_mu + gamma, and we suggest a possibility to remove these two "problems" simply and simultaneously by reexamining the molecular physics input that underlies the conventional analysis of Gamma_{liq}.Comment: 14 pages, 1 figur

Self-Consistent Field study of Polyelectrolyte Brushes

We formulate a self-consistent field theory for polyelectrolyte brushes in the presence of counterions. We numerically solve the self-consistent field equations and study the monomer density profile, the distribution of counterions, and the total charge distribution. We study the scaling relations for the brush height and compare them to the prediction of other theories. We find a weak dependence of the brush height on the grafting density.We fit the counterion distribution outside the brush by the Gouy-Chapman solution for a virtual charged wall. We calculate the amount of counterions outside the brush and find that it saturates as the charge of the polyelectrolytes increases