Effect of counterpart on the tribological behavior and tribo-induced phase transformation of Si

The tribological behaviors and phase transformation of single crystal silicon against Si3N4, Ruby and steel were investigated in this study. It was found that the strong chemical action between silicon and Fe was the key factor to the tribological behavior of silicon as slid against steel. SEM and Raman spectroscopy indicated that phase transformation of single crystal silicon occurred during the running-in period at low sliding velocity as slid against Si3N4 and Ruby. and gave birth to single or a mixture phase of Si-III, Si-XII and amorphous silicon. The high hardness of counterpart and the absence of chemical action between silicon and counterpart facilitated the phase transformation of single crystal silicon. (C) 2008 Elsevier Ltd. All rights reserved.

Characterization of entanglement transformation via group representation theory

Entanglement transformation of composite quantum systems is investigated in the context of group representation theory. Representation of the direct product group SL(2, C) circle times SL(2, C), composed of local operators acting on the binary composite system, is realized in the four-dimensional complex space in terms of a set of novel bases that are pseudo-orthonormalized. The two-to-one homomorphism is then established for the group SL(2, C) circle times SL(2, C) onto the SO(4, C). It is shown that the resulting representation theory leads to the complete characterization for the entanglement transformation of the binary composite system.

A complex Fourier transformation study of the contactless electroreflectance of an undoped-n(+) GaAs structure

Complex Fourier transformation (CFT) has been employed to analyse contactless electroreflectance (CER) spectra from an undoped-n(+) GaAs structure with various ac modulations and dc bias voltages. The CFT spectra of CER have been compared with those of photoreflectance (PR). It has been found that the CER non-flat modulation is between the built-in electric field and a larger electric field which increases with the modulation voltage. The result has been explained by the screening of the applied modulation electric field in one of the two half modulation cycles and the trapping of electrons in surface states in the other half modulation cycle. The dc bias does not change the CER spectra, hence their CFT spectra. This is because of the screening of the applied dc bias electric field.

Local transformation of mixed states of two qubits to Bell diagonal states

The optimal entanglement manipulation for a single copy of mixed states of two qubits is to transform it to a Bell diagonal state. In this paper we derive an explicit form of the local operation that can realize such a transformation. The result obtained is universal for arbitrary entangled two-qubit states and it discloses that the corresponding local filter is not unique for density matrices with rank n = 2 and can be exclusively determined for that with n = 3 and 4. As illustrations, a four-parameter family of mixed states are explored, the local filter as well as the transformation probability are given explicitly, which verify the validity of the general result.

Theoretical analysis and experimental study of Fourier transformation of Franz-Keldysh oscillations in GaAs

Fourier transformation (FT) has been used in the theoretical line shape analysis of Franz-Keldysh oscillations (FKOs) in detail by numerical simulations. FKOs from the surface-intrinsic-n(+) GaAs structure were obtained in photoreflectance (PR) measurements with various modulation light intensities and with different strengths of bias light illumination, which were used to change the static electric field in the intrinsic layer of the sample. The FT spectra of the PR spectra, including the real part, imaginary part, and the modulus, were very consistent with the theoretical line shapes. The ratio of the square root of the reduced mass (root mu (L)/root mu (H)) and the ratio of transition strength of the electron heavy hole to the electron light hole were obtained from the PT spectra. In addition, the electric field in the intrinsic layer of the sample without and with bias illumination and the modulation field induced by photomodulation were also obtained. (C) 2000 American Institute of Physics. [S0021-8979(00)02123-X].

Fourier transformation study of the Franz-Keldysh Oscillation in SIN+ GaAs structures

Fourier transformation (FT) method has been used in the theoretical lineshape analysis of the Franz-Keldysh Oscillation (FKO) in detail by numerical simulation. The FKO of a set of GaAs SIN+ samples was obtained in photoreflectance measurements. The FT spectra of a part of the samples,including of the real part,imaginary part, and mode of the FT,are well consistent with the theoretical lineshapes. The ratio of the square root of the reduced mass of the light hole (LH) to the heavy hole (HH), root mu(1)/root mu(h), obtained in the analysis was in the range of 0.805 to 0.816 for different samples. In addition,the built-in electric field F-1, and the modulation field delta F = F-1 - F-2 induced by photo-modulation were also obtained in the analysis. However,for a few samples great difference was found in the lineshape of the real part and imaginary part of their FT spectra from the theoretical lineshape. In this case the mode of the FT spectra still can be used to obtain useful information.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

Species transformation of trace elements and their distribution prediction in dyestuff residue incineration

The release of heavy metals from the combustion of hazardous wastes is an environmental issue of increasing concern. The species transformation characteristics of toxic heavy metals and their distribution are considered to be a complex problem of mechanism. The behavior of hazardous dyestuff residue is investigated in a tubular furnace under the general condition of hazardous waste pyrolysis and gasfication. Data interpretation has been aided by parallel theoretical study based on a thermodynamic equilibrium model based on the principle of Gibbs free energy minimization. The results show that Ni, Zn, Mn, and Cr are more enriched in dyestuff residue incineration than other heavy metals (Hg, As, and Se) subjected to volatilization. The thermodynamic model calculation is used for explaining the experiment data at 800 degrees C and analyzing species transformation of heavy metals. These results of species transformation are used to predict the distribution and emission characteristics of trace elements. Although most trace element predictions are validated by the measurements, cautions are in order due to the complexity of incineration systems.