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.

smoothing document language model with local word graph

ACM SIGIR; ACM SIGWEB

Characteristics of plasma induced by interaction of a free-oscillated laser pulse with a coal target in air and combustible gas

Plasma in the air is successfully induced by a free-oscillated Nd:YAG laser pulse with a peak power of 10(2-3) W. The initial free electrons for the cascade breakdown process are from the ablated particles from the surface of a heated coal target, likewise induced by the focused laser beam. The laser field compensates the energy loss of the plasma when the corresponding temperature and the images are investigated by fitting the experimental spectra of B-2 Sigma(+) -> X-2 Sigma(+) band of CN radicals in the plasma with the simulated spectra and a 4-frame CCD camera. The electron density is estimated using a simplified Kramer formula. As this interaction occurs in a gas mixture of hydrogen and oxygen, the formation and development of the plasma are weakened or restrained due to the chaining branch reaction in which the OH radicals are accumulated and the laser energy is consumed. Moreover, this laser ignition will initiate the combustion or explosion process of combustible gas and the minimum ignition energy is measured at different initial pressures. The differences in the experimental results compared to those induced by a nanosecond Q-switched laser pulse with a peak power of 10(6-8) W are also discussed. (C) 2009 Professor T. Nejat Veziroglu. Published by Elsevier Ltd. All rights reserved.

Studies of timing for a TOF counter at external target facility

Timing and amplitude properties of a prototype scintillator TOF counter at an external target facility are studied with a cosmic rays test. The dependence of signal pulse height and time resolution on the coordinate along the scintillator TOF counter is investigated with two different discriminators. A time resolution of 165 ps can be achieved at the center of the counter with a constant fraction discriminator. Time resolution better than 150 ps is obtained at the center with a leading edge discriminator af...