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

Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras

Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Proposta metodológica para o imageamento, caracterização, parametrização e geração de modelos virtuais de afloramentos

The aim of this work was to describe the methodological procedures that were mandatory to develop a 3D digital imaging of the external and internal geometry of the analogue outcrops from reservoirs and to build a Virtual Outcrop Model (VOM). The imaging process of the external geometry was acquired by using the Laser Scanner, the Geodesic GPS and the Total Station procedures. On the other hand, the imaging of the internal geometry was evaluated by GPR (Ground Penetrating Radar).The produced VOMs were adapted with much more detailed data with addition of the geological data and the gamma ray and permeability profiles. As a model for the use of the methodological procedures used on this work, the adapted VOM, two outcrops, located at the east part of the Parnaiba Basin, were selected. On the first one, rocks from the aeolian deposit of the Piaui Formation (Neo-carboniferous) and tidal flat deposits from the Pedra de Fogo Formation (Permian), which arises in a large outcrops located between Floriano and Teresina (Piauí), are present. The second area, located at the National Park of Sete Cidades, also at the Piauí, presents rocks from the Cabeças Formation deposited in fluvial-deltaic systems during the Late Devonian. From the data of the adapted VOMs it was possible to identify lines, surfaces and 3D geometry, and therefore, quantify the geometry of interest. Among the found parameterization values, a table containing the thickness and width, obtained in canal and lobes deposits at the outcrop Paredão and Biblioteca were the more relevant ones. In fact, this table can be used as an input for stochastic simulation of reservoirs. An example of the direct use of such table and their predicted radargrams was the identification of the bounding surface at the aeolian sites from the Piauí Formation. In spite of such radargrams supply only bi-dimensional data, the acquired lines followed of a mesh profile were used to add a third dimension to the imaging of the internal geometry. This phenomenon appears to be valid for all studied outcrops. As a conclusion, the tool here presented can became a new methodology in which the advantages of the digital imaging acquired from the Laser Scanner (precision, accuracy and speed of acquisition) were combined with the Total Station procedure (precision) using the classical digital photomosaic technique

Desenvolvendo e gerenciando compostagem de resíduos sólidos urbanos: para geração de renda e repasse de tecnologia à acrevi

Nowadays, as well as in the past decades, the dumping of biodegradable organic waste in landfill is common practice in Brazil, as well as in most parts of the world. Nevertheless due to its rapid decomposition and release of odors, this practice hamper’s the operation and implementation of a recycling system. These facts encouraged our research to find an efficient system for the management of organic waste, not only for the use of official workers responsible for managing these wastes, but also for non-governmental institutions. The Recycling for Life Community Association – ACREVI (Associação Comunitária Reciclando para a Vida), together with the municipal authorities of Mossoró-RN, Brazil, have assumed the social role of collecting and recycling solid waste produced by most of the local population. However, it was observed that the organic waste it collected was not receiving any treatment. This present work aims to make compost with mixed waste (green waste and organic household), and then do chemical analysis of the material in view to use the waste as organic fertilizer. The objective being: to share the knowledge acquired by putting it into a very simple language accessible to people with little education. The experiment was conducted at ACREVI, Mossoró (RN), and the compost was obtained following the method "windrow", forming three cells (I, II, III) with conical shape, dimensions of 1.6 meters and 2.0 meters in diameter for cells I and II, and 1.0 meters high and 2.0 meters in diameter for cell III. The process was accompanied by analysis: CHN elemental, a variation of cell temperature, humidity, pH, TKN, bulk density, nutrients and heavy metals. Stabilized organic compounds reached the C/N ratio of 10.4/1 cell I and 10.4/1 in the cell II in the cell, showing how good soil conditions, with potential to improve the physical properties of any soil and pH acid soils, has presented the cell III at the end of the process the C/N 26/1, is a high ratio may be associated with the stack size III, thus changing the optimal conditions for the occurrence of the process. The levels of heavy metals in the analyzed compounds were lower than those established by the SDA normative instruction, Nº 27, of 5 June, 2006. The use of pruning trees and grass are used in small-scale composting, while generating a quality compost in the final process, it also created an important condition for a correct sizing of the composting piles. Under the studied conditions it is not advisable to use cells with a height of 1.00 m in height and 2.00 m in diameter, as these do not prevent the rapid dissipation of heat and thus can not be a good product at the end of composting. The composting process in the shed of the association and the preparation of the primer enabled the development of an alternative technology to generate income for members of ACREVI.

Uso do GPR na geração de modelos estáticos 3D para o planejamento de lavra de minerais pesados depositados em dunas eólicas

This project was developed as a partnership between the Laboratory of Stratigraphical Analyses of the Geology Department of UFRN and the company Millennium Inorganic Chemicals Mineração Ltda. This company is located in the north end of the paraiban coast, in the municipal district of Mataraca. Millennium has as main prospected product, heavy minerals as ilmenita, rutilo and zircon presents in the sands of the dunes. These dunes are predominantly inactive, and overlap the superior portion of Barreiras Formation rocks. The mining happens with the use of a dredge that is emerged at an artificial lake on the dunes. This dredge removes sand dunes of the bottom lake (after it disassembles of the lake borders with water jets) and directs for the concentration plant, through piping where the minerals are then separate. The present work consisted in the acquisition external geometries of the dunes, where in the end a 3D Static Model could be set up of these sedimentary deposits with emphasis in the behavior of the structural top of Barreiras Formation rocks (inferior limit of the deposit). The knowledge of this surface is important in the phase of the plowing planning for the company, because a calculation mistake can do with that the dredge works too close of this limit, taking the risk that fragments can cause obstruction in the dredge generating a financial damage so much in the equipment repair as for the stopped days production. During the field stages (accomplished in 2006 and 2007) topographical techniques risings were used with Total Station and Geodesic GPS as well as shallow geophysical acquisitions with GPR (Ground Penetrating Radar). It was acquired almost 10,4km of topography and 10km of profiles GPR. The Geodesic GPS was used for the data geopositioning and topographical rising of a traverse line with 630m of extension in the stage of 2007. The GPR was shown a reliable method, ecologically clean, fast acquisition and with a low cost in relation to traditional methods as surveys. The main advantage of this equipment is obtain a continuous information to superior surface Barreiras Formation rocks. The static models 3D were elaborated starting from the obtained data being used two specific softwares for visualization 3D: GoCAD 2.0.8 and Datamine. The visualization 3D allows a better understanding of the Barreiras surface behavior as well as it makes possible the execution of several types of measurements, favoring like calculations and allowing that procedures used for mineral extraction is used with larger safety

Estudo da dinâmica costeira da região da foz do rio Piranhas-Açu para geração de mapas de sensibilidade do litoral ao derramamento de óleo

The study area is located in the northern coast of Rio Grande do Norte State comprising the mouth of Açu-Piranhas river including the cities of Porto do Mangue e Areia Branca. The local geological setting comprises Cretaceous, Tertiary and Quaternary geological units of the Potiguar Basin. One is about a region of high morphologic instability due to action of the rigorous dynamic coastal processes, beyond the intense human activities mainly for the performance of the petroliferous industry, salt farms and tanks of shrimp industry.For the accomplishment of this work Landsat 5 TM and Landsat 7 ETM + from four distinct dates were used as cartographic base, in which one applied techniques of digital processing to elaborate thematic maps of the existing natural resources to support the geologic and geomorphologic characterization and the soil and landuse maps. The strategy applied was the interpretation of multitemporal images from aerial and orbital remote sensors alIied to the terrain truth recognition, integrated through a Geographic Information System. These activities had alIowed the production of Sensitivity Maps of the Coast to Oil Spilling for the area, on the basis of the Coastal Sensibility Index. Taking into account the seasons were created maps to distinct datas: July 2003 represents the winter months that presented a sensibility lower when compared with the month of December 2003. For the summer months greater sensitivity is due to the hydrodynamic data that suggest a lesser capacity of natural cleanness of the oil and its derivatives in spilling case.These outcomes are an important and useful database to support an assessment to a risk situation and to taking decision in the face of an environmental disaster with oil spilling in coastal area, alIowing a complete visualization of the area and identifying all portions in the area with thei environmental units and respective Coastal Sensibility Index.

Desenvolvimento de um sistema computacional para geração automática de mapas de vulnerabilidade como ferramenta de auxílio às ações de prevenção ao derramamento de óleo em áreas costeiras

The northern portion of the Rio Grande do Norte State is characterized by intense coastal dynamics affecting areas with ecosystems of moderate to high environmental sensitivity. In this region are installed the main socioeconomic activities of RN State: salt industry, shrimp farm, fruit industry and oil industry. The oil industry suffers the effects of coastal dynamic action promoting problems such as erosion and exposure of wells and pipelines along the shore. Thus came the improvement of such modifications, in search of understanding of the changes which causes environmental impacts with the purpose of detecting and assessing areas with greater vulnerability to variations. Coastal areas under influence oil industry are highly vulnerable and sensitive in case of accidents involving oil spill in the vicinity. Therefore, it was established the geoenvironmental monitoring of the region with the aim of evaluating the entire coastal area evolution and check the sensitivity of the site on the presence of oil. The goal of this work was the implementation of a computer system that combines the needs of insertion and visualization of thematic maps for the generation of Environmental Vulnerability maps, using techniques of Business Intelligence (BI), from vector information previously stored in the database. The fundamental design interest was to implement a more scalable system that meets the diverse fields of study and make the appropriate system for generating online vulnerability maps, automating the methodology so as to facilitate data manipulation and fast results in cases of real time operational decision-making. In database development a geographic area was established the conceptual model of the selected data and Web system was done using the template database PostgreSQL, PostGis spatial extension, Glassfish Web server and the viewer maps Web environment, the GeoServer. To develop a geographic database it was necessary to generate the conceptual model of the selected data and the Web system development was done using the PostgreSQL database system, its spatial extension PostGIS, the web server Glassfish and GeoServer to display maps in Web

Evidências da herança geotectônica pré-cambriana na geração da barcia potiguar: um estudo geofísico multdisciplinar

The 3D gravity modeling of the Potiguar rift basin consisted of a digital processing of gravity and aeromagnetic data, subsidized by the results of Euler deconvolution of gravity and magnetic data and the interpretation of seismic lines and wells descriptions. The gravity database is a compilation of independent geophysical surveys conducted by several universities, research institutions and governmental agencies. The aeromagnetic data are from the Bacia Potiguar and Plataforma Continental do Nordeste projects, obtained from the Brazilian Petroleum Agency (ANP). The solutions of the Euler Deconvolution allowed the analysis of the behavior of the rift main limits. While the integrated interpretation of seismic lines provided the delimitating horizons of the sedimentary formations and the basement top. The integration of these data allowed a 3D gravity modeling of basement topography, allowing the identification of a series of internal structures of the Potiguar rift, as well intra-basement structures without the gravity effect of the rift. The proposed inversion procedure of the gravity data allowed to identify the main structural features of the Potiguar rift, elongated in the NE-SW direction, and its southern and eastern faulted edges, where the sedimentary infill reachs thicknesses up to 5500 m. The southern boundary is marked by the Apodi and Baixa Grande faults. These faults seem to be a single NW-SE oriented fault with a strong bend to NE-SW direction. In addition, the eastern boundary of the rift is conditioned by the NE-SW trending Carnaubais fault system. It was also observed NW-SE oriented faults, which acted as transfer faults to the extensional efforts during the basin formation. In the central part of the residual anomaly map without the gravity effect of the rift stands out a NW-SE trending gravity high, corresponding to the Orós-Jaguaribe belt lithotypes. We also observe a gravity maximum parallel to the Carnaubais fault system. This anomaly is aligned to the eastern limit of the rift and reflects the contact of different crustal blocks, limited by the eastern ward counterpart of the Portalegre Shear Zone

Conforto e fonação com a nova geração de bráquetes ortodônticos linguais individualizados

TEMA: recentemente o número de pacientes desejando um tratamento ortodôntico e estético ao mesmo tempo aumentou consideravelmente. A técnica lingual oferece a opção mais estética de tratamento ortodôntico, pois os bráquetes ficam invisíveis colados na superfície lingual dos dentes e os lábios não ficam protuberantes. Apesar da grande vantagem estética, essa terapia possui desvantagens como restrição no conforto oral, na fala, na higiene, irritações na língua, restrição no espaço da língua e dificuldades na alimentação. Para amenizar essas desvantagens uma nova geração de bráquetes linguais otimizados ao máximo através da individualização das bases dos bráquetes, da posição de colagem e dos fios utilizados no tratamento ortodôntico foi desenvolvida recentemente. OBJETIVO: realizar uma revisão sistemática da literatura para verificar a adaptação do paciente a diferentes dispositivos ortodônticos linguais e a influência desses dispositivos no conforto e na fala, principalmente. CONCLUSÃO: atualmente a literatura suporta que os bráquetes linguais de última geração individualizados por computador proporcionam maior conforto e facilidade na fonação quando comparados aos bráquetes tradicionais da técnica lingual. No entanto, o sucesso na terapia requer orientações detalhadas sobre o potencial de restrição do conforto oral, articulação de palavras, mastigação e higiene oral, independente do sistema de bráquetes a ser utilizado.

Desenvolvimento e avaliação de eletrodos de difusão gasosa (EDG) para geração de H2O2 in situ e sua aplicação na degradação do corante reativo azul 19

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

Interações socioculturais com a fauna silvestre em uma unidade de conservação na Amazônia: relações de gênero e geração

Este artigo descreve as interações socioculturalmente estabelecidas entre os moradores do rio Unini, Parque Nacional do Jaú, Amazônia central, com o conjunto da fauna silvestre local. Analisa a diversidade dessas interações e a reprodução das mesmas quando influenciadas por fatores de gênero e geração. Os procedimentos metodológicos adotados foram observação participativa e oficinas de grupos focais. Nessas oficinas, foram produzidas free-listings de animais silvestres relacionados a um determinado habitat. O grau de similaridade e dissimilaridade entre as listas foi analisado utilizando-se o Índice de Jaccard, ilustrado em dendrogramas. de maneira geral, as associações mentais entre elementos da fauna, habitat da floresta e nichos ecológicos que expressam as interações socioculturais dos indivíduos com os animais silvestres são bastante similares entre os membros da comunidade. No entanto, os efeitos de geração e de gênero são perceptíveis. A reprodução dessas interações perpassa pela questão do habitus, que estrutura o processo de socialização das interações culturais com a fauna local.

Comparação dos tempos de geração e digitação de laudos radiológicos entre um sistema eletrônico baseado em voz sobre IP (VoIP) e um sistema tradicional baseado em papel

OBJETIVO: Comparar os tempos de geração e digitação de laudos radiológicos entre um sistema eletrônico baseado na tecnologia de voz sobre o protocolo de internet (VoIP) e o sistema tradicional, em que o radiologista escreve o laudo à mão. MATERIAIS E MÉTODOS: Foi necessário modelar, construir e implantar o sistema eletrônico proposto, capaz de gravar o laudo em formato de áudio digital, e compará-lo com o tradicional já existente. Por meio de formulários, radiologistas e digitadores anotaram os tempos de geração e digitação dos laudos nos dois sistemas. RESULTADOS: Comparadas as médias dos tempos entre os sistemas, o eletrônico apresentou redução de 20% (p = 0,0410) do tempo médio de geração do laudo em comparação com o sistema tradicional. O tradicional foi mais eficiente em relação ao tempo de digitação, uma vez que a média de tempo do eletrônico foi três vezes maior (p < 0,0001). CONCLUSÃO: Os resultados mostraram diferença estatisticamente significante entre os sistemas comparados, sendo que o eletrônico foi mais eficiente do que o tradicional em relação ao tempo de geração dos laudos, porém, em relação ao tempo de digitação, o tradicional apresentou melhores resultados.

Geração de finos no branqueamento de pasta kraft de eucalipto e seu efeito nas propriedades do papel

Este trabalho teve por objetivo avaliar a quantidade de finos gerada por diferentes reagentes de branqueamento e seu efeito nas propriedades físicas e mecânicas da celulose kraft de eucalipto. A polpa foi branqueada por quatro sequências diferentes. Parte das amostras foi classificada em equipamento Bauer-McNett, sendo a parte não classificada (global) refinada para 40 ºSR, em moinho laboratorial PFI. As duas maiores porções de cada amostra proveniente da classificação foram também refinadas com o mesmo número de revoluções que a sua amostra global. Realizaram-se ensaios físicos e mecânicos das amostras refinadas, e suas fibras foram analisadas em equipamento FQA (Fiber Quality Analyser), antes e depois do refino. A maior quantidade de finos foi observada nas polpas refinadas e na sequência-referência. Os resultados de tração foram mais elevados e significativos nas amostras globais; as polpas classificadas não apresentaram diferença entre si, sendo atribuída a maior resistência à tração na presença de finos. A resistência ao rasgo foi afetada pelo comprimento das fibras e não pelo teor de finos. Os maiores valores de ascensão capilar Klemm ocorreram nas amostras classificadas em razão da ausência de finos e do maior comprimento de fibras.

Métodos de geração de colunas para problemas de atribuição

Este trabalho apresenta métodos de geração de colunas para dois importantes problemas de atribuição: o Problema Generalizado de Atribuição (PGA) e o Problema de Atribuição de Antenas a Comutadores (PAAC). O PGA é um dos mais representativos problemas de Otimização Combinatória e consiste em otimizar a atribuição de n tarefas a m agentes, de forma que cada tarefa seja atribuída a exatamente um agente e a capacidade de cada agente seja respeitada. O PAAC consiste em atribuir n antenas a m comutadores em uma rede de telefonia celular, de forma a minimizar os custos de cabeamento entre antenas e comutadores e os custos de transferência de chamadas entre comutadores. A abordagem tradicional de geração de colunas é comparada com as propostas neste trabalho, que utilizam a relaxação lagrangeana/surrogate. São apresentados testes computacionais que demonstram a efetividade dos algoritmos propostos.