The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

An Integrated Solution for Software Process Improvement

Since 1990s, the software industry in China has been developed very rapidly and the total revenue in recent three years of 2005, 2006 and 2007 were 390.0, 480.0, and 583.4 billions RMB respectively, increased by 28.3% annually on an average basis [1]. By the end of 2007, there were about 18,000 software enterprises in China, and the population of software professionals was 1.48 millions roughly. In the global software market, China, with annual revenue about 82.2 billions USD (8.74% of the total: 940 billions USD), currently ranks on the fourth after USA, EU and Japan. However, the software industry in China is still comparatively weak. Most software enterprises have only tens of employees and millions RBM of revenue. And the software development productivity in China varies highly across the software industry in terms of organization, development type, business area, region, language, project size and team size [2]. Co-operative efforts from the government, the industry and the academy are needed [3]. Continuous software process improvement is an effective way to change the challenging situation of the software industry in China.

Molecular Dynamics Simulation on Characteristics of Decomposition of Methane Hydrate in the Presence of Hydrogen Peroxide Solution

In this work, the characteristics of the decomposition of methane hydrate Structure I (SI) in the presence of hydrogen peroxide solution is investigated using the molecular dynamics simulation. The mechanism of the transformation process from the solid hydrate to the liquid is analyzed with the effect of hydrogen peroxide (HP) solution. In addition, the effect of ethylene glycol (EG) with the same molar concentration with HP on the methane hydrate dissociation is also studied. The results illustrate that both HP and EG promote well the hydrate dissociation. The work provides the important reference value for the experimental investigation into the promotion effect of HP on the hydrate dissociation.

Corrosion inhibition of carbon steel in tetra-n-butylammonium bromide aqueous solution by benzotriazole and Na3PO4

The corrosion inhibition behavior of benzotriazole, Na3PO4 and their mixture on carbon steel in 20 wt.% (0.628 mol l(-1)) tetra-n-butylammonium bromide aerated aqueous solution was investigated by weight-loss test, potentiodynamic polarization measurement, electrochemical impedance spectroscopy and scanning electron microscope/energy dispersive X-ray techniques. The inhibition action of BTA or SP or inhibitors mixture on the corrosion of carbon steel is mainly due to the inhibition of anodic process of corrosion. The results revealed that inhibitors mixtures have shown synergistic effects at lower concentration of inhibitors. At 2 g l(-1) BTA and 2 g l(-1) SP showed optimum enhanced inhibition compared with their individual effects.

Experimental Investigation on Propane Hydrate Dissociation by High Concentration Methanol and Ethylene Glycol Solution Injection

The dissociation behaviors of propane hydrate by high concentration alcohols inhibitors injection were investigated. Methanol (30.0, 60.1, 80.2, and 99.5 wt %) and ethylene glycol (30.0, 60.1, 69.8, 80.2, and 99.5 wt %) solution were injected, respectively, as alcohols inhibitors in 3.5 L transparent reactor. It is shown that the average dissociation rates of propane hydrate injecting methanol and ethylene glycol solution are 0.02059-0.04535 and 0.0302-0.0606 mol.min(-1).L-1, respectively. The average dissociation rates increase with the mass concentration increase of alcohols solution, and it is the biggest when 99.5 wt % ethylene glycol solution was injected. The presence of alcohols accelerates gas hydrate dissociation and reduces the total need of external energy to dissociate the hydrates. Density differences act as driving force, causing the acceleration effects of ethylene glycol on dissociation behaviors of propane hydrate are better than that of methanol with the same injecting flux and mass concentration.

A three-dimensional analytical solution of the microheater temperature before bubble nucleation

A three-dimensional analytical solution of the microheater temperature based on heat diffusion equation is developed and compared with experimental results. Dimensionless parameters are introduced to analyze the temperature rise time and the distribution under steady state. To study the microheater temperatures before bubble nucleation, a set of working fluids and microheaters are considered. It is shown that the dimensionless time xi(-)(0) required for the temperature rise from room to 95% of the steady state temperature is about 75, not dependent on working fluids and microheaters. Heat transfer to the surrounding liquid is mainly caused by conduction, not by convection and radiation mechanisms. The microheater length affects the surface temperature uniformity, while its width influences the steady temperatures significantly, yielding the transition from heterogeneous to homogeneous nucleation mechanism from square microheaters to narrow line microheaters. 

Synthesis of novel hexagon SnO2 nanosheets in ethanol/water solution by hydrothermal process

The novel hexagon SnO2 nanosheets are successfully synthesized in ethanol/water solution by hydrothermal process. The samples are characterized by X-ray diffraction (XRD), infrared ray (IR) and transmission electron microscopy (TEM). By changing the reaction conditions, the size and the morphology can be controlled. Comparison experiments show that when the temperature increased from 140 degrees C to 180 degrees C, the edge length of the hexagon nanoparticles increases from 300-450 nm to 700-900 nm. On the other hand, by adjusting the ratios of water to ethanol from 2 to 0.5, SnO2 nanoparticles with different morphologies of triangle and sphere are obtained. When the concentration of NaOH is increased from 0.15 M to 0.30 M, a hollow ring structure can be obtained. (c) 2006 Elsevier B.V. All rights reserved.

EER studies of the single quantum well GaAs/AlxGa1-xAs electrode/nonaqueous solution interface

The interfacial behavior of the single quantum well (SQW) GaAs/AlxGa1-xAs electrode in HQ/BQ and Fc/Fc(+) electrolytes was characterized respectively by studying the quantum confined Stark effect and Franz-Keldysh oscillation with electrolyte electroreflectance spectroscopy. The interaction of the surface state of the SQW electrode with redox species and its effects on the distribution of external bias at the interface of the SQW electrode are discussed.