Potencialidades e utilização do espaço recreio: um estudo desenvolvido em escolas do 1.º ciclo do ensino básico

Dissertação apresentada para a obtenção do grau de Mestre em Educação - Área de Especialização em Didática das Ciências

Speleoclimate dynamics in Santana Cave (PETAR, S(a)over-tildeo Paulo State, Brazil): general characterization and implications for tourist management

Show caves provide tourists with the opportunity to have close contact with natural underground spaces. However, visitation to these places also creates a need for management measures, mainly the definition of tourist carrying capacity. The present work describes the results of climate monitoring and atmospheric profiling performed in Santana Cave (Alto Ribeira State and Tourist Park - PETAR, Brazil) between 2008 and 2011. Based on the results, distinct preliminary zones with different levels of thermal variation were identified, which classify Santana Cave as a warm trap. Two critical points along the tourist route (Cristo and Encontro Halls) were identified where the temperature of the locality increased by 1.3 degrees C when tourists were present. Air flow from the inner cave to the outside occurs during the austral summer, and the opposite flow occurs when the outside environment is colder than the air inside the cave during the austral winter. The temperature was used to establish thresholds to the tourist carrying capacity by computing the recovery time of the atmospheric conditions after the changes caused by the presence of tourists. This method suggests a maximum limit of approximately 350 visits per day to Santana Cave. The conclusion of the study is that Santana Cave has an atmosphere that is highly connected with the outside; daily variations in temperature and, to a lesser extent, in the relative humidity occur throughout the entire studied area of the cave. Therefore, the tourist carrying capacity in Santana Cave can be flexible and can be implemented based on the climate seasonality, the tourism demand and other management strategies.

Natural convection in attic-shaped spaces subject to sudden and ramp heating boundary conditions

In this study, a discussion of the fluid dynamics in the attic space is reported, focusing on its transient response to sudden and linear changes of temperature along the two inclined walls. The transient behaviour of an attic space is relevant to our daily life. The instantaneous and non-instantaneous (ramp) heating boundary condition is applied on the sloping walls of the attic space. A theoretical understanding of the transient behaviour of the flow in the enclosure is performed through scaling analysis. A proper identification of the timescales, the velocity and the thickness relevant to the flow that develops inside the cavity makes it possible to predict theoretically the basic flow features that will survive once the thermal flow in the enclosure reaches a steady state. A time scale for the heating-up of the whole cavity together with the heat transfer scales through the inclined walls has also been obtained through scaling analysis. All scales are verified by the numerical simulations.

Natural convection in the attic-shaped spaces

Heat transfer through an attic space into or out of buildings is an important issue for attic-shaped houses in both hot and cold climates. One of the important objectives for design and construction of houses is to provide thermal comfort for occupants. In the present energy-conscious society, it is also a requirement for houses to be energy efficient, i.e. the energy consumption for heating or air-conditioning houses must be minimized. Relevant to these objectives, research into heat transfer in attics has been conducted for about three decades. The transient behaviour of an attic space is directly relevant to our daily life. Certain periods of the day or night may be considered as having a constant ambient temperature (e.g. during 11am - 2pm or 11pm - 2am). However, at other times during the day or night the ambient temperature changes with time (e.g. between 5am - 9am or 5pm - 9pm). Therefore, the analysis of steady state solution is not sufficient to describe the fluid flow and heat transfer in the attic space. The discussion of the transient development of the boundary is required. A theoretical understanding of the transient behaviour of the flow in the enclosure is performed through scaling analysis for sudden and ramp heating conditions. A proper identification of the timescales, the velocity and the thickness relevant to the flow that develops inside the cavity makes it possible to predict theoretically the basic flow features that will survive once the thermal flow in the enclosure reaches a steady state. Those scaling predictions have been verified by a series of numerical simulations.

Challenges for future of Natural Spaces of Canary Islands, Spain

The preservation of biodiversity is a fundamental objective of a ll policies related to a more sustainable development in any modern society. The rain forest and pine forests are two unique Canarian ecosystems with high importance to global biodiversity, holding a large number of endemic species and subspecies that is a priority to preserve. In this work the challenges that will face the natural areas of the Canary Islands are studied, as well as their fundamental value for economic and environmental development of the islands.

A natural model for architecture : the nature of the evolutionary model 1995

John Frazer's architectural work is inspired by living and generative processes. Both evolutionary and revolutionary, it explores informatin ecologies and the dynamics of the spaces between objects. Fuelled by an interest in the cybernetic work of Gordon Pask and Norbert Wiener, and the possibilities of the computer and the "new science" it has facilitated, Frazer and his team of collaborators have conducted a series of experiments that utilize genetic algorithms, cellular automata, emergent behaviour, complexity and feedback loops to create a truly dynamic architecture. Frazer studied at the Architectural Association (AA) in London from 1963 to 1969, and later became unit master of Diploma Unit 11 there. He was subsequently Director of Computer-Aided Design at the University of Ulter - a post he held while writing An Evolutionary Architecture in 1995 - and a lecturer at the University of Cambridge. In 1983 he co-founded Autographics Software Ltd, which pioneered microprocessor graphics. Frazer was awarded a person chair at the University of Ulster in 1984. In Frazer's hands, architecture becomes machine-readable, formally open-ended and responsive. His work as computer consultant to Cedric Price's Generator Project of 1976 (see P84)led to the development of a series of tools and processes; these have resulted in projects such as the Calbuild Kit (1985) and the Universal Constructor (1990). These subsequent computer-orientated architectural machines are makers of architectural form beyond the full control of the architect-programmer. Frazer makes much reference to the multi-celled relationships found in nature, and their ongoing morphosis in response to continually changing contextual criteria. He defines the elements that describe his evolutionary architectural model thus: "A genetic code script, rules for the development of the code, mapping of the code to a virtual model, the nature of the environment for the development of the model and, most importantly, the criteria for selection. In setting out these parameters for designing evolutionary architectures, Frazer goes beyond the usual notions of architectural beauty and aesthetics. Nevertheless his work is not without an aesthetic: some pieces are a frenzy of mad wire, while others have a modularity that is reminiscent of biological form. Algorithms form the basis of Frazer's designs. These algorithms determine a variety of formal results dependent on the nature of the information they are given. His work, therefore, is always dynamic, always evolving and always different. Designing with algorithms is also critical to other architects featured in this book, such as Marcos Novak (see p150). Frazer has made an unparalleled contribution to defining architectural possibilities for the twenty-first century, and remains an inspiration to architects seeking to create responsive environments. Architects were initially slow to pick up on the opportunities that the computer provides. These opportunities are both representational and spatial: computers can help architects draw buildings and, more importantly, they can help architects create varied spaces, both virtual and actual. Frazer's work was groundbreaking in this respect, and well before its time.

MiLK: Transforming everyday places into dynamic learning spaces with mobile and web technologies

This paper explores how game authoring tools can teach processes that transform everyday places into engaging learning spaces. It discusses the motivation inherent in playing games and creating games for others, and how this stimulates an iterative process of creation and reflection and evokes a natural desire to engage in learning. The use of MiLK at the Adelaide Botanic Gardens is offered as a case in point. MiLK is an authoring tool that allows students and teachers to create and share SMS games for mobile phones. A group of South Australian high school students used MiLK to play a game, create their own games and play each other’s games during a day at the gardens. This paper details the learning processes involved in these activities and how the students, without prompting, reflected on their learning, conducted peer assessment, and engaged in a two-way discussion with their teacher about new technologies and their implications for learning. The paper concludes with a discussion of the needs and requirements of 21st century learners and how MiLK can support constructivist and connectivist teaching methods that engage learners and will produce an appropriately skilled future workforce.

There is nothing that 'identifies me to that place' : Aboriginal Women's perceptions of health spaces and places

There is a growing body of literature within social and cultural geography that explores notions of place, space, culture, race and identity. The more recent works suggest that places are experienced and understood in multiple ways and are embedded within an array of politics. Memmott and Long, who have undertaken place-based research with Australian Indigenous people, present the theoretical position that ‘place is made and takes on meaning through an interaction process involving mutual accommodation between people and the environment’. They outline that places and their cultural meanings are generated through one or a combination of three types of people–environment interactions. These include: a place that is created by altering the physical characteristics of a piece of environment and which might encompass a feature or features which are natural or made; a place that is created totally through behaviour that is carried out within a specific area, therefore that specific behaviour becomes connected to that specific place; and a place created by people moving or being moved from one environment to another and establishing a new place where boundaries are created and activities carried out. All these ideas of places are challenged and confirmed by what Indigenous women have said about their particular use of, and relationship with, space within several health services in Rockhampton, Central Queensland. As my title suggests, Indigenous women do not see themselves as ‘neutral’ or ‘non-racialised’ citizens who enter and ‘use’ a supposedly neutral health service. Instead, Aboriginal women demonstrate they are active recognisers of places that would identify them within the particular health place. That is, they as Aboriginal women didn’t just ‘make’ place, the places and spaces ‘make’ them. The health services were identified as sites within which spatial relations could begin to grow with recognition of themselves as Aboriginal women in place, or instead create a sense of marginality in the failure of the spaces to identify them. The women’s voices within this paper are drawn from interviews undertaken with twenty Aboriginal women in Rockhampton, Central Queensland, Australia, who participated in a research project exploring ‘how the relationship between health services and Aboriginal women can be more empowering from the viewpoints of Aboriginal women’. The assumption underpinning this study was that empowering and re-empowering practices for Aboriginal women can lead to improved health outcomes. Throughout the interviews women shared some of their lived realities including some of their thoughts on identity, the body, employment in the health sector, service delivery and their notions of health service spaces and places. Their thoughts on health service spaces and places provide an understanding of the lived reality for Aboriginal women and are explored and incorporated within this paper.

Natural actor-critic algorithms

We present four new reinforcement learning algorithms based on actor-critic, natural-gradient and functi approximation ideas,and we provide their convergence proofs. Actor-critic reinforcement learning methods are online approximations to policy iteration in which the value-function parameters are estimated using temporal difference learning and the policy parameters are updated by stochastic gradient descent. Methods based on policy gradients in this way are of special interest because of their compatibility with function-approximation methods, which are needed to handle large or infinite state spaces. The use of temporal difference learning in this way is of special interest because in many applications it dramatically reduces the variance of the gradient estimates. The use of the natural gradient is of interest because it can produce better conditioned parameterizations and has been shown to further reduce variance in some cases. Our results extend prior two-timescale convergence results for actor-critic methods by Konda and Tsitsiklis by using temporal difference learning in the actor and by incorporating natural gradients. Our results extend prior empirical studies of natural actor-critic methods by Peters, Vijayakumar and Schaal by providing the first convergence proofs and the first fully incremental algorithms.

Support theorems on R-n and non-compact symmetric spaces

We consider convolution equations of the type f * T = g, where f, g is an element of L-P (R-n) and T is a compactly supported distribution. Under natural assumptions on the zero set of the Fourier transform of T, we show that f is compactly supported, provided g is. Similar results are proved for non-compact symmetric spaces as well. (C) 2010 Elsevier Inc. All rights reserved.

A maximal operator, Carleson's embedding, and tent spaces for vector-valued functions

This thesis is concerned with the area of vector-valued Harmonic Analysis, where the central theme is to determine how results from classical Harmonic Analysis generalize to functions with values in an infinite dimensional Banach space. The work consists of three articles and an introduction. The first article studies the Rademacher maximal function that was originally defined by T. Hytönen, A. McIntosh and P. Portal in 2008 in order to prove a vector-valued version of Carleson's embedding theorem. The boundedness of the corresponding maximal operator on Lebesgue-(Bochner) -spaces defines the RMF-property of the range space. It is shown that the RMF-property is equivalent to a weak type inequality, which does not depend for instance on the integrability exponent, hence providing more flexibility for the RMF-property. The second article, which is written in collaboration with T. Hytönen, studies a vector-valued Carleson's embedding theorem with respect to filtrations. An earlier proof of the dyadic version assumed that the range space satisfies a certain geometric type condition, which this article shows to be also necessary. The third article deals with a vector-valued generalizations of tent spaces, originally defined by R. R. Coifman, Y. Meyer and E. M. Stein in the 80's, and concerns especially the ones related to square functions. A natural assumption on the range space is then the UMD-property. The main result is an atomic decomposition for tent spaces with integrability exponent one. In order to suit the stochastic integrals appearing in the vector-valued formulation, the proof is based on a geometric lemma for cones and differs essentially from the classical proof. Vector-valued tent spaces have also found applications in functional calculi for bisectorial operators. In the introduction these three themes come together when studying paraproduct operators for vector-valued functions. The Rademacher maximal function and Carleson's embedding theorem were applied already by Hytönen, McIntosh and Portal in order to prove boundedness for the dyadic paraproduct operator on Lebesgue-Bochner -spaces assuming that the range space satisfies both UMD- and RMF-properties. Whether UMD implies RMF is thus an interesting question. Tent spaces, on the other hand, provide a method to study continuous time paraproduct operators, although the RMF-property is not yet understood in the framework of tent spaces.

Incremental natural-gradient actor-critic algorithms

We present four new reinforcement learning algorithms based on actor-critic and natural-gradient ideas, and provide their convergence proofs. Actor-critic rein- forcement learning methods are online approximations to policy iteration in which the value-function parameters are estimated using temporal difference learning and the policy parameters are updated by stochastic gradient descent. Methods based on policy gradients in this way are of special interest because of their com- patibility with function approximation methods, which are needed to handle large or infinite state spaces. The use of temporal difference learning in this way is of interest because in many applications it dramatically reduces the variance of the gradient estimates. The use of the natural gradient is of interest because it can produce better conditioned parameterizations and has been shown to further re- duce variance in some cases. Our results extend prior two-timescale convergence results for actor-critic methods by Konda and Tsitsiklis by using temporal differ- ence learning in the actor and by incorporating natural gradients, and they extend prior empirical studies of natural actor-critic methods by Peters, Vijayakumar and Schaal by providing the first convergence proofs and the first fully incremental algorithms.

REPRODUCING KERNEL FOR A CLASS OF WEIGHTED BERGMAN SPACES ON THE SYMMETRIZED POLYDISC

A natural class of weighted Bergman spaces on the symmetrized polydisc is isometrically embedded as a subspace in the corresponding weighted Bergman space on the polydisc. We find an orthonormal basis for this subspace. It enables us to compute the kernel function for the weighted Bergman spaces on the symmetrized polydisc using the explicit nature of our embedding. This family of kernel functions includes the Szego and the Bergman kernel on the symmetrized polydisc.

An approach version of fuzzy metric spaces including an ad hoc fixed point theorem

In this paper, inspired by two very different, successful metric theories such us the real view-point of Lowen's approach spaces and the probabilistic field of Kramosil and Michalek's fuzzymetric spaces, we present a family of spaces, called fuzzy approach spaces, that are appropriate to handle, at the same time, both measure conceptions. To do that, we study the underlying metric interrelationships between the above mentioned theories, obtaining six postulates that allow us to consider such kind of spaces in a unique category. As a result, the natural way in which metric spaces can be embedded in both classes leads to a commutative categorical scheme. Each postulate is interpreted in the context of the study of the evolution of fuzzy systems. First properties of fuzzy approach spaces are introduced, including a topology. Finally, we describe a fixed point theorem in the setting of fuzzy approach spaces that can be particularized to the previous existing measure spaces.

Fundamental atrium design for natural ventilation

An atrium is a central feature of many modern naturally ventilated building designs. The atrium fills with warm air from the adjoining storeys: this air may be further warmed by direct solar heating in the atrium, and the deep warm layer enhances the flow. In this paper we focus on the degree of flow enhancement achieved by an atrium which is itself 'ventilated' directly, by a low-level connection to the exterior. A theoretical model is developed to predict the steady stack-driven displacement flow and thermal stratification in the building, due to heat gains in the storey and solar gains in the atrium, and compared with the results of laboratory experiments. Direct ventilation of the atrium is detrimental to the ventilation of the storey and the best design is identified as a compromise that provides adequate ventilation of both spaces. We identify extremes of design for which an atrium provides no significant enhancement of the flow, and show that an atrium only enhances the flow in the storey if its upper opening is of an intermediate size, and its lower opening is sufficiently small. © 2003 Elsevier Science Ltd. All rights reserved.