Hot corrosion resistance of nickel-chromium-aluminum alloys

The hot corrosion resistance of nickel-chromium-aluminum alloy was examined by cyclically oxidizing sodium sulfate coated specimens in still air at 900, 1000 and 1100 C. The compositions tested were within the ternary region: Ni; Ni-50 at.% Cr; and Ni-50 at.% Al. At each temperature the corrosion data were statistically fitted to a third order regression equation as a function of chromium and aluminum contents. Corrosion isopleths were prepared from these equations. Compositional regions with the best hot corrosion resistance were identified

Evaluation of the results of a round robin analysis for oxygen in potassium and sodium

Evaluation of various laboratory determination of oxygen in potassium and sodiu

The Vampire and the FOOL

This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency

Asymptotics of Relativistic Spin Networks

The stationary phase technique is used to calculate asymptotic formulae for SO(4) Relativistic Spin Networks. For the tetrahedral spin network this gives the square of the Ponzano-Regge asymptotic formula for the SU(2) 6j symbol. For the 4-simplex (10j-symbol) the asymptotic formula is compared with numerical calculations of the Spin Network evaluation. Finally we discuss the asymptotics of the SO(3,1) 10j-symbol.Comment: 31 pages, latex. v3: minor clarification

Isothermal and cyclic oxidation at 1000 and 1100 deg C of four nickel-base alloys: NASA-TRW VIA, B-1900, 713C, and 738X

The isothermal and cyclic oxidation resistance of four cast Ni-base gamma + gamma prime alloys, NASA-TRW Via, B-1900, 713C, and 738X, was determined in still air at 1000 and 1100 C. The oxidation process was evaluated by specific sample weight change with time, sample thickness change, X-ray diffraction of the scales, and sample metallography. The behavior is discussed in terms of the Cr, Al, and refractory metal contents of the alloys

High-Temperature Cyclic Oxidation Data, Volume 1

This first in a series of cyclic oxidation handbooks contains specific-weight-change-versus-time data and X-ray diffraction results derived from high-temperature cyclic tests on high-temperature, high-strength nickel-base gamma/gamma' and cobalt-base turbine alloys. Each page of data summarizes a complete test on a given alloy sample

Asymptotics of 10j symbols

The Riemannian 10j symbols are spin networks that assign an amplitude to each 4-simplex in the Barrett-Crane model of Riemannian quantum gravity. This amplitude is a function of the areas of the 10 faces of the 4-simplex, and Barrett and Williams have shown that one contribution to its asymptotics comes from the Regge action for all non-degenerate 4-simplices with the specified face areas. However, we show numerically that the dominant contribution comes from degenerate 4-simplices. As a consequence, one can compute the asymptotics of the Riemannian 10j symbols by evaluating a `degenerate spin network', where the rotation group SO(4) is replaced by the Euclidean group of isometries of R^3. We conjecture formulas for the asymptotics of a large class of Riemannian and Lorentzian spin networks in terms of these degenerate spin networks, and check these formulas in some special cases. Among other things, this conjecture implies that the Lorentzian 10j symbols are asymptotic to 1/16 times the Riemannian ones.Comment: 25 pages LaTeX with 8 encapsulated Postscript figures. v2 has various clarifications and better page breaks. v3 is the final version, to appear in Classical and Quantum Gravity, and has a few minor corrections and additional reference

Kleinian Geometry and the N=2 Superstring

This paper is devoted to the exploration of some of the geometrical issues raised by the $N=2$ superstring. We begin by reviewing the reasons that $\beta$-functions for the $N=2$ superstring require it to live in a four-dimensional self-dual spacetime of signature $(--++)$, together with some of the arguments as to why the only degree of freedom in the theory is that described by the gravitational field. We then move on to describe at length the geometry of flat space, and how a real version of twistor theory is relevant to it. We then describe some of the more complicated spacetimes that satisfy the $\beta$-function equations. Finally we speculate on the deeper significance of some of these spacetimes.Comment: 30 pages, AMS-Te

Local availability and long-range trade: the worked stone assemblage

Inter disciplinary study of major excavation assemblage from Norse settlement site in Orkney. Combines methodological and typological developments with scientific discussion

The complete LQG propagator: I. Difficulties with the Barrett-Crane vertex

Some components of the graviton two-point function have been recently computed in the context of loop quantum gravity, using the spinfoam Barrett-Crane vertex. We complete the calculation of the remaining components. We find that, under our assumptions, the Barrett-Crane vertex does not yield the correct long distance limit. We argue that the problem is general and can be traced to the intertwiner-independence of the Barrett-Crane vertex, and therefore to the well-known mismatch between the Barrett-Crane formalism and the standard canonical spin networks. In a companion paper we illustrate the asymptotic behavior of a vertex amplitude that can correct this difficulty.Comment: 31 page