Geração de testes a partir de gramáticas: áreas de aplicação

The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen

Ambientes residenciais controlados por dispositivos móveis: estudo, concepção e desenvolvimento de um aplicativo considerando a diversidade

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

Interação gestual em ambiente residencial: estudo, concepção e desenvolvimento

Control and automation of residential environments domotics is emerging area of computing application. The development of computational systems for domotics is complex, due to the diversity of potential users, and because it is immerse in a context of emotional relationships and familiar construction. Currently, the focus of the development of this kind of system is directed, mainly, to physical and technological aspects. Due to the fact, gestural interaction in the present research is investigated under the view of Human-Computer Interaction (HCI). First, we approach the subject through the construction of a conceptual framework for discussion of challenges from the area, integrated to the dimensions: people, interaction mode and domotics. A further analysis of the domain is accomplished using the theoretical-methodological referential of Organizational Semiotics. After, we define recommendations to the diversity that base/inspire the inclusive design, guided by physical, perceptual and cognitive abilities, which aim to better represent the concerned diversity. Although developers have the support of gestural recognition technologies that help a faster development, these professionals face another difficulty by not restricting the gestural commands of the application to the standard gestures provided by development frameworks. Therefore, an abstraction of the gestural interaction was idealized through a formalization, described syntactically by construction blocks that originates a grammar of the gestural interaction and, semantically, approached under the view of the residential system. So, we define a set of metrics grounded in the recommendations that are described with information from the preestablished grammar, and still, we conceive and implement in Java, under the foundation of this grammar, a residential system based on gestural interaction for usage with Microsoft Kinect. Lastly, we accomplish an experiment with potential end users of the system, aiming to better analyze the research results

Interfaces cérebro-computador: estudo, design e desenvolvimento do jogo AdmiralMind Battleship

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

Conservação de espécies nativas em um assentamento rural do município de Apodi-RN: impactos socioambientais e econômicos e o uso da biotecnologia como alternativa promissora

The Caatinga biome has a high diversity of potential and their conservation constitutes one of the greatest challenges of Brazilian science. The sustainable management of the Caatinga emerges as an alternative that through the formation of systems agrossilvipastoris, enables the use of forest resources sustainably, ensuring their conservation, regeneration and recovery. In RN this technique has been developed mainly in settlements of Agrarian Reform, such as P. A. Moaci Lucena, and their impacts go beyond the environmental aspect and reverberate socially and economically on the quality of life of family farmers. Despite the efficiency of the Sustainable Management of the Caatinga in the conservation of native species, many forests species of this biome faces serious problems of propagation and for this reason have become vulnerable to extinction, as is the case of Mimosa caesalpiniifolia Benth . Thus , it is evident the need to use sustainable alternatives to overcome the difficulties of propagation of this species and enable their replacement in areas where their existence is threatened. The Plant Biotechnology is considered as a promising alternative in this sense, considering that by micropropagation enables the large-scale production of seedlings with high health genetics status. This work has the following objectives: evaluate the perception of family farmers of P. A. Moaci Lucena in relation to social, environmental and economic impacts of the Sustainable Management of the Caatinga and check the conditions of germination and in vitro propagation of Mimosa caesalpiniifolia Benth that enabling the production of seedlings of this specie on a large scale. To achieve the first objective, semi-structured interviews showed that in the perception of farmers PA Moaci Lucena, the Sustainable Management of the Caatinga was responsible for generating many social, environmental and economic impacts that affected directly in the improvement in the quality of life of the families of the Settlement Project Moaci Lucena. Have to achieve the second objective, were investigated the influence of different substrates and concentrations of growth regulator BAP in the germination and shoot induction in vitro of Mimosa caesalpiniifolia Benth. The vermiculite was presented as the most suitable substrate for germination of this species, because it provided a more rapid germination, higher growth rates and higher dry matter accumulation. Regarding micropropagation, the concentration of 17.76 μmol/L of BAP presented a more responsive in relation to multiplication rate and the number of shoots in M. caesalpiniifolia, thus constituting the most suitable concentration for the in vitro propagation of this specie

Conducão eletrônica e propriedades termodinâmicas da molécula de DNA

In this thesis, we study the thermo-electronic properties of the DNA molecule. For this purpose, we used three types of models with the DNA, all assuming a at geometry (2D), each built by a sequence of quasiperiodic (Fibonacci and / or Rudin-Shapiro) and a sequence of natural DNA, part of the human chromosome Ch22. The first two models have two types of components that are the nitrogenous bases (guanine G, cytosine C, adenine A and thymine T) and a cluster sugar-phosphate (SP), while the third has only the nitrogenous bases. In the first model we calculate the density of states using the formalism of Dyson and transmittance for the time independent Schr odinger equation . In the second model we used the renormalizationprocedure for the profile of the transmittance and consequently the I (current) versus V (voltage). In the third model we calculate the density of states formalism by Dean and used the results together with the Fermi-Dirac statistics for the chemical potential and the quantum specific heat. Finally, we compare the physical properties found for the quasi-periodic sequences and those that use a portion of the genomic DNA sequence (Ch22).

Caracterização de dois cDNAs homológos e uma AP endonuclease em cana-de-açúcar

The genome of all organisms is subject to injuries that can be caused by endogenous and environmental factors. If these lesions are not corrected, it can be fixed generating a mutation which can be lethal to the organisms. In order to prevent this, there are different DNA repair mechanisms. These mechanisms are well known in bacteria, yeast, human, but not in plants. Two plant models Oriza sativa and Arabidopsis thaliana had the genome sequenced and due to this some DNA repair genes have been characterized. The aim of this work is to characterized two sugarcane cDNAs that had homology to AP endonuclease: scARP1 and scARP3. In silico has been done with these two sequences and other from plants. It has been observed domain conservation on these sequences, but the cystein at 65 position that is a characteristic from the redox domain in APE1 protein was not so conservated in plants. Phylogenetic relationship showed two branches, one branch with dicots and monocots sequence and the other branch with only monocots sequences. Another approach in order to characterized these two cDNAs was to construct overexpression cassettes (sense and antisense orientation) using the 35S promoter. After that, these cassettes were transferred to the binary vector pPZP211. Furthermore, previously in the laboratory was obtained a plant from nicotiana tabacum containing the overexpression cassette in anti-sense orientation. It has been observed that this plant had a slow development and problems in setting seeds. After some manual crossing, some seeds were obtained (T2) and it was analyzed the T2 segregation. The third approach used in this work was to clone the promoter region from these two cDNAs by PCR walking. The sequences obtained were analyzed using the program PLANTCARE. It was observed in these sequences some motives that may be related to oxidative stress response

Cidades pequenas, grandes problemas :perfil urbano do Agreste Potiguar

In view of the diversity and the heterogeneity of the existing cities in Brazil, our approach refers to the urban and non-metropolitan areas. Aiming to foment the studies on small cities e to apprehend the sociospatial configuration of the urban environment in such cities, this piece of work elaborates and analyzes the urban profile of the small cities of the Agreste Potiguar region, using as a theoretical reference landmark the production of the urban and regional space, from the decade of 1970 to 2000. Starting from this reference, this piece of work presents an urban sociospatial characterization of the small cities of the Agreste Potiguar region, with emphasis on the economic framework, on the population dynamics, on the main social data, culminating in the main characteristics of the local daily life. The study of the small cities of the Agreste Potiguar region makes it possible the comprehension of the problems that involve the cities of this size, above all, those inserted in economically fragile regions. In the analyzed period, the changes occurred in the productive structure of the State of Rio Grande do Norte triggered a great crisis in the economy of the Agreste Potiguar region. This aspect, allied to the insufficient performance of the public power, contributed to the sprouting of some sociospatial problems, amongst which may be distinguished: the economic fragility, the generalized unemployment, the lack of security and the urban infrastructure absence sufficient to take care of the social demand. Even facing the existing problems, the small cities must be seen as potential spaces, capable to promote the regional development. To do so, it is necessary a process of democratization of the public administration, an ample popular participation and the establishment of a new urban policy, that aims at the social promotion of the individuals, the guarantee of basic necessities and the access to the necessary services to a dignified life

Inferência geográfica para delimitação de corredores ecológicos: um estudo de caso para a Mata Atlântica do município de Tibau do Sul/RN

The Atlantic Forest biome occupies much of the Atlantic coast of Brazil, in addition to portions of Paraguay and Argentina. Due mainly to its biodiversity which falls in the group of global hotspots, i.e., areas that have high priority for conservation. Although currently there are some available devices that assist in their protection in the course of the history of occupation and exploitation of the Brazilian territory, this biome has gone, and is still going through, an intense process of devastation, caused mainly by the pressure from economic activities, culminating in a significant reduction of its area and consequent fragmentation of the landscape, which brings with hosts a series of problems at various scales and aspects. As in most municipalities included in the reach area of the biome, the situation of forest fragmentation in Tibau do Sul / RN is quite critical, reflecting on a truly diverse landscape with broad typology of land uses. Among the alternatives aimed at the conservation of this biome include the creation of protected areas and the creation of ecological corridors, the latter being more efficient by connecting the remaining forests, increasing landscape connectivity, providing significant gains in relation to biodiversity. However, a major problem on implementation of Ecological Corridors projects is related to the selection of areas for this purpose, in this sense Geography can provide important contributions through the integrated study of landscape in the light of the geosystemic approach and the use of Geographical Information System (GIS) in order to permit assessment of reality having as a base the integration of ecological, biological and man-made aspects. Thus, this research aims to indicate potential areas and propose scenarios delimitation of Ecological Corridors in the municipality of Tibau do Sul / RN through Geographic Inference techniques in GIS platform. Therefore, the methodology adopted is based on the Geosystemic approach. From these elements were created 4 models to indicate potential areas for implementation of Ecological Corridors from the environmental perspective (potential erosion), socioeconomic (cover and land prices), legislative (areas protected by environmental legislation) and integrated (combination of environmental factors, socioeconomic and legislative), which in turn served as a basis for proposing scenarios aimed at this purpose. The results showed that all models can be quite useful in indicating potential areas for the establishment of ecological corridors, especially when based on an integrated approach between environmental and anthropogenic. The Corridors delimitation proposes shown may perform duties beyond the establishment of connectivity between fragments, since they also may have usefulness in controlling erosion and protecting fragile environments. Among the models developed, the integrated constituted itself as the best option because it enabled the interconnection of a larger number of fragments from a better use of the potentialities present in the landscape