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.

Partial and total replacement of fishmeal with poultry by-product meal in diets for gibel carp, Carassius auratus gibelio Bloch

Triplicate groups of gibel carp Carassius auratus gibelio Bloch (initial body weight: 4.89 g) were fed for 8 weeks at 24.8-30.8 degrees C with nine isonitrogenous and isoenergetic diets. The control diet (F1) used white fishmeal (FM) as the sole protein source. In the other eight diets (F2-F9), 40.5-100% of FM protein was substituted by poultry by-product meal (PBM) at 8.5% increments. The specific growth rate (SGR), feed efficiency ratio, protein efficiency ratio, protein retention efficiency and energy retention rate for fish fed PBM diets (F2-F9) were all higher, but not always significantly, than those for fish fed F1. All apparent digestibility coefficients for fish fed PBM diets were lower than those for fish fed F1. Fish fed F1 had a significantly higher hepatosomatic index value than fish fed PBM diets (P < 0.05). No significant (P > 0.05) effect of diet was found in whole-body moisture and fat content. Whole-body protein and energy content for fish fed PBM diets were slightly higher than that for fish fed F1. The optimal replacement level of FM by PBM was estimated by second-order polynomial regression to be 66.5% in protein.

Partial oxidation of methane to synthesize gas over Ni/alpha-Al2O3 catalyst promoted by noble metals

The production of synthesis gas by partial oxidation bf methane in oxygen has been examined over Ni/alpha-Al2O3 catalyst promoted by noble metals(Rh, Ru, Pt and Pd), especially with Pt. The reactivity is considered in conjunction with the result of H-2-TPR, CO-TPD, SEM and XRD. It is found that small amount of Pt results in a great improvement of activity for the Ni/alpha-Al2O3 catalyst. The activity order is : Rh-Ni>Pt-Ni approximate to Ru-Ni>Pd-Ni, meantime the Pt improves the stability of Ni/alpha-Al2O3 catalyst except for Pd which is easy to he deactivated by carbon deposition. The results of TPD, SEM and XRD indicate that there is an interaction between Ni and Pt metals in the catalyst. The interaction increases the dispersions of Pt and Nit the presence of Pt suppresses the growth and the migration of Ni grains over the surface of the catalyst.

A study of carbon deposition on catalysts during the catalytic partial oxidation of methane to syngas in a fluidized bed

The deposition of carbon on catalysts during the partial oxidation of methane to syngas has been investigated in a fluidized bed. It was found that the relative rate of carbon deposition follows the order NiP > >d > Pt, Rh. Although the rate of carbon deposition in the fluidized bed was much lower than that in the fixed bed, carbon deposition could still be detected in the fluidized bed if a CH4/O-2 ratio in greater than 2.3 was used.

Partial-Dislocation-Mediated Processes in Nanocrystalline Ni with Nonequilibrium Grain Boundaries

The partial-dislocation-mediated processes have so far eluded high-resolution transmission electron microscopy studies in nanocrystalline nc Ni with nonequilibrium grain boundaries. It is revealed that the nc Ni deformed largely by twinning instead of extended partials. The underlying mechanisms including dissociated dislocations, high residual stresses, and stress concentrations near stacking faults are demonstrated and discussed.

Fourth order accurate compact scheme with group velocity control (GVC)

For solving complex flow field with multi-scale structure higher order accurate schemes are preferred. Among high order schemes the compact schemes have higher resolving efficiency. When the compact and upwind compact schemes are used to solve aerodynamic problems there are numerical oscillations near the shocks. The reason of oscillation production is because of non-uniform group velocity of wave packets in numerical solutions. For improvement of resolution of the shock a parameter function is introduced in compact scheme to control the group velocity. The newly developed method is simple. It has higher accuracy and less stencil of grid points.

Surface Tension and Its Temperature Coefficient of Molten Tin Determined with the Sessile Drop Method at Different Oxygen Partial Pressures

The surface tension of molten tin has been determined by the sessile drop method at The surface tension of molten tin has been determined by the sessile drop method at temperatures ranging from 523 to 1033 K and in the oxygen partial pressure (P-O2) range from 2.85 x 10(-19) to 8.56 x 10(-6) MPa, and its dependence on temperature and oxygen partial pressure has been analyzed. At P-O2 = 2.85 x 10(-19) and 1.06 x 10(-15) MPa, the surface tension decreases linearly with the increase of temperature and its temperature coefficients are -0.151 and -0.094 mNm(-1) K-1, respectively. However, at high P-O2 (3.17 x 10(-10), 8.56 x 10(-6) MPa), the surface tension increases with the temperature near the melting point (505 K) and decreases above 723 K. The surface tension decrease with increasing P-O2 is much larger near the melting point than at temperatures above 823 K. The contact angle between the molten tin and the alumina substrate is 158-173degrees, and the wettability is poor.

Predictions for Partial-Dislocation-Mediated Processes in Nanocrystalline Ni by Generalized Planar Fault Energy Curves: An Experimental Evaluation

Generalized planar fault energy (GPFE) curves have been used to predict partial-dislocation-mediated processes in nanocrystalline materials, but their validity has not been evaluated experimentally. We report experimental observations of a large quantity of both stacking faults and twins in nc Ni deformed at relatively low stresses in a tensile test. The experimental findings indicate that the GPFE curves can reasonably explain the formation of stacking faults, but they alone were not able to adequately predict the propensity of deformation twinning.

Designing Of Partial Similarity Models And Evaluation Method In Polymer Flooding Experiment

Based on the scaling criteria of polymer flooding reservoir obtained in our previous work in which the gravity and capillary forces, compressibility, non-Newtonian behavior, absorption, dispersion, and diffusion are considered, eight partial similarity models are designed. A new numerical approach of sensitivity analysis is suggested to quantify the dominance degree of relaxed dimensionless parameters for partial similarity model. The sensitivity factor quantifying the dominance degree of relaxed dimensionless parameter is defined. By solving the dimensionless governing equations including all dimensionless parameters, the sensitivity factor of each relaxed dimensionless parameter is calculated for each partial similarity model; thus, the dominance degree of the relaxed one is quantitatively determined. Based on the sensitivity analysis, the effect coefficient of partial similarity model is defined as the summation of product of sensitivity factor of relaxed dimensionless parameter and its relative relaxation quantity. The effect coefficient is used as a criterion to evaluate each partial similarity model. Then the partial similarity model with the smallest effect coefficient can be singled out to approximate to the prototype. Results show that the precision of partial similarity model is not only determined by the number of satisfied dimensionless parameters but also the relative relaxation quantity of the relaxed ones.

The Head-On Colliding Process Of Binary Liquid Droplets At Low Velocity: High-Speed Photography Experiments And Modeling

The experimental and theoretical studies are reported in this paper for the head-on collisions of a liquid droplet with another of the same fluid resting on a solid substrate. The droplet on the hydrophobic polydimethylsiloxane (PDMS) substrate remains in a shape of an approximately spherical segment and is isometric to an incoming droplet. The colliding process of the binary droplets was recorded with high-speed photography. Head-on collisions saw four different types of response in our experiments: complete rebound, coalescence, partial rebound With conglutination, and coalescence accompanied by conglutination. For a complete rebound, both droplets exhibited remarkable elasticity and the contact time of the two colliding droplets was found to be in the range of 10-20 ms. With both droplets approximately considered as elastic bodies, Hertz contact theory was introduced to estimate the contact time for the complete rebound case. The estimated result Was found to be on the same order of magnitude as the experimental data, which indicates that the present model is reasonable. (C) 2008 Elsevier Inc. All rights reserved.

A second-order dynamic subgrid-scale stress model

A second-order dynamic model based on the general relation between the subgrid-scale stress and the velocity gradient tensors was proposed. A priori test of the second-order model was made using moderate resolution direct numerical simulation date at high Reynolds number ( Taylor microscale Reynolds number R-lambda = 102 similar to 216) for homogeneous, isotropic forced flow, decaying flow, and homogeneous rotating flow. Numerical testing shows that the second-order dynamic model significantly improves the correlation coefficient when compared to the first-order dynamic models.

Partial-mediated slips in nanocrystalline Ni at high strain rate

Previous experiments on nanocrystalline Ni were conducted under quasistatic strain rates (similar to 3x10(-3)/s), which are much lower than that used in typical molecular dynamics simulations (>3x10(7)/s), thus making direct comparison of modeling and experiments very difficult. In this study, the split Hopkinson bar tests revealed that nanocrystalline Ni prefers twinning to extended partials, especially under higher strain rates (10(3)/s). These observations contradict some reported molecular dynamics simulation results, where only extended partials, but no twins, were observed. The accuracy of the generalized planar fault energies is only partially responsible, but cannot fully account for such a difference. (C) 2007 American Institute of Physics.

A high order accurate difference scheme for complex flow fields

A high order accurate finite difference method for direct numerical simulation of coherent structure in the mixing layers is presented. The reason for oscillation production in numerical solutions is analyzed, It is caused by a nonuniform group velocity of wavepackets. A method of group velocity control for the improvement of the shock resolution is presented. In numerical simulation the fifth-order accurate upwind compact difference relation is used to approximate the derivatives in the convection terms of the compressible N-S equations, a sixth-order accurate symmetric compact difference relation is used to approximate the viscous terms, and a three-stage R-K method is used to advance in time. In order to improve the shock resolution the scheme is reconstructed with the method of diffusion analogy which is used to control the group velocity of wavepackets. (C) 1997 Academic Press.

Fracture criterion based on the higher-order asymptotic fields

A complete development for the higher-order asymptotic solutions of the crack tip fields and finite element calculations for mode I loading of hardening materials in plane strain are performed. The results show that in the higher-order asymptotic solution (to the twentieth order), only three coefficients are independent. These coefficients are determined by matching with the finite element solutions carried out in the present paper (our attention is focused on the first five terms of the higher-order asymptotic solution). We obtain an analytic characterization of crack tip fields, which conform very well to the finite element solutions over wide range. A modified two parameter criterion based on the asymptotic solution of five terms is presented. The upper bound and lower bound fracture toughness curves predicted by modified two parameter criterion are given. These two curves agree with most of the experimental data and fully capture the proper trend.

Bending solution of high-order refined shear deformation-theory for rectangular composite plates

A new high-order refined shear deformation theory based on Reissner's mixed variational principle in conjunction with the state- space concept is used to determine the deflections and stresses for rectangular cross-ply composite plates. A zig-zag shaped function and Legendre polynomials are introduced to approximate the in-plane displacement distributions across the plate thickness. Numerical results are presented with different edge conditions, aspect ratios, lamination schemes and loadings. A comparison with the exact solutions obtained by Pagano and the results by Khdeir indicates that the present theory accurately estimates the in-plane responses.