function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

Investigation on relationship between charge transfer position and dielectric definition of average energy gap in Eu3+-doped compounds

The dielectric definition of average energy gap E-g of the chemical bond has been calculated quantitatively in Eu3+-doped 30 lanthanide compounds based on the dielectric theory of chemical bond for complex structure crystals. The relationship between the experimental charge transfer (CT) energy of Eu3+ and the corresponding average energy gap E-g has been studied. The results show that the CT energy increases linearly with increasing of the average energy gap E-g. The linear model is obtained. It allows us to predict the CT position of Eu3+-doped lanthanide compounds with knowledge of the crystal structure and index of refraction. Applied to the Ca4GdO(BO3)(3):Eu and Li2Lu5O4(BO3)(3):Eu crystals, the predicted results of CT energies are in good agreement with the experimental values, and it can be concluded that the lowest CT energy in Li2Lu5O4(BO3)(3):Eu originates from the site of Lu1.

Equivalent-barotropic definition of tropospheric mean temperature

An equivalent-barotropic (EB) description of the tropospheric temperature field is derived from the geostrophic empirical mode (GEM) in the form of a scalar function Gamma(p, phi), where p is pressure and phi is 300-850-mb thickness. Baroclinic parameter phi plays the role of latitude at each longitudinal section. Compared with traditional Eulerian-mean methods, GEM defines a mean field in baroclinic streamfunction space with a time scale much longer than synoptic variability. It prompts an EB concept that is only based on a baroclinic field. Monthly GEM fields are diagnosed from NCEP-NCAR reanalysis data and account for more than 90% of the tropospheric thermal variance. The circumglobal composite of GEM fields exhibits seasonal, zonal, and hemispheric asymmetries, with larger rms errors occurring in winter and in the Northern Hemisphere (NH). Zonally asymmetric features and planetary deviation from EB are seen in the NH winter GEM. Reconstruction of synoptic sections and correlation analysis reveal that the tropospheric temperature field is EB at the leading order and has a 1-day phase lag behind barotropic variations in extratropical regions.