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.

制造系统的可重构性

可重构制造模式是一种指导管理和控制制造系统重构过程的制造哲理 ,它使制造系统有效地响应不断变化的环境。制造系统具有可重构能力是其生存和发展的基本手段 ,具有较高可重构性的公司在风云突变的环境中将远远超过其竞争对手。本文探讨了可重构制造模式的基本定义和内涵 ,并从组织、过程、产品、加工系统和信息平台等五个方面研究了制造系统的可重构性。