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.

生物质能利用技术的研究及发展

我国的生物质能资源主要是农业废弃物、禽畜类便和林业废弃物。生物质能的利用方式有：直接燃烧、产生沼气等可燃气、发电、转化为液体燃料和加工成高密度的固体燃料。文中对几种利用方式进行了讨论。

Kinetic study of hydrolysis of xylan and agricultural wastes with hot liquid water

We investigated the kinetics of hot liquid water (HLW) hydrolysis over a 60-min period using a self-designed setup. The reaction was performed within the range 160-220 °C, under reaction conditions of 4.0 MPa, a 1:20 solid:liquid ratio (g/mL), at 500 rpm stirring speed. Xylan was chosen as a model compound for hemicelluloses, and two kinds of agricultural wastes-rice straw and palm shell-were used as typical feedstocks representative of herbaceous and woody biomasses, respectively. The hydrolysis reactions for the three kinds of materials followed a first-order sequential kinetic model, and the hydrolysis activation energies were 65.58 kJ/mol for xylan, 68.76 kJ/mol for rice straw, and 95.19 kJ/mol for palm shell. The activation energies of sugar degradation were 147.21 kJ/mol for xylan, 47.08 kJ/mol for rice straw and 79.74 kJ/mol for palm shell. These differences may be due to differences in the composition and construction of the three kinds of materials. In order to reduce the decomposition of sugars, the hydrolysis time of biomasses such as rice straw and palm shell should be strictly controlled.

Optical image processing using the photoinduced anisotropy of pyrrylfulgide

A synthesized photochromic compound-pyrrylfulgide-is prepared as a thin film doped in a polymethylmethacrylate (PMMA) matrix. Under irradiation by UV light, the film converts from the bleached state into a colored state that has a maximum absorption at 635 nm and is thermally stable at room temperature. When the colored state is irradiated by a linearly polarized 650 nm laser, the film returns to the bleached state; photoinduced anisotropy is produced during this process. Application of optical image processing methods using the photoinduced anisotropy of the pyrrylfulgide/PMMA film is described. Examples in non-Fourier optical image processing, such as contrast reversal and image subtraction and summation, as well as in Fourier optical image processing, such as low-pass filtering and edge enhancement, are presented. (c) 2006 Optical Society of America.

A new method for spectrum reproduction and interferogram processing

On the basis of researchon the theory and mathe matics of interference data collection of the spatially modulated polarization interference imaging spectrometer designed by us, this paper mainly analyses and compares three different methods of spectrum reconstruction and interferogram processing. Specially, the authors introduce the nonparametric model of Music algorithm which is maturely used in power spectrum estimation into the spectrum reconstruction processing for the first time. This method prodigiously improves the resolution of reproduced spectrum, and provides a better math matic model for the improvement of resolving power in spectrum reproduction.

Real-time data processing of interferential imaging spectrometer based on FPGA

Based on the data processing technologies of interferential spectrometer, a sort of real-time data processing system on chip of interferential imaging spectrometer was studied based on large capacitance and high speed field programmable gate array( FPGA) device. The system integrates both interferograrn sampling and spectrum rebuilding on a single chip of FPGA and makes them being accomplished in real-time with advantages such as small cubage, fast speed and high reliability. It establishes a good technical foundation in the applications of imaging spectrometer on target detection and recognition in real-time.

Liquid encapsulated-melt zone processing of GaAs

A liquid encapsulated melt Bone process has been developed for single crystal growth of GaAs. Single crystals of 40 mm long have been grown with this technique. To avoid unwanted nucleation events and maintain a constant crystal diameter, from top to bottom growth using a short zone with a convex zone surface was found to give the best results. An arsenic overpressure was used to in conjunction with a B2O3 encapsulant in order to suppress arsenic dissociation from the melt and maintain the stoichiometry of the crystal.

Structural properties of polycrystalline silicon films formed by pulsed rapid thermal processing

A novel pulsed rapid thermal processing (PRTP) method has been used for realizing the solid-phase crystallization of amorphous silicon films prepared by PECVD. The microstructure and surface morphology of the crystallized films are investigated by X-ray diffraction (XRD) and atomic force microscopy (AFM). The results indicate that this PRTP is a suitable post-crystallization technique for fabricating large-area polycrystalline silicon films with good structural qualities such as large grain size, small lattice microstain and smooth surface morphology on low-cost substrate.

JFET SOS devices: Processing and gamma radiation effects

A process for fabricating n channel JFET/SOS (junction field-effect transistors on silicon-on-sapphire) has been researched. The gate p(+)n junction was obtained by diffusion, and the conductive channel was gotten by a double ion implantation. Both enhancement and depletion mode transistors were fabricated in different processing conditions. From the results of the Co-50 gamma ray irradiation experimental we found that the devices had a good total dose radiation-hardness. When the tot;ll dose was 5Mrad(Si), their threshold voltages shift was less than 0.1V. The variation of transconductance and the channel leakage current were also little.