O advento de novas tecnologias de sequenciamento e o desenvolvimento de ferramentas computacionais que facilitam a análise dos genomas gerou o aumento exponencial dos bancos de dados genômicos. As abordagens in-silico da genômica comparativa usam esse tipo de dados nas suas comparações. Trabalhos recentes desenvolvidos sobre o genoma de Escherichia coli indicam que o estado atual das sequências codificantes (CoDing Sequences CDS) de genomas anotados nos bancos de dados contêm erros nas sequências que precisam ser verificados (Ochman e Davalos 2006). Portanto a correta descrição de uma CDS é importante para permitir futuras comparações genômicas. Atualmente existe uma nova proposta da comunidade científica de bancos de dados biológicos para estabelecer padrões para a submissão de sequências dos projetos de genoma na nova era de sequenciamento. Dentro desse contexto, destaca-se a identificação e/ou correção de frameshifts durante o processo de montagem de sequências genômicas. A finalidade deste trabalho foi desenvolver uma ferramenta com dois métodos comparativos para identificar CDSs com atributos conflitantes. Usa-se a descrição de conflito para descrever atributos como frameshifts, grandes inserções ou deleções, truncamentos, que são detectados a partir de uma CDS ou várias CDSs usadas como referência, dependendo do modelo. Finalmente, a ferramenta proposta permite visualizar os resultados graficamente e fornecer acesso a outras ferramentas, dando suporte para futuras análises genômicas de maneira amigável e rápida. Foi realizada a busca de CDSs com atributos conflitantes no genoma de E. coli estirpe CFT073 (NCBI) versão AE014075.1, (última data de atualização: 20 de abril do 2006), como referência foi usado o genoma da E.coli estirpe O157:H7 EDL933 versão AE005174.2 ( última data de atualização : 6 de junho do 2008). Através dessa análise foram identificadas e armazenadas 1.865 CDSs (incluem-se possíveis parálogos), por apresentarem alinhamentos únicos com cobertura superior a 30% da CDS de referência. Em uma análise mais fina destes resultados, sobressaltam 144 CDSs no genoma alvo que provavelmente apresentam frameshifts, dos quais 21 acontecem em regiões intergênicas. A ferramenta desenvolvida neste trabalho foi também aplicada para o caso de estudo de uma região genômica da bactéria Klebsiella pneumoniae estirpe KP13. O genoma dessa bactéria foi sequenciado na Unidade Genômica Computacional (UGC) Darcy Fontoura de Almeida do LNCC (dados ainda não publicados). A partir das análises destes genomas, pode se concluir a importância do uso da ferramenta nas fases de identificação, verificação e correção de erros de anotação e, portanto a necessidade da sua inclusão em projetos de sequenciamento que desejam atingir altos padrões na submissão de dados genômicos. / The advent of new sequencing technologies and the development of computational tools that facilitate the analysis of genomes, generated the exponential growth of genome databases. New approaches in-silico of the comparative genomics use such data in its comparisons. Nevertheless, recent work on the genome of Escherichia coli indicate that the current state of coding sequences (Coding Sequences - CDS) from annotated genomes contain several errors, which need to be verified (Ochman e Davalos 2006). Therefore the correct description of a CDS is important to allow future genomic comparisons. Currently, there is an innovated proposal of the scientific community of biological databases to establish standards for the submission of the draft genome sequences in the new era of sequencing. Within this context, it is highlighted the identification and/or correction of frameshifts during the assembly of genomic sequences. The goal of this work was developing a tool with two comparative methods to identify CDSs with conflicting attributes. It uses the description of conflict to describe attributes such as frameshifts, large insertions or deletions, truncations, etc.. that are detected from a CDS or several CDSs used as references, depending on model. Also, the proposed tool allows to user to view of the results graphically and provide access to other tools, providing support for future friendly and faster genomic analysis. As a model of study, it was used the analysis of CDSs with conflicting attributes of the genome of E. coli strain CFT073 (NCBI) version AE014075.1, (last update date: April 20 of 2006), with this purpose was used as a reference genome of E.coli strain O157: H7 EDL933 version AE005174.2 (last update date: 6 June of 2008). Through this analysis were identified and stored 1865 CDSs (Included possible paralogs) because they present only alignments with coverage exceeding 30% of the CSD of reference. In a more detailed analysis of these results, 144 CDSs startle in the target genome by probably present frameshifts, of which 21 occur in intergenic regions. The tool developed in this work, also was applied to the case study of a genomic region of the bacterium Klebsiella pneumoniae strain KP13. The genome of this bacterium was sequenced in Computational Genomics Unit (UGC) Darcy Fontoura de Almeida LNCC (unpublished data). From the analysis of these genomes, one can conclude the importance of using the tool in the stages of identification, verification and correction of errors in annotation,and thus the need for its inclusion in the sequencing projects that want to reach high standards in the submission of genomic data.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Since 2005 the Brazilian Mathematical Olympiad of Public Schools (OBMEP) is present in many schools involving students and teachers by presenting different problems when compared to traditional models of exercises presented in textbooks. There is some special challenge in questions of OBMEP, requiring creativity in its solutions. Collecting cards and answers of the last OBMEP, in five schools in the municipality of Passo Fundo, held on June 5, 2012, we realized that exercises that involve some kind of recursive solution, there were a large numbers of errors. The objective of this work is to present alternative solutions to some problems of the OBMEP, herewith encourage high school teachers to use recurrence as a tool in building models and general solutions to mathematical problems. For this, we present some basic notes about recursive sequences, as well as a study on mathematical recurrence of first and second order, proving some basic theorems and citing some examples for better understanding of the subject. We finish, solving questions that involve recursive reasoning and that are related to OBMEP highlighting the variety of content of basic education that can be used in solving such problems. / Desde 2005, a Olimpíada Brasileira de Matemática das Escolas Públicas (OBMEP) está presente em muitas escolas envolvendo alunos e professores. Isso ocorre porque a competição apresenta problemas diferenciados quando comparados aos modelos tradicionais de exercícios contidos em livros didáticos. As questões propostas na OBMEP possuem um caráter desafiador que requer criatividade na construção das soluções. Coletamos os cartõesrespostas da última OBMEP, realizada no dia cinco de junho de 2012, em cinco escolas do município de Passo Fundo, e percebemos que exercícios envolvendo algum tipo de raciocínio recursivo apresentaram um grande número de respostas erradas. O objetivo deste trabalho é apresentar soluções alternativas para alguns problemas da OBMEP visando encorajar o professor do ensino médio a abordar e utilizar recorrência como uma ferramenta na construção de modelos e soluções gerais para problemas matemáticos. Para isso apresentamos apontamentos realizados por alguns autores a respeito de sequências recursivas. Além disso, explanamos um estudo sobre recorrência matemática de primeira e segunda ordens, no qual expomos alguns teoremas e suas respectivas demonstrações e citamos exemplos básicos para melhor compreensão do assunto. Nessa linha, selecionamos e resolvemos quatro questões que envolvem raciocínio recursivo e que estão relacionadas à OBMEP salientando a variedade de conteúdos do ensino básico que podem ser utilizados na resolução de tais problemas.

Made available in DSpace on 2014-06-11T19:24:01Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-11Bitstream added on 2014-06-13T19:51:06Z : No. of bitstreams: 1 marucci_ea_me_sjrp.pdf: 2105093 bytes, checksum: 5b417abdc99cd4c7f9807768af1ab956 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Devido a crescente quantidade de dados genômicos para comparação, a computação paralela está se tornando cada vez mais necessária para realizar uma das operaçoes mais importantes da bioinformática, o alinhamento múltiplo de sequências. Atualmente, muitas ferramentas computacionais são utilizadas para resolver alinhamentos e o uso da computação paralela está se tornando cada vez mais generalizado. Entretanto, embora diferentes algoritmos paralelos tenham sido desenvolvidos para suportar as pesquisas genômicas, muitos deles não consideram aspectos fundamentais da computação paralela. O MUSCLE [1] e uma ferramenta que realiza o alinhamento m ultiplo de sequências com um bom desempenho computacional e resultados biológicos signi cativamente precisos [2]. Embora os m etodos utilizados por ele apresentem diferentes versões paralelas propostas na literatura, apenas uma versão paralela do MUSCLE foi proposta [3]. Essa versão, entretanto, foi desenvolvida para sistemas de mem oria compartilhada. O desenvolvimento de uma versão paralela do MUSCLE para sistemas distribu dos e importante dado o grande uso desses sistemas em laboratórios de pesquisa genômica. Esta paralelização e o foco deste trabalho e ela foi realizada utilizando-se abordagens paralelas existentes e criando-se novas abordagens. Como resultado, diferentes estratégias paralelas foram propostas. Estas estratégias podem ser incorporadas a outras ferramentas de alinhamento que utilizam, em determinadas etapas, a mesma abordagem seq uencial. Em cada método paralelizado, considerou-se principalmente a e ciência, a escalabilidade e a capacidade de atender problemas reais da biologia. Os testes realizados mostram que, para cada etapa paralela, ao menos uma estratégia de nida atende bem todos esses crit erios. Al em deste trabalho realizar um paralelismo in edito, ao viabilizar a execução da ferramenta MUSCLE em... / Due to increasing amount of genetic data for comparison, parallel computing is becoming increasingly necessary to perform one of the most important operations in bioinformatics, the multiple sequence alignments. Nowadays, many software tools are used to solve sequence alignments and the use of parallel computing is becoming more and more widespread. However, although di erent parallel algorithms were developed to support genetic researches, many of them do not consider fundamental aspects of parallel computing. The MUSCLE [1] is a tool that performs multiple sequence alignments with good computational performance and biological results signi cantly precise [2]. Although the methods used by them have di erent parallel versions proposed in the literature, only one parallel version of the MUSCLE tool was proposed [3]. This version, however, was developed for shared memory systems. The development of a parallel MUSCLE tool for distributed systems is important given the wide use of such systems in laboratories of genomic researches. This parallelization is the aim of this work and it was done using existing parallel approaches and creating new approaches. Consequently, di erent parallel strategies have been proposed. These strategies can be incorporated into other alignment tools that use, in a given stage, the same sequential approach. In each parallel method, we considered mainly the e ciency, scalability and ability to meet real biological problems. The tests show that, for each parallel step, at least one de ned strategy meets all these criteria. In addition to the new MUSCLE parallelization, enabling it execute in a distributed systems, the results show that the de ned strategies have a better performance than the existing strategies.

Made available in DSpace on 2014-06-11T19:24:01Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-04-30Bitstream added on 2014-06-13T19:10:03Z : No. of bitstreams: 1 zafalon_gfd_me_sjrp.pdf: 915240 bytes, checksum: 39a35a2fec9d70947eb907760544f707 (MD5) / A biologia, como uma ciência bastante desenvolvida, foi dividida em diversas areas, dentre elas, a genética. Esta area passou a crescer em importância nos ultimos cinquenta anos devido aos in umeros benefícios que ela pode trazer, principalmente, aos seres humanos. Como a gen etica passou a apresentar problemas com grande complexidade de resolução estratégias computacionais foram agregadas a ela, surgindo assim a bioinform atica. A bioinformática desenvolveu-se de forma bastante signi cativa nos ultimos anos e esse desenvolvimento vem se acentuando a cada dia, devido ao aumento da complexidade dos problemas genômicos propostos pelos biólogos. Assim, os cientistas da computação têm se empenhado no desenvolvimento de novas técnicas computacionais para os biólogos, principalmente no que diz respeito as estrat egias para alinhamentos m ultiplos de sequências. Quando as sequências estão alinhadas, os biólogos podem realizar mais inferências sobre elas, principalmente no reconhecimento de padrões que e uma outra area interessante da bioinformática. Atrav es do reconhecimento de padrãoes, os bi ologos podem identicar pontos de alta signi cância (hot spots) entre as sequências e, consequentemente, pesquisar curas para doençass, melhoramentos genéticos na agricultura, entre outras possibilidades. Este trabalho traz o desenvolvimento e a comparação entre duas técnicas computacionais para o alinhamento m ultiplo de sequências. Uma e baseada na técnica de alinhamento múltiplo de sequências progressivas pura e a outra, e uma técnica de alinhamento múltiplo de sequências otimizada a partir da heurística de colônia de formigas. Ambas as técnicas adotam em algumas de suas fases estratégias de paralelismo, focando na redu c~ao do tempo de execução dos algoritmos. Os testes de desempenho e qualidade dos alinhamentos que foram conduzidos com as duas estrat egias... / Biology as an enough developed science was divided in some areas, and genetics is one of them. This area has improved its relevance in last fty years due to the several bene ts that it can mainly bring to the humans. As genetics starts to show problems with hard resolution complexity, computational strategies were aggregated to it, leading to the start of the bioinformatics. The bioinformatics has been developed in a signi cant way in the last years and this development is accentuating everyday due to the increase of the complexity of the genomic problems proposed by biologists. Thus, the computer scientists have committed in the development of new computational techniques to the biologists, mainly related to the strategies to multiple sequence alignments. When the sequences are aligned, the biologists can do more inferences about them mainly in the pattern recognition that is another interesting area of the bioinformatics. Through the pattern recognition, the biologists can nd hot spots among the sequences and consequently contribute for the cure of diseases, genetics improvements in the agriculture and many other possibilities. This work brings the development and the comparison between two computational techniques for the multiple sequence alignments. One is based on the pure progressive multiple sequence alignment technique and the other one is an optimized multiple sequence alignment technique based on the ant colony heuristics. Both techniques take on some of its stages of parallel strategies, focusing on reducing the execution time of algorithms. Performance and quality tests of the alignments were conducted with both strategies and showed that the optimized approach presents better results when it is compared with the pure progressive approach. Biology as an enough developed science was divided in some areas, and genetics is one of them. This area has improved... (Complete abstract click electronic access below)

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-20T12:32:50Z No. of bitstreams: 2 arquivototal.pdf: 2389653 bytes, checksum: 1d72c50a26a9d9bcd3d2efcd5e1c7db2 (MD5) license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) / Approved for entry into archive by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-20T12:33:35Z (GMT) No. of bitstreams: 2 arquivototal.pdf: 2389653 bytes, checksum: 1d72c50a26a9d9bcd3d2efcd5e1c7db2 (MD5) license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) / Made available in DSpace on 2015-10-20T12:33:35Z (GMT). No. of bitstreams: 2 arquivototal.pdf: 2389653 bytes, checksum: 1d72c50a26a9d9bcd3d2efcd5e1c7db2 (MD5) license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) Previous issue date: 2014-02-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this thesis, we will see theories and problems of linear recurrences. We start with recurrences of rst and second order, some applications and then we see some generalizations to higher order. We also studied operators and generators functions to represent recursion and applications of the Arithmetic recurrences. / Nesta dissertação, veremos teorias e problemas de recorrências lineares. Come- çamos com recorrências de primeira e segunda ordem, algumas aplicações e depois vemos algumas generalizações para ordem superior. Estudamos também operadores e funções geradoras para representar as recursões, bem como aplicações das recorr ências à Aritmética.

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-12-07T12:01:05Z No. of bitstreams: 1 arquivototal.pdf: 11331864 bytes, checksum: 0f8be8e623ee73fa50fbe2d926f5963b (MD5) / Made available in DSpace on 2015-12-07T12:01:05Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 11331864 bytes, checksum: 0f8be8e623ee73fa50fbe2d926f5963b (MD5) Previous issue date: 2015-08-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The National Curriculum Standards (BRASIL, 1998) recommend that the teaching of the Portuguese language must adopt the text as the basic unit of teaching and the notion of genre as a teaching object. In addition, the document acclaims that in the elementary education, students should become able to interpret and efficiently produce the most diverse genres. However, these recommendations have been a challenge to the school, which very often does not know what way to follow to attain that purpose. Thus, we developed this dissertation with the main objective to contribute to the training of proficient and critical text producers through reading and writing activities, whose theoretical basis are the contributions brought by: Bakhtin (1997), Cavalcante (2013), Dionisio (2011), Fiorin (2006), Kleiman (2005), Koch and Elias (2013 and 2014), Lopes-Rossi (2011), Marcuschi (2008), PCN (BRASIL, 1998), Rojo (2009), Soares (1998), among others. From the choice of the genre of discourse advertisement, this research is justified by contributing to the work with this genre occur more broadly than in textbooks, promoting the progress of students in reading and writing practices. Therefore, we developed this research, which is characterized as descriptive, applied, and interventional, being also an action-research, where occurs both the work of researchers and participants involved in the problem, which was the difficulty in the written production of the genre. Thus, the progress of this research occurred through the collection of productions of this genre from twenty-two students in a public school in Paraiba, from a class based on a textbook in order to verify the sufficiency of the material in teaching the genre and intervene on the difficulties presented. We developed an interventional proposal in the form of didactic sequences, based on teaching modules of Lopes-Rossi (2011) and after the implementation of the sequences, we asked for one more production of the genre. Thus, the corpus of this research was formed by the productions before and after the application of the didactic sequences. After the intervention, we analyzed the texts and realized the progress of students as regards the genre dimensions, the discursive adequacy, the textual-linguistic aspects and the use of persuasive resources. / Os Parâmetros Curriculares Nacionais (BRASIL, 1998) preconizam que o ensino de língua portuguesa adote o texto como unidade básica de ensino e a noção de gênero como objeto de ensino. Além disso, o documento orienta que no ensino fundamental, os discentes se tornem aptos a interpretar e produzir com eficácia os mais diversos gêneros. Todavia, essas recomendações têm sido um desafio para a escola, que muitas vezes não sabe qual caminho percorrer para alcançar tal finalidade. Dessa forma, com o objetivo geral de contribuir com a formação de produtores proficientes e críticos de textos por meio de atividades de leitura e escrita, desenvolvemos esta dissertação, tendo como fundamentação teórica as contribuições trazidas por: Bakhtin (1997), Cavalcante (2013), Dionisio (2011), Fiorin (2006), Kleiman (2005), Koch e Elias (2013 e 2014), Lopes-Rossi (2011), Marcuschi (2008), PCN (BRASIL, 1998), Rojo (2009), Soares (1998), dentre outros. A partir da escolha do gênero discursivo anúncio publicitário, esta pesquisa é justificada pelo fato de contribuir para que o trabalho com esse gênero ocorra de modo mais abrangente que nos livros didáticos, favorecendo o progresso dos discentes em práticas de leitura e escrita. Elaboramos, para isso, esta pesquisa de natureza aplicada, descritiva e intervencionista, que se trata de uma pesquisa-ação, ocorrendo a atuação de pesquisadores e participantes envolvidos no problema, que era a dificuldade de produção escrita do gênero. Dessa maneira, esta pesquisa se concretizou através da coleta de produções do gênero de vinte e dois alunos de uma escola pública paraibana, a partir de uma aula baseada em um livro didático, a fim de verificar se o material é eficaz no ensino do gênero e intervir sobre as dificuldades apresentadas. Elaboramos uma proposta interventiva em forma de sequências didáticas, com base nos módulos didáticos de Lopes- Rossi (2011) e após a execução das sequências, solicitamos mais uma produção do gênero. Assim, o corpus desta pesquisa foi formado pelas produções anteriores e posteriores à aplicação das sequências didáticas. Após a intervenção, analisamos os textos e percebemos o progresso dos alunos quanto ao atendimento às dimensões do gênero, à adequação discursiva, aos aspectos línguistico-textuais e à utilização de recursos persuasivos.

Submitted by Maike Costa (maiksebas@gmail.com) on 2017-04-05T12:48:28Z No. of bitstreams: 1 arquivototal.pdf: 1681942 bytes, checksum: 731f0921fedbaed62b0f214fad965604 (MD5) / Made available in DSpace on 2017-04-05T12:48:28Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1681942 bytes, checksum: 731f0921fedbaed62b0f214fad965604 (MD5) Previous issue date: 2016-11-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The problematic involving the difficulty of text production on the part of students is being topic recurring discussions educational. These debates are generating new conceptions that enable an association more intimate between theory and practice, using the discursive genres as a framework for language teaching. With the support of a didactic sequence, the work with the genre provides subsidies for the improvement of language skills of the speaker. Thus, the objective of this research is to contribute to improving the skills writing students in the 6th grade of elementary school using a didactic sequence with the fable discursive genre. Thus, it was used as theoretical support the contributions of Bakhtin (2003), Marcuschi (2001), Koch (2002; 2004; 2006), Cavalcante (2013), with regard to genres, Travaglia (1997), Geraldi (1997) in with respect to the language, Dolz, Noverraz and Schneuwly (2004) with respect to the didactic sequence. Also served like a support, the guidelines of national official documents, like the PCN (1997-1998). This procedure was applied in a public school in the city of Curral de Cima - PB, in a class of sixth year of elementary school, to an audience of about fifteen students. Methodologically, this work used the written production of the students as support for their analysis. The students produced a first text that formed the basis for the diagnosis of its main difficulties in writing, so that from there, were elaborated intervention activities that sought to assuage them. In a final production, through the rewriting of the first text done by students, it was possible see a significant advance about their writing. With this action, was permitted to recognize as the fable discursive genre, in the proposed didactic sequence, could assist in the development of written production of the students. / A problemática que envolve a dificuldade de produção de texto por parte dos alunos vem sendo assunto recorrente nas discussões educacionais. Esses debates vêm gerando novas concepções que possibilitam uma associação mais íntima entre teoria e prática, utilizando-se dos gêneros discursivos como arcabouço para o ensino da língua. Com o apoio de uma sequência didática, o trabalho com o gênero fornece subsídios para o aprimoramento das aptidões linguísticas do falante. Nesse contexto, o objetivo desta pesquisa é colaborar para a melhoria da competência escrita de alunos do 6º ano do ensino fundamental, utilizando-se de uma sequência didática com o gênero discursivo fábula. Para tanto, foram utilizadas como suporte teórico as contribuições de Bakhtin (2003), Marcuschi (2001), Koch (2002; 2004; 2006), Cavalcante (2013), no tocante ao gênero, Travaglia (1997), Geraldi (1997) no que tange à linguagem, por Dolz, Noverraz e Schneuwly (2004), no que diz respeito à sequência didática. Também serviram de respaldo para esta intervenção as orientações dos documentos oficiais nacionais para a educação, a exemplo dos PCN (1997-1998). Este trabalho foi aplicado em uma escola pública do município de Curral de Cima – PB, em uma turma de sexto ano do ensino fundamental, a um público de aproximadamente quinze alunos. Metodologicamente, essa pesquisa se utilizou da própria produção escrita discente como suporte para sua análise. Os alunos produziram um primeiro texto que serviu de base para o diagnóstico das suas principais dificuldades de escrita, para que a partir daí fossem elaboradas atividades interventivas que buscaram amenizá-las. Em uma última produção, por meio da reescrita do primeiro texto feito pelos alunos, foi possível constatar um avanço significativo acerca da escrita desses discentes. Com essa ação, foi permitido reconhecer como o gênero discursivo fábula, dentro da proposta da sequência didática, pôde auxiliar no desenvolvimento da produção escrita discente.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-03-08T20:19:59Z No. of bitstreams: 1 BRUNO BRITO DANTAS - DISSERTAÇÃO PPGEQ 2016..pdf: 1656780 bytes, checksum: eef180b8a56ee0bcd0361febde377c56 (MD5) / Made available in DSpace on 2018-03-08T20:19:59Z (GMT). No. of bitstreams: 1 BRUNO BRITO DANTAS - DISSERTAÇÃO PPGEQ 2016..pdf: 1656780 bytes, checksum: eef180b8a56ee0bcd0361febde377c56 (MD5) Previous issue date: 2016-10 / Capes / A destilação extrativa é um dos mais importantes procedimentos utilizados para a separação de misturas azeotrópicas na indústria química, porém é um método relativamente caro, tendo em vista sua alta demanda energética. As limitações dessa operação vêm estimulando durante décadas, estudos acerca de alternativas que os minimizem. A intensificação de processos por meio do acoplamento térmico entre colunas de destilação é uma opção que vem recebendo cada vez mais atenção, haja vista os bons resultados que trabalhos publicados nessa área têm apresentado. Porém, recentemente alguns estudiosos tiveram conclusões que vão de encontro à toda eficiência creditada ao acoplamento térmico, o que torna necessário ainda mais estudos a cerca dessa tecnologia. Devido a essas divergências, surgem também dúvidas a respeito do método mais adequado para a implementação de um sistema de destilação termicamente acoplado, uma vez que se observa o emprego de diversos métodos na tentativa de alcançar um design para essas configurações que nem sempre repercutem na melhor alternativa. Neste trabalho foi descrito um procedimento para a obtenção do ótimo design de sequências de destilação convencional (CS) e termicamente acoplada (TCS), além da obtenção do ótimo operacional, baseado no método de otimização desenvolvido por Figueiredo et al. (2015). A metodologia foi aplicada à simulação de dois sistemas, acetonametanol-água (M1) e acetona-metanol-DMSO (M2), e seus resultados foram comparados em termos de consumo anual total (TAC) e consumo específico de energia (SEC) com a literatura. A aplicação do procedimento de otimização alcançou reduções de até 30% e 15% do TAC das configurações CS e TCS, respectivamente, quando comparadas com a literatura, comprovando sua eficiência. Ademais, o uso de diferentes solventes nos permitiu chegar à conclusão de que nem sempre o acoplamento térmico é a melhor opção. / Extractive distillation is one of the most important procedures for the separation of azeotropic mixtures in the chemical industry, but it is a relatively expensive method, given its high energy demand. The limitations of this operation has been stimulating for decades, studies on alternatives to minimize them. The intensification process through thermal coupling between distillation columns is an option that has been receiving increasing attention, considering the good results that papers published in this area have shown. But recently some researchers presented findings that go against all efficiency credited to the thermal coupling, which makes it even more necessary studies about this technology. Due to such differences, questions arise regarding the most appropriate method for implementing a distillation system thermally coupled, as observed employing various methods in the attempt at achieving a design for those configurations that impact is not always the best alternative. This paper described a procedure for obtaining the optimal design of conventional distillation sequences (CS) and thermally coupled (TCS), in addition to obtaining the optimum operating based on the optimization method developed by Figueiredo et al. (2015). The methodology was applied to the simulation of two systems, acetone-methanol-water (M1) and acetone-methanol-DMSO (M2), and their results were compared in terms of TAC and SEC with literature. The application of the optimization procedure resulted in reductions of 30% and 15% of the TAC of the CS and TCS configurations, respectively, when compared with the literature, proving its efficiency. Futhermore, the use of different solvents has allowed us to reach the conclusion that not always the thermal coupling is the best option.

Submitted by MILENA CRISTINA ROSA null (mcr.geol@gmail.com) on 2016-11-14T15:14:03Z No. of bitstreams: 1 Dissertacao_Rosa_Milena.pdf: 19467400 bytes, checksum: fa91b5605b8ee38726bb63bf4d4271da (MD5) / Approved for entry into archive by Felipe Augusto Arakaki (arakaki@reitoria.unesp.br) on 2016-11-17T15:10:31Z (GMT) No. of bitstreams: 1 rosa_mc_me_rcla.pdf: 19467400 bytes, checksum: fa91b5605b8ee38726bb63bf4d4271da (MD5) / Made available in DSpace on 2016-11-17T15:10:31Z (GMT). No. of bitstreams: 1 rosa_mc_me_rcla.pdf: 19467400 bytes, checksum: fa91b5605b8ee38726bb63bf4d4271da (MD5) Previous issue date: 2016-09-20 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Na Bacia de Campos, os reservatórios carbonáticos da Formação Coqueiros do Grupo Lagoa Feia, de idade eobarremiana-neoaptiana, representaram grandes e importantes descobertas de campos produtores de hidrocarbonetos na década de 70. O avanço dos conceitos geodinâmicos e geotectônicos sobre as novas e potenciais acumulações na seção rifte das Bacias Marginais Brasileiras, a partir de 2007, retomaram os reservatórios formados por rochas carbonáticas como atrativos alvos de estudos, devidos principalmente a grande importância econômica atribuída a esses reservatórios. O principal objetivo deste trabalho foi compreender a distribuição das propriedades físicas dos reservatórios carbonáticos formados por depósitos do tipo coquinas (rudstones e grainstones de moluscos bivalves) e definir os principais fatores petrofísicos que caracterizam os níveis-reservatório (e.g. densidade, índice de radioatividade, composição mineralógica e de rocha, etc.) e os fatores que controlariam a qualidade do mesmo (e.g. porosidade, saturação de água e permeabilidade) com o intuito de compreender a distribuição geométrica do seu sistema permo-poroso. O presente estudo fez uso de métodos geológicos/geofísicos, como interpretação estratigráfica de perfis de poços, cálculos petrofísicos, interpretação de dados sísmicos 3D e interpretação e correlação de atributos sísmicos. Dentre os resultados obtidos, a análise estratigráfica permitiu definir os limites de sequências, em ciclos de 3°ordem, das quatro sequências deposicionais (Sequência Clástica Basal; Sequência Talco-Estevensíta; Sequência das Coquinas e Sequência Clástica-Evaporítica) que compõem o Grupo Lagoa Feia. A Sequência das Coquinas, que é o foco deste estudo, apresenta uma divisão, interna aos seus depósitos de coquinas, em seis níveis-reservatórios (um na Coquina Superior e cinco na Coquina Inferior) onde os limites estratigráficos estão associados a ciclos de 4°ordem. A análise petrofísica indicou que o principal nível produtor na área está na Coquina Inferior 4 (CI-4), e é o que apresenta as melhores respostas de espessura (35 à 100 m) e altas qualidades potenciais de reservatório para o Campo de Linguado (valores médios de Igr = 0,1; PHIE = 11%, Sw ≤ 18%), enquanto que no Campo de Pampo, os níveis CI-4 (valores médios de Igr = 0,15; PHIE = 7,5%, Sw ≤ 30%) e CI-2 (valores médios de Igr = 0,13; PHIE = 7%, Sw ≤ 26 %) apresentam potencial para reservatório. Finalmente, a análise dos mapas, construídos com a integração da informação de poço e os atributos sísmicos, mostra uma distribuição da propriedade PHIE, para o nível-reservatório CI-4, com alta influência da estruturação tectônica, indicando os mais altos valores seguindo as principais estruturas com direção NW-SE. O controle deposicional é um importante condicionante da qualidade permo-porosa, nesse principal nível-reservatório, isso porque a tectônica ativa e intermitente proporcionou a abertura de espaços de acomodação e a formação de barreiras que atuaram na seleção das fácies de alta energia, no acúmulo, no retrabalhamento e na consequente formação e preservação das melhores condições para a formação desses reservatórios. No entanto, para o nível-reservatório Coquina Superior (CS) a distribuição da propridade PHIE mostra que a tectônica-estrutural não influencia no seu sistema permo-poroso e consequente qualidade desse nível-reservatório, assim como na distribuição de suas espessuras. Tal análise nos leva a conclusão de que os fatores deposicionais como as oscilações climáticas foram os responsáveis na seleção e no retrabalhamento para a formação dos bancos de coquinas, assim como, os processos diagenéticos foram os que, possivelmente, mais influenciaram na distribuição permo-porosa dos níveis-reservatório superiores. / In the Campos Basin, the eobarremian-neoaptian carbonate reservoirs from Coqueiros Formation, Lagoa Feia Group, represented large and important discoveries of hydrocarbon fields in the 70´s. The advances in geodynamic and geotectonic concepts about new and potential accumulations on rift section of Marginal Brazilian Basins, from 2007, brought again the carbonate reservoirs rocks as attractive studies targets, mainly due to great economic importance attached to these reservoirs. The main objective was to understand the distribution of physical properties on carbonate reservoirs composed by coquinas deposits (rudstones and grainstones of bivalve molluscs), define the main petrophysical factors that characterize those reservoir levels (eg density, radioactivity content, mineralogical and rock composition, etc.) and factors that could control the quality (eg, porosity, water saturation and permeability) in order to understand the geometric distribution of its permo-porous system. This study employed geological/geophysical methods such as well logs stratigraphic interpretation, petrophysical calculations, 3D seismic interpretation and seismic attributes interpretation and correlation. Among the results, the stratigraphic analysis has identified limits, in 3 rd order cycles, to four depositional sequences (Basal Clastic Sequence, Talc-Stevensitic Sequence; Coquinas Sequence and Clastic-Evaporitic Sequence) that belong to Lagoa Feia Group. The Coquinas Sequence, focus of this work, shows a split, internally to its coquinas deposits in six reservoir levels (one in Upper Coquina and five in the Lower Coquina) where the stratigraphic limits are associated with 4 th order cycles. The petrophysical analysis indicated that the main producer level are at Lower Coquina 4 (CI-4), with the best thickness responses (35 to 100 m) and high potential reservoir qualities for Linguado Field (average values of Igr = 0,10; PHIE = 11%, Sw ≤ 18%), while in Pampo field, CI-4 level (average values of Igr = 0,15; PHIE = 7.5%, Sw ≤ 30%) and CI-2 level (average values of Igr = 0,13; PHIE = 7%, Sw ≤ 26%) have both reservoir potential. Finally, the map analysis, built with integration of well information and seismic attributes, shows a distribution of PHIE for CI-4 with high tectonicstructural influence, indicating higher values following the main structures with NW-SE direction. The depositional control is an important determinant of permo-porous system quality at CI-4 level, the main reservoir level, it is because the active and intermittent tectonic afforded the opening of depositional spaces and the formation of barriers to act on selection of high-energy facies, accumulation, reworking and consequent generation and preservation of the best conditions for reservoirs best quality. However, the Upper Coquina level reservoir distribution of PHIE shows that tectonic-structural does not influence its permo-porous system and reservoir quality, as well as the distribution of its thickness. This analysis leads us to the conclusion that the depositional factors, such as climatic variations were responsible to the selection and reworking of coquinas banks, as well as diagenetic processes were possibly most influenced the permo-porous system distribution on higher reservoir levels. / CNPq: 134409/2014-0

Submitted by Michele Andriolli Custodio null (mi.andriolli@gmail.com) on 2017-05-16T19:15:02Z No. of bitstreams: 1 Dissertacao_Mestrado_Michele Andriolli Custodio.pdf: 8806933 bytes, checksum: d185af0ebf1e0398d67dbb538a16ca92 (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-05-16T19:25:50Z (GMT) No. of bitstreams: 1 custodio_ma_me_rcla.pdf: 8806933 bytes, checksum: d185af0ebf1e0398d67dbb538a16ca92 (MD5) / Made available in DSpace on 2017-05-16T19:25:50Z (GMT). No. of bitstreams: 1 custodio_ma_me_rcla.pdf: 8806933 bytes, checksum: d185af0ebf1e0398d67dbb538a16ca92 (MD5) Previous issue date: 2017-04-07 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Os eventos geológicos relacionados à abertura do Oceano Atlântico Sul influenciaram profundamente o registro sedimentar da Bacia do Araripe. A Formação Romualdo, unidade superior do Andar Alagoas (neo-Aptiano a eo-Albiano), registra a ingressão marinha no interior do Nordeste do Brasil. A arquitetura estratigráfica desta unidade é crucial para entender a paleogeografia do Gondwana e como o Proto-Oceano Atlântico alcançou o interior do Nordeste do Brasil durante o Cretáceo. A Formação Romualdo constitui um completo ciclo transgressivo-regressivo limitado por duas discordâncias regionais. Na parte leste da bacia, a sequência deposicional da Formação Romualdo compreende depósitos marinhos marginais do trato de sistemas de mar baixo sucedidos por depósitos marinhos rasos com a superfície de máxima inundação marcada poucos metros acima do intervalo, correspondendo ao limite superior do trato de sistemas transgressivo. Outro nível de registro da ingressão marinha corresponde a um intervalo superior com camadas de coquinas e calcários coquinoides preservando fósseis de invertebrados, o qual integra o trato de sistemas de mar alto. Sucedendo a ingressão marinha, uma incompleta sucessão regressiva de fácies marinhas marginais registra o retorno de ambientes continentais na bacia. A arquitetura estratigráfica baseada na correlação de várias seções define geometria em forma de cunha com o mergulho deposicional para sul/sudeste, e diminuição de espessura em direção a noroeste, com áreas fontes localizadas a norte e nordeste da bacia. A geometria em forma de cunha e as medidas de dados de paleocorrentes indicam também onlap costeiro para NNW. Neste contexto a ingressão marinha teria alcançado a Bacia do Araripe a partir de SSE. / Geologic events related to the opening of the South Atlantic Ocean deeply influenced the sedimentary record of the Araripe Basin. The Romualdo Formation, superior unit of Alagoas Age (neo-Aptian to eo-Albian) record the marine incursion in the Brazil northeast interior. The stratigraphic architecture of those units are crucial to understand the paleogeography of Gondwana as well as how the proto-Atlantic Ocean waters reached interior NE Brazil during the early Cretaceous. The Romualdo Formation constitute a facies-cycle wedge constrained by two regional unconformities. In the eastern portion of the basin, the Romualdo depositional sequence comprises marginal-marine deposits of lowstand systems tract, followed by a shallow marine dominated transgressive facies succession, with marine flooding surface marked few meters above of interval, corresponding to upper boundary of transgressive system tract. Another record level of marine ingression corresponds to upper interval with shell beds, preserving invertebrates fossils, which integrate the highstand system tract. Following the marine ingression, an incomplete regressive succession of marginalmarine facies records the return of continental environments to the basin. The stratigraphic framework based on the correlation of several sections defines a facies cycle wedge with depositional dip towards southeast, decreasing in thickness towards northwest, and with source areas located at the northern side of the basin. The facies-cycle wedge geometry altogether with paleocurrent data indicates a coastal onlap towards NNW. In such a context the marine ingression would have reached the western portion of the Araripe Basin from the SSE.