1000 resultados para 750299 Arts and leisure not elsewhere classified
Resumo:
Four temperature data-loggers were placed in each of five green sea turtle nests on Heron Island in the 1998-99 nesting season. Temperatures in all nests increased as incubation progressed due to general sand heating and increased metabolic heat production of the developing embryos. Even at the top of nests no daily diurnal fluctuation in temperature was evident. The temperature of eggs in the middle of the nest increased above those in the nest periphery during the last third of incubation. However, this metabolic nest heating would have little effect on hatchling sex ratio because it occurred after the sex-determining period. Small differences in temperature between regions of a nest persisted throughout incubation and may be important in ensuring the production of at least some individuals of the opposite sex in nests that have temperatures close to either the all-male or all-female determining temperatures. Location and degree of shading of nests had little effect on mean nest temperature, but deeper nests were generally cooler and therefore were predicted to produce a higher proportion of males than were shallower nests. Nest temperature profile data indicated that the 1998-99 nesting season on Heron Island would have produced a strongly female-biased sex ratio amongst hatchlings.
Resumo:
Eggs from the Heron Island, Great Barrier Reef, nesting population of green turtles (Chelonia mydas) were incubated at all-male-determining (26 degreesC) and all-female-determining (30 degreesC) temperatures. Oxygen consumption and embryonic growth were monitored throughout incubation, and hatchling masses and body dimensions were measured from both temperatures. Eggs hatched after 79 and 53 days incubation at 26 degreesC and 30 degreesC respectively. Oxygen consumption at both temperatures increased to a peak several days before hatching, a pattern typical of turtle embryos, and the rate of oxygen was higher at 30 degreesC than 26 degreesC. The total amount of energy consumed during incubation, and hatchling dimensions, were similar at both temperatures, but hatchlings from 26 degreesC had larger mass, larger yolk-free mass and smaller residual yolks than hatchlings from 30 degreesC. Because of the difference in mass of hatchlings, hatchlings from 30 degreesC had a higher production cost.
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:
The middle years of schooling are receiving increased attention. This paper gives some background to 'middle schooling' and begin discussion if physical education is to be involved in the shift that an increasing number of schools are attempting to make in order to enhance student learning. It addresses findings, innovations and changes to the field of physical education. A set of questions are posed about the relationship between the middle years of schooling, health and physical education.
Resumo:
Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.
Resumo:
Within the information systems field, the task of conceptual modeling involves building a representation of selected phenomena in some domain. High-quality conceptual-modeling work is important because it facilitates early detection and correction of system development errors. It also plays an increasingly important role in activities like business process reengineering and documentation of best-practice data and process models in enterprise resource planning systems. Yet little research has been undertaken on many aspects of conceptual modeling. In this paper, we propose a framework to motivate research that addresses the following fundamental question: How can we model the world to better facilitate our developing, implementing, using, and maintaining more valuable information systems? The framework comprises four elements: conceptual-modeling grammars, conceptual-modeling methods, conceptual-modeling scripts, and conceptual-modeling contexts. We provide examples of the types of research that have already been undertaken on each element and illustrate research opportunities that exist.
Resumo:
This study presents an investigation of the communicative behaviors and strategies employed in the stimulation and management of productive and destructive conflict in culturally heterogeneous workgroups. Using communication accommodation theory (CAT), we argue that the type and course of conflict in culturally heterogeneous workgroups is impacted by the communicative behaviors and strategies employed by group members during interactions. Analysis of data from participant observations, non-participant observations, semi-structured interviews, and self-report questionnaires support CA T-based predictions and provide fresh insights into the triggers and management strategies associated with conflict in culturally heterogeneous workgroups. In particular, results indicated that the more groups used discourse management Strategies, the more they experienced productive conflict. In addition, the use of explanation and checking of own and others' understanding was a major feature of productive conflict, while speech interruptions emerged as a strategy leading to potential destructive conflict. Groups where leaders emerged and assisted in reversing communication breakdowns were better able to manage their discourse, and achieved consensus On task processes. Contributions to the understanding of the triggers and the management of productive conflict in culturally heterogeneous workgroups are discussed.