Nucleate Pool Boiling of Pure Liquids and Binary Mixtures：PartI－Analytical Model for Boiling Heat Transfer of Pure Liquids on Smooth Tubes

ＮｕｃｌｅａｔｅＰｏｏｌＢｏｉｌｉｎｇｏｆＰｕｒｅＬｉｑｕｉｄｓａｎｄＢｉｎａｒｙＭｉｘｔｕｒｅｓ：ＰａｒｔＩ－ＡｎａｌｙｔｉｃａｌＭｏｄｅｌｆｏｒＢｏｉｌｉｎｇＨｅａｔＴｒａｎｓｆｅｒｏｆＰｕｒｅＬｉｑｕｉｄｓｏｎＳｍｏｏｔｈＴｕｂｅｓＧｕｏｑｉｎ...     

Full Or-Parallemism and Restricted And-Parallelism in BTM

BTM is a new And/Or parallel execution model for logic programs which exploits both full Or-parallelism and restricted And-parallelism.The advantages of high parallelism and low run time cost make BTJ,an experimental execution system of BTM implemented on a nonshared-memory multiprocessor system,achieve significant speedup for both And-paralled and Or-parallel logic programs.     

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.     

NUMERICAL SIMULATION OF STRESS-INDUCED SECONDARY FLOWS WITH HYBRID FINITE ANALYTIC METHOD

1 .　ＩＮＴＲＯＤＵＣＴＩＯＮＴｈｅｔｕｒｂｕｌｅｎｔｓｔｒｕｃｔｕｒｅｓｉｎｎｏｎ ｃｉｒｃｕｌａｒｄｕｃｔｓａｎｄｏｐｅｎｃｈａｎｎｅｌｓａｒｅｃｈａｒａｃｔｅｒｉｚｅｄｂｙｌｏｎｇｉｔｕｄｉ ｎａｌｖｏｒｔｉｃｅｓ .Ｔｈｅｓｅｖｏｒｔｉｃｅｓａｒｅｔｈ     

A Structured Temporal Logic Language:XYZ/SE

In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis language of the XYZ system.A set of proof rules are given and proved to be sound and adequate for proving the partial correctness of XYZ/SE programs in a compositional way.Moreover,we show that every XYZ/BE program can be transformed into an equivalent XYZ/SE program.So we have developed a general conpositional verification method in the XYZ system concerning the sequential case.     

A Study on the Model of Forecasting System about the Actual Telephone Occupation in the Lead Development

ＡＳｔｕｄｙｏｎｔｈｅＭｏｄｅｌｏｆＦｏｒｅｃａｓｔｉｎｇＳｙｓｔｅｍａｂｏｕｔｔｈｅＡｃｔｕａｌＴｅｌｅｐｈｏｎｅＯｃｃｕｐａｔｉｏｎｉｎｔｈｅＬｅａｄＤｅｖｅｌｏｐｍｅｎｔ￥ＸｉｅＳｈｉｃｈａｎｇ；ａｎｄＸｉｅＸｕｅｍｅｉ（Ｄｅｐａｒｔｍｅｎｔｏ...     

Equivalent model of multi-type distributed generators under faults with fast-iterative calculation method based on improved PSO algorithm

There are various types of distributed generators (DGs) with diferent grid integration strategies. The transient char? acteristics of the fault currents provided by the DGs are diferent to those of conventional synchronous generators. In this paper, a distribution network with multi-type DGs is investigated, including consideration of DG low-voltage ride through (LVRT). The fault current characteristics of two typical DGs, i.e. an inverter-interfaced distributed generator (IIDG) and a doubly-fed induction generator (DFIG), are analyzed, considering the specifc operation modes. Based on analysis of the fault characteristics, an equivalent model of the multi-type DGs under symmetrical/asymmetrical fault conditions is established. A fast-iterative fault calculation method for enhancing the calculation efciency while avoid? ing local convergence is then proposed using an improved particle swarm optimization (PSO) algorithm. A simula? tion system of the distribution network with multi-type DGs is established in PSCAD/EMTDC. The simulation results validate the high accuracy and calculation efciency of the proposed calculation method of the fault components. This can assist in the settings of the protection threshold.     

STRUCTURAL DETERMINATION OF TITANIUM-OXIDE NANOPARTICLES BY X-RAY ABSORPTION SPECTROSCOPY

As a potential application of titanium-oxide nanoparticles, it is extremely important to investigate a detailed picture of the surface and interior structural properties of nanocrystalline materials, such as rutile and anatase with diameters 7.0 and 4.5nm, respectively. X-ray absorption spectroscopy has been used to identify the local Ti environment and related electronic structure. We combine the experimental results at the Ti edge in both bulk and nano-crystals to determine the lattice distortion in terms of differently characteristic preedge features and the variation in the multiple-scattering region of X-ray absorption near-edge structure (XANES) spectra. The relationship between the transition peaks and the surface-to volume ratio is also discussed.     

Fabrication and performance evaluation of novel transparent ceramics RE:Tb3Ga5O12(RE=Pr,Tm,Dy)toward magneto-optical application

Transparent ceramics are at the heart of modern magneto-optical materials providing promising opportunities for Faraday isolators.1.0 at%RE:Tb3Ga5O12(rare earth(RE)=Pr,Tm,Dy)transparent ceramics were successfully prepared by air sintering and sequential HIP technique using the coprecipitated powders as the raw material.All the powders have shown to be a pure cubic terbium gallium garnet(TGG)phase and exhibit good dispersion.Additionally,a change could not be observed in particle shape with the different doped ions.After the two-step sintering,all the obtained ceramics have good optical quality,and the in-line transmittances at 1070 nm are higher than 80%.Moreover,no secondary phase can be detected from the microstructures.However,the pores which remain entrapped in the ceramics can be noted.The Verdet constant of ceramic samples is optimized by RE doping,and the Verdet constant at 632.8 nm is about?143 rad·T^?1·m^?1,which is about 5%higher than that of TGG ceramics.Finally,the thermo-optical properties of 1.0 at%RE:TGG transparent ceramics are compared.The annealed TGG ceramic showed the best thermo-optical properties,and the thermally induced depolarization of 1.0 at%Ce:TGG and 1.0 at%Tm:TGG was inferior to that of annealed TGG ceramic.     

Simulation study on the gasification process of Ningdong coal with iron-based oxygen carrier

Chemical looping gasification (CLG) of Ningdong coal by using Fe₂O₃ as the oxygen carriers (OCs) was studied, and the gasification characteristics were obtained. A computation fluid dynamics (CFD) model based on Eulerian‐-Lagrangian multiphase framework was established, and a numerical simulation the coal chemical looping gasification processes in fuel reactor (FR) was investigated. In addition, the heterogeneous reactions, homogeneous reactions and Fe₂O₃ oxygen carriers' reduction reactions were considered in the gasification process. The characteristics of gas flow and gasification in the FR were analyzed and it was found that the experiment results were consistent with the simulation values. The results show that when the O/C mole rate was 0.5:1, the gasification temperature was 900 ℃ and the water vapor volume flow rate was 2.2 ml·min^-1, the mole fraction of syngas reached a maximum value of the experimental result and simulation value were 71.5% and 70.2%, respectively. When the O/C mole rate was 0.5:1, the gasification temperature was 900 ℃, and the water vapor volume flow was 1.8 ml·min^-1; the gasification efficiency reached the maximum value was 62.2%, and the maximum carbon conversion rate was 84.0%.