901 resultados para transition refinement
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP
Resumo:
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
Resumo:
Objectives. The purpose of this study was to investigate the effect of light-curing protocol on degree of conversion (DC), volume contraction (C), elastic modulus (E), and glass transition temperature (T(g)) as measured on a model polymer. It was a further aim to correlate the measured values with each other. Methods. Different light-curing protocols were used in order to investigate the influence of energy density (ED), power density (PD), and mode of cure on the properties. The modes of cure were continuous, pulse-delay, and stepped irradiation. DC was measured by Raman micro-spectroscopy. C was determined by pycnometry and a density column. E was measured by a dynamic mechanical analyzer (DMA), and T(g) was measured by differential scanning calorimetry (DSC). Data were submitted to two-and three-way ANOVA, and linear regression analyses. Results. ED, PD, and mode of cure influenced DC, C, E, and T(g) of the polymer. A significant positive correlation was found between ED and DC (r = 0.58), ED and E (r = 0.51), and ED and T(g) (r = 0.44). Taken together, ED and PD were significantly related to DC and E. The regression coefficient was positive for ED and negative for PD. Significant positive correlations were detected between DC and C (r = 0.54), DC and E (r = 0.61), and DC and T(g) (r = 0.53). Comparisons between continuous and pulse-delay modes of cure showed significant influence of mode of cure: pulse-delay curing resulted in decreased DC, decreased C, and decreased T(g). Influence of mode of cure, when comparing continuous and step modes of cure, was more ambiguous. A complex relationship exists between curing protocol, microstructure of the resin and the investigated properties. The overall performance of a composite is thus indirectly affected by the curing protocol adopted, and the desired reduction of C may be in fact a consequence of the decrease in DC. (C) 2009 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.
Resumo:
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.
Resumo:
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.
Resumo:
Differential scanning calorimetry (DSC) was used to study the glass transition in 10 Australian honeys by scanning at 10 degrees Cmin(-1) from -130 to 50 degreesC after annealing at -50 degreesC. The honeys had moisture contents 14.9 to 18.0%, seven were from Eucalyptus species. The glass transition temperatures (T-g) ranged from -46 degrees to -38 degreesC and were significantly (p
Resumo:
We study, with exact diagonalization, the zero temperature properties of the quarter-filled extended Hubbard model on a square lattice. We find that increasing the ratio of the intersite Coulomb repulsion, V, to the bandwidth drives the system from a metal to a charge ordered insulator. The evolution of the optical conductivity spectrum with increasing V is in agreement with the observed optical conductivity of several layered molecular crystals with the theta and beta crystal structures.