yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

combining cfg and recursive functions to get a new language

We propose a new functional programming language(FPL) which differs in some aspects from most well known FPLs[l].We descrihc the prohlmm domain,the language,explain why we need it.

Resonance-enhanced group delay times in an asymmetric single quantum barrier

It is shown that transmission and reflection group delay times in an asymmetric single quantum barrier are greatly enhanced by the transmission resonance when the energy of incident particles is larger than the height of the barrier. The resonant transmission group delay is of the order of the quasibound state lifetime in the barrier region. The reflection group delay can be either positive or negative, depending on the relative height of the potential energies on the two sides of the barrier. Its magnitude is much larger than the quasibound state lifetime. These predictions have been observed in microwave experiments. (c) 2005 Elsevier B.V. All rights reserved.

Magnetic barrier on strained graphene: A possible valley filter

We put forward a two-terminal valley filter based on a bulk graphene sheet under the modulations of both a local perpendicular magnetic field and a substrate strain. When only one of the two modulations is present, no valley polarization can be generated. A combination of the two modulations leads to a different (but not opposite) shifts of the K and K' valleys, which could be utilized to generate a valley-polarized current. The degree of the valley polarization can be tuned by the strain strength and the inclusion of a scalar potential. The valley polarization changes its polarity as the local magnetic field switches its direction.

DENSITY-OF-STATES OF THE 2-DIMENSIONAL ELECTRON-GAS STUDIED BY MAGNETOCAPACITANCES OF BIASED DOUBLE-BARRIER STRUCTURES

The magnetocapacitive response of a double-barrier structure (DBS), biased beyond resonances, has been employed to determine the density of states (DOS) of the two-dimensional electron gas residing in the accumulation layer on the incident side of the DBS. An adequate procedure is developed to compare the model calculation of the magnetocapacitance with the experimental C vs B curves measured at different temperatures and biases. The results show that the fitting is not only self-consistent but also remarkably good even in well-defined quantum Hall regimes. As a result, information about the DOS in strong magnetic fields could reliably be extracted.

SELF-CONSISTENT TREATMENT OF 3-DIMENSIONAL - 2-DIMENSIONAL AND 2-DIMENSIONAL - 2-DIMENSIONAL RESONANT-TUNNELING IN DOUBLE-BARRIER STRUCTURES

By using a transfer-matrix method on the basis of two-dimensional (2D) Bloch sums in accordance with a tight-binding scheme, a self-consistent calculation on the resonant tunneling in asymmetric double-barrier structures is presented, in which contributions to resonant tunneling from both three-dimensional (3D) electrons in the contacts and 2D electrons in the spacer or accumulation layers are considered simultaneously. The charge buildup effect on the current versus voltage (I-V) curves is evaluated systematically, showing quantitatively how it results in the I-V bistability and enhanced differences between I-V curves for positive and negative bias in an asymmetric double-barrier structure. Special attention is focused on the interaction between 3D-2D and 2D-2D resonant-tunneling processes, including the suppression of 2D-2D resonant tunneling by the charge buildup in the well accompanying the 3D-2D resonant tunneling. The effects of the emitter doping condition (doping concentration, spacer thickness) on the presence of two types of quasi-2D levels in the emitter accumulation layers, and on the formation of a potential bulge in the emitter region, are discussed in detail in relation to the tunneling process.

DETERMINATION OF THE CONDUCTION-BAND OFFSET OF A SINGLE ALGAAS BARRIER LAYER USING DEEP-LEVEL TRANSIENT SPECTROSCOPY

The tunneling from an AlGaAs confined thin layer to a GaAs layer in the GaAs/Al0.33Ga0.67As/GaAs structure during the trapped electron emission from deep level in the AlGaAs to its conduction band has been observed by deep level transient spectroscopy. With the aid of the tunneling effect, the conduction-band offset DELTAE(c) was determined to be 0.260 eV, corresponding to 63% of DELTAE(g). A calculation was also carried out based on this tunneling model by using the experimental value of DELTAE(c) = E2 - E1 = 0. 260 eV, and good agreement between the experimental and calculated curves is obtained.

CONTROLLING OF SCHOTTKY-BARRIER HEIGHTS FOR AU/N-GAAS AND TI/N-GAAS WITH HYDROGEN INTRODUCED AFTER METAL-DEPOSITION BY BIAS ANNEALING

Up to now, in most of the research work done on the effect of hydrogen on a Schottky barrier, the hydrogen was introduced into the semiconductor before metal deposition. This letter reports that hydrogen can be effectively introduced into the Schottky barriers (SBs) of Au/n-GaAs and Ti/n-GaAs by plasma hydrogen treatment (PHT) after metal deposition on [100] oriented n-GaAs substrates. The Schottky barrier height (SBH) of a SB containing hydrogen shows the zero/reverse bias annealing (ZBA/RBA) effect. ZBA makes the SBH decrease and RBA makes it increase. The variations in the SBHs are reversible. In order to obtain obvious ZBA/RBA effects, selection of the temperature for plasma hydrogen treatment is important, and it is indicated that 100-degrees-C for Au/n-GaAs and 150-degrees-C for Ti/n-GaAs are suitable temperatures. It is concluded from the analysis of experimental results that only the hydrogen located at or near the metal-semiconductor interface, rather than the hydrogen in the bulk of either the semiconductor or the metal, is responsible for the ZBA/RBA effect on SBH.