Norm-based behaviour modification in BDI agents

While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has attracted less attention. The problem is that traditional agent architectures and their associated languages provide no mechanism to adapt an agent at runtime to norms constraining their behaviour. This is important because if BDI-type agents are to operate in open environments, they need to adapt to changes in the norms that regulate such environments. In response, in this paper we provide a technique to extend BDI agent languages, by enabling them to enact behaviour modification at runtime in response to newly accepted norms. Our solution consists of creating new plans to comply with obligations and suppressing the execution of existing plans that violate prohibitions. We demonstrate the viability of our approach through an implementation of our solution in the AgentSpeak(L) language.

Evolutionary Testing of Autonomous Software Agents

A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make substantial decisions for themselves, so thorough testing is an important consideration. However, autonomy also makes testing harder; by their nature, autonomous agents may react in different ways to the same inputs over time, because, for instance they have changeable goals and knowledge. For this reason, we argue that testing of autonomous agents requires a procedure that caters for a wide range of test case contexts, and that can search for the most demanding of these test cases, even when they are not apparent to the agents’ developers. In this paper, we address this problem, introducing and evaluating an approach to testing autonomous agents that uses evolutionary optimization to generate demanding test cases.

Técnica de programação e controle da construção repetitiva, linha de balanço, estudo de caso de um conjunto habitacional

Este trabalho apresenta uma técnica de programação e controle da construção repetitiva denominada Linha de Balanço. E uma técnica, surgida na indústria fabril, onde a produção em série e em grande escala exige a organização dos métodos de produção e a racionalização do trabalho. O estudo, inicialmente, modela o trabalho de construção de unidades repetitivas, salientando os problemas de organização e administração destes empreendimentos. Num segundo momento, são apresentados os princípios teóricos da técnica com aplicações práticas da programação. Por fim, é analisada a metodologia usual de construção de conjuntos habitacionais através de um estudo de caso e, observadas as condições de aplicação da técnica da Linha de Balanço, não exigindo mudificações muito profundas na atual ação gerencial neste tipo de obra. As conclusões esboçadas confirmam as vantagens da técnica da Linha de Balanço para estes empreendimentos e propõem a sua utilização na organização do trabalho nos canteiros repetitivos.

Taylor principle and inflation stability in emerging market countriesw

The goal of this paper is to evaluate the validity of the Taylor principle for inflation control in 12 developing countries that use inflation targeting regimes: Brazil, Chile, Colombia, Hungary, Israel, Mexico, Peru, Philippines, Poland, South Africa, Thailand and Turkey. The test is based on a state-space model to determine when each country has followed the principle; then a threshold unit root test is used to verify if the stationarity of the deviation of the expected inflation from its target depends on compliance with the Taylor principle. The results show that such compliance leads to the stationarity of the deviation of the expected inflation from its target in all cases. Furthermore, in most cases, non-compliance with the Taylor principle leads to nonstationary deviation of the expected inflation.

Capitalização do imposto de propriedade no preço de mercado dos imóveis

Esta dissertação estima e discute a capitalização do imposto de propriedade no preço de imóveis, isto é, quanto um aumento de IPTU reduz os preços de imóveis e vice-versa. Por um modelo de diferença em diferenças e algumas tentativas de falseamento, obtiveram-se fortes evidências de capitalização, onde, em média, 100% de variação no imposto altera por volta de 30% o preço dos imóveis. Com isto, políticas de isenção ou redução de IPTU com fins sociais podem ser questionadas, pois dificultariam o acesso à moradia das famílias mais pobres, contribuindo para o processo de favelização. Ao mesmo tempo, maiores patamares do imposto poderiam ser utilizados não somente para elevar as receitas municipais ou como contrapartida ao uso de serviços públicos locais, mas também para tornar os preços dos imóveis mais acessíveis, reduzindo a pobreza e estimulando o crescimento das cidades.

Saudosa Maloca, Maloca querida: um estudo morfológico da relação forma/usos do espaço em moradias autoconstruídas e construídas pelo poder público após um ano de ocupação

This study intends to enhance the existing knowledge concerning the patterns of the uses of space for low cost housing in Parnamirim, Rio Grande do Norte, Brazil, by way of comparative morphological studies in spatial arrangements and articulations regarding three distinct, however inter-related, sets of social housing: (1) a development comprising 21 self-built houses erected on public routes and illegal plots within a tract of land originally designed to be an industrial development: (2) architect-designed houses built by the public authority in order to accommodate the previous 21 (plus a few additions) families occupying the self-built dwellings, and (3) modifications performed by dwellers on a total of those 24 houses built by the public authority after an occupation period of one year. The predominant uses of each room within the self-built and modified houses were represented in ground plan, based on empirical observation, surveys with dwellers and the use of analytical procedures of morphologic analysis of nature predominantly geometric (specific) and topology (space syntax analysis). A scale of priorities was identified in relation to the uses of each room, its geometrical arrangement (adjacency, front/back relations etc), and underlying structures (connectivity, depth and spatial integration) in order to establish congruencies and non-congruencies between a social-cultural order embedded in the self-built domestic space and the design logic contained in the houses offered by official agencies. The comparative analysis points towards the convivial existence of two tendencies: one that seems to reinforce a design logic inasmuch as the additions and modifications performed by the dwellers do not alter but even emphasize the original configuration of the designed houses, and another one in which those patterns are subverted in accordance with a logic which, to a lesser or greater degree, coincides with that of the self-built dwellings

Por uma moradia termicamente confortável: proposta de habitação de interesse social com ênfase no conforto térmico

This research covers the topic of social housing and its relation to thermal comfort, so applied to an architectural and urban intervention in land situated in central urban area of Macaíba/RN, Brazil. Reflecting on the role of design and use of alternative building materials in the search for better performance is one of its main goals. The hypothesis is that by changing design parameters and choice of materials, it is possible to achieve better thermal performance results. Thus, we performed computer simulations of thermal performance and natural ventilation using computational fluid dynamics or CFD (Computational Fluid Dynamics). The presentation of the thermal simulation followed the methodology proposed in the dissertation Negreiros (2010), which aims to find the percentage of the amount of hours of comfort obtained throughout the year, while data analysis was made of natural ventilation from images generated by the images extracted from the CFD. From model building designed, was fitted an analytical framework that results in a comparison between three different proposals for dwellings housing model, which is evaluated the question of the thermal performance of buildings, and also deals with the spatial variables design, construction materials and costs. It is concluded that the final report confirmed the general hypotheses set at the start of the study, it was possible to quantify the results and identify the importance of design and construction materials are equivalent, and that, if combined, lead to gains in thermal performance potential.

Aparências da forma e forma do espaço: análise da configuração espacial de residências unifamiliares dos anos 1970 em João Pessoa PB

Assuming that the form of a building shell and its content the spatial form are distinct dimensions of architecture - however indivisible and interdependent -, this study focus, in the light of the Social Logic of Space (HILLIER; HANSON, 1984), on the intrinsic properties through which domestic space was structured in a sample of single-family dwellings built in João Pessoa (PB) during the 1970s - when the vocabulary of modern architecture still prevailed in Brazil though sharing the urban scene with other architectural trends -, in order to investigate regularities or divergences underlying their conception. These dwellings were originally classified (ARAÚJO, 2010a) in five categories defined according to the form of their building shells and to their prevailing construction techniques: (1) Brazilian modern legacy (considered as truly Brazilian modern style); (2) Paulista architecture (that refers to the modern production of São Paulo, Brazil, from the 1950s through the 1970s); (3) experiences of rationalization and prefabrication ; (4) experiences of adaptation to the climate (referring to a design strongly influenced by the hot and humid climate of North-eastern Brazil); and (5) hybrid (to account for a kind of stylistic hybridism that includes formal attributes, which evoke our colonial past). This study aims to determine, through the analyses of nineteen cases that represent each category, whether this taxonomy corresponds to distinct modes of spatial configuration. This research therefore proposes an approach to the classification of domestic architecture based on topological properties. The dwellings spatial organization was represented, quantified and analyzed, their spatial properties explored in consonance with one another and with the literature. Results pointed out that there is no evidence of a reciprocal relationship between the formal look of the built shells and their respective spatial structures

Painéis-sanduíche com núcleo de EPS reciclado: metodologia de execução e determinação de propriedades termofísicas

New materials made from industrial wastes have been studied as an alternative to traditional fabrication processes in building and civil engineering. These materials are produced considering some issues like: cost, efficiency and reduction of nvironmental damage. Specifically in cases of materials destined to dwellings in low latitude regions, like Brazilian Northeast, efficiency is related to mechanical and thermal resistance. Thus, when thermal insulation and energetic efficiency are aimed, it s important to increase thermal resistance without depletion of mechanical properties. This research was conducted on a construction element made of two plates of cement mortar, interspersed with a plate of recycled expanded polystyrene (EPS). This component, widely known as sandwich-panel, is commonly manufactured with commercial EPS whose substitution was proposed in this study. For this purpose it was applied a detailed methodology that defines parameters to a rational batching of the elements that constitute the nucleus. Samples of recycled EPS were made in two different values of apparent specific mass (ρ = 65 kg/m³; ρ = 130 kg/m³) and submitted to the Quick-Line 30TM that is a thermophysical properties analyzer. Based on the results of thermal conductivity, thermal capacity and thermal diffusivity obtained, it was possible to assure that recycled EPS has thermal insulation characteristics that qualify it to replace commercial EPS in building and civil engineering industry

Radon surveys in Brazil using CR-39

In this work results of two radon daughters survey in Brazil are presented and discussed. Some methodological problems concerning the first survey are pointed out which were corrected for the second survey in order to make a realistic long-term measurement of radon decay products in the air. The technique employed in both surveys was the alpha-spectroscopy using CR-39. The reliability of this technique as well as the results of the second survey are discussed, which indicate a poor correlation between radon and its decay products in the air at the researched dwellings. (c) 2005 Elsevier Ltd. All rights reserved.

Effects of environrnental conditions on the radon daughters spatial distribution

The influence of environmental conditions on the indoor radon daughters spatial distribution is studied both theoretically and experimentally. Simple theoretical calculations indicate that ventilation and variation in the size distribution of aerosols should play an important role influencing the spatial distribution of indoor radon decay products, but experimental results indicate that these environmental factors have little influence on the spatial distribution of radon daughters near the walls of indoor environments. We have observed that the maximum effective range of the plate-out effect varies only between I and 3 cm in typical dwellings. (C) 2002 Elsevier B.V. Ltd. All rights reserved.

Dispersion capacity of Triatoma sherlocki, Triatoma juazeirensis and laboratory-bred hybrids

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Entre a ausência declarada e a presença reclamada: a identidade potiguar em questão

How do the identities of a people build themselves? How do the geographic clippings influence the representations of some social groups, when they define themselves or when they are defined, for example, as people from Pernambuco, Rio Grande do Sul, Paraíba, Rio de Janeiro, Ceará, Bahia? What symbolic elements, contests and benefits are involved in these processes of identity construction? By taking the discussions about potiguar people as the theme of this research, we intend to discuss about the displacements, the impasses in their representations that usually represent him as a being who he is not, constantly seduced by the enchantments of the other, by the values that come from outside. Thus, from the Rio Grande do Norte space, we investigated, in various contexts, since the last three decades of the nineteenth century to the current days, how the space identities have been used as strategy, by various characters, in attempt to build and/or to define representations that characterize and single potiguares out, in the face of other beings of the nation

Caracterização sócio-ambiental do bairro de Felipe Camarão- Natal/ RN

The rapid growth of the Brazilian cities in the latest years has brought a series of problems regarding housing policies and, therefore, the provision of dwellings for the low-income class people. Following the pattern of other capital cities, Natal has repeated the pattern of urbanization practiced in the country, which concentrates the low-income class inhabitants in specific zones of the city known as peripheries or even in a dwelling place for less-favored classes such as Felipe Camarão, which is one of ten boroughs belonging to the western administrative zone, a region which has historically received less attention from the public administrators towards infrastructure investments. Based on those aspects, the general objective of this work is to investigate which main social-environmental alterations have resulted from the processes of urbanization and field occupation in that area. The specific objectives are concerned with verifying 1) the process of urbanization and the process of dividing urban soil from the 1960s; 2) the current configuration of the public spaces in the borough; 3) the process of the deprivation of the original landscape characteristics of Environmental Protection Zones; 4) the dynamics of land occupation which are predominant in dune areas; 5) the dynamics of land occupation which are predominant in mangrove areas; 6) and the destruction of green covering on the land with its consequent alteration of the local floristic pattern. The methodology consisted of in-loco visits; the application of questionnaires as community research; a survey of bibliography published by the organisms and institutions in charge of carrying out the city hall s environmental and housing policies; and descriptive statistics of the collected data. Concerning the pattern of occupation which is predominant in the borough, the treatment of space dispensed by the local dwellers has culminated in the emergence and consolidation of environmental alterations which are clearly different from common occurrence in both the building area represented by housing complexes and in the green areas represented by dunes and mangroves. The data show that there was the predominance of the irregular land occupation process over the official housing policy during the population settlement which contributed with a series of frequent and foreseeable problems in the dynamics of urbanization of poverty such as invasions and appropriations of land parcels, the beginning of irregular arrangement of streets, the formation of villages and slums, which are full of self-constructed housing units, and the occupation and degradation of susceptibly fragile environmental areas such as the dune slopes and the mangroves