Mechanisms for extra conductance plateaus in quantum wires

Spin-density-functional theory is employed to calculate the conductance G through a quasi-one-dimensional quantum wire. In addition to the usual subband quantization plateaus at G=n(2e(2)/h), we find additional structures at (n+1/2)(2e(2)/h). The extra structures appear whether or not the electrons in the wire spin polarize. However, only the spin-polarized case reproduces the experimental temperature and magnetic field dependences.

Temperature quenching mechanisms for photoluminescence of MBE-grown chlorine-doped ZnSe epilayers

We report on a detailed investigation on the temperature-dependent behavior of photoluminescence from molecular beam epitaxy (MBE)-grown chlorine-doped ZnSe epilayers. The overwhelming neutral donor bound exciton ((ClX)-X-0) emission at 2.797 eV near the band edge with a full-width at half-maximum (FWHM) of similar to 13 meV reveals the high crystalline quality of the samples used. In our experiments, the quick quenching of the (ClX)-X-0 line above 200 K is mainly due to the presence of a nonradiative center with a thermal activation energy of similar to 90 meV, The same activation energy and similar quenching tendency of the (ClX)-X-0 line and the I-3 line at 2.713 eV indicate that they originate from the same physical mechanism. We demonstrate for the first time that the dominant decrease of the integrated intensity of the I, line is due to the thermal excitation of the "I-3 center"-bound excitons to its free exciton states, leaving the "I-3 centers" as efficient nonradiative centers. The optical performance of ZnSe materials is expected to be greatly improved if the density of the "I-3 center" can be controlled. The decrease in the luminescence intensity at moderately low temperature (30-200 K) of the (ClX)-X-0 line is due to the thermal activation of neutral-donor-bound excitons ((ClX)-X-0) to free excitons. (C) 2000 Published by Elsevier Science B.V.

Characterization of self-organized InAs/GaAs quantum dots under strain-induced and temperature-controlled nucleation mechanisms by atomic force microscopy and photoluminescence spectroscopy

Atomic force microscopy and photoluminescence spectroscopy (PL) has been used to study asymmetric bilayer InAs quantum dot (QD) structures grow by molecular-beam epitaxy on GaAs (001) substrates. The two InAs layers were separated by a 7-nm-thick GaAs spacer layer and were grown at different substrate temperature. We took advantage of the intrinsic nonuniformity of the molecular beams to grow the seed layer with an average InAs coverage of 2.0 ML. Then the seed layer thickness could be divided into three areas: below, around and above the critical thickness of the 2D-3D transition along the 11101 direction of the substrate. Correspondingly, the nucleation mechanisms of the upper InAs layer (UIL) could be also divided into three areas: temperature-controlled, competition between temperature-controlled and strain-induced, and strain-induced (template-controlled) nucleation. Small quantum dots (QDs) with a large density around 5 x 10(10) cm(-2) are found in the temperature-controlled nucleation area. The QD size distributions undergo a bimodal to a unimodal transition with decreasing QD densities in the strain-induced nucleation area, where the QD densities vary following that of the seed layer (templating effect). The optimum QD density with the UIL thickness fixed at 2.4 ML is shown to be around 1.5 x 10(10) cm(-2), for which the QD size distribution is unimodal and PL emission peaks at the longest wavelength. The QDs in the in-between area exhibit a broad size distribution with small QDs and strain-induced large QDs coexisting.

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.