17,846 research outputs found
Transferring saturation, the finite cover property, and stability
Saturation is (mu,kappa)-transferable in T if and only if there is an
expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of
T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We
characterize theories which are superstable without the finite cover property
(f.c.p.), or without f.c.p. as, respectively those where saturation is
(aleph_0,lambda)-transferable or (kappa(T),lambda)-transferable for all lambda.
Further if for some mu \geq |T|, 2^mu > mu^+, stability is equivalent to: or
all mu \geq |T|, saturation is (\mu,2^mu)-transferable.Comment: This version replaces the 1995 submission: Characterization of the
finite cover property and stability. This version submitted by John T.
Baldwin. The paper has been accepted for the Journal of Symbolic Logi
An initial analysis of the data from the Polar Orbiting Geophysical (POGS) Satellite
The Polar Orbiting Geophysical Satellite (POGS) was launched in 1990 to measure the geomagnetic field. POGS data from selected magnetically quiet days was chosen, quality checked and deleted where thought to be erroneous. A time and position correction was applied. The resulting data was fit to a degree 13 spherical harmonic model. Evaluation of the quality of the data indicates that it is sufficient for definition of the low degree (approximately less than 8) portion of the geomagnetic field. Further correction of the data time and position may improve this quality
Measurements of some parameters of thermal sparks with respect to their ability to ignite aviation fuel/air mixtures
A method used to generate thermal sparks for experimental purposes and methods by which parameters of the sparks, such as speed, size, and temperature, were measured are described. Values are given of the range of such parameters within these spark showers. Titanium sparks were used almost exclusively, since it is particles of this metal which are found to be ejected during simulation tests to carbon fiber composite (CFC) joints. Tests were then carried out in which titanium sparks and spark showers were injected into JP4/(AVTAG F40) mixtures with air. Single large sparks and dense showers of small sparks were found to be capable of causing ignition. Tests were then repeated using ethylene/air mixtures, which were found to be more easily ignited by thermal sparks than the JP4/ air mixtures
Diffraction-limited CCD imaging with faint reference stars
By selecting short exposure images taken using a CCD with negligible readout
noise we obtained essentially diffraction-limited 810 nm images of faint
objects using nearby reference stars brighter than I=16 at a 2.56 m telescope.
The FWHM of the isoplanatic patch for the technique is found to be 50
arcseconds, providing ~20% sky coverage around suitable reference stars.Comment: 4 page letter accepted for publication in Astronomy and Astrophysic
Spray automated balancing of rotors: Methods and materials
The work described consists of two parts. In the first part, a survey is performed to assess the state of the art in rotor balancing technology as it applies to Army gas turbine engines and associated power transmission hardware. The second part evaluates thermal spray processes for balancing weight addition in an automated balancing procedure. The industry survey reveals that: (1) computerized balancing equipment is valuable to reduce errors, improve balance quality, and provide documentation; (2) slow-speed balancing is used exclusively, with no forseeable need for production high-speed balancing; (3) automated procedures are desired; and (4) thermal spray balancing is viewed with cautious optimism whereas laser balancing is viewed with concern for flight propulsion hardware. The FARE method (Fuel/Air Repetitive Explosion) was selected for experimental evaluation of bond strength and fatigue strength. Material combinations tested were tungsten carbide on stainless steel (17-4), Inconel 718 on Inconel 718, and Triballoy 800 on Inconel 718. Bond strengths were entirely adequate for use in balancing. Material combinations have been identified for use in hot and cold sections of an engine, with fatigue strengths equivalent to those for hand-ground materials
Geomagnetic model investigations for 1980 - 1989: A model for strategic defense initiative particle beam experiments and a study in the effects of data types and observatory bias solutions
Two suites of geomagnetic field models were generated at the request of Los Alamos National Lab. concerning Strategic Defense Initiative (SDI) research. The first is a progression of five models incorporating MAGSAT data and data from a sequence of batches as a priori information. The batch sequence is: post 1979.5 observatory data, post 1980 land survey and selected aeromagnetic and marine survey data, a special White Sands (NM) area survey by Project Magnet with some additional post 1980 marine survey data, and finally DE-2 satellite data. These models are of 13th deg and order in their main field terms, and deg and order 10 in their first derivative temporal terms. The second suite consists of four models based solely upon post 1983.5 observatory and survey data. They are of deg and order 10 in main field and 8 in a first deg Taylor series. A comprehensive error analysis was applied to both series, which accounted for error sources such as the truncated core and crustal fields, and the neglected Sq and low deg crustal fields. Comparison of the power spectrum of the MGST (10/81) model with those of this series show good agreement
Hydrogen-oxygen proton-exchange membrane fuel cells and electrolyzers
Hydrogen-oxygen solid polymer electrolyte (SPE) fuel cells and SPE electrolyzers (products of Hamilton Standard) both use a Proton-Exchange Membrane (PEM) as the sole electrolyte. These solid electrolyte devices have been under continuous development for over 30 years. This experience has resulted in a demonstrated ten-year SPE cell life capability under load conditions. Ultimate life of PEM fuel cells and electrolyzers is primarily related to the chemical stability of the membrane. For perfluorocarbon proton exchange membranes an accurate measure of the membrane stability is the fluoride loss rate. Millions of cell hours have contributed to establishing a relationship between fluoride loss rates and average expected ultimate cell life. This relationship is shown. Several features have been introduced into SPE fuel cells and SPE electrolyzers such that applications requiring greater than or equal to 100,000 hours of life can be considered. Equally important as the ultimate life is the voltage stability of hydrogen-oxygen fuel cells and electrolyzers. Here again the features of SPE fuel cells and SPE electrolyzers have shown a cell voltage stability in the order of 1 microvolt per hour. That level of stability has been demonstrated for tens of thousands of hours in SPE fuel cells at up to 500 amps per square foot (ASF) current density
Hydrogen-oxygen proton-exchange membrane fuel cells and electrolyzers
Hydrogen-oxygen SPE fuel cells and SPE electrolyzers (products of Hamilton Standard) both use a Proton-Exchange Membrane (PEM) as the sole electrolyte. The SPE cells have demonstrated a ten year life capability under load conditions. Ultimate life of PEM fuel cells and electrolyzers is primarily related to the chemical stability of the membrane. For perfluorocarbon proton-exchange membranes an accurate measure of the membrane stability is the fluoride loss rate. Millions of cell hours have contributed to establishing a relationship between fluroride loss rates and average expected ultimate cell life. Several features were introduced into SPE fuel cells and SPE electrolyzers such that applications requiring greater than or equal to 100,000 hours of life can be considered. Equally important as the ultimate life is the voltage stability of hydrogen-oxygen fuel cells and electrolyzers. Here again the features of SPE fuel cells and SPE electrolyzers have shown a cell voltage stability in the order of 1 microvolt per hour. That level of stability were demonstrated for tens of thousands of hours in SPE fuel cells at up to 500 amps per square foot (ASF) current density. The SPE electrolyzers have demonstrated the same at 1000 ASF. Many future extraterrestrial applications for fuel cells require that they be self recharged. To translate the proven SPE cell life and stability into a highly reliable extraterrestrial electrical energy storage system, a simplification of supporting equipment is required. Static phase separation, static fluid transport and static thermal control will be most useful in producting required system reliability. Although some 200,000 SPE fuel cell hours were recorded in earth orbit with static fluid phase separation, no SPE electrolyzer has, as yet, operated in space
Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs
Algorithms are presented for the tanh- and sech-methods, which lead to
closed-form solutions of nonlinear ordinary and partial differential equations
(ODEs and PDEs). New algorithms are given to find exact polynomial solutions of
ODEs and PDEs in terms of Jacobi's elliptic functions.
For systems with parameters, the algorithms determine the conditions on the
parameters so that the differential equations admit polynomial solutions in
tanh, sech, combinations thereof, Jacobi's sn or cn functions. Examples
illustrate key steps of the algorithms.
The new algorithms are implemented in Mathematica. The package
DDESpecialSolutions.m can be used to automatically compute new special
solutions of nonlinear PDEs. Use of the package, implementation issues, scope,
limitations, and future extensions of the software are addressed.
A survey is given of related algorithms and symbolic software to compute
exact solutions of nonlinear differential equations.Comment: 39 pages. Software available from Willy Hereman's home page at
http://www.mines.edu/fs_home/whereman
- …