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.

Effects of Cu-Wire Surface Fluctuations on Early Failures

Different chemical mechanical polishing （CMP） slurries are used to obtain single-damascene Cu-wires with different surface fluctuations as well as pre-existing surface-defects in wires with rougher surfaces. The presence of such pre-existing defects strongly increases the rate of early failures to almost 100%, reduces electromigration lifetime rapidly to the level of early failures, and changes the multimodal failure distribution into monomodal. The activation energy （0. 74±0.02eV） for the failure mechanism associated with these pre-existing defects confirms a dominant surface diffusion. It shows how a weakest link approximation analysis can he applied to a single wire by dividing the wire into relevant segments and assigning different failure mechanisms to the various segments. The analysis confirms that, although surface-defects are not the fastest early failure mechanism, the ten times higher surface-defectdensity in the rougher wires is responsible for the observed high early-failure rate and unreliable performance.

油气运聚动力学的模拟分析——以准噶尔盆地为例

The petroleum migration, happening in the geologic past, is the very important and complex dynamic processes in the petroleum systems. It plays a linking role among all static factors in a system. The accumulation is in fact the result of the petroleum migration. For the petroleum geology, the dynamics research of the petroleum migration refers to the mechanism and process research, as well as the use of the quantitative methods. In this thesis, combining with the qualitative analysis and quantitative modeling, the author manages to discuss theoretically some key problems dealing with migration processes, which have not been solved yet, and to apply the studied results in petroleum system analysis in actual basins. The basin analysis offers the base of the numerical modeling for geological phenomena occurring in sedimentary basins, that consists of the sedimentary facies analysis, the section reconstructing technique, eroded thickness estimating, etc. The methods to construct the geologic model, which is needed in the research of oil and gas migration and accumulation, are discussed. The basin analysis offers also the possibility for the latter modeling works to get and select the parameters, such as stratum's thickness, age, stratigraphy etc. Modeling works were done by using two basin modeling softwares: Basin_Mod and TPC_Mod. The role of compaction during the secondary migration and the heterogeneity of migrating paths within the clastic carrier are modeled. And the conclusions were applied in the migration studies in the Jungaer Basin, lying on the Northwest part of the China. To construct a reliable migration model, the author studied the characteristics of the sedimentation, the pore fluid pressure evolution, as well as the distribution and the evolution of fluid potential, following the tectonic evolution of the Jungaer Basin. The geochemical prospecting results were used to evidence and to calibrate the migration processes: the oil-source correlation, the distribution of the properties of oil, gas and water. Finally, two important petroleum systems, Permian one and Jurassic one were studied and identified, according, principally, to the studies on the petroleum migration within the Jungaer Basin. Since the oil, as well as the gas, moves mainly in separate phase during the secondary migration, their migrating behaviors would be determined by the dynamics conditions of migration, including the driving forces and pathways. Based on such a consideration, the further understandings may be acquired: the roles played by permeable carriers and low-permeable source rock would be very different in compaction, overpressure generation, petroleum migration, and so on. With the numerical method, the effect of the compaction on the secondary migration was analyzed and the results show that the pressure gradient and the flux resulted from compaction are so small that could be neglected by comparing to the buoyancy of oil. The main secondary migration driving forces are therefore buoyancy and capillary within a hydrostatic system. Modeling with the commercial software-Basin_Mod, the migration pathways of petroleum in clastic carriers seem to be inhomogeneous, controlled by heterogeneity of the driving force, which in turn resulted from the topography of seals, the fabrics and the capillary pressure of the clastic carriers. Furthermore, the direct and indirect methods to study fault-sealing properties in the course of migration were systemically summarized. They may be characterized directly by lithological juxtaposition, clay smear and diagenesis, and indirectly the comparing the pressures and fluid properties in the walls at two apartments of a fault. In Jungaer Basin, the abnormal pressures are found in the formations beneath Badaowan or Baijantan Formation. The occurrence of the overpressure seems controlled by the stratigraphy. The rapid sedimentation, tectonic pressuring, clay sealing, chemical diagensis were considered as the principal pressuring mechanisms. The evolution of fluid pressure is influenced differently at different parts of the basin by the tectonic stresses. So the basin appears different pressure evolution cycles from each part to another during the geological history. By coupling the results of thermal evolution, pressure evolution and organic matter maturation, the area and the period of primary migration were acquired and used to determine the secondary migration time and range. The primary migration in Fengcheng Formation happened from latter Triassic to early Jurassic in the main depressions. The main period of lower-Wuerhe Formation was at latter Jurassic in Changji, Shawan and Pen-1-jing-xi Depression, and at the end of early Cretaceous in Mahu Depression. The primary migration in Badaowan and Sangonghe Formation is at the end of early-Cretaceous in Changji Depression. After then, the fluid potential of oil is calculated at the key time determined from area and time of the primary migration. Generally, fluid potential of oil is high in the depressions and low at the uplifts. Synthetically, it is recognized that the petroleum migration in the Jungaer Basin is very complex, that leads us to classify the evolution of petroleum systems in Northwestern China as a primary stage and a reformed one. The remigration of accumulated petroleum, caused by the reformation of the basin, results in the generation of multiple petroleum systems. The faults and unconformities are usually the linkers among the original petroleum systems. The Permian petroleum system in Jungaer Basin is such a multiple petroleum system. However, the Jurassic petroleum system stays still in its primary stage, thought the strong influences of the new tectonic activities.

语前聋小儿人工耳蜗植入术后的言语康复

An Approach to the Rehabilitation of Prelingually Deaf Children After Cochlear Implantation Zheng Xiujin(Medical Psychology) Directed by Professor Yin WenGang Abstract Objective: To sum up the acquirement rule of speech and language capability which is for the prelingually deaf children after cochlear implantation by listening and language rehabilitation training and to investigate the factors that affect rehabilitation speed. Method: Sixty-four children received a cochlear implant at the age of 2 to 5 years from 2001 to 2005. They begin to be trained under group pattern after switch on 1 month. The whole training program lasted more than 7 months; after that, according to the teacher’s plan the training program was to be continued at home. Result: The period is 108±7.7 days that they can pronounce correctly 50 percent of all of simple-finals and compound-finals, the period is 115.0±7.8 days that they begin auditory repeating, the period is 135.3±10.9 days that they can speech the first specific word independently and the period is 200.3±13.9 days that they can speak 70 words and come into tri-gamut-word and two-word sentence period. The patient that is the group at the age of 2-3 years can take part in normal kindergarten after switch on about 10 months. There are no significant differences in various grades of speech-language development with different age groups and so do with different sex groups. There are significant differences in various grade of speech-language development with various IQ group (P<0.01) and so do with using and not using hearing aids before implantation. Conclusion: From the research we find that the speech and language development sequence is the same level between the prelingually deaf children of 2 to 5 years who received cochlear implant after speech training and normal children and which are stages of uncomplicated sound production, continuous syllabic (babbling), speech sprout, single-word utterances and two-word utterances in proper order. The time is short significantly and the reason is that cognition capability is enhanced along with the increase of age. The intelligence is main factor that affect rehabilitation speed and the speed in the group of high IQ is faster than common IQ. It is not because of the dominance cognition of the senior group that makes the increasing of the rehabilitation, it even makes slowly. The reason of which is that the senior group are exposed the language environment too late to achieve speech and language development. So we should perform an operation and training early. The effectiveness of rehabilitation after cochlear implantation is improved by using hearing aids before implantation. The reason is auditory stimulate can be benefit of to deaf children. The rehabilitation speeds in the children at the age of 2 to 5 years have nothing to do with sex. Key words: cochlear implant; speech therapy; paediatric rehabilitation