Desenvolvimento e teste de um modelo estatístico de identificação das proporções de água produzida em zonas de produção de um campo maduro de petróleo

This study investigates the chemical species produced water from the reservoir areas of oil production in the field of Monte Alegre (onshore production) with a proposal of developing a model applied to the identification of the water produced in different zones or groups of zones.Starting from the concentrations of anions and cátions from water produced as input parameters in Linear Discriminate Analysis, it was possible to estimate and compare the model predictions respecting the particularities of their methods in order to ascertain which one would be most appropriate. The methods Resubstitution, Holdout Method and Lachenbruch were used for adjustment and general evaluation of the built models. Of the estimated models for Wells producing water for a single production area, the most suitable method was the "Holdout Method and had a hit rate of 90%. Discriminant functions (CV1, CV2 and CV3) estimated in this model were used to modeling new functions for samples ofartificial mixtures of produced water (producedin our laboratory) and samples of mixtures actualproduced water (water collected inwellsproducingmore thanonezone).The experiment with these mixtures was carried out according to a schedule experimental mixtures simplex type-centroid also was simulated in which the presence of water from steam injectionin these tanks fora part of amostras. Using graphs of two and three dimensions was possible to estimate the proportion of water in the production area

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Contraste fônico encoberto entre /t/ e /k/: um estudo de caso de normalidade e de transtorno fonológico

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

Aspectos da fluência na narrativa oral de indivíduos com Transtorno do Espectro Alcoólico Fetal

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

Relação entre achados em neuroimagem, habilidades auditivas e metafonológicas em escolares com dislexia do desenvolvimento

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

Função motora fina, sensorial e perceptiva de escolares com transtorno do déficit de atenção com hiperatividade

OBJETIVO: Caracterizar e comparar as funções motoras fina, sensorial e perceptiva de escolares com Transtorno do Déficit de Atenção com Hiperatividade (TDAH) e escolares com bom desempenho escolar sem alterações de comportamento. MÉTODOS: Participaram 22 escolares do ensino fundamental, de gênero masculino, distribuídos em: GI - 11 escolares com Transtorno do Déficit de Atenção com Hiperatividade; e GII - 11 escolares com bom desempenho acadêmico e sem alterações de comportamento. Os escolares foram submetidos à aplicação do Protocolo de Avaliação da Função Motora Fina, Sensorial e Perceptiva e da Escala de Disgrafia. RESULTADOS: Houve diferença nas tarefas de função motora fina, função sensorial e função perceptiva entre o GI e o GII, com desempenho inferior do GI. Todos os escolares de GI apresentaram disgrafia. CONCLUSÃO: Escolares com Transtorno do Déficit de Atenção com Hiperatividade apresentam desempenho inferior aos escolares com bom desempenho acadêmico em relação às funções motoras fina, sensorial e perceptiva. Tais dificuldades podem causar impacto significativo sobre o desempenho acadêmico, uma vez que comprometem o desenvolvimento da linguagem escrita, ocasionando disgrafia nesses escolares.

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

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

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

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

Fatores que influenciam na efetivação de ações para o desenvolvimento do turismo municipal: uma análise da regionalização do turismo no Rio Grande do Norte no ano de 2012

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

Fatores capazes de influenciar o apoio dos residentes ao desenvolvimento do turismo religioso em Santa Cruz - RN

This study is about the primary stakeholder management - the resident community, given its participation and support for the development of tourism in touristic destinations. It has as a general aim to analyze the factors that are capable to influence the residents‟ support to the development of religious tourism in Santa Cruz, RN, and the existing interrelationships between factors. In order to achieve this objective, it was necessary to use exploratory and descriptive research, followed by a quantitative approach through questionnaires with 422 residents of Santa Cruz -RN. The study was based on the variables relationship model proposed by Nunkoo and Ramkissoon (2012), it was also used the technique of Structural Equation Modeling - SEM, aiming to explain the relationships between the constructs studied. The results found on the survey suggest that the more residents realize the benefits generated by tourism, as well as trust in government actors in charge of tourism development, the more there will be a propensity to support the development of religious tourism. This result is similar to the one found in the study of Nunkoo and Ramkissoon (2012). We conclude that the structural model that best represents the reality of Santa Cruz -RN is composed of the factors: benefits, costs, and confidence in governmental actors, which are able to influence the support of Santa Cruz‟s residents for the development of religious tourism. It is also noteworthy that it was found a highly significant connection between the factors benefits perceived from tourism and confidence in governmental actors and between both of them, the political support for tourism

Estudo teórico-bioclimático da potencialidade de desenvolvimento do Aedes aegypti no estado do Rio Grande do Norte

In the current climate of global public health there is the emergence of urban dengue, a disease regarded as acute infectious fever. The disease annually, has affected millions of people worldwide, mostly in the range of the intertropical globe. The disease's main vector in urban areas, the Aedes aegypti mosquito. Recent studies indicate that the distribution of the insect vector of dengue in the geographical area is directly tied to the behavior of environmental restrictions that area, especially among those, the air temperature and relative humidity. From that context, the work aims to estimate and spatializing, monthly, for each municipality in the state of Rio Grande do Norte, the potential of biophysical conditions conducive to the development of Aedes aegypti. Yet, made use of the following methodology: collection of epidemiological data and climatological, Normal climatological, descriptive statistics (measures of central tendency and scatter), uniform distribution, estimation geostatistics and sufer program, version 8.0. The results flagged for a behavior very heterogeneous, both in space and in time, in the case of the potential of biophysical conditions conducive to the development of Aedes aegypti in the state of Rio Grande do Norte. Still, he noted that there is a tendency for lifting the potential of development for the entire state, from the month of January, ending in the month of April mainly in central and western portions of the state. By contrast, there is the permanence of increased potential for development in the eastern portion of the state. The latter record maximum potential in the month of July, resulting probability of greater than 70% have been favorable conditions for the development of Aedes aegypti in that area. In the period between the months of August to December, it is small potential for development of Aedes aegypti in all parts of the state

Desenvolvimento de sistema magnético polimérico contendo antimicrobianos para tratamento de infecções por Helicobacter pylori

Helicobacter pylori is the main cause of gastritis, gastroduodenal ulcer disease and gastric cancer. The most recommended treatment for eradication of this bacteria often leads to side effects and patient poor compliance, which induce treatment failure. Magnetic drug targeting is a very efficient method that overcomes these drawbacks through association of the drug with a magnetic compound. Such approach may allow such systems to be placed slowed down to a specific target area by an external magnetic field. This work reports a study of the synthesis and characterization of polymeric magnetic particles loaded with the currently used antimicrobial agents for the treatment of Helicobacter pylori infections, aiming the production of magnetic drug delivery system by oral route. Optical microscopy, scanning electron microscopy, transmission electron microscopy, x-ray powder diffraction, nitrogen adsorption/desorption isotherms and vibrating sample magnetometry revealed that the magnetite particles, produced by the co-precipitation method, consisted of a large number of aggregated nanometer-size crystallites (about 6 nm), creating superparamagnetic micrometer with high magnetic susceptibility particles with an average diameter of 6.8 ± 0.2 μm. Also, the polymeric magnetic particles produced by spray drying had a core-shell structure based on magnetite microparticles, amoxicillin and clarithromycin and coated with Eudragit® S100. The system presented an average diameter of 14.2 ± 0.2 μm. The amount of magnetite present in the system may be tailored by suitably controlling the suspension used to feed the spray dryer. In the present work it was 2.9% (w/w). The magnetic system produced may prove to be very promising for eradication of Helicobacter pylori infections

Ecologia humana e manejo participativo da pesca do búzio Anomalocardia brasiliana (Gmelin, 1791) (Bivalvia: Veneridae) na Reserva de Desenvolvimento Sustentável Estadual Ponta do Tubarão (RN)

Coastal and marine protected areas are created to protect habitat, avoid biodiversity loss, and to help maintain viable fisheries. However, most of these areas in tropical countries occurs in impoverished regions and directly affect the livelihood and survival of coastal communities which directly depend on fisheries and shellfisheries. Therefore, socioeconomic and conservation goals overlap. In this context, fishers should have a central place in resource management. They are critical resource users and their behavior directly affects the system. Shellfish resources are important sources of food, employment and income to fishing communities in Latin America. But despite its widespread use for food and income, there is an urgent need of more research on shellfish management. This research discusses the artisanal fisheries of Venus clam (Anomalocardia brasiliana) (Gmelin, 1791) (Bivalvia: Veneridae) in Brazil, and points out strategies to improve the system. Venus clam is a small and commonly exploited species for food and income on the Brazilian coast. This research was carried out at Ponta do Tubarão Sustainable Development Reserve (Brazilian Northeast coast), where there was no information available about who harvest, where or how much Venus clam has been harvested, despite this resource being exploited for generations. Clam fishery follows the pattern of socio-economic invisibility that general clam exploitation has in Brazil. Methods used were interviews, participatory monitoring and focal follow observation from January 2010 to May 2011. Results include: (a) the identification of shell fishers, (b) how harvest and meat processing are performed (mollusk beds, time spent, gross and net production), (c) the analisis of shell fisher income and their economic sustentability, and (d) the involvement of shell fisher families in data gathering and analyses for the first time. Based on the acquired knowledge, we propose a new institutional arrangement for clam fishery including co-management, fisheries agreement, compensatory arrangements and improvements for the Venus clam value chain such as the establishment of a minimum price for clam meat. This research also includes two other results: a general description for Venus clam harvesting in the Brazilian Northeast coast and a specific discussion about co-management of Venus clam in Brazil. The first one was possible through the meeting of several shell fisherwomen from other states during activities promoted by People of the Tides (PoT) project. PoT was an international initiative aiming to develop coastal communities that depend on mollusk for their livelihood. The second one is a comparison between PoT and Venus clam management at Pirajubaé Marine Extractive Reserve (Santa Catarina). It evaluates the success and failures of these only two initiatives involving co-management of A. brasiliana in Brazil