Submitted by SBI Biblioteca Digital (sbi.bibliotecadigital@puc-campinas.edu.br) on 2017-01-11T11:51:04Z No. of bitstreams: 1 MATERNIDADE E SOFRIMENTO SOCIAL ESTUDO DE MOMMY BLOGS.pdf: 1344212 bytes, checksum: b998d2a53ab3b014a1ce163301342222 (MD5) / Made available in DSpace on 2017-01-11T11:51:04Z (GMT). No. of bitstreams: 1 MATERNIDADE E SOFRIMENTO SOCIAL ESTUDO DE MOMMY BLOGS.pdf: 1344212 bytes, checksum: b998d2a53ab3b014a1ce163301342222 (MD5) Previous issue date: 2016-12-06 / Conselho Nacional de Pesquisa e Desenvolvimento Cient?fico e Tecnol?gico - CNPq / This research aims to investigate the collective imaginary about motherhood. It is justified since motherhood may be associated, in contemporary society, despite of their rewarding facets, with socially determined sufferings. It is methodologically articulated through the use of the psychoanalytic method, here operationalized in terms of investigative procedures of survey, selection, presentation, and interpretation of posts from Brazilian blogs. The consideration of the material allowed the interpretative production of two fields of affective-emotional meaning, "I am a mother, therefore I exist", and "Exclusive mother". These fields indicate the prevalence, in the investigated material, of a collective imaginary that, with heavy demands on women, promotes emotional suffering. / A presente pesquisa objetiva investigar o imagin?rio coletivo sobre a maternidade, justificando-se na medida em que esta, malgrado suas facetas gratificantes, parece associada, na contemporaneidade, a sofrimentos socialmente determinados. Articula-se metodologicamente por meio do uso do m?todo psicanal?tico, aqui operacionalizado em termos de procedimentos investigativos de levantamento, sele??o, registro e interpreta??o de postagens de blogs brasileiros. A considera??o do conjunto do material permitiu a produ??o interpretativa de dois campos de sentido afetivo-emocional: ?Sou m?e, logo existo? e ?M?e exclusiva?. Tais campos indicam a preval?ncia, no material investigado, de um imagin?rio coletivo que, fazendo pesadas exig?ncias ? mulher, favorece seu sofrimento emocional.

Submitted by Verena Bastos (verena@uefs.br) on 2015-08-05T21:29:18Z No. of bitstreams: 1 NEVES_JB_2012_R2.pdf: 2142681 bytes, checksum: 2f1f8d4679734685ccd9edf621f7b8c4 (MD5) / Made available in DSpace on 2015-08-05T21:29:18Z (GMT). No. of bitstreams: 1 NEVES_JB_2012_R2.pdf: 2142681 bytes, checksum: 2f1f8d4679734685ccd9edf621f7b8c4 (MD5) Previous issue date: 2013-09-24 / Funda??o de Amparo ? Pesquisa do Estado de S?o Paulo - FAPESP / The prediction of the reinforced concrete beams behavior under bending is essential to design these elements. Usually the models do not incorporate the concrete stress contribution, which may underestimate the structural element strain that use steel fiber reinforced concrete (SFRC) under permanent or temporary loads. This work presents a variational formulation based on the finite difference energy method (EFDM) in predicting the flexural behavior of concrete beams reinforced, that uses SFRC. The proposed model uses the classical lamination theory (CLT) with a damage model (Mazars, 1984) applied to the SFRC. The reinforcement was considered as a layer of a perfect elastic-plastic material. Comparing the load-displacement numerical results with those of the literature to reinforced concrete beams demonstrates the consistency of the proposed model. / A previs?o do comportamento de vigas de concreto armado sob flex?o ? fundamental para o adequado dimensionamento destes elementos. Usualmente, os modelos n?o incorporam a contribui??o do concreto tracionado, o que pode subestimar as deforma??es no elemento estrutural que utilizem o concreto refor?ado com fibras (CRFA) sob cargas de curta e longa dura??o. No presente trabalho ? apresentada uma formula??o variacional com base no m?todo das diferen?as finitas energ?ticas (MDFE) para a previs?o do comportamento ? flex?o de vigas de concreto simples ou armado refor?adas com fibras de a?o. O modelo proposto combina a teoria cl?ssica de laminados (TCL) com um modelo de dano (Mazars, 1984) aplicado ao concreto. O refor?o (armadura longitudinal) foi considerado como uma l?mina de um material elasto-pl?stico perfeito. A compara??o dos resultados num?ricos com resultados encontrados na literatura para vigas de concreto armado, em termos de cargadeslocamento, demonstra a coer?ncia do modelo proposto.

Made available in DSpace on 2014-12-17T15:46:59Z (GMT). No. of bitstreams: 1 BrunoEGG_TESE.pdf: 2215931 bytes, checksum: 5d86c012a04f884e6dec73c92c1d88ef (MD5) Previous issue date: 2012-06-01 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / 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. / As aplica??es para smart cards representam um mercado que cresce a cada ano. Normalmente, essas aplica??es manipulam e armazenam informa??es que requerem garantias de seguran?a, tais como valores monet?rios ou informa??es confidenciais. A qualidade e a seguran?a do software para cart?es inteligentes pode ser aprimorada atrav?s de um processo de desenvolvimento rigoroso que empregue t?cnicas formais da engenharia de software. Neste trabalho propomos o m?todo BSmart, uma especializa??o do m?todo formal B dedicada ao desenvolvimento de aplica??es para smart cards na linguagem Java Card. O m?todo descreve, em um conjunto de etapas, como uma aplica??o smart card pode ser gerada a partir de refinamentos em sua especifica??o formal. O desenvolvimento ? suportado por um conjunto de ferramentas, automatizando a gera??o de parte dos refinamentos e a tradu??o para as aplica??es Java Card cliente (host) e servidora (applet). Ressalta-se que o processo de especifica??o e refinamento descrito no m?todo foi formalizado e verificado utilizando o pr?prio m?todo B, com o aux?lio da ferramenta Atelier B [Cle12a]. Destaca-se que a aplica??o Java Card ? traduzida a partir do ?ltimo passo de refinamento, denominado de implementa??o. A especifica??o dessa tradu??o foi feita na linguagem ASF+SDF [BKV08]. Inicialmente, descreveu-se as gram?ticas das linguagens B e Java (SDF) e, em uma etapa posterior, especificou-se as transforma??es de B para Java Card atrav?s de regras de reescrita de termos (ASF). Essa abordagem foi um importante aux?lio durante o processo de tradu??o, al?m de servir ao prop?sito de document?lo. Cumpre destacar a biblioteca KitSmart [Dut06, San12], componente essencial ao m?todo BSmart, que inclui modelos em B de todas as 93 classes/interfaces da API Java Card na vers?o 2:2:2, dos tipos de dados Java e Java Card e de m?quinas que podem ser ?teis ao especificador, mas que n?o est?o presentes na API padr?o. Tendo em vista validar o m?todo, seu conjunto de ferramentas e a biblioteca KitSmart, procedeu-se com o desenvolvimento, seguindo o m?todo BSmart, de uma aplica??o de passaporte eletr?nico. Os resultados alcan?ados neste trabalho contribuem para o desenvolvimento smart card, na medida em que possibilitam a gera??o de aplica??es Java Card completas (cliente e servidor) e menos sujeitas a falhas.

Made available in DSpace on 2014-12-17T15:48:00Z (GMT). No. of bitstreams: 1 ErnestoCBM_DISSERT.pdf: 1152535 bytes, checksum: a61c509f155d27fa9ab04bc69c4607e8 (MD5) Previous issue date: 2012-02-10 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / 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 / M?todos formais e testes s?o ferramentas para obten??o e controle de qualidade de software. Quando utilizadas em conjunto, elas prov?em mecanismos para especifica??o, verifica??o e detec??o de falhas de um software. Apesar de permitir que sistemas sejam matematicamente verificados, m?todos formais n?o s?o suficientes pra garantir que um sistema esteja livre de defeitos, logo, t?cnicas de teste de software s?o necess?rias para completar o processo de verifica??o e valida??o de um sistema. T?cnicas de Testes Baseados em Modelos permitem que testes sejam gerados a partir de outros artefatos de software como especifica??es e modelos abstratos. Ao utilizarmos especifica??es formais como base para a cria??o de testes, podemos gerar testes de melhor qualidade pois estas especifica??es costumam ser precisas e livres de ambiguidade. Fernanda Souza (2009) prop?s um m?todo para definir casos de teste a partir de especifica??es do M?todo B. Este m?todo utilizava informa??es do invariante de uma m?quina e das pr?-condi??es de uma opera??o para definir casos de teste positivos e negativos para tal opera??o, atrav?s de t?cnicas baseadas em particionamento em classes de equival?ncia e an?lise de valor limite. No entanto, a proposta de 2009 n?o inclu?a automa??o e possu?a algumas defici?ncias conceituais como, por exemplo, n?o se encaixar exatamente em uma classifica??o de crit?rios de cobertura bem definida. Iniciamos nosso trabalho com um estudo de caso que aplicou o m?todo a um exemplo de especifica??o B proveniente da ind?stria. A partir deste estudo obtivemos subs?dios para o aperfei?o?-lo. Em nosso trabalho aperfei?oamos o m?todo proposto, reescrevendo e adicionando caracter?sticas para torn?-lo compat?vel com uma classifica??o de testes utilizada pela comunidade. O m?todo tamb?m foi melhorado para suportar especifica??es estruturadas em v?rios componentes, utilizar informa??es sobre o comportamento da opera??o durante a cria??o de casos de teste e utilizar novos crit?rios de cobertura. Al?m disso, implementamos uma ferramenta para automatiz?-lo e o submetemos a estudos de caso mais complexos

Made available in DSpace on 2014-12-17T15:48:03Z (GMT). No. of bitstreams: 1 HanielMB_DISSERT.pdf: 4925062 bytes, checksum: b4c15cc32318b96fa9ccd3be61b6e7e6 (MD5) Previous issue date: 2012-11-01 / PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs / Controladores L?gico Program?veis (PLCs Programmable Logic Controllers, em ingl?s) desempenham fun??es de controle, recebendo informa??es do ambiente, processando-as e modificando este ambiente de acordo com os resultados obtidos. S?o comumente utilizados na ind?stria nas mais diversas aplica??es, do transporte de massa ? ind?stria do petr?leo, g?s e energias renov?veis. Com o crescente aumento da complexidade dessas aplica??es e do seu uso em sistemas cr?ticos, faz-se necess?ria uma forma de verifica??o que propicie mais confian?a do que testes e simula??o, padr?es mais utilizados na ind?stria, mas que podem deixar falhas n?o tratadas. M?todos formais podem prover maior seguran?a a este tipo de sistema, uma vez que permitem a sua verifica??o matem?tica. Neste trabalho fazemos uso do M?todo B, que ? usado com sucesso na ind?stria para a verifica??o de sistemas cr?ticos, possui amplo apoio ferramental e suporte ? decomposi??o, refinamento e verifica??o de corretude em rela??o ? especifica??o atrav?s de obriga??es de prova. O m?todo desenvolvido e apresentado aqui consiste em gerar automaticamente modelos B a partir de programas para PLCs e verific?-los formalmente em rela??o a propriedades de seguran?a, estas derivadas manualmente a partir dos requisitos do sistema. O escopo do trabalho s?o as linguagens de programa??o para PLCs do padr?o IEC 61131-3, mas sistemas com linguagens que apresentem modifica??es em rela??o ao padr?o tamb?m s?o suportados. Esta abordagem visa facilitar a integra??o de m?todos formais na ind?stria atrav?s da diminui??o do esfor?o para realizar a verifica??o formal de PLCs

Made available in DSpace on 2014-12-17T14:06:48Z (GMT). No. of bitstreams: 1 WersonMC.pdf: 1184207 bytes, checksum: f2f0598e463a68730749344c713c5bff (MD5) Previous issue date: 2008-02-22 / The Tungsten/copper composites are commonly used for electrical and thermal objectives like heat sinks and lectrical conductors, propitiating an excellent thermal and electrical conductivity. These properties are dependents of the composition, crystallite size and production process. The high energy milling of the powder of W-Cu produces an dispersion high and homogenization levels with crystallite size of W very small in the ductile Cu phase. This work discusses the effect of the HEM in preparation of the W-25Cu composite powders. Three techniques of powder preparation were utilized: milling the dry with powder of thick Cu, milling the dry with powder of fine Cu and milling the wet with powder of thick Cu. The form, size and composition of the particles of the powders milled were observed by scanning electron microscopy (SEM). The X-ray diffraction (XRD) was used to analyse the phases, lattice parameters, size and microstrain of the crystallite. The analyse of the crystalline structure of the W-25Cu powders milled made by Rietveld Method suggests the partial solid solubility of the constituent elements of the Cu in lattice of the W. This analyse shows too that the HEM produces the reduction high on the crystallite size and the increase in the lattice strain of both phases, this is more intense in the phase W / Os comp?sitos de Tungst?nio/Cobre (W-Cu) s?o geralmente usadas para fins el?tricos e t?rmicos como dissipadores de calor e condutores el?tricos, devido as suas excelentes propriedades de condutividades t?rmica e el?trica. Essas propriedades s?o dependentes da composi??o, do tamanho de cristalito e principalmente do processo de fabrica??o. A moagem de alta energia de p?s W-Cu produz alto n?vel de homogeneiza??o e dispers?o com cristalitos de W muito fino na fase d?ctil Cu. Este trabalho discute o efeito da MAE na prepara??o dos p?s comp?sitos W-25Cu. Tr?s t?cnicas de prepara??o dos p?s foram utilizadas: moagem a seco com p? de Cu grosso, moagem a seco com p? de Cu fino e moagem a ?mido com p? de Cu grosso. A forma, tamanho e a composi??o das part?culas dos p?s mo?dos foram observadas por microsc?pio eletr?nico de varredura (MEV). A difra??o de raios-X(DRX) foi usada para observar as fases, par?metros de rede, tamanho e microtens?o dos cristalitos. A an?lise da estrutura cristalina dos p?s mo?dos de W-25Cu feita pelo m?todo de Rietveld sugere uma solubilidade s?lida parcial dos elementos constituintes do cobre (Cu) na rede do tungst?nio (W). Essa an?lise tamb?m mostra que a MAE produz uma alta redu??o no tamanho dos cristalitos e um aumento de tens?o na rede de ambas as fases, isto ocorre com maior intensidade na fase do W

Made available in DSpace on 2014-12-17T14:07:05Z (GMT). No. of bitstreams: 1 YaraFG_DISSERT.pdf: 4146827 bytes, checksum: 3586f66a1b391a184d1b6034e91b85c0 (MD5) Previous issue date: 2012-12-20 / In the ceramics industry are becoming more predominantly inorganic nature pigments. Studies in this area allow you to develop pigments with more advanced properties and qualities to be used in the industrial context. Studies on synthesis and characterization of cobalt aluminate has been widely researched, cobalt aluminate behavior at different temperatures of calcinations, highlighting especially the temperatures of 700, 800 and 900? C that served as a basis in the development of this study, using the method of polymerization of complex (CPM), economic, and this method applied in ceramic pigment synthesis. The procedure was developed from a fractional factorial design 2 (5-2) in order to optimize the process of realization of the cobalt aluminate (CoAl2O4), having as response surfaces the batch analysis data of Uv-vis spectroscopy conducted from the statistic software 7.0, for this were chosen five factors as input variables: citric acid (stoichiometric manner), puff or pyrolysis time (h), temperature (? C), and calcinations (? C/min), at levels determined for this study. By applying statistics in the process of obtaining the CoAl2O4 is possible the study of these factors and which may have greater influence in getting the synthesis. The pigments characterized TG/DSC analyses, and x-ray diffraction (XRD) and scanning electron microscope (SEM/EDS) in order to establish the structural and morphological aspects of pigment CoAl2O4, among the factors studied it were found to statically with increasing calcinations temperature 700?< 800 <900 ?C, the bands of Uv-vis decrease with increasing intensity of absorbance and that with increasing time of puff or pyrolysis (h) there is an increase in bands of Uv-vis proportionally, the generated model set for the conditions proposed in this study because the coefficient of determination can explain about 99.9% of the variance (R?), response surfaces generated were satisfactory, so it s possible applicability in the ceramics industry of pigments / Na ind?stria cer?mica utilizam-se cada vez mais pigmentos de natureza predominantemente inorg?nica. Os estudos nessa ?rea permitem desenvolver pigmentos com qualidades e propriedades mais avan?adas para serem empregados em ?mbito industrial. Estudos de s?ntese e caracteriza??o do aluminato de cobalto t?m sido amplamente pesquisados, o comportamento do aluminato de cobalto em diferentes temperaturas de calcina??es, destacando principalmente as temperaturas de 700, 800 e 900?C utilizando o m?todo de polimeriza??o de complexos (MPC), m?todo este, econ?mico e aplicado em s?ntese de pigmentos cer?micos. O procedimento foi desenvolvido a partir de um planejamento fatorial fracionado 2(5-2) com o objetivo de otimizar o processo de realiza??o do aluminato de cobalto (CoAl2O4), tendo como superf?cies de respostas os dados da an?lise de espectroscopia do Uv-vis realizados a partir do software statistic 7.0, para isso, foram escolhidos cinco fatores como vari?veis de entrada: concentra??es de ?cido c?trico (de maneira estequiom?trica), tempo de puff ou pir?lise (h), temperatura (?C), tempo e taxas de calcina??es(?C/min), em patamares determinados para este estudo. Atrav?s da aplica??o estat?stica no processo de obten??o do CoAl2O4 foi poss?vel estudar entre estes fatores quais possam ter maior influ?ncia na obten??o da s?ntese. Os p?s-precursores foram caracterizados pelas an?lises termogravim?tricas TG/DSC, e os p?s-calcinados (pigmentantes) foram analisados pela difra??o de raios- x (DRX) e microscopia eletr?nica de varredura com energia dispersiva (MEV/EDS) a fim de comprovar os aspectos estruturais e morfol?gicos do CoAl2O4, entre os fatores estudados estaticamente verificou-se que com o aumento da temperatura de calcina??o 700<800<900?C, as bandas do Uv-vis diminuem com o aumento da intensidade da absorb?ncia e que com o aumento do tempo de puff ou pir?lise (h) h? um aumento das bandas do Uv-vis proporcionalmente, o modelo gerado ajustou-se para as condi??es propostas neste estudo, pois o coeficiente de determina??o consegue explicar cerca de 99,9%, da vari?ncia (R?), as superf?cies de respostas geradas foram satisfat?rias, sendo assim sua poss?vel aplicabilidade na ind?stria cer?mica de pigmentos

Made available in DSpace on 2014-12-17T14:08:42Z (GMT). No. of bitstreams: 1 CintiaCC_DISSERT.pdf: 1504056 bytes, checksum: 13440ae86adf05b61136b7a79d592863 (MD5) Previous issue date: 2010-08-16 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / The oil activity in the Rio Grande do Norte State (RN) is a permanent threat to coastal ecosystems, particularly mangroves, with the possibility of oil spills. In this context, the objective of this study was to evaluate the potential resistance of the mangrove environment of a possible spill. Were selected and isolated microorganisms degrading oil by the technique of enrichment cultures and formation of a bacterial consortium. The kinetic study of the consortium was held in rotary incubator shaken at 150 rpm and 30? C. Samples were taken at intervals of 4 hours for analysis of cell concentration and surface tension. The biodegradation was monitored using two methods of respirometry: manometric (OxiTop-C ?) and conductivimetry, where the biodegradation of oil was estimated indirectly by oxygen consumption and CO2 production, respectively. Furthermore, it was used a full 2? factorial design with triplicate at central point to the runs that used the conductivimetric methodology.. The technique of enrichment cultures allowed to obtain thirteen bacterial strains. Kinetic study of the consortium, we can showed the absence of the lag phase, reaching a maximum cell concentration of 2.55 g / L at 16 h of cultivation and a reduction on surface tension. When we adopted the methodology of OxiTop-C was detected a band indicating biodegradability (1% oil v/v), however when we used the conductivimetry methodology did not observe any band that would indicate effective biodegradation. By monitoring a process of biodegradation is necessary to observe the methodology will be adopted to evaluate the biodegradation process, since for the same conditions adopted different methodologies can produce different results. The oil-degrading isolates from soils of the mangrove estuary Potengi / RN are largely to be used in bioremediation strategies of these places, in the case of a possible oil spill, or it can be used in the treatment of waste oil generated in saline environments, since they are optimized the conditions of the tests so that the efficiency of biodegradation reach the minimum level suggested by the standarts / A atividade petrol?fera do RN constitui uma amea?a permanente aos ecossistemas costeiros, principalmente os manguezais, com a possibilidade de derramamentos de ?leo. Neste contexto, o objetivo desse estudo foi avaliar o potencial de resist?ncia do ambiente de manguezal a um poss?vel derramamento. Foram selecionados e isolados microrganismos degradadores de petr?leo pela t?cnica de enriquecimento de culturas e forma??o de um cons?rcio bacteriano. O estudo cin?tico do cons?rcio foi realizado em incubador rotativo sob agita??o de 150 rpm e temperatura de 30?C. As amostras foram retiradas em intervalos de 4h para an?lise da concentra??o celular e tens?o superficial. A biodegrada??o foi monitorada atrav?s de dois m?todos de respirometria: manom?trico (OxiTop-C?) e condutivimetria, nos quais a biodegradabilidade de petr?leo foi estimada indiretamente pelo consumo de oxig?nio e produ??o de CO2, respectivamente. Al?m disso, nos ensaios de condutivimetria foi realizado um planejamento fatorial completo 2? com triplicata no ponto central. Pela t?cnica de enriquecimento de culturas foram obtidas treze linhagens bacterianas. No estudo cin?tico do cons?rcio, pode-se observar aus?ncia da fase lag atingindo-se uma concentra??o celular m?xima de 2,55 g/L em 16 h de cultivo e queda da tens?o superficial. Quando adotou-se a metodologia do OxiTop-C foi detectado uma faixa que indica biodegradabilidade (1% de petr?leo v/v), no entanto quando utilizou-se a metodologia de condutivimetria n?o foi observado nenhuma faixa que indicasse biodegradabilidade efetiva. Ao monitorar um processo de biodegradabilidade ? necess?rio avaliar qual a metodologia ser? adotada para avaliar o processo de biodegrada??o, pois para as mesmas condi??es adotadas diferentes metodologias podem apresentar resultados divergentes. Os degradadores de petr?leo isolados do solo de mangue do estu?rio do Rio Potengi/RN podem vir a ser utilizados em estrat?gias de biorremedia??o desses lugares, no caso de um eventual derramamento de ?leo, ou ainda, podem ser empregados no tratamento de res?duos petrol?feros gerados em ambientes salinos, desde que sejam otimizadas as condi??es dos ensaios de modo que as efici?ncias de biodegrada??o atinjam o patamar m?nimo sugerido pelas normas

Made available in DSpace on 2014-12-17T14:35:59Z (GMT). No. of bitstreams: 1 JoaoJSF.pdf: 5336778 bytes, checksum: 111caa322360b903f450baccbae6ee39 (MD5) Previous issue date: 2009-03-09 / Cette ?tude vise ? identifier, d?crire et comprendre, le discours id?ologique de la m?thode Reflets-Br?sil. L'?tude, a ?t? subventionn?e en partie par une analyze des recommandations br?siliennes, et europ?ennes, sur l'enseignement des langues ?trang?res, et pour la reflexion sur le mat?riel d'enseignement des langues ?trang?res, propos?es respectivement par Alain Choppin et Christian Puren, et d'autre part, trouv? appui th?orique, de la proposition de John B. Thompson en ce qui concerne les concepts de la culture et l'id?ologie. La recherche a ?t? de nature qualitative, sur la base des id?es de Norman Fairclough sur l'analyse critique du discours, et a ?t? organis? autour de l'hypoth?se que la m?thode Reflets-Br?sil, tandis que un produit de la industrie europeane du livre, adapt?e pour le public br?silien, traduit le discours id?ologique, malgr? les recommandations br?silien en mati?re d'?ducation et le d?veloppement des manuels scolaires. Dans l'?tude, il a ?t? conclu par la v?racit? de l'hypoth?se. La m?thode M?thode Reflets-Br?sil, non seulement peut ?tre comprise comme un v?hicule id?ologique, mais ne pr?voit pas dans sa proposition pour l'enseignement des langues ?trang?res, un espace de r?flexion qui peuvent conduire ? une reconstruction de discours critique et / ou pratiques li?es ? l'enseignement du fran?ais comme langue ?trang?re / O presente trabalho teve por objetivo identificar, descrever e compreender o discurso ideol?gico do M?todo Reflets-Br?sil. O estudo subsidiou-se, por um lado, na an?lise das recomenda??es brasileiras e europ?ias sobre o ensino de l?ngua estrangeira, bem como a reflex?o sobre o material did?tico e ensino de l?ngua estrangeira proposta, respectivamente, por Alain Choppin e Christian Puren e, por outro lado, encontrou suporte orientador na proposta te?rica de John B. Thompson no que diz respeito aos conceitos de cultura e ideologia. A pesquisa, de natureza qualitativa, foi fundamentada nas id?ias de Norman Fairclough para a an?lise cr?tica do discurso e organizou-se em torno do pressuposto de que o M?todo Reflets-Br?sil, como produto da ind?stria livreira europ?ia e, ao mesmo tempo, adaptado para o p?blico brasileiro, veicula um discurso ideol?gico, apesar das recomenda??es normativas brasileiras no ?mbito da educa??o e da elabora??o de livro did?tico. Do estudo, pode-se concluir pela veracidade do pressuposto, sendo que o M?todo Reflets-Br?sil n?o s? pode ser entendido como um ve?culo ideol?gico, como tamb?m n?o faculta, na sua proposta de ensino de l?ngua estrangeira, espa?o para uma reflex?o que possa conduzir e contribuir para uma reconstru??o cr?tica desse discurso e/ou das pr?ticas relacionadas com ensino do franc?s como l?ngua estrangeira.

Made available in DSpace on 2014-12-17T14:36:13Z (GMT). No. of bitstreams: 1 HostinaMFN.pdf: 1261910 bytes, checksum: 23f648e7f8194be2e1a11b767c527f28 (MD5) Previous issue date: 2008-12-10 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / We make many journeys during our lifetime. In each of them we accumulate experiences that result in an amount of knowledge that constitutes our history. The dissertation presents one of these journeys: that one I took along with students of Pedagogia da Terra project from Universidade do Estado do Rio Grande do Norte UERN to think about the knowledge within their memories in their way from countryside to city seeking for education. I used as main references to this task the ideas of Edgar Morin about Method as Strategy, implication of the subject in knowledge, pertinent knowledge, and knowledge reconnection. And from Paulo Freire I used the concepts of cultural identity assumption and dialog. I built as resource of method the metaphor of the suitcase, called by me the trunk of memory treasures . The use of this cognitive operator makes possible for those students bring their memories to the surface and share them collectively, by the process I name as auto-social- biographical narratives. The explicitness of the memories they choose to reveal by means of these narratives permitted me to understand the metamorphosis of these knowledge since their childhood to nowadays. In order to present an archeology of knowledge within these life histories I chose a narrative writing style concerned with simplicity and lightness, where I use the description of facts and discussions occurred during this journey. My main arguments in systematizing this experience are: scientific production can and should be grounded on knowledge diversity and on a more sensible approach to phenomena; education and pedagogy need to take as starting point and fuel for their practices the singularities of the subjects, their life history, educational background and knowledge resulting from both. Teacher s formation programs which students have mixed, rural and urban, background should value cognitive experiences built in the interaction with that knowledge closer of a sensible logic, deeper grounded in land and nature. Doing so, education can contribute to join diverse knowledge against monocutural forms of thinking and educational practices / Durante nossa vida fazemos muitas viagens. Em cada uma delas vivenciamos experi?ncias que, acumuladas, resultam na bagagem de conhecimentos que comp?e a nossa hist?ria. A disserta??o apresenta uma dessas viagens: a que realizei ao encontro dos alunos do Projeto Pedagogia da Terra da Universidade do Estado do Rio Grande do Norte UERN para refletir sobre os saberes inscritos nas suas mem?rias durante o percurso que os conduziu para a cidade em busca de escolariza??o. Tomei como refer?ncias principais as id?ias de Edgar Morin sobre m?todo como estrat?gia, implica??o do sujeito no conhecimento, conhecimento pertinente e religa??o de saberes e, de Paulo Freire, os conceitos de assun??o da identidade cultural e de di?logo. Constru? como recurso de m?todo a met?fora da mala chamada por mim de ba? de tesouros memor?sticos. O uso deste operador cognitivo permitiu aos alunos do Projeto, trazerem ? tona suas mem?rias e compartilh?-las coletivamente atrav?s do que chamo narrativas auto-s?cio-biogr?ficas. A explicita??o das mem?rias que escolheram revelar atrav?s destas narrativas me permitiu compreender a metamorfose de seus conhecimentos desde crian?a at? os dias atuais. Para apresentar uma arqueologia dos saberes inscritos nestas hist?rias de vida, escolhi um estilo narrativo comprometido com a simplicidade e com a leveza. Baseei-me principalmente na descri??o e narra??o dos acontecimentos e nas reflex?es e saberes constru?dos durante a viagem. Meus principais argumentos ao sistematizar esta experi?ncia s?o: a produ??o cient?fica pode e deve se pautar na diversidade de saberes e num olhar mais sens?vel diante dos fen?menos; a educa??o e a pedagogia necessitam tomar como ponto de partida e alimento de sua pr?tica as singularidades dos sujeitos, sua forma??o, suas hist?rias de vida e os saberes delas resultantes; a forma??o de professores que t?m uma urbaniza??o mesclada com o rural deve valorizar experi?ncias cognitivas constru?das na intera??o com saberes mais pr?ximos da l?gica do sens?vel, mais enraizados na rela??o com a terra e com a natureza. Fazendo assim, a educa??o poder? contribuir para a religa??o de saberes diversos contra a monoculturaliza??o do pensamento e das pr?ticas educativas