Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões

The use of multi-agent systems for classification tasks has been proposed in order to overcome some drawbacks of multi-classifier systems and, as a consequence, to improve performance of such systems. As a result, the NeurAge system was proposed. This system is composed by several neural agents which communicate and negotiate a common result for the testing patterns. In the NeurAge system, a negotiation method is very important to the overall performance of the system since the agents need to reach and agreement about a problem when there is a conflict among the agents. This thesis presents an extensive analysis of the NeurAge System where it is used all kind of classifiers. This systems is now named ClassAge System. It is aimed to analyze the reaction of this system to some modifications in its topology and configuration

Turismo e meio ambiente: uma análise do ecoturismo e sua contribuição sócio-ambiental no distrito matutuine: caso da reserva especial de Maputo Moçambique

Mozambique holds a potential for tourism development, especially for nature tourism, due to the existence of conservation areas around the country. The Maputo Special Reserve (MES) is considered as one of the most important conservation area and has benefited from investment in order to incruse the development of tourism in the region. Currently the number of visitors to MES has grown substantially with the intention to develop recreational activities related to ecotourism. Now the challenge lies in the way of optimizing opportunities for tourism development in order to achieve economic benefitis reduction the lead to poverty, without degrading the environment. Ecotourism face the demands and environmental discussions has been assumed as an alternative to the tourist market focused on protected areas, as it is believed that this segment is able to reconcile tourism development and simultaneously improve the conservation of the natural environment and still ensure the recovery of local communities and promoting their welfare. This study aims to analyze, from the perception of the local community, social and environmental contribution of ecotourism in Maputo Special Reserve, Mozambique. The research sought to investigate the relationship between ecotourism development in the region and generate benefits for the socio-environmental communities for residents. To achieve the objective, was chosen a critical analysis about the generation of socio-environmental benefits versus ecotourism in which we opted for a qualitative and quantitative approach seeking to establish the degree of agreement and disagreement about the benefits generated by ecotourism through interviews with community members

Atuação e interação de stakeholders no processo de implantação do turismo: um estudo no município de Sitio Novo/RN

The present work is a study which deals about the stakeholder approach towards the issue of tourism development in a city of Rio Grande do Norte state: Sítio Novo. As a goal, we sought to understand the stakeholders action and interaction mechanisms in the implementation process and, consequently, tourism planning in the municipality. Regarding to the methodology, the study is characterized as an exploratory and descriptive research with a qualitative approach, given the intention of trying to understand meanings and situational characteristics presented by the research subjects. The interview was the instrument used to collect information, and it was performed with 10 (ten) actors of tourism in the municipality, documents about tourism development (Proceedings of the Regional Council of Polo Agreste Trairi were analyzed Sítio Novo municipality incorporates the Polo, and the Strategic Plan for Tourism). The study shows that public actors are the majority in the destination, notes that there is a minimal involvement of civil society in actions for tourism in the municipality, highlights that representatives of the municipality participate effectively in meetings of the Regional Council of Tourism Polo Agreste Trairi, to discuss actions related to the development of the activity in the locality, and attests that local actors interviewed, mostly understand their functions regarding to tourism development, however, do not perform actions consistent with the role they have, which have as purpose the planning and development of tourism. For that matter, this paper concludes that the participation and coordination among the stakeholders of the municipality should be reconsidered in order to seek and/or propose alternatives that gather in a more adequate way the local actors, so that something more effective about the tourism development in the destination could be done

Avaliação de impacto ambiental e gestão dos recursos natuarias no estuário Apodi Mossoró, nordeste do Brasil

The aim of this study is to investigate the eco-environmental vulnerability, its changes, and its causes to develop a management system for application of eco-environmental vulnerability and risk assessment in the Apodi-Mossory estuary, Northeast Brazil. This analysis is focused on the interference of the landscape conditions, and its changes, due to the following factors: the oil and natural gas industry, tropical fruits industry, shrimp farms, marine salt industry, occupation of the sensitive areas; demand for land, vegetation degradation, siltation in rivers, severe flooding, sea level rise (SLR), coastal dynamics, low and flat topography, high ecological value and tourism in the region and the rapid growth of urbanization. Conventional and remote sensing data were analyzed using modeling techniques based on ArcGIS, ER-Mapper, ERDAS Imagine and ENVI software. Digital images were initially processed by Principal Component Analysis and transformation of the maximum fraction of noise, and then all bands were normalized to reduce errors caused by bands of different sizes. They were integrated in a Geographic Information System analysis to detect changes, to generate digital elevation models, geomorphic indices and other variables of the study area. A three band color combination of multispectral bands was used to monitor changes of land and vegetation cover from 1986 to 2009. This task also included the analysis of various secondary data, such as field data, socioeconomic data, environmental data and prospects growth. The main objective of this study was to improve our understanding of eco-environmental vulnerability and risk assessment; it´s causes basically show the intensity, its distribution and human-environment effect on the ecosystem, and identify the high and low sensitive areas and area of inundation due to future SLR, and the loss of land due to coastal erosion in the Apodi-Mossoró estuary in order to establish a strategy for sustainable land use. The developed model includes some basic factors such as geology, geomorphology, soils, land use / land cover, vegetation cover, slope, topography and hydrology. The numerical results indicate that 9.86% of total study area was under very high vulnerability, 29.12% high vulnerability, 52.90% moderate vulnerability and 2.23% were in the category of very low vulnerability. The analysis indicates that 216.1 km² and 362.8 km² area flooded on 1m and 10m in sea levels respectively. The sectors most affected were residential, industrial and recreational areas, agricultural land, and ecosystems of high environmental sensitivity. The results showed that changes in eco-environmental vulnerability have a significant impact on the sustainable development of the RN state, since the indicator is a function of sensitivity, exposure and status in relation to a level of damage. The model were presented as a tool to assist in indexing vulnerability in order to optimize actions and assess the implications of decisions makers and policies regarding the management of coastal and estuarine areas. In this context aspects such as population growth, degradation of vegetation, land use / land cover, amount and type of industrialization, SLR and government policies for environmental protection were considered the main factors that affect the eco-environmental changes over the last three decades in the Apodi-Mossoró estuary.

Sistema não-Intrusivo para Estimação da Direção do olhar utilizando redes neurais artificiais

The fundamental senses of the human body are: vision, hearing, touch, taste and smell. These senses are the functions that provide our relationship with the environment. The vision serves as a sensory receptor responsible for obtaining information from the outside world that will be sent to the brain. The gaze reflects its attention, intention and interest. Therefore, the estimation of gaze direction, using computer tools, provides a promising alternative to improve the capacity of human-computer interaction, mainly with respect to those people who suffer from motor deficiencies. Thus, the objective of this work is to present a non-intrusive system that basically uses a personal computer and a low cost webcam, combined with the use of digital image processing techniques, Wavelets transforms and pattern recognition, such as artificial neural network models, resulting in a complete system that performs since the image acquisition (including face detection and eye tracking) to the estimation of gaze direction. The obtained results show the feasibility of the proposed system, as well as several feature advantages.

Controlador adaptativo backstepping a estrutura variavel com Observadores de estado

This research aims at developing a variable structure adaptive backstepping controller (VS-ABC) by using state observers for SISO (Single Input Single Output), linear and time invariant systems with relative degree one. Therefore, the lters were replaced by a Luenberger Adaptive Observer and the control algorithm uses switching laws. The presented simulations compare the controller performance, considering when the state variables are estimated by an observer, with the case that the variables are available for measurement. Even with numerous performance advantages, adaptive backstepping controllers still have very complex algorithms, especially when the system state variables are not measured, since the use of lters on the plant input and output is not something trivial. As an attempt to make the controller design more intuitive, an adaptive observer as an alternative to commonly used K lters can be used. Furthermore, since the states variables are considered known, the controller has a reduction on the dependence of the unknown plant parameters on the design. Also, switching laws could be used in the controller instead of the traditional integral adaptive laws because they improve the system transient performance and increase the robustness against external disturbances in the plant input

Modelagem e desenvolvimento de um banco de dados geográficos : aplicação à elaboração de mapas de sensibilidade ambiental ao derramamento de óleo na área costeira entre galinhos e São Bento do Norte-RN

The area between Galinhos and São Bento do Norte beaches, located in the northern coast of the Rio Grande do Norte State is submitted to intense and constant processes of littoral and aeolian transport, causing erosion, alterations in the sediments balance and modifications in the shoreline. Beyond these natural factors, the human interference is huge in the surroundings due to the Guamaré Petroliferous Pole nearby, the greater terrestrial oil producing in Brazil. Before all these characteristics had been organized MAMBMARE and MARPETRO projects with the main objective to execute the geo-environmental monitoring of coastal areas on the northern portion of RN. There is a bulky amount of database from the study area such as geologic and geophysical multitemporal data, hydrodynamic measurements, remote sensing multitemporal images, thematic maps, among others; it is of extreme importance to elaborate a Geographic Database (GD), one of the main components of a Geographic Information System (GIS), to store this amount of information, allowing the access to researchers and users. The first part of this work consisted to elaborate a GD to store the data of the area between Galinhos and São Bento do Norte cities. The main goal was to use the potentiality of the GIS as a tool to support decisions in the environmental monitoring of this region, a valuable target for oil exploration, salt companies and shrimp farms. The collected data was stored as a virtual library to assist men decisions from the results presented as digital thematic maps, tables and reports, useful as source of data in the preventive planning and as guidelines to the future research themes both on regional and local context. The second stage of this work consisted on elaborate the Oil-Spill Environmental Sensitivity Maps. These maps based on the Environmental Sensitivity Index Maps to Oil Spill developed by the Ministry of Environment are cartographic products that supply full information to the decision making, contingency planning and assessment in case of an oil spilling incident in any area. They represent the sensitivity of the areas related to oil spilling, through basic data such as geology, geomorphology, oceanographic, social-economic and biology. Some parameters, as hydrodynamic data, sampling data, coastal type, declivity of the beach face, types of resources in risk (biologic, economic, human or cultural) and the land use of the area are some of the essential information used on the environmental sensitivity maps elaboration. Thus using the available data were possible to develop sensitivity maps of the study area on different dates (June/2000 and December/2000) and to perceive that there was a difference on the sensitivity index generated. The area on December presented more sensible to the oil than the June one because hydrodynamic data (wave and tide energy) allowed a faster natural cleaning on June. The use of the GIS on sensitivity maps showed to be a powerful tool, since it was possible to manipulate geographic data with correctness and to elaborate more accurate maps with a higher level of detail to the study area. This presented an medium index (3 to 4) to the long shore and a high index (10) to the mangrove areas highly vulnerable to oil spill

Estratégias de enfrentamento da incontinência urinária por mulheres

Este artigo é parte de uma pesquisa qualitativa mais abrangente que utilizou como referencial teórico-metodológico a Grounded Theory e o Interacionismo Simbólico, resultando no modelo teórico denominado Entre o sofrimento e a esperança: a reabilitação da incontinência urinária como componente interveniente. Com a intenção de comunicar todo o conhecimento produzido, apresenta-se parte desse modelo, referente ao processo de enfrentamento da incontinência urinária por mulheres sem perspectivas de acesso ao tratamento cirúrgico, após falha dos procedimentos conservadores. Ao inter-relacionar os componentes (categorias e subcategorias) relativos à experiência dessas mulheres, buscando compará-los e analisá-los para compreender a interação entre eles, notou-se vulnerabilidade moral e psicossocial no movimento da experiência do grupo, suscetibilizando-o a riscos à saúde e ao comprometimento da qualidade de vida. Pesquisas são necessárias para aprofundar a compreensão de experiências em que haja barreira ao tratamento cirúrgico por descrédito do profissional médico sobre sua efetividade.

Da vigilância para prevenção de acidentes de trabalho: contribuição da ergonomia da atividade

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Performance of the constructed wetland system for the treatment of water from the corumbataí river

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Concepção de roubo em pré-escolares

Partindo do trabalho pioneiro de J. Piaget, O julgamento moral da criança, revisamos as contribuições para este estudo sobre a concepção de roubo em crianças. Usando uma história que envolve um pequeno roubo examinamos como pré-escolares respondem a questões sobre o roubo ser certo ou errado, o porquê dessa resposta, assim como avaliamos a percepção da criança à presença, à contingência e à relatividade de regras. Tendo como sujeitos 80 crianças de duas pré-escolas, uma pública e outra particular, cada escola dividida em duas turmas, encontramos que todas as crianças têm noção da regra de o roubo ser errado e ao justificarem essa resposta apresentam cinco tipos de argumentos, assim como já apresentam julgamentos em função da intenção. Resultados são discutidos em termos da teoria de desenvolvimento moral de Piaget.

Evaluation of new red winemaking technologies through consumer liking

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Genetic of the ABO blood system and its link with the immune system

Peter J. D'Adamo, autor do livro Eat Right For Your Type, escreve que o grupo O representa o primeiro tipo sangüíneo que surgiu nos humanos e também afirma que os grupos sangüíneos constituem as bases do sistema imune. Recentes estudos filogenéticos realizados em primatas humanos e não humanos estabeleceram que o gene A representa a forma ancestral dos genes que ocupam o locus ABO. Associações entre os grupos sangüíneos ABO, doenças infecciosas, não infecciosas e imunodeficiências também foram relatadas. Diante das proposições do autor, as quais se opõem às informações resultantes de recentes estudos moleculares e filogenéticos, nossa intenção é apresentar algumas reflexões sobre a genética e a evolução dos genes do sistema ABO e as conexões deste sistema com o sistema imune.

Hidrelétricas na Amazônia: renovabilidade e não renovabilidade da política energética. Se é desejável a renovabilidade das formas de conversão de energia, por que não é desejável renovar a política energética?

O ensaio tem a intenção de discutir, apresentando como pano de fundo os recentes projetos hidrelétricos propostos e em andamento na Amazônia brasileira, aspectos referentes aos processos de licenciamento ambiental, problemas conceituais que dizem respeito à caracterização da conversão hidrelétrica como energia limpa e renovável. Este trabalho parte da análise de planos governamentais e das discussões sobre projetos hidrelétricos, identificando a necessidade de implementar mudanças institucionais e de fortalecer as leis ambientais e de proteção dos direitos de populações tradicionais e indígenas. Propõe-se uma nova maneira de formular problemas energéticos e de planejar a oferta de energia, que leva em consideração aspectos sustentáveis e patrocinadores da discussão pública, além do entendimento e da incorporação das consequências sobre os grandes ciclos biogeoquímicos que dão suporte às conversões de energia.