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.

pattern matching compilation of functions defined in context-free languages

LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integer by an encoding method. It is a rather simple method and produces efficient case-expressions for pattern matching definitions of LFC. The algorithm can also be used for other functional languages, but for nested patterns it may become complicated and further studies are needed.

Contribution of inherent organic carbon to the bulk delta C-13 signal in loess deposits from the arid western Chinese Loess Plateau

IEECAS SKLLQG

Evidence of N-*(1535) resonance contribution in the pn -> d phi reaction

The N ∗(1535) resonance contributions to the pn → dφ reaction are evaluated in an effective Lagrangian model. The π-, η-, and ρ-meson exchange are considered. It is shown that the contributions from π- and ρ-meson exchange are dominant, while the contribution from η-meson exchange is negligibly small. Our theoretical results reproduce the experimental data of both total cross section and angular distribution well. This is more evidence that the N ∗(1535) resonance has a large s ¯s component leading to a large coupling to Nφ, which may be the real origin of the Okubo-Zweig-Iizuka rule violation in the πN and pN reactions.

N*(1535) contribution in pp -> pp eta ' and pn -> d phi

In an effective Lagrangian model we find that the N*(1535) resonance contribution might be important to the interpretation of the present data of the pp -> pp eta' and pn -> d phi reactions. The strong coupling strength of N*(1.535) to eta' and phi are indicated, and the possible implication to the intrinsic component of N*(1535) is explored. These results may provide hints to the real origin of the OZI rule violation. It is stressed that further measurements could be performed at the Cooling Storage Ring (CSR) at Lanzhou of China.

Isospin dependence of three-body force rearrangement contribution

Within the isospin-dependent Brueckner framework, we investigate the contribution of three-body force ( TBF) rearrangement to isospin symmetry potential as well as its momentum and density dependence. In particular, we investigate the TBF rearrangement effects on the isospin splitting of neutron and proton effective masses in neutron-rich nuclear matter. We show that the rearrangement contribution of TBF to neutron and proton single-particle potentials is repulsive and increases rapidly with increasing density and momentum. At low densities, the influence of the TBF rearrangement on symmetry potential is rather small, and the TBF rearrangement effect becomes more and more pronounced as the density rises. At high densities, the contribution of TBF rearrangement increases considerably the symmetry potential and modifies remarkably the momentum dependence of the symmetry potential. In both cases with and without including the TBF rearrangement contribution, the predicted neutron effective mass in neutron-rich matter is greater than the proton effective mass. The TBF rearrangement effect is to decrease remarkably both the proton and neutron effective masses, and reduce the magnitude of neutron-proton effective mass splitting in neutron-rich matter at high densities.

Three-body force rearrangement contribution to single nucleon potential in nuclear matter

Within the framework of microscopic Brueckner-Hatree-Fock, the contribution of the three-body force (TBF) rearrangement to the. single nucleon potential is calculated. The TBF rearrangement effects on the momentum and the density dependence of the single nucleon potential are investigated. The influence of the TBF rearrangement on the effective mass of nucleon is also discussed. It is shown that the rearrangement contribution of TBF is repulsive and momentum-dependent. The TBF rearrangement effect and its momentum dependence increase rapidly as increasing density and momentum. At high densities and high momenta, the repulsive rearrangement contribution reduces strongly the attraction of the single nucleon potential and enhances considerably the momentum dependence of the single nucleon potential.