practical type checking of functions defined on context-free languages

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

The design and operation of a new clapboard-type internal circulating fluidized-bed gasifier

The design and operation of a new clapboard-type internal circulating fluidized-bed gasifier is proposed in this article. By arranging the clapboard in the bed, the gasifier is thus divided into two regions, which are characterized by different fluidization velocities. The bed structure is designed so that it can guide the circulating flow passing through the two regions, and therefore the feedstock particles entrained in the flow experience longer residence time. The experimental results based on the present new design, operating in the temperature range of 790 degrees C-850 degrees C, indicate that the gas yield is from 1.6-1.9 Nm(3)/kg feedstock, the gas enthalpies are 5,345 kJ/Nm(3) for wood chip and 4,875 kJ/m(3) for rice husk, and a gasification efficiency up to 75% can be obtained.

INFLUENCE OF THE 90-DEGREES PARTIAL DISLOCATION CORE STRUCTURE IN SILICON ON ENERGY-LEVELS

An LCAO-scheme taking into account 10 atomic orbitals (s-, p-, and d-type) is used to calculate the electronic structure of the reconstructed 90-degrees partial dislocation in Si. Two different valence force fields producing deviating results are used for modelling the core structure. Geometrical data published by another group is also used. The aim is to explore the influence of geometry on energy levels. We find that the band structure depends sensitively on bond angles. Using data determined by the Tersoff potential we obtain two bands of which the upper one penetrates deeply into the indirect band gap while the geometry minimizing the simple Keating potential leaves the gap completely clear of dislocation states. Thus, from a theoretical point of view, the chief difficulty in calculating the electronic structure of the reconstructed 90-degrees partial is the lack of accurate structural information.

A NEW TYPE OF SILICON-ON-INSULATOR WITH A PERFECT SURFACE SILICON LAYER

A novel silicon structure consisting of a silicon-on-defect layer (SODL), with enhanced surface Hall mobility in the surface layer on a buried defect layer (DL), has been discovered [J. Li, Nucl. Instr. and Meth. B59/60 (1991) 1053]. SODL material was formed by using proton implantation and subsequent two-step annealing. The implantation was carried out with a Varian 350D ion implanter. Based on the discovery, a standard measurement method (current-voltage curve method) was adopted to measure the true resistivity value of the DL in order to replace the spreading resistivity measurement by which the true resistivity in seriously defective silicon cannot be obtained. By adopting the current-voltage current method, the true resistivity value of the DL is measured to be 4.2 x 10(9) OMEGA cm. The SODL material was proved to be a silicon-on-insulator substrate.

NEW TYPE OF SILICON MATERIAL WITH VERY HIGH-QUALITY SURFACE-LAYER ON INSULATING DEFECT LAYER

A new-type silicon material, silicon on defect layer (SODL) was proved to have a very high quality surface microstructure which is necessary for commercially feasible high-density very large scale integrated circuits (VLSI). The structure of the SODL material was viewed by transmission electron microscopy. The SODL material was also proved to have a buried defect layer with an insulating resistivity of 5.7 x 10(10) OMEGA-cm.

SPECTROSCOPIC INVESTIGATION OF HYDROGEN-DOPANT COMPLEXES IN BULK P-TYPE AND IMPLANTED N-TYPE CRYSTALLINE SILICON

Infrared absorption experiments have been performed on hydrogenated and deuterated bulk boron- and aluminum-doped-Si and implanted P, As, and Sb donors in silicon. A first evidence of complex formation in bulk p-type Si is obtained and the spectra confirm the anomalous 3.3-cm-1 deuterium frequency shift with respect to boron isotopes. The ratio of the D-B-11 and D-B-10 peak areas is found to be the same as that of the two boron isotopes natural abundance. In donor-implanted silicon, a quantitative analysis of the obtained data has allowed a rough estimate of the passivating rate due to diffusing deuterium. While the frequencies of the various vibrational lines are found to be in agreement with those reported in the literature, the data on the broad line at 1660 cm-1 (H) or 1220 cm-1 (D) seem to suggest an assignment of this peak to a complex in the bulk involving some type of defect due to the implantation process.

Pressure dependence of the electronic subband structure of strained In0.2Ga0.8As/GaAs MQWs

We have measured low-temperature photoluminescence (PL) and optical absorption spectra of an In0.2Ga0.8As/GaAs multiple quantum well (MQW) structure at pressures up to 8 GPa. Below 4.9 GPa, PL shows only the emission of the n = 1 heavy-hole (HH) exciton. Three new X-related PL bands appear at higher pressures. They are assigned to spatially indirect (type-II) and direct (type-I) transitions from X(Z) states in GaAs and X(XY) valleys of InGaAs, respectively, to the HH subband of the wells. From the PL data we obtain a valence band offset of 80 meV for the strained In0.2Ga0.8As/GaAs MQW system. Absorption spectra show three features corresponding to direct exciton transitions in the quantum wells. In the pressure range of 4.5 to 5.5 GPa an additional pronounced feature is apparent in absorption, which is attributed to the pseudo-direct transition between a HH subband and the folded X(Z) states of the wells. This gives the first clear evidence for an enhanced strength of indirect optical transitions due to the breakdown of translational invariance at the heterointerfaces in MQWs.

Microstructure studies of PdGe/Ge ohmic contacts to n-type GaAs formed by rapid thermal annealing

A low resistance and shallow ohmic contact to n-GaAs is performed by using Ge/Pd/GaAs trilayer structure and rapid thermal annealing process. The dependence of specific contact resistivity on the temperature of rapid thermal annealing is investigated. A good ohmic contact is formed after annealing at 400-500 degrees C for 60 s. The best specific contact resistivity is 1.4 x 10(-6) Omega cm(2). Auger electron spectroscopy (AES), secondary ion mass spectrometry (SIMS) and scanning electron microscopy (SEM) are used to analyze the interfacial microstructure. A strong correlation between the contact resistance and the film microstructure is observed.

First-principles investigation of the electronic structure and magnetism of eskolaite

The electronic structure and magnetism of eskolaite are studied by using first-principles calculations where the on-site Coulomb interaction and the exchange interaction are taken into account and the LSDA+U method is used.The calculated energies of magnetic configurations are very well fitted by the Heisenberg Hamiltonian with interactions in five neighbour shells; interaction with two nearest neighbours is found to be dominant. The Neel temperature is calculated in the spin-3/2 pair-cluster approximation. It is found that the measurements are in good agreement with for the values of U and J that are close to those obtained within the constrained occupation method.The band gap is of the Mott-Hubbard type.

Second-Order Raman Scattering from n- and p-Type 4H-SiC

The results of second-order Raman-scattering experiments on n- and p-type 4H-SiC are presented,covering the acoustic and the optical overtone spectral regions.Some of the observed structures in the spectra are assigned to particular phonon branches and the points in the Brillouin zone from which the scattering originates.There exists a doublet at 626/636cm-1 with energy difference about 10cm-1 in both n- and p-type 4H-SiC,which is similar to the doublet structure with the same energy difference founded in hexagonal GaN,ZnO, and AlN.The cutoff frequency at 1926cm-1 of the second-order Raman is not the overtone of the A1(LO) peak of the n-type doping 4H-SiC,but that of the undoping one.The second-order Raman spectrum of 4H-SiC can hardly be affected by doping species or doping density.

Optical characterization of the Ge/Si (001) islands in multilayer structure

We show that the observed temperature dependence of the photoluminescence (PL) features can be consistently explained in terms of thermally activated carrier transfer processes in a multilayer structure of the self-organized Ge/Si(001) islands. The type II (electron confinement in Si) behavior of the Ge/Si islands is verified. With elevated temperature, the thermally activated electrons and holes enter the Ge islands from the Si and from the wetting layer (WL), respectively. An involvement of the type I (spatially direct) into type II (spatially indirect) recombination transition takes place at a high temperature.

Type I-type II transition of self-assembled In0.55Al0.45As/Al0.5Ga0.5As quantum dots

The photoluminescence (PL) of In0.55Al0.45As/Al0.5Ga0.5As self-assembled quantum dots has been measured at 15 and 80 K under hydrostatic pressure. The lateral size of the dots ranges from 7 to 62 nm. The emissions from the dots with 26, 52 and 62 nm size have a blue shift under pressure, indicating that these quantum dots have the normal type-I structure with lowest conduction band at the Gamma -valley. However, the PL peak of dots with 7 nm diameter moves to lower energy with increasing pressure. It is a typical character for the X-related transition. Then these small dots have a type-II structure with the X-valley as the lowest conduction level. An envelope-function calculation confirms that the Gamma -like exciton transition energy will rise above the X-like transition energy in the In0.55Al0.45As/Al0.5Ga0.5As structure if the dot size is small enough.

Thrust generation and wake structure of wiggling hydrofoil

Marine animals and micro-machines often use wiggling motion to generate thrust. The wiggling motion can be modeled by a progressive wave where its wavelength describes the flexibility of wiggling animals. In the present study, an immersed boundary method is used to simulate the flows around the wiggling hydrofoil NACA 65-010 at low Reynolds numbers. One can find from the numerical simulations that the thrust generation is largely determined by the wavelength. The thrust coefficients decrease with the increasing wavelength while the propulsive efficiency reaches a maximum at a certain wavelength due to the viscous effects. The thrust generation is associated with two different flow patterns in the wake: the well-known reversed Karman vortex streets and the vortex dipoles. Both are jet-type flows where the thrust coefficients associated with the reversed Karman vortex streets are larger than the ones associated with the vortex diploes.

Improved BCS-type pairing for the relativistic mean-field theory

A density-dependent delta interaction (DDDI) is proposed in the formalism of BCS-type pairing correlations for exotic nuclei whose Fermi surfaces are close to the threshold of the unbound state. It provides the possibility to pick up those states whose wave functions are concentrated in the nuclear region by making the pairing matrix elements state dependent. On this basis, the energy level distributions, occupations, and ground-state properties are self-consistently studied in the RMF theory with deformation. Calculations are performed for the Sr isotopic chain. A good description of the total energy per nucleon, deformations, two-neutron separation energies and isotope shift from the proton drip line to the neutron drip line is found. Especially, by comparing the single-particle structure from the DDDI pairing interaction with that from the constant pairing interaction for a very neutron-rich nucleus it is demonstrated that the DDDI pairing method improves the treatment of the pairing in the continuum.

Self-assembly of rod-coil-rod ABA-type triblock copolymers

Self-assembled behavior of symmetric ABA rod-coil-rod triblock copolymer melts is studied by applying self-consistent-field lattice techniques in three-dimensional space. The phase diagram is constructed to understand the effects of the chain architecture on the self-assembled behavior. Four stable structures are observed for the ABA rod-coil-rod triblock, i.e., spherelike, lamellar, gyroidlike, and cylindrical structures. Different from AB rod-coil diblock and BAB coil-rod-coil triblock copolymers, the lamellar structure observed in ABA rod-coil-rod triblock copolymer melts is not stable for high volume fraction of the rod component (f(rod)=0.8), which is attributed to the intramolecular interactions between the two rod blocks of the polymer chain.