16 resultados para Execution trace
em University of Queensland eSpace - Australia
Resumo:
The concentrations of major, minor and trace metals were measured in water samples collected from five shallow Antarctic lakes (Carezza, Edmonson Point (No 14 and 15a), Inexpressible Island and Tarn Flat) found in Terra Nova Bay (northern Victoria Land, Antarctica) during the Italian Expeditions of 1993-2001. The total concentrations of a large suite of elements (Al, As, Ba, Ca, Cd, Ce, Co, Cr, Cs, Cu, Fe, Ga, Gd, K, La, Li, Mg, Mn, Mo, Na, Nd, Ni, Pb, Pr, Rb, Sc, Si, Sr, Ta, Ti, U, V, Y, W, Zn and Zr) were determined using spectroscopic techniques (ICP-AES, GF-AAS and ICP-MS). The results are similar to those obtained for the freshwater lakes of the Larsemann Hills, East Antarctica, and for the McMurdo Dry Valleys. Principal Component Analysis (PCA) and Cluster Analysis (CA) were performed to identify groups of samples with similar characteristics and to find correlations between the variables. The variability observed within the water samples is closely connected to the sea spray input; hence, it is primarily a consequence of geographical and meteorological factors, such as distance from the ocean and time of year. The trace element levels, in particular those of heavy metals, are very low, suggesting an origin from natural sources rather than from anthropogenic contamination.
Resumo:
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.
Resumo:
Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.
Resumo:
Despite its environmental (and financial) importance, there is no agreement in the literature as to which extractant most accurately estimates the phytoavailability of trace metals in soils. A large dataset was taken from the literature, and the effectiveness of various extractants to predict the phytoavailability of Cd, Zn, Ni, Cu, and Pb examined across a range of soil types and contamination levels. The data suggest that generally, the total soil trace metal content, and trace metal concentrations determined by complexing agents (such as the widely used DTPA and EDTA extractants) or acid extractants (such as 0.1 M HCl and the Mehlich 1 extractant) are only poorly correlated to plant phytoavailability. Whilst there is no consensus, it would appear that neutral salt extractants (such as 0.01 M CaCl2 and 0.1 M NaNO3) provide the most useful indication of metal phytoavailability across a range of metals of interest, although further research is required.
Resumo:
The otoliths and lenses of the temperate damselfish Parma microlepis (Gunther) (Pomacentridae) showed similar differences in trace-metal profile for selected locations along the coast of New South Wales, Australia. Otoliths and lenses displayed a differential ability to accumulate metals. Metal concentrations were ranked differently in the two structures (e.g. Sr > Ba > Pb > Rb > Hg in otoliths, and Hg > Sr similar or equal to Rb > Pb > Ba in lenses), and where similar metals were accumulated, they were accumulated at vastly different concentrations (e.g. Ba concentrations in otoliths are a thousand-fold greater than in lenses). Analyses of the otoliths and lenses of P. microlepis from locations close to Sydney and up to 100 kill from the city were able to distinguish amongst these locations with respect to a number of metals, namely Ba, Mn and Hg. Multivariate analyses of otolith and lens data gave similar results among locations (agreement was obtained for Ii out of 15 pair-wise comparisons), and differences were attributable to the differential ability of the two structures to accumulate metals such as Mn and Hg. Trace-metal differences between locations were found to coincide with the proximity of sewage (including industrial waste) and petroleum storage facilities to the different locations.
Resumo:
The mechanical properties of a typical sintered aluminium alloy (Al-4.4Cu-0.8Si-0.5Mg) have been improved by the simultaneous use of trace additions of Sn, high sintering temperatures and modified heat treatments. Tin increases densification, but the Sn concentration is limited to less than or equal to 0.1wt% because incipient melting occurs during solution treatment at higher Sn levels. A sintering temperature of 620 degrees C increases the liquid volume over that formed at the conventional 590 degrees C sintering temperature. However, the higher sintering temperature results in the formation of an embrittling phase which can be eliminated if solution treatment is incorporated into the sintering cycle (a modified TS heat treatment). These conditions produce a tensile strength of 375 MPa, an increase of nearly 20% over the unmodified alloy. (C) 1999 Elsevier Science S.A. All rights reserved.
Resumo:
The eye lenses of Parma microlepis from the rocky barrens of Sydney (New South Wales, Australia) were found to contain Ba, Hg, Rb, and Sr at concentrations above the quantitative detection limits of solution-based inductively-coupled plasma-mass spectrometry (ICP-MS). Lenses were separated into the hard central nucleus and the softer surrounding cortex. Nuclei contained lower (equal for Ba) concentrations of these metals. Biochemical analysis of the protein composition of these lenses revealed differences in the ratio of gamma-crystallin to beta-crystallin in the lens nucleus and cortex. These changes were shown to be attributable both to protein degradation and changes in protein synthesis as fish age. Such changes may lead to the loss of sequestered metals from older cell layers, or change the affinity of new layers for particular trace metals. Differential binding affinities of these crystallins may, therefore, partially account for trace-metal differences observed in the lens nucleus and cortex.
Resumo:
Movement-related potentials (MRPs) reflect increasing cortical activity related to the preparation and execution of voluntary movement. Execution and preparatory components may be separated by comparing MRPs recorded from actual and imagined movement. Imagined movement initiates preparatory processes, but not motor execution activity. MRPs are maximal over the supplementary motor area (SMA), an area of the cortex involved in the planning and preparation of movement. The SMA receives input from the basal ganglia, which are affected in Huntington's disease (HD), a hyperkinetic movement disorder. In order to further elucidate the effects of the disorder upon the cortical activity relating to movement, MRPs were recorded from ten HD patients, and ten age-matched controls, whilst they performed and imagined performing a sequential button-pressing task. HD patients produced MRPs of significantly reduced size both for performed and imagined movement. The component relating to movement execution was obtained by subtracting the MRP for imagined movement from the MRP for performed movement, and was found to be normal in HD. The movement preparation component was found by subtracting the MRP found for a control condition of watching the visual cues from the MRP for imagined movement. This preparation component in HD was reduced in early slope, peak amplitude, and post-peak slope. This study therefore reported abnormal MRPs in HD. particularly in terms of the components relating to movement preparation, and this finding may further explain the movement deficits reported in the disease.
Resumo:
Studies of functional brain imaging in humans and single cell recordings in monkeys have generally shown preferential involvement of the medially located supplementary motor area (SMA) in self-initiated movement and the lateral premotor cortex in externally cued movement. Studies of event-related cortical potentials recorded during movement preparation, however, generally show increased cortical activity prior to self-initiated movements but little activity at early stages prior to movements that are externally cued at unpredictable times. In this study, the spatial location and relative timing of activation for self-initiated and externally triggered movements were examined using rapid event-related functional MRI. Twelve healthy right-handed subjects were imaged while performing a brief finger sequence movement (three rapid alternating button presses: index-middle-index finger) made either in response to an unpredictably timed auditory cue (between 8 to 24 s after the previous movement) or at self-paced irregular intervals. Both movement conditions involved similar strong activation of medial motor areas including the pre-SMA, SMA proper, and rostral cingulate cortex, as well as activation within contralateral primary motor, superior parietal, and insula cortex. Activation within the basal ganglia was found for self-initiated movements only, while externally triggered movements involved additional bilateral activation of primary auditory cortex. Although the level of SMA and cingulate cortex activation did not differ significantly between movement conditions, the timing of the hemodynamic response within the pre-SMA was significantly earlier for self-initiated compared with externally triggered movements. This clearly reflects involvement of the pre-SMA in early processes associated with the preparation for voluntary movement. (C) 2002 Elsevier Science.
Resumo:
The influence that trace concentrations Of SiO2 have on improving grain-boundary conduction via precursor scavenging using additional heat treatment at 1200 degreesC for 40 h before sintering was investigated. At a SiO2-impurity level (SIL) less than or equal to 160 ppm by weight, the grain-boundary resistivity (p(gb)) decreased to 20% of its value, while no improvement in grain-boundary conduction was found at a SIL greater than or equal to 310 ppm. The correlation between the resistance per unit grain-boundary area, p(gb), and average grain size indicated that the inhomogeneous distribution of the siliceous phase in the sample with a SIL greater than or equal to 310 ppm. hampered the scavenging reaction.
Resumo:
Trace elements can have a significant effect on the processing and properties of aluminium alloys, including sintered alloys. As little as 0.07 wt% (100 ppm) lead, tin or indium promotes sintering in an Al-Zn-Mg-Cu alloy produced from mixed elemental powders. This is a liquid phase sintering system and thin liquid films form uniformly throughout the alloy in the presence of the trace elements, but liquid pools develop in their absence. Analytical transmission electron microscopy indicates that the trace elements are confined to the interparticle and grain boundary regions. The sintering enhancement is attributed to the segregation of the microalloying addition to the liquid-vapour interface. Because the microalloying elements have a low surface tension, they lower the effective surface tension of the liquid. This reduces the wetting angle and extends the spreading of the liquid through the matrix. An improvement in sintering results. (C) 2001 Acta Materialia Inc. Published by Elsevier Science Ltd. All rights reserved.
Resumo:
Trace organic chemicals include a range of compounds which, due to a combination of their physico-chemical properties and toxicological implications, have been described as a serious threat to the biotic environment. A global treaty to regulate the manufacture and release of some of the most persistent trace chemicals has been promulgated and signed. The marine environment is an important sink for many trace chemicals, some of which accumulate in the marine food chain and in particular in marine mammals. With respect to the global distribution of trace organic chemicals, the levels of organohalogen compounds in the Southern Hemisphere are comparatively lower for a given environmental compartment and latitude compared to the Northern Hemisphere. A debate is currently evolving about the toxicity of alternative halogen substitutions such as bromine instead of chlorine and also of mixed halogen substitution. Recently a series of potentially natural bioaccumulative and persistent organohalogen chemicals have been found in marine mammals and turtles at levels in excess of those of anthropogenic trace organochlorines including PCBs and DDE. Little is known about the sources, behaviour and effects of natural trace organic chemicals. This manuscript presents an overview on the occurrence of trace organic chemicals in different compartments of the aquatic environment. Important knowledge gaps with regards to trace chemicals in the marine environment are presented. Crown Copyright (C) 2002 Published by Elsevier Science Ltd. All rights reserved.
Resumo:
We use published and new trace element data to identify element ratios which discriminate between arc magmas from the supra-subduction zone mantle wedge and those formed by direct melting of subducted crust (i.e. adakites). The clearest distinction is obtained with those element ratios which are strongly fractionated during refertilisation of the depleted mantle wedge, ultimately reflecting slab dehydration. Hence, adakites have significantly lower Pb/Nd and B/Be but higher Nb/Ta than typical arc magmas and continental crust as a whole. Although Li and Be are also overenriched in continental crust, behaviour of Li/Yb and Be/Nd is more complex and these ratios do not provide unique signatures of slab melting. Archaean tonalite-trondhjemite-granodiorites (TTGs) strongly resemble ordinary mantle wedge-derived arc magmas in terms of fluid-mobile trace element content, implying that they-did not form by slab melting but that they originated from mantle which was hydrated and enriched in elements lost from slabs during prograde dehydration. We suggest that Archaean TTGs formed by extensive fractional crystallisation from a mafic precursor. It is widely claimed that the time between the creation and subduction of oceanic lithosphere was significantly shorter in the Archaean (i.e. 20 Ma) than it is today. This difference was seen as an attractive explanation for the presumed preponderance of adakitic magmas during the first half of Earth's history. However, when we consider the effects of a higher potential mantle temperature on the thickness of oceanic crust, it follows that the mean age of oceanic lithosphere has remained virtually constant. Formation of adakites has therefore always depended on local plate geometry and not on potential mantle temperature.