Erosion-corrosion behaviour of Zirconia WC-6Co, WC-6Ni and SS316

The current study investigates a ceramic, two cermets and a metal under solid-liquid impingement with 3.5% NaCl and 150mg/l hydraulic fracturing sand at two extreme angles of impact, 90° and 20°. The materials tested were Zirconia, sintered WC-6Co, sintered WC-6Ni and SS316. Each material was exposed to a testing regime using re-circulating impinging jet apparatus with a velocity of 19m/s and one hour duration. The electrochemical properties of the materials were investigated in-situ through anodic and cathodic polarisation and application of cathodic protection. Post experimental analysis of the degraded surface was completed using Scanning Electron Microscopy (SEM) and Optical 3D Imaging. Zirconia exhibited a brittle response to erosion-corrosion testing with the mass loss at 90° being fifty times greater than the negligible mass loss at 20°. WC-6Co and WC-6Ni both outperformed SS316 under all solid-liquid impingement erosion-corrosion testing regimes. WC-6Ni exhibited slightly better erosion-corrosion resistance over WC-6Co at both 90° and 20°. SS316 had the best corrosion resistance and showed passivation during anodic polarisations in solid-liquid impingement conditions. The nickel binder increased the corrosion resistance of WC-6Ni over WC-6Co. Cathodic protection was successfully applied on sintered WC-6Co and SS316 isolating the key components of erosion-corrosion

Dynamics of Macroscopic Wave Packet Passing through Double Slits: Role of Gravity and Nonlinearity

Using the nonlinear Schroedinger equation (Gross-Pitaevskii equation), the dynamics of a macroscopic wave packet for Bose-Einstein condensates falling through double slits is analyzed. This problem is identified with a search for the fate of a soliton showing a head-on collision with a hard-walled obstacle of finite size. We explore the splitting of the wave packet and its reorganization to form an interference pattern. Particular attention is paid to the role of gravity (g) and repulsive nonlinearity (u_0) in the fringe pattern. The peak-to-peak distance in the fringe pattern and the number of interference peaks are found to be proportional to g^(-1/2) and u_0^(1/2)g^(1/4), respectively. We suggest a way of designing an experiment under controlled gravity and nonlinearity.Comment: 10 pages, 4 figures and 1 tabl

A double bounded key identity for Goellnitz's (big) partition theorem

Given integers i,j,k,L,M, we establish a new double bounded q-series identity from which the three parameter (i,j,k) key identity of Alladi-Andrews-Gordon for Goellnitz's (big) theorem follows if L, M tend to infinity. When L = M, the identity yields a strong refinement of Goellnitz's theorem with a bound on the parts given by L. This is the first time a bounded version of Goellnitz's (big) theorem has been proved. This leads to new bounded versions of Jacobi's triple product identity for theta functions and other fundamental identities.Comment: 17 pages, to appear in Proceedings of Gainesville 1999 Conference on Symbolic Computation

A methodology for testing fault-tolerant software

A methodology for testing fault tolerant software is presented. There are problems associated with testing fault tolerant software because many errors are masked or corrected by voters, limiter, or automatic channel synchronization. This methodology illustrates how the same strategies used for testing fault tolerant hardware can be applied to testing fault tolerant software. For example, one strategy used in testing fault tolerant hardware is to disable the redundancy during testing. A similar testing strategy is proposed for software, namely, to move the major emphasis on testing earlier in the development cycle (before the redundancy is in place) thus reducing the possibility that undetected errors will be masked when limiters and voters are added

Executable assertions and flight software

Executable assertions are used to test flight control software. The techniques used for testing flight software; however, are different from the techniques used to test other kinds of software. This is because of the redundant nature of flight software. An experimental setup for testing flight software using executable assertions is described. Techniques for writing and using executable assertions to test flight software are presented. The error detection capability of assertions is studied and many examples of assertions are given. The issues of placement and complexity of assertions and the language features to support efficient use of assertions are discussed