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. 

One-dimensional modulation instability of broad optical beams in biased photorefractive-photovoltaic crystals under steady-state conditions

We present a comprehensive study of the one-dimensional modulation instability of broad optical beams in biased photo refractive-photovoltaic crystals under steady-state conditions. We obtain the one-dimensional modulation instability growth rate by globally treating the space-charge field and by considering distinction between values of Eo in nonlocal effects and local effects in the space-charge field, where Eo is the field constant correlated with terms in the space-charge field, which depends on the external bias field, the bulk photovoltaic effect, and the ratio of the optical beam's intensity to that of the dark irradiance. The one-dimensional modulation instability growth rate in local effects can be determined from that in nonlocal effects. When the bulk photovoltaic effect is neglectable, irrespective of distinction between values of Eo in nonlocal effects and local effects in the space-charge field, the one-dimensional modulation instability growth rates in nonlocal effects and local effects are those of broad optical beams studied previously in biased photorefractive-nonphotovoltaic crystals. When the external bias field is absent, the one-dimensional modulation instability growth rates in nonlocal effects and local effects predict those of broad optical beams in open- and closed-circuit photorefractive-photovoltaic crystals. (c) 2004 Elsevier B.V. All rights reserved.

Steady-state bright-dark vector spatial solitons in biased photorefractive-photovoltaic crystals

We show that bright-dark vector solitons are possible in biased photorefractive-photovoltaic crystals under steady-state conditions, which result from both the bulk photovoltaic effect and the spatially nonuniform screening of the external bias field. The analytical solutions of these vector solitons can be obtained in the case of \sigma\ much less than 1, where sigma is the parameter controlling the intensities of the two optical beams. In the limit of -1 < sigma much less than 1, these vector solitons can also be determined by use of simple numerical integration procedures. When the bulk photovoltaic effect is neglectable, these vector solitons are bright-dark vector screening solitons studied previously in the \sigma\ much less than 1 regime, and predict bright-dark vector screening solitons in the -1 < sigma less than or equal to 1 regime. When the external bias field is absent, these vector solitons predict bright-dark vector photovoltaic solitons in closed and open circuits. (C) 2002 Elsevier Science B.V. All rights reserved.

Two-dimensional photovoltaic dark spatial solitons of partially spatially incoherent light

We report a successful experimental observation of two-dimensional photovoltaic dark solitons in an anisotropic crystal with partially spatially incoherent light beams. This kind of solitons results from the bulk photovoltaic effect, which depends on the direction of propagation of the optical beam and on the orientation of the intensity gradient, with respect to the principal axes of the crystal.

Modulation instability of quasi-plane-wave optical beams in biased photorefractive-photovoltaic crystals

We investigate the modulation instability of quasi-plane-wave optical beams in biased photorefractive-photovoltaic crystals by globally treating the space-charge field. The modulation instability growth rate is obtained, which depends on the external bias field, on the bulk photovoltaic effect, and on the ratio of the optical beam's intensity to that of the dark irradiance. Our analysis indicates that this modulation instability growth rate is identical to the modulation instability growth rate studied previously in biased photorefractive-nonphotovoltaic crystals when the bulk photovoltaic effect is negligible for shorted circuits, and predicts the modulation instability growth rate in open- and closed-circuit photorefractive-photovoltaic crystals when the external bias field is absent.