Investigação e gerenciamento de áreas contaminadas por postos revendedores de combustíveis em Natal

Activities that have fuel subterranean storage system are considered potentially polluting fuels by CONAMA Resolution 273, due to the possibility of leak, outpouring and overflow of fuel into the ground. Being even more worrying when contaminate groundwater for public supply, as the case of Natal City. For this reason, the Public Ministry/RN, in partnership with UFRN, developed the project environmental suitability of Gas stations in Natal, of which 36% showed evidence of contamination. This paper describes the four stages of the management of contaminated areas: preliminary assessment of environmental liabilities, detailed confirmatory investigation of the contamination, risk analysis to human health (RBCA), as well as the remediation plan of degraded areas. Therefore it is presented a case study. For the area investigated has been proposed a mathematical method to estimate the volume of LNAPL by a free CAD software (ScketchUp) and compare it with the partition method for grid area. Were also performed 3D graphics designs of feathers contamination. Research results showed that passive benzene contamination in groundwater was 2791.77 μg/L, when the maximum allowed by CONAMA Resolution 420 is 5 μg/L which is the potability standards. The individual and cumulative risks were calculated from 4.4 x10-3, both above the limits of 1.0 x10-5 or by RBCA 1.0 x10-6 by the Public Ministry/RN. Corrective action points that remediation of dissolved phase benzene is expected to reach a concentration of 25 μg/L, based on carcinogenic risk for ingestion of groundwater by residents residential, diverging legislation. According to the proposed model, the volume of LNAPL using the ScketchUp was 17.59 m3, while by the grid partitioning method was 14.02 m3. Because of the low recovery, the expected removal of LNAPL is 11 years, if the multiphase extraction system installed in the enterprise is not optimized

Mobilização de reservas e partição de metabólitos durante a germinação da semente e o estabelecimento da plântula em moringa

Seed germination and seedling establishment are critical processes for commercial plantation and depend directly on reserve mobilization as a source of cellular fuels and biosynthetic precursors. In this way, we investigated the coordination among reserve mobilization, metabolite partitioning, and mobilizing enzyme activities in Moringa oleifera Lam (moringa) an oil-seeded species employed in biofuel production. Seeds were germinated under controlled conditions and seedlings were grown hydroponically at a greenhouse. Samples were harvested at 0, 4, 8, 10, 12, 16, and 20 days after imbibition (DAI). The contents of dry mass (DM), neutral lipids (NL), soluble proteins (SP), starch, total soluble sugars (TSS), non-reducing sugars (NRS), and total free amino acids (TFAA) as the activity of isocitrate lyase (ICL), acid proteases, and amylases were determined. The mobilization of storage proteins was initiated during seed germination whereas the mobilization of storage lipids and starch was triggered throughout seedling establishment although all reserves have been depleted until 20 DAI. The partitioning of DM and metabolites to the roots and the shoots was uneven during seedling establishment. Low shoot/root ratio on the basis of DM could be related to the natural occurrence of moringa in drought climates. In the roots, TSS, NRS, and TFAA were accumulated from 12 to 16 DAI and then were consumed until the end of the experiment. In the shoots, TSS and TFAA were consumed in parallel with NRS accumulation from 12 to 20 DAI. The activity of ICL, acid proteases, and amylases was coordinated with the mobilization of lipids, proteins and starch respectively. Thus, we propose that the patterns of reserve mobilization and metabolite partitioning verified in moringa seem distinct from those found to other tree species and may be involved in metabolic strategies to enable environment colonization

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Comitês de grupamento aplicados a dados de expressão gênica

The main goal of this work is to investigate the suitability of applying cluster ensemble techniques (ensembles or committees) to gene expression data. More specifically, we will develop experiments with three diferent cluster ensembles methods, which have been used in many works in literature: coassociation matrix, relabeling and voting, and ensembles based on graph partitioning. The inputs for these methods will be the partitions generated by three clustering algorithms, representing diferent paradigms: kmeans, ExpectationMaximization (EM), and hierarchical method with average linkage. These algorithms have been widely applied to gene expression data. In general, the results obtained with our experiments indicate that the cluster ensemble methods present a better performance when compared to the individual techniques. This happens mainly for the heterogeneous ensembles, that is, ensembles built with base partitions generated with diferent clustering algorithms

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Compartimentação política do território: uma análise do processo no Curimataú oriental Paraibano

During the 1980‟s, the Brazilian State has undergone a process of redemocratization, causing a profund change in the political and institutional organization of the country. That reorientation of the Brazilian federative structure had as normative framework the enactment of the federal Constitution of 1988, occuring after its enactment a considerable political opening under the cloak of new democratic arrangements of tax and fiscal decentralization, which generated a new federative order, especially with regard to municipalities. Such institutions contributed to the creation of several new municipalities, involving, directly, changes in the structure of national territory, driven by the political context. This case was notoriouns in the 1990s, increased in the country's municipal mesh and spread all over the states of the federation. The Paraíba State was integrated in this context, creating in this period, 52 new municipalities. In the perspective, it will seek to understand the purpose that sustained this process of fragmentation of Paraíba state territory. For this purpose was made use of several bibliographies, secondary data, documentary sources and research in locus of the municipalities of Casserengue and Riachão, located in the Paraíba‟s Curimataú Oriental microregion, which were selected as a focus for specific analysis of the event. It is understood, however, that the production of municipalities, includes several intentions through political appropriation of the territory, although, being permeated by the Institutional