3,512 research outputs found
Recommended from our members
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
Recommended from our members
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
Heat flux canals (HFC) technique: an alternative to cool down stereolithography moulds
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
- …