Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

Cultures within culture: Unity and diversity of two generations of employees in state-owned enterprises

This study adopts integration and differentiation perspectives to examine why unity and diversity of organizational cultures emerged as a function of economic reform, and how subcultural differences were reflected in employees' perceptions of cultural practices. Data were gathered from in-depth interviews and a large-scale survey in two large, state-owned enterprises in north-east China. Results indicated that, although all employees were oriented towards a common set of cultural themes, the two generations of employees did not exemplify the themes in the same way. Specifically, unity was illustrated by employees' desire to maintain Harmony and to reduce Inequality. Diversity was revealed by first-generation employees' higher ratings on Loyalty, Security and even Bureaucracy. The findings are discussed in the light of traditional Chinese cultural values, political ideology and the social context. Implications are drawn for organizational cultural theory and research.

Central elements of the elliptic Zn monodromy matrix algebra at roots of unity

The central elements of the algebra of monodromy matrices associated with the Z(n) R-matrix are studied. When the crossing parameter w takes a special rational value w = n/N, where N and n are positive coprime integers, the center is substantially larger than that in the generic case for which the quantum determinant provides the center. In the trigonometric limit, the situation corresponds to the quantum group at roots of unity. This is a higher rank generalization of the recent results by Belavin and Jimbo. (c) 2004 Elsevier B.V. All rights reserved.

Marcelian charm in nursing practice: The unity of agape and eros as the foundation of an ethic of care

Abstract In the nursing literature, a number of qualities are associated with loving care. Reference is made to, among other things, humility, attentiveness, responsibility and duty, compassion, and tenderness. The author attempts to show that charm, in the Marcelian sense, also plays a central role. It is argued that the moral foundation of charm is a unity of agape and eros. An impartial giving of the self for others is clearly of fundamental importance in an ethic of care. Including charm in the discussion points to the fact that eros also plays a crucial role. Eros produces a passion for people and for life. It is a physical and spiritual energy that animates a person in all facets of her life, including her caring work.

Relative dispersions of intra-albumin transit times across rat and elasmobranch perfused livers, and implications for intra- and inter-species scaling of hepatic clearance using microsomal data

It is recognized that vascular dispersion in the liver is a determinant of high first-pass extraction of solutes by that organ. Such dispersion is also required for translation of in-vitro microsomal activity into in-vivo predictions of hepatic extraction for any solute. We therefore investigated the relative dispersion of albumin transit times (CV2) in the livers of adult and weanling rats and in elasmobranch livers. The mean and normalized variance of the hepatic transit time distribution of albumin was estimated using parametric non-linear regression (with a correction for catheter influence) after an impulse (bolus) input of labelled albumin into a single-pass liver perfusion. The mean +/- s.e. of CV2 for albumin determined in each of the liver groups were 0.85 +/- 0.20 (n = 12), 1.48 +/- 0.33 (n = 7) and 0.90 +/- 0.18 (n = 4) for the livers of adult and weanling rats and elasmobranch livers, respectively. These CV2 are comparable with that reported previously for the dog and suggest that the CV2 Of the liver is of a similar order of magnitude irrespective of the age and morphological development of the species. It might, therefore, be justified, in the absence of other information, to predict the hepatic clearances and availabilities of highly extracted solutes by scaling within and between species livers using hepatic elimination models such as the dispersion model with a CV2 of approximately unity.

Chaotic dynamics of cold atoms in far-off-resonant donut beams

We describe the classical two-dimensional nonlinear dynamics of cold atoms in far-off-resonant donut beams. We show that chaotic dynamics exists there for charge greater than unity, when the intensity of the beam is periodically modulated. The two-dimensional distributions of atoms in the (x,y) plant for charge 2 are simulated. We show that the atoms will accumulate on several ring regions when the system enters a regime of global chaos. [S1063-651X(99)03903-3].

Spin-orbit mixing and nephelauxetic effects in the electronic spectra of nickel(II)-encapsulating complexes involving nitrogen and sulfur donors

A study of spin-orbit mixing and nephelauxetic effects in the electronic spectra of nickel(II)-encapsulating complexes involving mixed nitrogen and sulfur donors is reported. As the number of sulfur donors is systematically varied through the series [Ni(N6-xSx)](2+) (x = 0-6), the spin-forbidden (3)A(2)g --> E-1(g) and (3)A(2g) --> (1)A(1g) transitions undergo a considerable reduction in energy whereas the spin-allowed transitions are relatively unchanged. The [Ni(diAMN(6)sar)](2+) and [Ni(AMN(5)Ssar)](2+) complexes exhibit an unusual band shape for the (3)A(2g) --> T-3(2g) transition which is shown to arise from spin-orbit mixing of the E spin-orbit levels associated with the E-1(g) and T-3(2g) states. A significant differential nephelauxetic effect also arises from the covalency differences between the t(2g) and e(g) orbitals with the result that no single set of Racah B and C interelectron repulsion parameters adequately fit the observed spectra. Using a differential covalency ligand-field model, the spectral transitions are successfully reproduced with three independent variables corresponding to 10Dq and the covalency parameters f(t) and f(e), associated with the t(2g) and e(g) orbitals, respectively. The small decrease in f(t) from unity is largely attributed to central-field covalency effects whereas the dramatic reduction in f(e) with increasing number of sulfur donors is a direct consequence of the increased metal-ligand covalency associated with the sulfur donors. Covalency differences between the t(2g) and e(g) orbitals also result in larger 10Dq values than those obtained simply from the energy of the (3)A(2g) --> T-3(2g) spin-allowed transition.

A two-dimensional fuzzy random model of soil pore structure

A new conceptual model for soil pore-solid structure is formalized. Soil pore-solid structure is proposed to comprise spatially abutting elements each with a value which is its membership to the fuzzy set ''pore,'' termed porosity. These values have a range between zero (all solid) and unity (all pore). Images are used to represent structures in which the elements are pixels and the value of each is a porosity. Two-dimensional random fields are generated by allocating each pixel a porosity by independently sampling a statistical distribution. These random fields are reorganized into other pore-solid structural types by selecting parent points which have a specified local region of influence. Pixels of larger or smaller porosity are aggregated about the parent points and within the region of interest by controlled swapping of pixels in the image. This creates local regions of homogeneity within the random field. This is similar to the process known as simulated annealing. The resulting structures are characterized using one-and two-dimensional variograms and functions describing their connectivity. A variety of examples of structures created by the model is presented and compared. Extension to three dimensions presents no theoretical difficulties and is currently under development.

The measurement of actual acidity in acid sulfate soils and the determination of sulfidic acidity in suspension after peroxide oxidation

Improvements to the routine methods for the determination of actual acidity in suspension for acid sulfate soils (ASS) are introduced. The titratable sulfidic acidity (TSA) results using an improved peroxide-based method were compared with the theoretical acidity predicted by the chromium reducible sulfur method for 9 acid sulfate soils. The regression between these 2 measures of sulfidic acidity was highly significant, the slope of the regression line not significantly different from unity (P = 0.05) and the intercept not significantly different from zero. This contrasts with results of other workers using earlier peroxide oxidation methods, where TSA substantially underestimated the theoretical acidity predicted by reduced inorganic sulfur analysis. Comparison was made between the 2 principal measurements from the improved peroxide method (TSA and S-POS), with S-POS converted to theoretical sulfidic acidity to allow comparison. The relationship between these 2 measurements was highly significant. The effects of titration in suspension, as well as raising titration end points to pH 6.5, were investigated, principally with respect to the titratable actual acidity (TAA) result. TAA results obtained by KCl extraction were compared with those obtained using BaCl2, MgCl2, and water extraction. TAA in 1 M KCl suspensions titrated to pH 6.5 agreed well with titratable actual acidity measured using the 25-h extraction approach of the Lin et al. (2000a) BaCl2 method. Both BaCl2 and KCl solutions were ineffective at fully recovering acidity from synthetic jarosite without repeated extraction and titration. The application of correction factors for the estimation of total actual acidity in ASS is not supported by the results of this investigation. Acid sulfate soils that contain substantial quantities of jarosite or other acid-producing but relatively insoluble sulfate minerals continue to prove problematic to chemically analyse; however, an approach for estimating this component is discussed.

Improvements to peroxide oxidation methods for analysing sulfur in acid sulfate soils

Improvements to peroxide oxidation methods for analysing acid sulfate soils (ASS) are introduced. The soil solution ratio has been increased to 1 : 40, titrations are performed in suspension, and the duration of the peroxide digest stage is substantially shortened. For 9 acid sulfate soils, the peroxide oxidisable sulfur value obtained using the improved method was compared with the reduced inorganic sulfur result obtained using the chromium reducible sulfur method. Their regression was highly significant, the slope of the regression line was not significantly different (P = 0.05) from unity, and the intercept not significantly different from zero. A complete sulfur budget for the improved method showed there was no loss of sulfur as has been reported for earlier peroxide oxidation techniques. When soils were very finely ground, efficient oxidation of sulfides was achieved, despite the milder digestion conditions. Highly sulfidic and organic soils were shown to be the most difficult to analyse using either the improved method or the chromium method. No single analytical method can be universally applied to all ASS, rather a suite of methods is necessary for a thorough understanding of many ASS. The improved peroxide method, in combination with the chromium method and the 4 M HCl extraction, form a sound platform for informed decision making on the management of acid sulfate soils.

Growth and compaction behaviour of copper concentrate granules in a rotating drum

In order to understand the growth and compaction behaviour of chalcopyrite (copper concentrate), batch granulation tests were carried out using a rotating drum. The granule growth exhibited induction-type behaviour, as defined by Iveson and Litster [AIChE J. 44 (1998) 15 10]. There were two consecutive stages during granulation: the induction stage, during which the granules are gradually being compacted and little or no growth occurs, and the rapid growth stage, which starts when the granules have become surface wet and are rapidly growing. In agreement with earlier findings. an increased amount of binder liquid shortened the induction time. The compaction behaviour was also investigated. A displaced volume method was adopted to determine the porosity of the granules. It was shown that this technique had a limitation as it was unable to detect the reduction of the volumes of the granule pores after the granules had become surface wet. Due to this, some of the measurements were not suited for fitting a three-parameter empirical model. Attempts were made to determine whether the rapid growth stage started with the pore saturation exceeding a certain critical value, but due to the scatter in the porosity measurements and the fact that some of the measurements could not be used, it was not possible to determine a critical pore saturation, However, the porosity measurements clearly demonstrated that the porosity of the granules decreased during the induction stage of an experiment and that when rapid growth occurred, the granules had a pore saturation was around 0.85. This value was slightly lower than unity, which is most likely due to trapped air bubbles. (C) 2002 Published by Elsevier Science B.V.

Structural ordering of coal char during heat treatment and its impact on reactivity

The effect of heat treatment on the structure of an Australian semi-anthracite char was studied in detail in the 850-1150degreesC temperature range using XRD, HRTEM, and electrical resistivity techniques. It was found that the carbon crystallite size in the char does not change significantly during heat treatment in the temperature range studied, for both the raw coal and its ash-free derivative obtained by acid treatment. However, the fraction of the organized carbon in the raw coal chars, determined by XRD, increased with increase of heat treatment time and temperature, while that for the ash-free coal chars remained almost unchanged. This suggests the occurrence of catalytic ordering during heat treatment, supported by the observation that the electrical resistivity of the raw coal chars decreased with heat treatment, while that of the ash-free coal chars did not vary significantly. Further confirmatory evidence was provided by high resolution transmission electron micrographs depicting well-organized carbon layers surrounding iron particles. It is also found that the fraction of organized carbon does not reach unity, but attains an apparent equilibrium value that increases with increase in temperature, providing an apparent heat of ordering of 71.7 kJ mol(-1) in the temperature range studied. Good temperature-independent correlation was found between the electrical resistivity and the organized carbon fraction, indicating that electrical resistivity is indeed structure sensitive. Good correlation was also found between the electrical resistivity and the reactivity of coal char. All these results strongly suggest that the thermal deactivation is the result of a crystallite-perfecting process, which is effectively catalyzed by the inorganic matter in the coal char. Based on kinetic interpretation of the data it is concluded that the process is diffusion controlled, most likely involving transport of iron in the inter-crystallite nanospaces in the temperature range studied. The activation energy of this transport process is found to be very low, at about 11.8 kJ mol(-1), which is corroborated by model-free correlation of the temporal variation of organized carbon fraction as well as electrical resistivity data using the superposition method, and is suggestive of surface transport of iron. (C) 2002 Elsevier Science Ltd. All rights reserved.