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.

ON THE RATE-EQUATIONS OF SEMICONDUCTOR-LASERS FOR MEASURING SPONTANEOUS EMISSION FACTOR

The rate equations used for measuring spontaneous emission factor beta is examined through the comparison of numerical results, The results show that beta obtained by using total spontaneous emission rate R(sp) = N/tau sp is about double of that using R(sp) = BN2, The magnitude difference between the measured beta and that predicted by classical theory [8] will disappear by using more reasonable R(sp) = BN2. The results also show that the magnitude of beta may be underestimated by ignoring the nonradiative recombination rates.

Choice of calibration equations of the TSM method

For the reciprocal-test fixtures, there are six independent S-parameters to. be determined, and the thru-short-match (TSM) calibration can provide eight calibration equations. In this paper, the relation of calibration equations is investigated. It has been shown that the four equations obtained from the measurement with a transmission standard can be used simultaneously in the calibration. Experimental results show that the different choice of equations will lead to quite different solution, and the calibration accuracy can be improved by taking advantages of the established relation among the calibration equations and properly choosing calibration equations.

A multi-moment finite volume formulation for shallow water equations on unstructured mesh

A novel and accurate finite volume method has been presented to solve the shallow water equations on unstructured grid in plane geometry. In addition to the volume integrated average (VIA moment) for each mesh cell, the point values (PV moment) defined on cell boundary are also treated as the model variables. The volume integrated average is updated via a finite volume formulation, and thus is numerically conserved, while the point value is computed by a point-wise Riemann solver. The cell-wise local interpolation reconstruction is built based on both the VIA and the PV moments, which results in a scheme of almost third order accuracy. Efforts have also been made to formulate the source term of the bottom topography in a way to balance the numerical flux function to satisfy the so-called C-property. The proposed numerical model is validated by numerical tests in comparison with other methods reported in the literature. (C) 2010 Elsevier Inc. All rights reserved.

Knotted wave dislocation with the hopf invariant

We study the wave dislocations with an induced gauge potential. The topological current characterized the wave dislocations is constructed with the dual of Abelian gauge field. And the topological charges and locations of the wave dislocations are determined by the phi-mapping topological current theory. Furthermore, it is shown that the knotted wave dislocations can be described with a Hopf invariant in the wave field. At last we discussed the evolution of the knotted wave dislocations.

Cosmological equations and thermodynamics on apparent horizon in thick braneworld

We derive the generalized Friedmann equation governing the cosmological evolution inside the thick brane model in the presence of two curvature correction terms: a four-dimensional scalar curvature from induced gravity on the brane, and a five-dimensional Gauss-Bonnet curvature term. We find two effective four-dimensional reductions of the generalized Friedmann equation in some limits and demonstrate that the reductions but not the generalized Friedmann equation can be rewritten as the first law of equilibrium thermodynamics on the apparent horizon of thick braneworld.

The solution properties of phenolphthalein poly(arylether sulfone) .1. The solubility behavior and determination of M-II equations

A series of narrow molecular weight distribution fractions of phenolphthalein polyarylether sulfone(PES-C) had been prepared, The <(M) over bar (w)> of these fractions were determined by conventional light scattering method. The [eta] and the Huggins slope constant k' in DMF, CHCl3 and 1,2-dichloroethane were also determined. The Huggins constants are greater than 0.5 in all of these solvents showing a special solubility behavior. The Mark-Houwink equations of PES-C in these solvents at 25 degrees C are [eta] = 2.79 x 10(-2) <(M) over bar (0.615)(w)> (DMF); [eta] = 3.96 x 10(-2) <(M) over bar (0.58)(w)> (CHCl3); [eta] = 7.40 x 10(-2) <(M) over bar (0.52)(w)> (CH2ClCH2Cl).

THE GENERAL AN INDEX AND ITS APPLICATION .4. THE APPLICATION OF GENERAL AN INDEX TO HYDROCARBONS

The general a(N) index (GAI) was used to characterize the cis, trans isomers of hydrocarbons. The best one-variable equations were obtained with GAI for several physicochemical properties of seven pairs of olefin cis, trans isomers. The linear correlation coefficients are in the range of 0.975 to 0.997. GAI was also compared with the other five topological indices, Randic connectivity index chi, Wiener number W, Hosoya index Z, the average distance sum connectivity J proposed by Balaban and a(N) index introduced by Yang, in correlating with the octane number (MON) of heptanes and octanes.

Higher-order Boussinesq-type equations for interfacial waves in a two-fluid system

Interfacial waves propagating along the interface between a three-dimensional two-fluid system with a rigid upper boundary and an uneven bottom are considered. There is a light fluid layer overlying a heavier one in the system, and a small density difference exists between the two layers. A set of higher-order Boussinesq-type equations in terms of the depth-averaged velocities accounting for stronger nonlinearity are derived. When the small parameter measuring frequency dispersion keeping up to lower-order and full nonlinearity are considered, the equations include the Choi and Camassa's results (1999). The enhanced equations in terms of the depth-averaged velocities are obtained by applying the enhancement technique introduced by Madsen et al. (1991) and Schaffer and Madsen (1995a). It is noted that the equations derived from the present study include, as special cases, those obtained by Madsen and Schaffer (1998). By comparison with the dispersion relation of the linear Stokes waves, we found that the dispersion relation is more improved than Choi and Camassa's (1999) results, and the applicable scope of water depth is deeper.