50 resultados para Integration of operations

em University of Queensland eSpace - Australia


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Examined the barriers faced by people with Spinal Cord Injuries (SCI) when integrating their Assistive Technology (AT) into the workplace, as well as factors that contribute to successful integration. In-depth interviews were taken with 5 men (aged 37-50 yrs) with SCI, 3 of their employers and 2 co-workers. Results indicate that in addition to the barriers previously outlined in the literature related to funding the technology, time delays, information availability, training and maintenance, other issues were highlighted. Implications for service providers are considered in relation to these barriers and the factors that prompted successful integration. The author discusses limitations of the study and makes recommendations for future research. (PsycINFO Database Record (c) 2007 APA, all rights reserved)

Relevância:

100.00% 100.00%

Publicador:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Reptiles change heart rate and blood flow patterns in response to heating and cooling, thereby decreasing the behavioural cost of thermoregulation. We tested the hypothesis that locally produced vasoactive substances, nitric oxide and prostaglandins, mediate the cardiovascular response of reptiles to heat. Heart rate and blood pressure were measured in eight crocodiles (Crocodylus porosus) during heating and cooling and while sequentially inhibiting nitric-oxide synthase and cyclooxygenase enzymes. Heart rate and blood pressure were significantly higher during heating than during cooling in all treatments. Power spectral density of heart rate and blood pressure increased significantly during heating and cooling compared to the preceding period of thermal equilibrium. Spectral density of heart rate in the high frequency band (0.19-0.70 Hz) was significantly greater during cooling in the saline treatment compared to when nitric-oxide synthase and cyclooxygenase enzymes were inhibited. Cross spectral analysis showed that changes in blood pressure preceded heart rate changes at low frequencies (

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The marginalisation of the teaching and learning of legal research in the Australian law school curriculum is, in the author's experience, a condition common to many law schools. This is reflected in the reluctance of some law teachers to include legal research skills in the substantive law teaching schedule — often the result of unwillingness on the part of law school administrators to provide the resources necessary to ensure that such integration does not place a disproportionately heavy burden of assessment on those who are tempted. However, this may only be one of many reasons for the marginalisation of legal research in the law school experience. Rather than analyse the reasons for this marginalisation, this article deals with what needs to be done to rectify the situation, and to ensure that the teaching of legal research can be integrated into the law school curriculum in a meaningful way. This requires the use of teaching and learning theory which focuses on student-centred learning. This article outlines a model of legal research. It incorporates five transparent stages which are: analysis, contextualisation, bibliographic skills, interpretation and assessment and application.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The degree to which Southern Hemisphere climatic changes during the end of the last glacial period and early Holocene (30-8 ka) were influenced or initiated by events occurring in the high latitudes of the Northern Hemisphere is a complex issue. There is conflicting evidence for the degree of hemispheric 'teleconnection' and an unresolved debate as to the principle forcing mechanism(s). The available hypotheses are difficult to test robustly, however, because the few detailed palaeoclimatic records in the Southern Hemisphere are widely dispersed and lack duplication. Here we present climatic and environmental reconstructions from across Australia, a key region of the Southern Hemisphere because of the range of environments it covers and the potentially important role regional atmospheric and oceanic controls play in global climate change. We identify a general scheme of events for the end of the last glacial period and early Holocene but a detailed reconstruction proved problematic. Significant progress in climate quantification and geochronological control is now urgently required to robustly investigate change through this period. Copyright (c) 2006 John Wiley & Sons, Ltd.