Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

The strain-driven pyrochlore to "defect fluorite" phase transition in rare earth sesquioxide stabilized cubic zirconias

The relationship between the ordering characteristic of the pyrochlore structure type and that characteristic of the defect fluorite structure type (immediately on either side of two phase regions separating the two structure types) in a range of rare eath sesquioxide stabilized cubic zirconias is investigated via electron diffraction and imaging. Systematic structural change as a function of composition and relative size of the constituent metal ions is highlighted and a multi-q to single-q = 1/2 [111]* model proposed for the observed pyrochlore to defect fluorite phase transition. Strain introduced into the close-packed {111} metal ion planes of the defect fluorite average structure by the local cation and oxygen vacancy distribution is pointed to as the likely origin of the observed behavior. (C) 2001 Academic Press

Orbitally induced oscillations in the East Antarctic ice sheet at the Oligocene/Miocene boundary

Between 34 and 15 million years (Myr) ago, when planetary temperatures were 3-4 degreesC warmer than at present and atmospheric CO2 concentrations were twice as high as today(1), the Antarctic ice sheets may have been unstable(2-7). Oxygen isotope records from deep-sea sediment cores suggest that during this time fluctuations in global temperatures and high-latitude continental ice volumes were influenced by orbital cycles(8-10). But it has hitherto not been possible to calibrate the inferred changes in ice volume with direct evidence for oscillations of the Antarctic ice sheets(11). Here we present sediment data from shallow marine cores in the western Ross Sea that exhibit well dated cyclic variations, and which link the extent of the East Antarctic ice sheet directly to orbital cycles during the Oligocene/Miocene transition (24.1-23.7 Myr ago). Three rapidly deposited glaci-marine sequences are constrained to a period of less than 450 kyr by our age model, suggesting that orbital influences at the frequencies of obliquity (40 kyr) and eccentricity (125 kyr) controlled the oscillations of the ice margin at that time. An erosional hiatus covering 250 kyr provides direct evidence for a major episode of global cooling and ice-sheet expansion about 23.7 Myr ago, which had previously been inferred from oxygen isotope data (Mil event(5)).

Phylogenetic analysis of the Monocotylidae (Monogenea) inferred from 28S rDNA sequences

The current classification of the Monocotylidae (Monogenea) is based on a phylogeny generated from morphological characters. The present study tests the morphological phylogenetic hypothesis using molecular methods. Sequences from domains C2 and D1 and the partial domains C1 and D2 from the 28S rDNA gene for 26 species of monocotylids from six of the seven subfamilies were used. Trees were generated using maximum parsimony, neighbour joining and maximum likelihood algorithms. The maximum parsimony tree, with branches showing less than 70% bootstrap support collapsed, had a topology identical to that obtained using the maximum likelihood analysis. The neighbour joining tree, with branches showing less than 70% support collapsed. differed only in its placement of Heterocotyle capricornensis as the sister group to the Decacotylinae clade. The molecular tree largely supports the subfamilies established using morphological characters. Differences are primarily how the subfamilies are related to each other. The monophyly of the Calicotylinae and Merizocotylinae and their sister group relationship is supported by high bootstrap values in all three methods, but relationships within the Merizocotylinae are unclear. Merizocotyle is paraphyletic and our data suggest that Mycteronastes and Thaumatocotyle, which were synonymized with Merizocotyle after the morphological cladistic analysis, should perhaps be resurrected as valid genera. The monophyly of the Monocotylinae and Decacotylinae is also supported by high bootstrap values. The Decacotylinae, which was considered previously to be the sister group to the Calicotylinae plus Merizocotylinae, is grouped in an unresolved polychotomy with the Monocotylinae and members of the Heterocotylinae. According to our molecular data, the Heterocotylinae is paraphyletic. Molecular data support a sister group relationship between Troglocephalus rhinobatidis and Neoheterocotyle rhinobatidis to the exclusion of the other species of Neoheterocotyle and recognition of Troglocephalus renders Neoheterocotyle,le paraphyletic. We propose Troglocephalus incertae sedis. An updated classification and full species list of the Monocotylidae is provided. (C) 2001 Australian Society for Parasitology Inc. Published by Elsevier Science Ltd. All rights reserved.

Attachment style and coping resources as predictors of coping strategies in the transition to parenthood

The relations among adult attachment style, coping resources, appraised strain, and coping strategies were examined in a prospective study of married couples having their first child (N = 92). Attachment and coping resources were measured during the second trimester of pregnancy, and parenting strain and coping strategies were assessed when the babies were about 6 weeks old. Results supported a theoretical model proposing that attachment is predictive of coping resources and appraised strain, and that attachment, resources, and strain are predictive of coping strategies. Results also highlighted the complexity of associations among attachment, stress, and coping: Gender differences in mean scores and predictive associations were obtained, and some interactions were found between resources and strain in predicting coping strategies. The findings support the utility of integrating theories of attachment and coping in explaining couples' adjustment to important developmental transitions.